Implementation of zero-knowledge proof circuits for Tendermint.
☆82Apr 16, 2024Updated 2 years ago
Alternatives and similar repositories for tendermintx
Users that are interested in tendermintx are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆60Aug 5, 2024Updated last year
- ☆64May 2, 2024Updated 2 years ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆78Jan 27, 2025Updated last year
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆18Mar 3, 2025Updated last year
- The schelling point for ZK applications.☆143May 2, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Wordle Game Implemented with Optimint☆15Apr 3, 2024Updated 2 years ago
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Sep 30, 2024Updated last year
- ☆25Dec 21, 2024Updated last year
- This is a zero knowledge IBC tendermint light client written using SP1 and ibc-rs (WIP)☆24Nov 29, 2024Updated last year
- ☆24Jul 30, 2025Updated 10 months ago
- An advanced fork of Nova (contact:@huitseeker)☆91Mar 3, 2025Updated last year
- This is a solidity implementation of IBC v2.☆103Updated this week
- An open source Cosmos SDK module registry.☆25Apr 30, 2023Updated 3 years ago
- Starky implementation of Bls12-381☆13May 16, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆39Oct 25, 2025Updated 7 months ago
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆45Jun 9, 2024Updated 2 years ago
- World's first zk explorer☆10Nov 12, 2023Updated 2 years ago
- ☆155Feb 26, 2024Updated 2 years ago
- Build and compose UI components on-chain☆16Nov 7, 2023Updated 2 years ago
- ☆101May 2, 2025Updated last year
- A trust-minimized cross-chain execution environment.☆17Oct 8, 2025Updated 8 months ago
- SDK for Zero Knowledge Proof Verification on Rust based chains☆32Sep 15, 2023Updated 2 years ago
- Solidity implementation of Nova proving system verifier☆66Mar 17, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- linear-time sumcheck protocol for multilinear polynomials and related addends☆91Nov 21, 2025Updated 6 months ago
- ☆24Mar 8, 2024Updated 2 years ago
- ☆71Apr 1, 2025Updated last year
- ☆20Nov 3, 2025Updated 7 months ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆56Jun 20, 2024Updated last year
- Budget is a Cosmos SDK module that implements budget functionality.☆20Nov 8, 2022Updated 3 years ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- A SIMD implementation of Keccak256 for aarch64, forked from Remco Bloeman's Goldilocks K12 implementation.☆21Nov 6, 2023Updated 2 years ago
- A modular framework for building performant networks, pushing the boundary of today in order to build the apps of tomorrow.☆363Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆14Mar 2, 2021Updated 5 years ago
- ☆42Jul 25, 2024Updated last year
- A research-only integration of Sovereign with Celestia☆20May 30, 2023Updated 3 years ago
- Rosetta Libraries for Cosmos SDK apps☆24May 12, 2021Updated 5 years ago
- ☆89Mar 18, 2024Updated 2 years ago
- Generates a stark from a pil☆98Aug 9, 2024Updated last year
- Namespaced Merkle Tree☆122May 29, 2026Updated 2 weeks ago