Electron-Labs / electron-rsLinks
SDK for Zero Knowledge Proof Verification on Rust based chains
☆32Updated 2 years ago
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 zero-knowledge proof circuits for Tendermint.☆82Updated last year
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated 6 months ago
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆93Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- A collection of ZK light client libraries for various blockchains☆64Updated last year
- Circuit components definition library for zkLLVM circuit compiler☆41Updated last year
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Updated last week
- A minimal reimplementation of Tendermint in Rust☆25Updated 6 months ago
- ☆24Updated last year
- ZKM Development Template/Framework☆30Updated 5 months ago
- Cryptographic primitives used in Polygon Miden rollup☆129Updated this week
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆16Updated last month
- An implementation of a namespaced merkle tree in Rust.☆31Updated 6 months ago
- Reference implementation of the node for the Miden blockchain☆86Updated this week
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆66Updated last year
- Deterministic executor + network sim for tokio-based systems.☆19Updated this week
- ☆23Updated last year
- Secure and optimized communication layer for rollups using EigenDA.☆22Updated 4 months ago
- ☆61Updated 3 months ago
- Cryptography libraries for ZKsync☆36Updated 2 weeks ago
- ☆42Updated last year
- Danksharding Builder with GPU acceleration☆52Updated 2 years ago
- ☆31Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- ☆17Updated 3 years ago
- Email verification circuit in halo2☆68Updated last year
- ☆22Updated 4 months ago
- Starknet sequencer built with Tendermint Core☆52Updated 2 years ago
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆41Updated last week