FusedMerklePatriciaForestry

scalus.cardano.onchain.plutus.crypto.trie.FusedMerklePatriciaForestry
See theFusedMerklePatriciaForestry companion class

Attributes

Companion
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Members list

Type members

Types

type Proof = ByteString

Inherited and Abstract types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete fields

lazy val sirDeps: List[SIRModuleWithDeps]
lazy val sirModule: Module

Extensions

Extensions

extension (self: FusedMerklePatriciaForestry)

Delete key/value using combined single-pass: parse proof once, compute both including (verify present) and excluding (new root) simultaneously.

Delete key/value using combined single-pass: parse proof once, compute both including (verify present) and excluding (new root) simultaneously.

Attributes

def has(key: ByteString, value: ByteString, proof: Proof): Boolean

Insert key/value using combined single-pass: parse proof once, compute both excluding (verify absent) and including (new root) simultaneously.

Insert key/value using combined single-pass: parse proof once, compute both excluding (verify absent) and including (new root) simultaneously.

Attributes

def isEmpty: Boolean
def update(key: ByteString, proof: Proof, oldValue: ByteString, newValue: ByteString): FusedMerklePatriciaForestry
def verifyMembership(key: ByteString, value: ByteString, proof: Proof): Unit

Verify membership of a key-value pair, throwing if the proof is invalid

Verify membership of a key-value pair, throwing if the proof is invalid

Attributes

def verifyNonMembership(key: ByteString, proof: Proof): Unit

Verify non-membership of a key, throwing if the proof is invalid

Verify non-membership of a key, throwing if the proof is invalid

Attributes