ics23
Merkle proof format
A standard representation of merkle proofs that can be generated by many storage implementations and validated by various client libraries.
Building generic merkle proof format for IBC
116 stars
20 watching
69 forks
Language: Rust
last commit: 10 days ago
Linked from 1 awesome list
Related projects:
| Repository | Description | Stars |
|---|---|---|
 ethers/bitcoin-proof | A Merkle proof library for Bitcoin transactions | 32 |
 mappum/bitcoin-merkle-proof | Builds and verifies Bitcoin Merkle proof objects for efficient block transmission | 12 |
| cosmos/ibc-rs | An implementation of the Inter-Blockchain Communication protocol in Rust. | 206 |
| cosmos/iavl | A data structure used to store persistent key-value pairs in a blockchain network. | 423 |
 microsoft/nova | A high-speed recursive proof system for cryptographic primitives | 714 |
 bobg/merkle | A library that efficiently calculates Merkle roots and proofs from streams of byte strings | 18 |
 sol/hpack | A format for Haskell packages that allows for more flexible and customizable package definitions. | 624 |
 yosriady/merkle_tree | A pure Elixir implementation of a data structure used in cryptography and digital signatures | 96 |
 bitcoinjs/merkle-lib | A performance-oriented library for efficiently calculating Merkle roots and trees | 30 |
 xsc/pandect | Provides a simple and efficient way to calculate message digests, checksums, HMAC signatures, and digital signatures in Clojure. | 223 |
 hackergrrl/ipfs-hyperlog | A Merkle DAG implementation for replicating immutable data in a peer-to-peer network | 57 |
 uniswap/merkle-distributor | Distributes tokens based on a shared data structure | 600 |
 benleim/huff-merkle | A smart contract that distributes tokens using a Merkle tree and the Huff language | 12 |
 statebox/idris-ct | A formally verified category theory library written in Idris | 256 |
 kiselgra/c-mera | A source-to-source compiler system for C-like languages using Lisp's macro system. | 407 |