Consensys / corsetLinks
☆19Updated 3 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 SSZ Implementation☆14Updated 7 months ago
- High performance EraVM for zkSync.☆24Updated 3 months ago
- Mozak RISC-V Virtual Machine☆25Updated 4 months ago
- Cryptography libraries for ZKsync☆33Updated 2 months ago
- The first CHIP-8 zkvm☆20Updated last year
- EraVM specification.☆17Updated this week
- ☆25Updated 2 weeks ago
- Rust implementation of KZG point evaluation☆33Updated this week
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Updated 3 months ago
- zkEVM benchmarking☆29Updated this week
- The preconfer sidecar for Taiko Alethia preconfirmations 🥁☆33Updated this week
- Circuits for Pluto's `web-prover`☆22Updated 3 months ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- The entry point for Rust projects to be run on Valida☆10Updated 4 months ago
- Extracting the semantics of Noir to Lean for formal verification☆34Updated last week
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆16Updated 10 months ago
- SSZ-compatible tree hash implementation optimised for speed and security☆23Updated last month
- ☆15Updated 10 months ago
- Transaction fuzzer on steroids for the Ethereum Protocol☆15Updated 2 months ago
- ☆52Updated last month
- ☆14Updated this week
- Pessimistic proof for the AggLayer.☆26Updated last year
- Compiler framework for ZK VMs☆33Updated 2 years ago
- Circom AES-GCM circuits☆32Updated last month
- KZG commitments over BLS12-381☆36Updated 2 years ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆18Updated 5 months ago
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆14Updated 4 months ago
- ☆52Updated 2 weeks ago
- client side proving☆33Updated 4 months ago