Pinned Repositories
account-abstraction
blockchain_learning
bundler_circuit
cairo_research
cario1-verifier
Plonky2-lib
plonky2-recursion
plonky2 recursion framework handling different circuits in unified way.
sonobe
Experimental folding schemes library
stwo
ZKProofAggregator-RPC
ZeroKPunk's Repositories
ZeroKPunk/Plonky2-lib
ZeroKPunk/plonky2-recursion
plonky2 recursion framework handling different circuits in unified way.
ZeroKPunk/sonobe
Experimental folding schemes library
ZeroKPunk/stwo
ZeroKPunk/ZKProofAggregator-RPC
ZeroKPunk/circom-spartan
ZeroKPunk/eigen-zkvm
A Rust zkVM with a Modular Proof System
ZeroKPunk/elliptic-curves
Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2
ZeroKPunk/gkr
ZeroKPunk/gkr-study
ZeroKPunk/jolt
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
ZeroKPunk/Nova-Scotia
Middleware to compile Circom circuits to Nova prover
ZeroKPunk/pessimistic-proof
Pessimistic proof for the AggLayer.
ZeroKPunk/pil-study
ZeroKPunk/plonky2
ZeroKPunk/plonky2-u32
u32 arithmetic gadgets for plonky2
ZeroKPunk/Plonky3
A toolkit for polynomial IOPs (PIOPs)
ZeroKPunk/rapidsnark-rust
ZeroKPunk/snarkjs
zkSNARK implementation in JavaScript & WASM
ZeroKPunk/snarkjs-test
ZeroKPunk/sp1
A performant, 100% open-source, contributor-friendly zkVM.
ZeroKPunk/sp1-project-template
Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
ZeroKPunk/Spartan
Spartan: High-speed zkSNARKs without trusted setup
ZeroKPunk/spartan-ecdsa
The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
ZeroKPunk/Tx-Proof
ZeroKPunk/zerokpunk.github.io
ZeroKPunk/zk-AA-proverjs
ZeroKPunk/zkdocs
ZeroKPunk/ZKProofAggregator-Contracts
ZeroKPunk/ZKProofAggregator-SDK