Tendermint Verifiable Computations and Storage Demo
☆24Jun 28, 2018Updated 7 years ago
Alternatives and similar repositories for tendermint-demo
Users that are interested in tendermint-demo are comparing it to the libraries listed below
Sorting:
- A Cairo VM prover implemented using Winterfell☆17May 4, 2023Updated 2 years ago
- Implementation of polynomial KZG proofs and 257-ary verkle trie☆24Sep 6, 2021Updated 4 years ago
- Protobuf3 plugin for Solidity☆31Mar 26, 2024Updated last year
- Playground EC2 instance manager☆23Mar 13, 2019Updated 6 years ago
- ☆117Aug 6, 2021Updated 4 years ago
- EIP-3074 (Batch) transaction invoker, which can send multiple transactions in a single call☆35Feb 3, 2023Updated 3 years ago
- Web app for experimenting with Cairo, Sierra and CASM, with step-by-step debugging.☆32May 6, 2025Updated 10 months ago
- ☆12Apr 8, 2025Updated 10 months ago
- ☆10Jan 22, 2024Updated 2 years ago
- ☆10Apr 23, 2017Updated 8 years ago
- ☆11May 19, 2022Updated 3 years ago
- Optimism-Python: Unofficial Python Client for the OP-Stack☆16Nov 1, 2024Updated last year
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- ☆42Jul 8, 2024Updated last year
- Benchmarks to read parquet to arrow☆11Dec 25, 2022Updated 3 years ago
- Flash swap implementations for liquidating underwater accounts in Hifi☆11Aug 9, 2021Updated 4 years ago
- GitHub Action to format Cairo files 💄☆12Aug 23, 2022Updated 3 years ago
- ☆13Feb 23, 2026Updated last week
- Solana Developer Wiki☆11Mar 22, 2024Updated last year
- Tornado cash fork with blacklist to prevent illegal money laundering☆10Mar 13, 2023Updated 2 years ago
- ☆12May 8, 2024Updated last year
- Ethereum Portal Network Client written in Go☆14Nov 24, 2025Updated 3 months ago
- ☆10Jan 29, 2023Updated 3 years ago
- A client for running a personal Ethereum blockchain on a JVM☆10Mar 31, 2022Updated 3 years ago
- Proof of concept for using state proofs and L1 block data to verify cross-chain actions☆12Aug 29, 2024Updated last year
- Cryptographic accumulator☆10Mar 8, 2018Updated 7 years ago
- Sandbox for Hyperledger Projects Performance research usage☆12Nov 27, 2023Updated 2 years ago
- A simulator for the UW MIPS instruction set, with a time-traveling debugger☆10Jun 26, 2019Updated 6 years ago
- Experiments with FIPS-compliant Golang crypto☆14Oct 25, 2023Updated 2 years ago
- Convex optimization for fun and profit.☆11Jan 12, 2022Updated 4 years ago
- Tiny utility package for snapshotting gas costs☆13Mar 14, 2022Updated 3 years ago
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Jul 13, 2025Updated 7 months ago
- ☆12Mar 22, 2025Updated 11 months ago
- Loops the over all MakerDao collateral types and adjusts the DC-IAM lines.☆11Oct 29, 2021Updated 4 years ago
- Detect whether your system/container and your Golang binary are ready to run in FIPS mode.☆12Nov 6, 2025Updated 4 months ago
- Hackathon project for Snarky workshop.☆11Jun 21, 2019Updated 6 years ago
- Backrunning Paymaster Example☆11Jul 23, 2023Updated 2 years ago
- An example of building a distributed key value database, using hashicorp's raft and gossip sdks☆10Apr 21, 2023Updated 2 years ago
- ☆12Jun 19, 2023Updated 2 years ago