package plebeia
Functional storage using Merkle Patricia tree
Install
Dune Dependency
Authors
Maintainers
Sources
plebeia-2.0.2.tar.gz
md5=aecc184507170faed53e543195687233
sha512=9799144ea7ebc997681353136393815ac73040e2ae5227f2787c1331bb393dbd318b1fa3ae8d075b383cda4fe7584b80f7f32a4aa99c870a0bd2d76e91024bf5
doc/plebeia/Plebeia/Merkle_proof/index.html
Module Plebeia.Merkle_proof
Source
Merkle proof
Hashed only nodes are represented by Hash h
.
Proof tree packed with the paths proven in it
Encoding of t
. The Disk
nodes are loaded from ctxt
on demand.
make ctxt n paths
returns the packed Merkle proof of paths
of node n
under context ctxt
and the nodes found (or not found) at paths
.
The proof may contain Disk
nodes which require ctxt
to be loaded. Use encoding
to load all the nodes
n
must point to aBud
, otherwise the function fails.
check hasher t
returns the top Merkle hash of the proof tree of t
and returns the nodes found at the t.paths
.
It may raise Invalid_argument
when t
contains Disk
nodes.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>