succinctlabs / tendermintx
Implementation of zero-knowledge proof circuits for Tendermint.
☆81Updated last year
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 8 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆99Updated this week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated 6 months ago
- Smart contracts for onchain verification of SP1.☆88Updated last month
- Reference implementation of the node for the Polygon Miden rollup☆61Updated this week
- ☆92Updated 4 months ago
- Circom interpreter to arithmetic circuit description☆53Updated 7 months ago
- RISC-V interactive fault proof tech☆102Updated last month
- Email verification circuit in halo2☆68Updated 9 months ago
- ☆98Updated 8 months ago
- Consensus nodes performing in unison!☆32Updated 10 months ago
- A PoC repo for a HyperNova impl☆83Updated last year
- ☆150Updated last year
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆98Updated this week
- Polynomials Identity Language☆68Updated last year
- 🎨 Programmable Block Builder for Cosmos Chains☆70Updated 2 months ago
- ☆94Updated 8 months ago
- Build Cosmos SDK applications on the OP Stack.☆29Updated 4 months ago
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 7 months ago
- Benchmark of multiple zk implementations.☆83Updated last year
- Crypto Gadgets for Plonky2☆72Updated 11 months ago
- On-chain Ethereum light client built with SP1☆46Updated this week
- Rust Library for running the Starknet OS via the Cairo VM☆62Updated last week
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆107Updated last month
- Kate commitment based PLONK recursive aggregation circuit☆40Updated last year
- OS for next iteration of the world computer☆44Updated last year
- PoC of Revm execution in SGX☆80Updated last year
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated 2 years ago
- ☆40Updated 5 months ago
- ☆77Updated this week