succinctlabs/tendermintx external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

succinctlabs/tendermintx

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/succinctlabs/tendermintx)

Close

succinctlabs / tendermintxView on GitHubMore

• External links
• Readme badge

Implementation of zero-knowledge proof circuits for Tendermint.

☆82Apr 16, 2024Updated last year

Alternatives and similar repositories for tendermintx

Users that are interested in tendermintx are comparing it to the libraries listed below

• succinctlabs / starkyx

  View on GitHub
  ☆65May 2, 2024Updated last year
• lurk-lab / bellpepper-gadgets

  View on GitHub
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆18Mar 3, 2025Updated last year
• lurk-lang / bellpepper

  View on GitHub
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆78Jan 27, 2025Updated last year
• succinctlabs / blobstreamx

  View on GitHub
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆61Aug 5, 2024Updated last year
• succinctlabs / succinctx

  View on GitHub
  The schelling point for ZK applications.
  ☆144May 2, 2024Updated last year
• Electron-Labs / starky_bls12_381

  View on GitHub
  Starky implementation of Bls12-381
  ☆13May 16, 2024Updated last year
• ChainSafe / Spectre

  View on GitHub
  ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol
  ☆61Sep 30, 2024Updated last year
• DelphinusLab / halo2-gpu-specific

  View on GitHub
  ☆39Oct 25, 2025Updated 4 months ago
• cosmos / solidity-ibc-eureka

  View on GitHub
  This is a solidity implementation of IBC v2.
  ☆95Updated this week
• lurk-lang / arecibo

  View on GitHub
  An advanced fork of Nova (contact:@huitseeker)
  ☆88Mar 3, 2025Updated last year
• privacy-ethereum / poseidon

  View on GitHub
  ☆42Jul 25, 2024Updated last year
• 0xEigenLabs / eigen-zeth

  View on GitHub
  A "Type 0" zkEVM
  ☆12Jul 16, 2025Updated 7 months ago
• celestiaorg / wordle

  View on GitHub
  Wordle Game Implemented with Optimint
  ☆15Apr 3, 2024Updated last year
• tac0turtle / Entropy

  View on GitHub
  ☆14Mar 2, 2021Updated 5 years ago
• chainwayxyz / risc0-to-bitvm2

  View on GitHub
  ☆20Nov 3, 2025Updated 4 months ago
• lurk-lab / solidity-verifier

  View on GitHub
  Solidity implementation of Nova proving system verifier
  ☆66Mar 17, 2024Updated last year
• 0xPolygonZero / zk_evm

  View on GitHub
  ☆100May 2, 2025Updated 10 months ago
• arkworks-rs / sumcheck

  View on GitHub
  linear-time sumcheck protocol for multilinear polynomials and related addends
  ☆86Nov 21, 2025Updated 3 months ago
• 0xPolygonZero / plonky2-ecdsa

  View on GitHub
  ECDSA gadgets for plonky2
  ☆19Oct 20, 2023Updated 2 years ago
• celestiaorg / celestia-zkevm-ibc-demo

  View on GitHub
  ☆23Jul 30, 2025Updated 7 months ago
• evstack / ev-node

  View on GitHub
  A modular framework for building performant networks, pushing the boundary of today in order to build the apps of tomorrow.
  ☆363Updated this week
• cryptonetlab / testudo

  View on GitHub
  Testudo: Spartan + Groth16
  ☆53Feb 21, 2024Updated 2 years ago
• timewave-computer / valence-protocol

  View on GitHub
  A trust-minimized cross-chain execution environment.
  ☆15Oct 8, 2025Updated 4 months ago
• consensus-shipyard / fendermint

  View on GitHub
  IPC implementation atop CometBFT
  ☆17Jan 11, 2024Updated 2 years ago
• axiom-crypto / halo2-browser

  View on GitHub
  Monorepo of tools for using the halo2 proving system in-browser using WASM.
  ☆56Jun 20, 2024Updated last year
• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆49Feb 12, 2026Updated 3 weeks ago
• privacy-ethereum / snark-verifier

  View on GitHub
  ☆155Feb 26, 2024Updated 2 years ago
• argumentcomputer / sphinx

  View on GitHub
  An observatory fork of SP1
  ☆77Feb 11, 2025Updated last year
• delendum-xyz / zk-benchmarking

  View on GitHub
  comparing the performance of different zero-knowledge proof libraries
  ☆134Oct 15, 2023Updated 2 years ago
• cosmos / sp1-ics07-tendermint

  View on GitHub
  This is a zero knowledge IBC tendermint light client written using SP1 and ibc-rs (WIP)
  ☆24Nov 29, 2024Updated last year
• Sovereign-Labs / Jupiter

  View on GitHub
  A research-only integration of Sovereign with Celestia
  ☆20May 30, 2023Updated 2 years ago
• zhenfeizhang / pasta-solidity

  View on GitHub
  A Solidity implementation of Halo2's Pasta curves
  ☆50Mar 30, 2023Updated 2 years ago
• succinctlabs / plonky3

  View on GitHub
  ☆24Dec 21, 2024Updated last year
• tendermint / cosmos-rosetta-gateway

  View on GitHub
  Rosetta Libraries for Cosmos SDK apps
  ☆24May 12, 2021Updated 4 years ago
• arkworks-rs / spongefish

  View on GitHub
  Fiat-Shamir for the masses.
  ☆88Feb 14, 2026Updated 2 weeks ago
• dmpierre / sonobe-btc

  View on GitHub
  Using folding schemes for a provable bitcoin light client
  ☆34May 22, 2024Updated last year
• ilamanov / on-chain-ui

  View on GitHub
  Build and compose UI components on-chain
  ☆16Nov 7, 2023Updated 2 years ago
• lurk-lab / circom-scotia

  View on GitHub
  ☆23Mar 8, 2024Updated last year
• 0xPolygon / pil-stark

  View on GitHub
  Generates a stark from a pil
  ☆98Aug 9, 2024Updated last year