caulk-crypto / caulk
☆112Updated last year
Alternatives and similar repositories for caulk:
Users that are interested in caulk are comparing it to the libraries listed below
- Reef: A zkSNARK system for proving that a committed document matches a regex☆68Updated 8 months ago
- ☆50Updated last year
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆100Updated 3 months ago
- ☆73Updated 2 months ago
- Lowering client-side proving cost for private ZK signatures in circom☆109Updated last year
- Threshold ECDSA via Triples☆79Updated 11 months ago
- A lattice-based non-interactive folding scheme written in Rust☆64Updated this week
- ☆117Updated 2 months ago
- keccak256 hash implementation in Circom☆78Updated 2 years ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated 2 years ago
- Let's go https://eprint.iacr.org/2022/1763.pdf☆59Updated last year
- ☆97Updated 7 months ago
- ☆119Updated 3 months ago
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆131Updated 3 months ago
- ☆61Updated last year
- A SNARK using towers of binary fields, implemented in Rust☆90Updated this week
- ☆45Updated last year
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆164Updated this week
- Testudo: Spartan + Groth16☆52Updated last year
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆110Updated 11 months ago
- ☆40Updated 2 years ago
- ☆131Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆158Updated 2 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆120Updated last year
- ☆72Updated last year
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆53Updated 7 months ago
- ☆56Updated 3 months ago
- ☆104Updated 10 months ago
- Middleware to compile Circom circuits to Nova prover☆237Updated last year