caulk-crypto / caulkLinks
☆112Updated last year
Alternatives and similar repositories for caulk
Users that are interested in caulk are comparing it to the libraries listed below
Sorting:
- ☆101Updated last year
- Reef: A zkSNARK system for proving that a committed document matches a regex☆74Updated last year
- ☆51Updated last year
- ☆127Updated 8 months ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated 2 years ago
- A lattice-based non-interactive folding scheme written in Rust☆91Updated 2 weeks ago
- Testudo: Spartan + Groth16☆52Updated last year
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated last year
- A PoC repo for a HyperNova impl☆82Updated last year
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆101Updated 8 months ago
- ☆76Updated 7 months ago
- ☆121Updated 8 months ago
- Let's go https://eprint.iacr.org/2022/1763.pdf☆61Updated 2 years ago
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- Spartan on Arkworks☆42Updated this week
- ☆60Updated last year
- RSA verification circuit using halo2 library.☆57Updated 2 years ago
- Benchmarks of popular zkVMs including Jolt☆61Updated last year
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆109Updated last year
- zkSNARKs as a service using secure multi-party computation.☆31Updated last year
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆52Updated 3 weeks ago
- A SNARK using towers of binary fields, implemented in Rust☆122Updated last week
- ☆41Updated last year
- Threshold ECDSA via Triples☆80Updated last year
- Circom interpreter to arithmetic circuit description☆55Updated 11 months ago
- Benchmark of multiple zk implementations.☆83Updated 2 years ago
- ☆108Updated last year
- An elastic proof system based on arkworks☆85Updated last year
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆104Updated last year
- Fiat-Shamir for the masses.☆73Updated last month