package plebeia

You can search for identifiers within the package.

in-package search v0.2.0

Functional storage using Merkle Patricia tree

Install

dune-project

Dependency

gitlab.com Readme MIT License Edit opam file Versions (6)

Authors

D

DaiLambda, Inc

Maintainers

J

jun.furuse@dailambda.jp

Sources

plebeia-2.0.0.tar.gz

md5=f528f42d3e72d400265eb6bc51901fca

sha512=6cf070b2f1ea2e570a106b231a7e8e40c64c91c5a7abeddf072a5c413e74d5d9dd9b7df674cca559ddb33cabc9c0ec0b3a001306397d11b62888aac4cca9fd7e

doc/plebeia.test_utils/Test_utils/Fs_simulation/WithSimulation/F/Merkle_proof/index.html

Module `F.Merkle_proof`Source

Sourcetype t = Plebeia.Merkle_proof.t

Source

type detail =
  Path.t * Plebeia.Segment.segment list * Plebeia.Node_type.node option

Sourceval encoding : Plebeia.Vc.t -> Plebeia.Merkle_proof.t Data_encoding.t

Sourceval pp : Format.formatter -> Plebeia.Merkle_proof.t -> unit

Source

val convert_details : 
  (Plebeia.Segment.t list * 'a) list ->
  ((Path.t * Plebeia.Segment.t list * 'a) list, Plebeia.Error.t)
    Plebeia.Result.t

Source

val make : 
  Path.t list ->
  cursor ->
  (cursor
   * (Plebeia.Merkle_proof.t
      * (Path.t * Plebeia.Segment.t list * Plebeia.Node_type.t option) list),
    Plebeia.Error.t)
    result

Source

val check : 
  Plebeia.Vc.t ->
  Plebeia.Merkle_proof.t ->
  (Plebeia.Hash.Prefix.t
   * (Path.t * Plebeia.Segment.t list * Plebeia.Node_type.t option) list,
    Plebeia.Error.t)
    result

package plebeia

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/plebeia.test_utils/Test_utils/Fs_simulation/WithSimulation/F/Merkle_proof/index.html

Module F.Merkle_proofSource

dune-project
Dependency

Module `F.Merkle_proof`Source