Electron-Labs / electron-rsLinks
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
Sorting:
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆22Updated last year
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated 2 weeks ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆56Updated last month
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 10 months ago
- ☆35Updated this week
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- ☆22Updated 2 weeks ago
- On-chain Ethereum light client built with SP1☆57Updated 2 weeks ago
- An implementation of a namespaced merkle tree in Rust.☆31Updated 2 weeks ago
- Pessimistic proof for the AggLayer.☆26Updated last year
- A collection of ZK light client libraries for various blockchains☆51Updated 6 months ago
- ☆51Updated 2 weeks ago
- Bitcoin light client implementation for Near Protocol☆13Updated this week
- ☆23Updated last year
- ☆25Updated last month
- customizable halo2 circuits batcher☆31Updated last month
- ☆23Updated 6 months ago
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆45Updated last year
- Solidity verifier for Plonk☆42Updated 10 months ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- Deterministic executor + network sim for tokio-based systems.☆18Updated 2 months ago
- Email verification circuit in halo2☆68Updated 11 months ago
- ☆31Updated last year
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated 8 months ago
- Smart contracts for the Telepathy protocol☆77Updated last year
- Bringing divine order to remote task execution.☆25Updated 7 months ago
- Plug-and-play fee market module for Cosmos SDK chains☆30Updated 2 weeks ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆73Updated 4 months ago
- ☆42Updated 11 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year