succinctlabs / zk-residencyLinks
Projects from the Succinct ZK Residency
☆18Updated 10 months ago
Alternatives and similar repositories for zk-residency
Users that are interested in zk-residency are comparing it to the libraries listed below
Sorting:
- ☆49Updated last year
- On-chain Ethereum light client built with SP1☆67Updated 2 weeks ago
- ☆42Updated 10 months ago
- Pessimistic proof for the AggLayer.☆26Updated last year
- Benchmark of ZKVMs and Proving Schemes☆29Updated 3 months ago
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Updated 4 months ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated 2 years ago
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13Updated 3 months ago
- High performance EraVM for zkSync.☆23Updated 4 months ago
- Explorations on mobile-first GPU acceleration, currently support MSM.☆23Updated last week
- KZG commitments over BLS12-381☆36Updated 2 years ago
- Herodotus Data Processor using SP1 as backend☆16Updated 9 months ago
- Zero-Knowledge Proof of Exploit☆35Updated 2 months ago
- Cairo-VM STONE STARK Verifier Rust implementation☆43Updated 6 months ago
- Remote Attestation VErification☆34Updated last year
- Rust implementation of KZG point evaluation☆33Updated 3 weeks ago
- An API compatible port of the Stone prover.☆19Updated 9 months ago
- An observatory fork of SP1☆73Updated 6 months ago
- Circuits for Pluto's `web-prover`☆24Updated 4 months ago
- Ethereum stateless tools☆45Updated 4 months ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 3 years ago
- Cryptography libraries for ZKsync☆35Updated last week
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆40Updated last year
- Ethereum Node Record☆63Updated 10 months ago
- ☆26Updated 3 months ago
- Spire Labs' litepaper (it's pretty based bro)☆16Updated 9 months ago
- Crypto Gadgets for Plonky2☆73Updated last year
- Mozak RISC-V Virtual Machine☆25Updated 5 months ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year