succinctlabs / tendermintx
Implementation of zero-knowledge proof circuits for Tendermint.
☆79Updated 10 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 6 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆80Updated this week
- Smart contracts for onchain verification of SP1.☆78Updated 2 weeks ago
- Reference implementation of the node for the Polygon Miden rollup☆58Updated this week
- ☆91Updated 2 months ago
- Consensus nodes performing in unison!☆32Updated 7 months ago
- ☆51Updated this week
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆128Updated this week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆60Updated 4 months ago
- Circom interpreter to arithmetic circuit description☆53Updated 5 months ago
- Benchmarks of popular zkVMs including Jolt☆59Updated 9 months ago
- OS for next iteration of the world computer☆44Updated last year
- A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.☆155Updated this week
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆92Updated last month
- Nova: Recursive SNARKs without trusted setup☆42Updated last year
- Sidecar to Enable Rollup Extensions☆69Updated this week
- ☆55Updated 3 months ago
- RISC-V interactive fault proof tech☆100Updated last week
- PoC of Revm execution in SGX☆79Updated last year
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated last year
- Email verification circuit in halo2☆67Updated 7 months ago
- ☆150Updated 11 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆103Updated 2 months ago
- ☆41Updated 9 months ago
- A collection of ZK light client libraries for various blockchains☆48Updated 2 months ago
- A PoC repo for a HyperNova impl☆82Updated last year
- Polynomials Identity Language☆68Updated 11 months ago
- zkEVM proof generator reference written in Javascript☆81Updated 2 weeks ago
- A collection of learning materials on the Beam chain and Ream client.☆34Updated this week
- Crypto Gadgets for Plonky2☆71Updated 9 months ago