Consensys / corsetLinks
☆19Updated 5 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 5 months ago
- High Performance SSZ Implementation☆14Updated 9 months ago
- KZG commitments over BLS12-381☆36Updated 3 years ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Updated 5 months ago
- Mozak RISC-V Virtual Machine☆25Updated 6 months ago
- zkVM benchmarking for Ethereum☆33Updated last week
- Compiler framework for ZK VMs☆33Updated 2 years ago
- The first CHIP-8 zkvm☆20Updated last year
- The entry point for Rust projects to be run on Valida☆10Updated 6 months ago
- Circuits for Pluto's `web-prover`☆24Updated 5 months ago
- powdr application running Ethereum tests via revm☆17Updated last year
- ☆18Updated last year
- client side proving☆34Updated 6 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- ☆28Updated last week
- Rust implementation of KZG point evaluation☆33Updated 2 months ago
- Validation code for the EOF specification☆57Updated 5 months ago
- Cryptography libraries for ZKsync☆35Updated 3 weeks ago
- Transaction fuzzer on steroids for the Ethereum Protocol☆14Updated 4 months ago
- ☆49Updated 2 years ago
- The preconfer sidecar for Taiko Alethia preconfirmations 🥁☆34Updated last week
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆42Updated 3 weeks ago
- Benchmarking Polynomial Commitments☆50Updated 2 years 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
- Extracting the semantics of Noir to Lean for formal verification☆34Updated this week
- UPA is the proof aggregation engine built by NEBRA team.☆35Updated 5 months ago
- ☆33Updated 2 years ago
- ☆17Updated last year