Consensys / corsetLinks
☆19Updated last month
Alternatives and similar repositories for corset
Users that are interested in corset are comparing it to the libraries listed below
Sorting:
- Cryptography libraries for ZKsync☆32Updated 3 weeks ago
- High performance EraVM for zkSync.☆24Updated last month
- Mozak RISC-V Virtual Machine☆25Updated 2 months ago
- Proof of Concept for the "Zero Knowledge State Channel", a novel construction for increasing scalability while also enforcing privacy pre…☆13Updated 2 years ago
- EraVM specification.☆17Updated this week
- ☆25Updated 4 months ago
- ☆14Updated last week
- Compiler framework for ZK VMs☆33Updated last year
- Proof system backends for OpenVM.☆30Updated this week
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆34Updated last month
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆34Updated 3 weeks ago
- The first CHIP-8 zkvm☆20Updated last year
- ☆23Updated 5 months ago
- High Performance SSZ Implementation☆13Updated 5 months ago
- Circom AES-GCM circuits☆30Updated last month
- KZG commitments over BLS12-381☆34Updated 2 years ago
- Transaction fuzzer on steroids for the Ethereum Protocol☆14Updated 3 weeks ago
- The entry point for Rust projects to be run on Valida☆10Updated 2 months ago
- customizable halo2 circuits batcher☆30Updated 2 weeks ago
- powdr application running Ethereum tests via revm☆18Updated 11 months ago
- ☆25Updated 3 weeks ago
- 🪩 verify plonky3 proofs in plonky2☆18Updated last year
- Extracting the semantics of Noir to Lean for formal verification☆30Updated this week
- Automated verification of uniqueness property for ZKP circuits☆42Updated last year
- Witness encryption for KZG openings☆26Updated 7 months ago
- banyan's hot on-chain data storage zk proofs☆14Updated 2 weeks ago
- ☆20Updated last year
- Validation code for the EOF specification☆56Updated last month
- client side proving☆30Updated 2 months ago
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆13Updated 2 months ago