Consensys / corsetLinks
☆21Updated 2 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 last year
- Mozak RISC-V Virtual Machine☆25Updated 10 months ago
- High performance EraVM for zkSync.☆23Updated 3 months ago
- Circom AES-GCM circuits☆35Updated last week
- Cryptography libraries for ZKsync☆39Updated this week
- SSZ-compatible tree hash implementation optimised for speed and security☆23Updated last week
- ☆27Updated last year
- zkVM benchmarking for Ethereum☆41Updated this week
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- KZG commitments over BLS12-381☆37Updated 3 years ago
- A verifiable supercomputer☆77Updated 7 months ago
- ☆17Updated 2 weeks ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Updated 9 months ago
- ☆53Updated this week
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆17Updated last year
- ☆33Updated 2 years ago
- The first CHIP-8 zkvm☆21Updated last year
- A Language Server Protocol Implementation for Circom☆33Updated 2 years ago
- On-chain Ethereum light client built with SP1☆80Updated last month
- Transaction fuzzer on steroids for the Ethereum Protocol☆14Updated 9 months ago
- The entry point for Rust projects to be run on Valida☆10Updated 10 months ago
- A SIMD implementation of Keccak256 for aarch64, forked from Remco Bloeman's Goldilocks K12 implementation.☆20Updated 2 years ago
- Benchmark of ZKVMs and Proving Schemes☆32Updated 2 months ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- A collection of ZK light client libraries for various blockchains☆67Updated last year
- ☆31Updated 3 months ago
- ☆49Updated 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
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated 2 years ago
- An observatory fork of SP1☆77Updated last year