oskarth's repositories
nova-bench
Nova ZK benchmarks
semaphore-rs
🦀 Rust support library for semaphore
awesome-folding
A curated list of zero-knowledge folding schemes
circom-compat
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
halo2-ecdsa-bench
Playing around with Halo2 ECDSA (halo2wrong)
Nova-Scotia
Middleware to compile Circom circuits to Nova prover
plonkathon
educational python plonk implementation, based on vitalik's py_plonk
proof-systems
The proof systems used by Mina
r1cs-tutorial
Tutorial for writing constraints in the `arkworks` framework
zk-benchmark
Benchmark of multiple zk implementations.