eniac

eniac/zippel

The Zippel language for cryptographic proof systems, compiles into optimized and safe prover and verifier code.

1 good first / help-wanted issue · Rust · last activity Sep 19, 2026

2 stars 0 forks 2 watchers Rust MIT License
View on GitHub
1 Open Issue Need Help Last updated: Sep 19, 2026

Open Issues Need Help

View All on GitHub
Data serialization + separate prover/verifier binaries 1 day ago
enhancement good first issue
eniac/zippel
2

The Zippel language for cryptographic proof systems, compiles into optimized and safe prover and verifier code.

Rust