scroll-tech / stateless-block-verifier
☆49Updated this week
Alternatives and similar repositories for stateless-block-verifier:
Users that are interested in stateless-block-verifier are comparing it to the libraries listed below
- customizable halo2 circuits batcher☆30Updated 2 months ago
- ☆25Updated 2 months ago
- Smart contracts for onchain verification of SP1.☆80Updated last week
- High performance EraVM for zkSync.☆23Updated last month
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 6 months ago
- Reference implementation of the node for the Polygon Miden rollup☆58Updated this week
- ☆59Updated 6 months ago
- ☆37Updated 4 months ago
- ☆30Updated last month
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 10 months ago
- ☆21Updated 6 months ago
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Updated 4 months ago
- A collection of works discussing the security aspects of StarkNet☆40Updated 2 months ago
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆15Updated last week
- A monorepo of reusable crates for zero-knowledge technologies.☆12Updated last month
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.☆25Updated 6 months ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆43Updated last year
- Poseidon hash circuit☆96Updated 4 months ago
- ☆21Updated last year
- ☆41Updated 10 months ago
- Test runner for ethereum foundation tests☆24Updated 3 weeks ago
- Aggregator for the zkEVM network that uses a stateless prover.☆19Updated 4 months ago
- ☆44Updated this week
- ☆62Updated 10 months ago
- Breathe air☆22Updated 9 months ago
- Keccak-f[1600] permutation in the EVM☆27Updated 3 weeks ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆21Updated last week
- Specification of P2P protocol for StarkNet nodes☆49Updated last week
- OS for next iteration of the world computer☆44Updated last year