DelphinusLab / zkWasm-rust
rust sdk for zkWasm
☆11Updated 3 weeks ago
Alternatives and similar repositories for zkWasm-rust:
Users that are interested in zkWasm-rust are comparing it to the libraries listed below
- ☆24Updated 3 weeks ago
- High performance EraVM for zkSync.☆23Updated 2 months ago
- customizable halo2 circuits batcher☆30Updated last month
- 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.☆25Updated this week
- Pessimistic proof for the AggLayer.☆26Updated 6 months ago
- ☆51Updated this week
- Shared peer-to-peer network of zero-knowledge provers☆16Updated last month
- ☆15Updated 7 months ago
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.☆25Updated 5 months ago
- ☆11Updated 2 weeks ago
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆15Updated last week
- ☆30Updated 2 months ago
- Aggregator for the zkEVM network that uses a stateless prover.☆19Updated 3 months ago
- Starky implementation of Bls12-381☆12Updated 8 months ago
- Poseidon hash circuit☆95Updated 2 months ago
- A library for encoding blobs into a 2D square of evenly sized chunks designed for sampling and reconstruction☆15Updated last week
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆37Updated 5 months ago
- ☆19Updated 3 weeks ago
- An API compatible port of the Stone prover.☆19Updated 2 months ago
- ☆31Updated 9 months ago
- ☆23Updated 3 weeks ago
- Rescue and Poseidon hash function implementations☆42Updated 5 months ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆17Updated 3 weeks ago
- plonky2 proving over paladin☆23Updated 7 months ago
- Cryptography libraries for ZKsync☆26Updated this week
- ☆18Updated last month
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- EraVM specification.☆16Updated this week
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated last month