Electron-Labs / electron-rs
SDK for Zero Knowledge Proof Verification on Rust based chains
☆30Updated last year
Alternatives and similar repositories for electron-rs:
Users that are interested in electron-rs are comparing it to the libraries listed below
- A collection of ZK light client libraries for various blockchains☆49Updated 4 months ago
- ☆35Updated last month
- ☆25Updated last week
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆22Updated 9 months ago
- Pessimistic proof for the AggLayer.☆26Updated 9 months ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated last month
- ☆31Updated last year
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆45Updated 10 months ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- ☆23Updated last year
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 7 months ago
- ☆41Updated 8 months ago
- ☆21Updated this week
- ☆23Updated 3 months ago
- A parallel proving service for ZKM.☆21Updated this week
- linear-time sumcheck protocol for multilinear polynomials and related addends☆66Updated 6 months ago
- Rescue and Poseidon hash function implementations☆43Updated 8 months ago
- Solidity verifier for Plonk