Consensys / corsetLinks
☆19Updated 6 months ago
Alternatives and similar repositories for corset
Users that are interested in corset are comparing it to the libraries listed below
Sorting:
- High performance EraVM for zkSync.☆23Updated last week
- zkVM benchmarking for Ethereum☆33Updated last week
- High Performance SSZ Implementation☆14Updated 9 months ago
- KZG commitments over BLS12-381☆36Updated 3 years ago
- The entry point for Rust projects to be run on Valida☆10Updated 7 months ago
- The first CHIP-8 zkvm☆20Updated last year
- Circom AES-GCM circuits☆33Updated 2 months ago
- ☆28Updated 3 weeks ago
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆14Updated 6 months ago
- Compiler framework for ZK VMs☆33Updated 2 years ago
- Mozak RISC-V Virtual Machine☆25Updated 7 months ago
- client side proving☆36Updated 7 months ago
- Circuits for Pluto's `web-prover`☆24Updated 6 months ago
- ☆14Updated this week
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- EraVM implementation☆19Updated last year
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆45Updated last week
- powdr application running Ethereum tests via revm☆17Updated last year
- The preconfer sidecar for Taiko Alethia preconfirmations 🥁☆36Updated last week
- ☆17Updated last year
- EraVM specification.☆17Updated this week
- Validation code for the EOF specification☆57Updated 6 months ago
- Automated verification of uniqueness property for ZKP circuits☆42Updated last year
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆38Updated last month
- zkSnark circuit compiler☆12Updated last week
- Cryptography libraries for ZKsync☆35Updated last week
- ☆53Updated this week
- Extracting the semantics of Noir to Lean for formal verification☆34Updated this week
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆42Updated last month
- Rust implementation of KZG point evaluation☆33Updated 2 months ago