scroll-tech / stateless-block-verifier
☆50Updated 2 weeks ago
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 last month
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆16Updated 3 weeks ago
- ☆60Updated 8 months ago
- High performance EraVM for zkSync.☆24Updated last week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 8 months ago
- Reference implementation of the node for the Polygon Miden rollup☆61Updated this week
- Smart contracts for onchain verification of SP1.☆88Updated last month
- ☆25Updated last week
- ☆21Updated 8 months ago
- Keccak-f[1600] permutation in the EVM☆27Updated 2 months ago
- Aggregator for the zkEVM network that uses a stateless prover.☆19Updated 6 months ago
- Specification of P2P protocol for StarkNet nodes☆49Updated 2 months ago
- ZKsync fork of the LLVM framework.☆33Updated last week
- ☆31Updated 3 months ago
- 🐺 Starknet Rust types 🦀☆69Updated 3 weeks ago
- ☆21Updated 10 months ago
- A library for encoding blobs into a 2D square of evenly sized chunks designed for sampling and reconstruction☆17Updated last week
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆38Updated 8 months ago
- ☆64Updated 11 months ago
- Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity☆22Updated 3 weeks ago
- ☆47Updated this week
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- Rust Library for running the Starknet OS via the Cairo VM☆62Updated this week
- A collection of works discussing the security aspects of StarkNet☆40Updated 3 months ago
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated 6 months ago
- Compare in-circuit and out-of-circuit VMs☆60Updated 8 months ago
- ☆40Updated 5 months ago
- Secure and optimized communication layer for rollups using EigenDA.☆18Updated this week
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.☆25Updated 8 months ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆21Updated 2 weeks ago