Electron-Labs / electron-rs
SDK for Zero Knowledge Proof Verification on Rust based chains
☆30Updated last year
Related projects: ⓘ
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆22Updated 2 months ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆77Updated 5 months ago
- ☆34Updated this week
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆24Updated last month
- ☆45Updated this week
- Plug-and-play fee market module for Cosmos SDK chains☆24Updated this week
- revm (Rust Ethereum VM) translation for Era / zkEVM☆11Updated 9 months ago
- High performance EraVM for zkSync.☆21Updated this week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated last month
- Core components of the Polygon Miden rollup☆67Updated this week
- ☆28Updated this week
- Cryptographic primitives used in Polygon Miden rollup☆97Updated this week
- Reference implementation of the node for the Polygon Miden rollup☆52Updated this week
- ☆11Updated this week
- Starknet sequencer built with Tendermint Core☆53Updated last year
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆46Updated 3 months ago
- Deterministic executor + network sim for tokio-based systems.☆14Updated 3 weeks ago
- Generic Data Availability Interface for Modular Blockchains☆40Updated this week
- A minimal reimplementation of Tendermint in Rust☆22Updated this week
- Poseidon hash circuit☆88Updated last week
- A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)☆23Updated this week
- Rust Protobuf definitions and gRPC clients for interacting with Cosmos SDK, IBC and Interchain Security☆45Updated this week
- Cairo-VM STARK Verifier Rust implementation☆22Updated this week
- Specification of P2P protocol for StarkNet nodes☆42Updated last week
- Pessimistic proof for the AggLayer.☆25Updated 2 months ago
- ☆59Updated last month
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆38Updated last month
- Celestia Implementation of Modular Data Availability Interface☆18Updated 4 months ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆62Updated last month
- RISC-V interactive fraud-proof tech☆98Updated last week