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 7 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆89Updated this week
- Smart contracts for onchain verification of SP1.☆83Updated last week
- ☆91Updated 3 months ago
- Circom interpreter to arithmetic circuit description☆53Updated 6 months ago
- Consensus nodes performing in unison!☆32Updated 8 months ago
- Solidity contracts for a next-gen rollup system.☆63Updated 3 months ago
- Reference implementation of the node for the Polygon Miden rollup☆59Updated this week
- ☆94Updated 6 months ago
- Polynomials Identity Language☆68Updated last year
- RISC-V interactive fault proof tech☆101Updated last month
- ☆150Updated last year
- OS for next iteration of the world computer☆44Updated last year
- ☆55Updated 4 months ago
- PoC of Revm execution in SGX☆79Updated last year
- A PoC repo for a HyperNova impl☆82Updated last year
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆146Updated this week
- Kate commitment based PLONK recursive aggregation circuit☆40Updated last year
- Solidity implementation of Nova proving system verifier☆60Updated 11 months ago
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆60Updated 5 months ago
- Benchmarks of popular zkVMs including Jolt☆60Updated 10 months ago
- ☆65Updated this week
- Email verification circuit in halo2☆67Updated 8 months ago
- The Slush SDK allows you to spin up L3s on Starknet☆67Updated 2 years ago
- Build Cosmos SDK applications on the OP Stack.☆29Updated 2 months ago
- Core components of the Polygon Miden rollup☆76Updated this week
- Bolt: permissionless proposer commitments on Ethereum☆90Updated this week
- A collection of ZK light client libraries for various blockchains☆49Updated 3 months ago
- Smart contracts for the Telepathy protocol☆76Updated 11 months ago
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 6 months ago