Alternatives and similar repositories for tendermintx

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

• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆61Updated last year
• ethereum-optimism / asterisc
  RISC-V interactive fault proof tech
  ☆108Updated 3 weeks ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated last year
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆98Updated last year
• skip-mev / pob
  Skip's protocol-owned MEV builder implementation
  ☆54Updated last year
• 0xPolygonZero / zk_evm
  ☆99Updated 7 months ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆65Updated last year
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆28Updated 6 months ago
• skip-mev / block-sdk
  🎨 Programmable Block Builder for Cosmos Chains
  ☆68Updated 10 months ago
• ChorusOne / tendermint-sol
  Tendermint in Solidity
  ☆61Updated 3 years ago
• axiom-crypto / axiom-eth
  ☆94Updated last year
• ChainSafe / Spectre
  ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol
  ☆61Updated last year
• succinctlabs / telepathy-contracts
  Smart contracts for the Telepathy protocol
  ☆79Updated last year
• privacy-ethereum / snark-verifier
  ☆155Updated last year
• grandinetech / rust-kzg
  Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)
  ☆132Updated last week
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆32Updated 6 months ago
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆79Updated last week
• celestiaorg / celestia-zkevm-ibc-demo
  ☆22Updated 4 months ago
• crate-crypto / rust-verkle
  ☆134Updated last year
• ethereum / kzg-ceremony-sequencer
  ☆86Updated 2 years ago
• 0xMiden / crypto
  Cryptographic primitives used in Polygon Miden rollup
  ☆129Updated this week
• lurk-lab / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆66Updated last year
• matter-labs / zk_os
  OS for next iteration of the world computer
  ☆43Updated 2 years ago
• crate-crypto / go-eth-kzg
  ☆32Updated last month
• iden3 / rapidsnark
  rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.
  ☆85Updated this week
• 0xPolygon / zkevm-techdocs
  Technical documentation of the zkEVM
  ☆91Updated last year
• 0xMiden / miden-node
  Reference implementation of the node for the Miden blockchain
  ☆86Updated this week
• agglayer / agglayer
  Rust implementation of the Agglayer.
  ☆118Updated this week
• privacy-ethereum / halo2-solidity-verifier
  A set of tooling related to halo2 circuits verification inside Solidity contracts
  ☆66Updated last year
• lurk-lang / bellpepper
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆78Updated 11 months ago