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:
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated last month
- ☆36Updated last week
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆57Updated 2 months ago
- On-chain Ethereum light client built with SP1☆60Updated last week
- A collection of ZK light client libraries for various blockchains☆53Updated 7 months ago
- ☆17Updated 3 years ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 10 months ago
- Bitcoin light client implementation for Near Protocol☆13Updated this week
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆22Updated last year
- An implementation of a namespaced merkle tree in Rust.☆31Updated last month
- ☆15Updated 4 months ago
- ☆23Updated 6 months ago
- Solidity verifier for Plonk☆42Updated 11 months ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆26Updated 2 weeks ago
- Pessimistic proof for the AggLayer.☆26Updated last year
- Template for zkGraph.☆19Updated last year
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- 🦀 celestia-node REST client in Rust.☆18Updated 3 years ago
- A minimal reimplementation of Tendermint in Rust☆25Updated last month
- customizable halo2 circuits batcher☆31Updated last week
- Cryptography libraries for ZKsync☆32Updated 2 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated 11 months ago
- Secure and optimized communication layer for rollups using EigenDA.☆22Updated last week
- 凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform☆27Updated last year
- ☆51Updated this week
- Tendermint in Solidity☆60Updated 3 years ago
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆37Updated 11 months ago
- ☆19Updated last month
- linear-time sumcheck protocol for multilinear polynomials and related addends☆75Updated 9 months ago