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
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- A collection of ZK light client libraries for various blockchains☆56Updated 8 months ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆27Updated last month
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- Cryptography libraries for ZKsync☆33Updated 2 months ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 11 months ago
- ZKM Development Template/Framework☆25Updated last month
- CosmWasm + zkVM RISC-V EFI template☆23Updated 2 years ago
- ☆60Updated 8 months ago
- Smart contracts for the Telepathy protocol☆77Updated last year
- RISC-V interactive fault proof tech☆103Updated 3 months ago
- ☆19Updated last week
- Pessimistic proof for the AggLayer.☆26Updated last year
- ☆63Updated last year
- Solidity verifier for Plonk☆42Updated 11 months ago
- ☆86Updated last year
- An implementation of a namespaced merkle tree in Rust.☆31Updated last month
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆17Updated this week
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆65Updated 10 months ago
- Secure and optimized communication layer for rollups using EigenDA.☆22Updated 2 weeks ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Template for zkGraph.☆19Updated last year
- Tendermint in Solidity☆60Updated 3 years ago
- Reference implementation of the node for the Miden blockchain☆71Updated this week
- zkEVM proof generator reference written in Javascript☆81Updated 2 months ago
- AppliedZKP's zkEVM Documentation☆25Updated last year
- ☆96Updated 3 months ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆58Updated 3 months ago