Consensys / corsetLinks
☆21Updated last month
Alternatives and similar repositories for corset
Users that are interested in corset are comparing it to the libraries listed below
Sorting:
- ☆27Updated 11 months ago
- Mozak RISC-V Virtual Machine☆25Updated 9 months ago
- High performance EraVM for zkSync.☆23Updated 2 months ago
- Cryptography libraries for ZKsync☆38Updated 3 weeks ago
- High Performance SSZ Implementation☆14Updated last year
- Extracting the semantics of Noir to Lean for formal verification☆35Updated this week
- An observatory fork of SP1☆76Updated 10 months ago
- Circom AES-GCM circuits☆33Updated last month
- A Language Server Protocol Implementation for Circom☆33Updated 2 years ago
- SSZ-compatible tree hash implementation optimised for speed and security☆23Updated 3 weeks ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆43Updated 2 months ago
- The first CHIP-8 zkvm☆21Updated last year
- On-chain Ethereum light client built with SP1☆79Updated 3 weeks ago
- EraVM specification.☆18Updated 2 weeks ago
- The preconfer sidecar for Taiko Alethia preconfirmations 🥁☆43Updated last week
- ☆49Updated 2 years ago
- client side proving☆39Updated 9 months ago
- The entry point for Rust projects to be run on Valida☆10Updated 9 months ago
- KZG commitments over BLS12-381☆37Updated 3 years ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆42Updated 3 months ago
- Automated verification of uniqueness property for ZKP circuits☆45Updated last year
- The Valida execution engine, prover, and verifier☆28Updated 3 months ago
- Compiler framework for ZK VMs☆35Updated 2 years ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Updated 8 months ago
- ☆17Updated last year
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆15Updated 9 months ago
- circom language server☆21Updated 7 months ago
- ☆53Updated 3 weeks ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆18Updated 3 weeks ago
- ☆33Updated 2 years ago