yourbuddyconner / zkarnageLinks
Stress Testing ZK Systems Through Maximum Pain
☆23Updated this week
Alternatives and similar repositories for zkarnage
Users that are interested in zkarnage are comparing it to the libraries listed below
Sorting:
- Gas-efficient and blazing fast proving for private signaling☆82Updated last year
- Using folding schemes for a provable bitcoin light client☆34Updated last year
- Benchmarks of popular zkVMs including Jolt☆60Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- ☆2Updated last year
- ☆50Updated last year
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Based on https://eprint.iacr.org/2022/1510☆26Updated 8 months ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Updated last year
- Nova Verifier in Circom so it can be verified onChain☆58Updated 2 years ago
- World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.☆34Updated 3 years ago
- Benchmarking Polynomial Commitments☆49Updated 2 years ago
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆33Updated 9 months ago
- ☆26Updated last year
- Old, obsolete version of the Valida compiler; its replacement will become public later☆51Updated last year
- Library and gadget to do regex string matches in halo2☆35Updated 11 months ago
- Early prototype.☆23Updated 2 years ago
- RLN circuits in Circom☆30Updated last year
- Batch ECDSA in circom☆34Updated 2 years ago
- ☆33Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 2 years ago
- DPC with Universal Setup☆46Updated 2 years ago
- A Rust library for proof-carrying disclosures☆20Updated last year
- Polynomial Expression Engine☆35Updated last year
- zero knowledge proof aggregator for general circuit☆72Updated last year
- revm/reth block proving on Valida☆16Updated 5 months ago
- ☆25Updated 4 months ago
- ☆19Updated this week
- Testudo: Spartan + Groth16☆52Updated last year
- In-browser ECDSA aggregation using Nova over secp/secq☆33Updated last year