Open Issues Need Help
View All on GitHub Data serialization + separate prover/verifier binaries about 2 months ago
enhancement good first issue
The Zippel language for cryptographic proof systems, compiles into optimized and safe prover and verifier code.
Rust