Electron-Labs / electron-rsLinks
SDK for Zero Knowledge Proof Verification on Rust based chains
☆32Updated 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 6 months ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- ☆86Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- ☆61Updated 4 months ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- Smart contracts for the Telepathy protocol☆79Updated last year
- Cryptographic primitives used in Polygon Miden rollup☆131Updated this week
- A collection of ZK light client libraries for various blockchains☆66Updated last year
- ☆23Updated last year
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Updated last month
- Circuit components definition library for zkLLVM circuit compiler☆41Updated last year
- zkEVM proof generator reference written in Javascript☆82Updated 7 months ago
- Reference implementation of the node for the Miden blockchain☆85Updated this week
- ☆23Updated 5 months ago
- ☆18Updated last year
- Rescue and Poseidon hash function implementations☆43Updated last year
- ☆54Updated last month
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆66Updated last year
- customizable halo2 circuits batcher☆31Updated 2 months ago
- Configurable Asset Privacy☆34Updated 2 years ago
- Cryptography libraries for ZKsync☆38Updated 3 weeks ago
- High performance EraVM for zkSync.☆23Updated 2 months ago
- Danksharding Builder with GPU acceleration☆52Updated 2 years ago
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆41Updated last month
- ☆24Updated last year
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆64Updated this week
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated 2 years ago
- ☆100Updated 8 months ago