Open Issues Need Help
View All on GitHub Frontend: host it, wire to real proving, history + relayer + polish about 2 hours ago
enhancement good first issue area:frontend roadmap
A general-purpose post-quantum zero-knowledge circuit language with a music-theory surface syntax, verifiable on EVM.
Rust
enhancement help wanted area:contracts roadmap
A general-purpose post-quantum zero-knowledge circuit language with a music-theory surface syntax, verifiable on EVM.
Rust
Audit prep: file splits, dedupe Yul helpers, threat-model docs about 2 hours ago
documentation good first issue area:fv roadmap
A general-purpose post-quantum zero-knowledge circuit language with a music-theory surface syntax, verifiable on EVM.
Rust
Randomized differential parity harness + deeper adversarial fixtures about 2 hours ago
enhancement help wanted area:fv roadmap
A general-purpose post-quantum zero-knowledge circuit language with a music-theory surface syntax, verifiable on EVM.
Rust
Resumable multi-tx verifier for EIP-7825 chains (L1 / OP-stack) about 2 hours ago
enhancement help wanted area:deployability roadmap
A general-purpose post-quantum zero-knowledge circuit language with a music-theory surface syntax, verifiable on EVM.
Rust
Client-side proving: compile the prover to WASM about 2 hours ago
enhancement help wanted area:proving roadmap
A general-purpose post-quantum zero-knowledge circuit language with a music-theory surface syntax, verifiable on EVM.
Rust