ics23
by cosmos
Building generic merkle proof format for IBC
AI summary
Merkle proof format
A standard representation of merkle proofs that can be generated by many storage implementations and validated by various client libraries.
- stars
- 117
- forks
- 69
- watching
- 21
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Merkle proof library
A Merkle proof library for Bitcoin transactions
Merkle proof builder
Builds and verifies Bitcoin Merkle proof objects for efficient block transmission
IBC protocol
An implementation of the Inter-Blockchain Communication protocol in Rust.
Persistent storage
A data structure used to store persistent key-value pairs in a blockchain network.
Proof system
A high-speed recursive proof system for cryptographic primitives
Merkle calculator
A library that efficiently calculates Merkle roots and proofs from streams of byte strings
sol/hpack627
Package format
A format for Haskell packages that allows for more flexible and customizable package definitions.
Digital signature library
A pure Elixir implementation of a data structure used in cryptography and digital signatures
Merkle calculator
A performance-oriented library for efficiently calculating Merkle roots and trees
xsc/pandect222
Message digest library
Provides a simple and efficient way to calculate message digests, checksums, HMAC signatures, and digital signatures in Clojure.
Merkle DAG library
A Merkle DAG implementation for replicating immutable data in a peer-to-peer network
Token distributor
Distributes tokens based on a shared data structure
Merkle distributor
A smart contract that distributes tokens using a Merkle tree and the Huff language
Category theory library
A formally verified category theory library written in Idris
Compiler
A source-to-source compiler system for C-like languages using Lisp's macro system.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions ics23.