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.☆140May 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.
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Sep 30, 2024Updated last year
- Wordle Game Implemented with Optimint☆15Apr 3, 2024Updated 2 years ago
- ☆25Dec 21, 2024Updated last year
- ☆24Jul 30, 2025Updated 11 months ago
- This is a zero knowledge IBC tendermint light client written using SP1 and ibc-rs (WIP)☆24Nov 29, 2024Updated last year
- An advanced fork of Nova (contact:@huitseeker)☆92Mar 3, 2025Updated last year
- This is a solidity implementation of IBC v2.☆103Updated this week
- A trust-minimized cross-chain execution environment.☆17Oct 8, 2025Updated 9 months ago
- An open source Cosmos SDK module registry.☆25Apr 30, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Starky implementation of Bls12-381☆13May 16, 2024Updated 2 years ago
- ☆39Oct 25, 2025Updated 9 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
- ☆156Feb 26, 2024Updated 2 years ago
- Build and compose UI components on-chain☆16Nov 7, 2023Updated 2 years ago
- ☆100May 2, 2025Updated last year
- Solidity implementation of Nova proving system verifier☆66Mar 17, 2024Updated 2 years ago
- ☆71Apr 1, 2025Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- SDK for Zero Knowledge Proof Verification on Rust based chains☆32Sep 15, 2023Updated 2 years ago
- ☆24Mar 8, 2024Updated 2 years ago
- ☆20Nov 3, 2025Updated 8 months ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆56Jun 20, 2024Updated 2 years ago
- Budget is a Cosmos SDK module that implements budget functionality.☆20Nov 8, 2022Updated 3 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
- A SIMD implementation of Keccak256 for aarch64, forked from Remco Bloeman's Goldilocks K12 implementation.☆21Nov 6, 2023Updated 2 years ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- ☆14Mar 2, 2021Updated 5 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.
- ☆42Jul 25, 2024Updated 2 years ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆92Nov 21, 2025Updated 8 months ago
- 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
- Testudo: Spartan + Groth16☆54Feb 21, 2024Updated 2 years ago
- ☆89Mar 18, 2024Updated 2 years ago
- ☆227May 14, 2026Updated 2 months ago