Tendermint in Solidity
☆61Mar 2, 2022Updated 4 years ago
Alternatives and similar repositories for tendermint-sol
Users that are interested in tendermint-sol are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Barebones Rust EVM Implementation☆12Feb 9, 2022Updated 4 years ago
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 3 years ago
- blah☆17Sep 20, 2021Updated 4 years ago
- Implementation of tendermint light client in rust can be compiled to wasm.☆29Feb 10, 2021Updated 5 years ago
- ☆103Nov 16, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Cairo VM prover implemented using Winterfell☆17May 4, 2023Updated 2 years ago
- Protobuf3 plugin for Solidity☆31Mar 26, 2024Updated 2 years ago
- ☆18Feb 15, 2024Updated 2 years ago
- Dungeon Crawler System☆27Jan 5, 2022Updated 4 years ago
- Oracle System☆15Jun 4, 2022Updated 3 years ago
- The Slush SDK allows you to spin up L3s on Starknet☆67Feb 20, 2023Updated 3 years ago
- ☆21May 9, 2023Updated 2 years ago
- Share private EVM state attestations using STARK proofs☆73Aug 4, 2022Updated 3 years ago
- ☆138Jul 13, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Coded Merkle Tree☆25Aug 6, 2019Updated 6 years ago
- IBC implementation in Hyperledger Fabric☆37May 11, 2023Updated 2 years ago
- ☆23Jan 15, 2024Updated 2 years ago
- Client libraries for Tendermint/CometBFT in Rust!☆670Apr 17, 2026Updated 2 weeks ago
- Tendermint consensus in Rust☆26Jun 24, 2022Updated 3 years ago
- ☆12Feb 3, 2022Updated 4 years ago
- ☆40Jun 2, 2020Updated 5 years ago
- Weiroll planner for ethers-rs☆16Apr 19, 2023Updated 3 years ago
- Verification-Driven Development☆21Mar 26, 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.
- SUPERCEDED by ricobank/multifab☆20Jul 13, 2022Updated 3 years ago
- Emergency Shutdown Module☆17Mar 8, 2023Updated 3 years ago
- ☆17Aug 29, 2022Updated 3 years ago
- RISC-V interactive fault proof tech☆109Dec 2, 2025Updated 4 months ago
- A Scaffold-Eth based version of the MATT auction https://roamresearch.com/#/app/capabul/page/Z72zJ8WKS☆17Sep 3, 2022Updated 3 years ago
- Official Foundry landing page☆17Jun 28, 2023Updated 2 years ago
- Simulate cross-chain protocols txs, easily.☆153Jun 19, 2025Updated 10 months ago
- A gate level simulator and gate level netlist standard specification in Cairo☆17Feb 15, 2022Updated 4 years ago
- Low-cost and fast L2 to L1 token withdrawal☆10Feb 9, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.☆92Sep 28, 2022Updated 3 years ago
- ☆12Dec 3, 2021Updated 4 years ago
- A FRI verifier circuit for the Halo2 proof system☆77Feb 22, 2023Updated 3 years ago
- ICA☆80Sep 20, 2023Updated 2 years ago
- I like to learn new things☆11Feb 28, 2026Updated 2 months ago
- A basic example for how to use hashes to "store" complex objects as hashes. Inspired by 0xSplits.☆13Jul 30, 2022Updated 3 years ago
- Pack data tightly together and save space.☆70Mar 10, 2023Updated 3 years ago