An example of a ZK Tendermint light client on Ethereum powered by SP1.
☆28Jun 12, 2025Updated last year
Alternatives and similar repositories for sp1-tendermint-example
Users that are interested in sp1-tendermint-example are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An NFT collection to commemorate players of the Curta team for their participation and performance in the 2023 Paradigm CTF.☆11Nov 2, 2023Updated 2 years ago
- Monad-configured fork of Scaffold-ETH 2 (Hardhat, Next.js, RainbowKit, Wagmi)☆21Dec 4, 2025Updated 10 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆60Aug 5, 2024Updated 2 years ago
- ☆17Mar 8, 2023Updated 3 years ago
- ☆14Oct 27, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Open Parquet datasets of onchain data, queryable with Python notebooks, powered by SQD.☆16Jun 16, 2026Updated 4 months ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆55Jun 20, 2024Updated 2 years ago
- Systems Engineering & DevOps repository, Install, Configure, Tests ... OS, Application software, System management tools☆15Jan 1, 2023Updated 3 years ago
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆145Feb 20, 2026Updated 8 months ago
- Naehrig, Niederhagen and Schwabe's pairings code, massaged into a shared library.☆19Apr 19, 2016Updated 10 years ago
- C programming files and tasks☆11Jan 3, 2023Updated 3 years ago
- An active, public list of project ideas related to NFCxZK☆10Dec 6, 2023Updated 2 years ago
- On-chain Ethereum light client built with SP1☆83Updated this week
- the EVM, simplified☆103Jun 18, 2026Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Go bindings for Aptos MoveVM, compiled as a shared library via cgo☆27May 28, 2026Updated 5 months ago
- ☆22Jan 16, 2024Updated 2 years ago
- This is a zero knowledge IBC tendermint light client written using SP1 and ibc-rs (WIP)☆24Nov 29, 2024Updated last year
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Apr 16, 2024Updated 2 years ago
- Implementation of some concepts about Bash Scripting, Web Stack Debugging, Networking & Security, and CI/CD.☆11Dec 12, 2020Updated 5 years ago
- ☆13Aug 16, 2024Updated 2 years ago
- Rust implementation of POST proving☆13Dec 15, 2025Updated 10 months ago
- An advanced fork of Nova (contact:@huitseeker)☆94Mar 3, 2025Updated last year
- ☆96Aug 19, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Succinct's Production-Grade Proving Engine for the OP Stack.☆216Updated this week
- Plonkish Nova implementation along with advanced features☆16Dec 16, 2023Updated 2 years ago
- Monorepo for collection of Axiom V2 Typescript SDKs.☆14Oct 21, 2024Updated 2 years ago
- Holberton curriculum projects dealing mostly with C. Some assembly/others.☆12Mar 31, 2023Updated 3 years ago
- ☆26Jan 10, 2024Updated 2 years ago
- Interchain Security Testnets☆16Apr 19, 2024Updated 2 years ago
- A suite of portable, extensible `std` components for the superchain.☆21Jan 20, 2025Updated last year
- ☆10Aug 2, 2023Updated 3 years ago
- Code for emailwallet.org. Decentralized, zk-proof based, privacy preserving email-based transactions on chain, token transfers to email a…☆13Jan 21, 2026Updated 9 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Stark Compass: the only open source explorer☆68Oct 4, 2024Updated 2 years ago
- Starting to know some basic bash scripting and also writing bash scripts that does some basic shell task.☆12Jun 6, 2023Updated 3 years ago
- ☆10Jan 7, 2024Updated 2 years ago
- Testing infrastructure for the Celestia Network☆25Jan 13, 2026Updated 9 months ago
- Polyhedra ZK knowledge base☆27Oct 28, 2024Updated 2 years ago
- Bootstrap node for the Avail Light Client☆17Jul 1, 2024Updated 2 years ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Jul 29, 2023Updated 3 years ago