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 last month
- High performance EraVM for zkSync.☆23Updated this week
- ☆59Updated 5 months ago
- ☆24Updated last month
- Reference implementation of the node for the Polygon Miden rollup☆56Updated this week
- ☆21Updated 5 months ago
- Specification of P2P protocol for StarkNet nodes☆49Updated 2 weeks ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 5 months ago
- ZKsync fork of the LLVM framework.☆33Updated this week
- Test runner for ethereum foundation tests☆24Updated this week
- Smart contracts for onchain verification of SP1.☆72Updated last week
- Aggregator for the zkEVM network that uses a stateless prover.☆19Updated 3 months ago
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆15Updated 2 weeks ago
- EraVM specification.☆16Updated this week
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆37Updated 5 months ago
- ☆21Updated last year
- A collection of ZK light client libraries for various blockchains☆46Updated last month
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.☆25Updated 5 months ago
- Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity☆19Updated this week
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆26Updated this week
- ☆30Updated this week
- Compare in-circuit and out-of-circuit VMs☆59Updated 5 months ago
- Symbiotic Core smart contracts☆41Updated this week
- ZKM Development Template/Framework☆23Updated 2 weeks ago
- A collection of works discussing the security aspects of StarkNet☆40Updated last month
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Updated 3 months ago
- Poseidon hash circuit☆95Updated 3 months ago
- A library for encoding blobs into a 2D square of evenly sized chunks designed for sampling and reconstruction☆15Updated this week
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆85Updated 2 weeks ago
- Keccak-f[1600] permutation in the EVM☆25Updated 2 months ago