Snarkify

Pinned Repositories

arkmsm
Language:Rust438
axiom-eth
Language:Rust2 0 04
halo2
Language:Rust30
halo2-browser
Language:TypeScript00
poseidon-circuit
Language:Rust4 3 12
scroll
Scroll's Monorepo
Language:Solidity00
sirius
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
Language:Rust109 5 8115
sirius-test-circuits
Language:Rust00
snarkify-zprize-2022
0 3 00
sppark
Zero-knowledge template library
Language:Cuda00

Snarkify's Repositories

snarkify/sirius
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
Language:Rust109 5 8115
snarkify/arkmsm
Language:Rust438
snarkify/poseidon-circuit
Language:Rust4 3 12
snarkify/halo2
Language:Rust30
snarkify/axiom-eth
Language:Rust2 0 04
snarkify/arkworks-algebra
Language:Rust0 3 00
snarkify/arkworks-curves
Language:Rust00
snarkify/halo2-browser
Language:TypeScript00
snarkify/halo2curves
Language:Rust00
snarkify/proof-systems
The proof systems used by Mina
Language:Rust00
snarkify/scroll
Scroll's Monorepo
Language:Solidity00
snarkify/sirius-test-circuits
Language:Rust00
snarkify/snark-verifier-cli
Language:Rust0 3 00
snarkify/snarkify-zprize-2022
0 3 00
snarkify/sp1
A performant, 100% open-source, contributor-friendly zkVM.
Language:Rust00
snarkify/sppark
Zero-knowledge template library
Language:Cuda00
snarkify/wasm-zkp-challenge
Language:Rust0 3 00
snarkify/zprize-wasm-snarkify-submission
Language:JavaScript0 0 00
snarkify/halo2-lib
Monorepo of halo2 crates
Language:Rust0 02
snarkify/snark-verifier
snarkify/zkWasm-host-circuits