succinctlabs / tendermintx
Implementation of zero-knowledge proof circuits for Tendermint.
☆79Updated 11 months ago
Alternatives and similar repositories for tendermintx:
Users that are interested in tendermintx are comparing it to the libraries listed below
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 7 months ago
- Reference implementation of the node for the Polygon Miden rollup☆59Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆90Updated this week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆60Updated 5 months ago
- ☆91Updated 3 months ago
- RISC-V interactive fault proof tech☆102Updated last month
- Smart contracts for onchain verification of SP1.☆84Updated 2 weeks ago
- ☆56Updated 4 months ago
- Circom interpreter to arithmetic circuit description☆53Updated 6 months ago
- A collection of ZK light client libraries for various blockchains☆49Updated 3 months ago
- Email verification circuit in halo2☆68Updated 8 months ago
- Smart contracts for the Telepathy protocol☆76Updated 11 months ago
- The First Production-Grade Proving Engine for OP Stack☆147Updated this week
- Cryptographic primitives used in Polygon Miden rollup☆111Updated this week
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆85Updated this week
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆95Updated 2 months ago
- Core components of the Polygon Miden rollup☆76Updated this week
- Consensus nodes performing in unison!☆32Updated 8 months ago
- A PoC repo for a HyperNova impl☆82Updated last year
- ☆150Updated last year
- Polynomials Identity Language☆68Updated last year
- ☆25Updated this week
- Rust implementation of the Agglayer.☆98Updated this week
- OS for next iteration of the world computer☆44Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 6 months ago
- Crypto Gadgets for Plonky2☆72Updated 10 months ago
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- ☆59Updated 7 months ago
- ☆66Updated this week
- ☆49Updated this week