Beast code in Giters

Snarkify's repositories

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

Language:RustMIT90 5 79

Language:RustApache-2.04200

Language:RustMIT4 3 1

Language:RustMIT200

Language:RustNOASSERTION200

Language:RustApache-2.0030

Language:RustApache-2.0000

Language:TypeScriptMIT000

The proof systems used by Mina

Language:RustApache-2.0000

Scroll's Monorepo

Language:SolidityMIT000

Language:Rust030

030

Zero-knowledge template library

Language:CudaApache-2.0000

Language:RustGPL-3.0030

Language:JavaScriptNOASSERTION000

Monorepo of halo2 crates

Language:RustMIT000

Apache-2.0000