Showing 3 of 3 repositories tagged #verifiable-computation, ranked by stars
A toolbox for zkSNARKs on Ethereum
Monorepo for Boundless, the universal ZK protocol.
A lattice-based non-interactive folding scheme written in Rust
