teddav - Overview
Skip to content
Sign in
AI CODE CREATION
GitHub CopilotWrite better code with AI
GitHub SparkBuild and deploy intelligent apps
GitHub ModelsManage and compare prompts
MCP RegistryNewIntegrate external tools
View all features
Sign up
Easy setup for Halo2 ZK circuits
Rust 15 1
A private dating experiment built with real cryptography, using MPC and ZK proofs
TypeScript 9
Tornado Cash circuits written with Halo2
Rust 8 1