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
Sorting:
- Barebones Rust EVM Implementation☆12Feb 9, 2022Updated 4 years ago
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 2 years ago
- blah☆17Sep 20, 2021Updated 4 years ago
- Implementation of tendermint light client in rust can be compiled to wasm.☆28Feb 10, 2021Updated 5 years ago
- ☆103Nov 16, 2022Updated 3 years ago
- A Cairo VM prover implemented using Winterfell☆17May 4, 2023Updated 2 years ago
- Protobuf3 plugin for Solidity☆31Mar 26, 2024Updated last year
- ☆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
- Coded Merkle Tree☆25Aug 6, 2019Updated 6 years ago
- IBC implementation in Hyperledger Fabric☆36May 11, 2023Updated 2 years ago
- ☆23Jan 15, 2024Updated 2 years ago
- Client libraries for Tendermint/CometBFT in Rust!☆670Nov 25, 2025Updated 3 months ago
- Tendermint consensus in Rust☆26Jun 24, 2022Updated 3 years ago
- ☆12Feb 3, 2022Updated 4 years ago
- ☆40Jun 2, 2020Updated 5 years ago
- Verification-Driven Development☆21Mar 26, 2021Updated 4 years ago
- Weiroll planner for ethers-rs☆16Apr 19, 2023Updated 2 years ago
- SUPERCEDED by ricobank/multifab☆20Jul 13, 2022Updated 3 years ago
- Emergency Shutdown Module☆17Mar 8, 2023Updated 3 years ago
- RISC-V interactive fault proof tech☆108Dec 2, 2025Updated 3 months ago
- ☆17Aug 29, 2022Updated 3 years ago
- A Scaffold-Eth based version of the MATT auction https://roamresearch.com/#/app/capabul/page/Z72zJ8WKS☆17Sep 3, 2022Updated 3 years ago
- Simulate cross-chain protocols txs, easily.☆152Jun 19, 2025Updated 9 months ago
- Official Foundry landing page☆17Jun 28, 2023Updated 2 years ago
- A gate level simulator and gate level netlist standard specification in Cairo☆17Feb 15, 2022Updated 4 years ago
- e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.☆92Sep 28, 2022Updated 3 years ago
- Low-cost and fast L2 to L1 token withdrawal☆10Feb 9, 2022Updated 4 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 3 weeks 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.☆71Mar 10, 2023Updated 3 years ago