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.☆28Updated 2 months ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆22Updated 11 months ago
- Pessimistic proof for the AggLayer.☆26Updated 11 months ago
- ☆35Updated last week
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated 2 years ago
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 8 months ago
- A simple, IPFS-based multi-party trusted setup utility for snarkjs☆27Updated 2 years ago
- Solidity verifier for Plonk☆42Updated 9 months ago
- ☆23Updated 5 months ago
- An implementation of a namespaced merkle tree in Rust.☆31Updated last month
- ☆31Updated last year
- Template for zkGraph.☆19Updated last year
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆16Updated 3 weeks ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 9 months ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆69Updated 8 months ago
- Plug-and-play fee market module for Cosmos SDK chains☆30Updated last month
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆23Updated this week
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆56Updated 3 weeks ago
- Secure and optimized communication layer for rollups using EigenDA.☆20Updated this week
- ☆17Updated 2 years ago
- ☆25Updated 3 weeks ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆11Updated last year
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆42Updated last year
- ☆30Updated last month
- Email verification circuit in halo2☆68Updated 11 months ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated last year