ZK proof generator for smart contract state verification on EVM blockchains
-
Updated
May 25, 2026 - Rust
#
merkle-proofs
Here are 8 public repositories matching this topic...
ZK opening proofs for different networks (key-value, events). Verifiable against a TRUSTED ROOT.
-
Updated
Jun 5, 2025 - Rust
A Solidity implementation of a token airdrop system using Merkle trees for efficient and gas-optimized token distribution.
-
Updated
Aug 27, 2025 - Shell
ethereum modified merkle patricia trie (mpt) implementation in rust. features rlp serialization, extension node splitting, and o(1) state verification via merkle proofs
rust cryptography ethereum data-structures rlp evm systems-programming merkle-patricia-trie merkle-proofs blockchain-state
-
Updated
Jan 18, 2026 - Rust
Sparse Merkle Tree libraries enabling off-chain proof generation (Go) and on-chain verification (Solidity)
go golang cryptography cross-platform ethereum blockchain data-structures solidity sparse-merkle-tree merkle-proofs inclusion-proofs
-
Updated
Jul 23, 2025 - Solidity
VAR — Verifiable Automated Resolution: trustless, Kani-proven settlement for FIFA World Cup markets on Solana, resolving from TxODDS Tx LINE's on-chain Merkle feed. Superteam World Cup hackathon.
rust hackathon oracle anchor settlement formal-verification prediction-markets solana kani superteam merkle-proofs world-cup-2026
-
Updated
Jul 19, 2026 - Rust
A production-oriented sovereign blockchain in Go with CometBFT ABCI++, deterministic execution, Pebble state, WASM, proofs, and a local explorer.
go pebble smart-contracts blockchain wasm json-rpc devnet abci byzantine-fault-tolerance cometbft merkle-proofs sovereign-blockchain
-
Updated
Jul 14, 2026 - Go
Verifiable TxLINE soccer prediction-market resolution receipts on Solana.
-
Updated
Jul 19, 2026 - TypeScript
Improve this page
Add a description, image, and links to the merkle-proofs topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the merkle-proofs topic, visit your repo's landing page and select "manage topics."