Electron-Labs / electron-rsLinks
SDK for Zero Knowledge Proof Verification on Rust based chains
☆31Updated 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:
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated 3 months ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- 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☆58Updated 10 months ago
- Pessimistic proof for the AggLayer.☆28Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- ☆24Updated 9 months ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Updated this week
- Circuit components definition library for zkLLVM circuit compiler☆42Updated last year
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆65Updated last year
- ZKM Development Template/Framework☆29Updated 3 months ago
- RISC-V interactive fault proof tech☆107Updated 5 months ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆62Updated 5 months ago
- Cryptography libraries for ZKsync☆35Updated 3 weeks ago
- ☆23Updated last year
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆16Updated last week
- High performance EraVM for zkSync.☆23Updated 5 months ago
- ☆86Updated 2 years ago
- An implementation of a namespaced merkle tree in Rust.☆31Updated 3 months ago
- ☆53Updated last week
- ☆64Updated last year
- Cryptographic protocols☆39Updated 2 years ago
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆40Updated last week
- Secure and optimized communication layer for rollups using EigenDA.☆22Updated 2 months ago
- ☆31Updated last year
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆77Updated 8 months ago
- zkEVM proof generator reference written in Javascript☆82Updated 4 months ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 3 years ago
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- Template for zkGraph.☆19Updated last year