MerklePatriciaForestry

scalus.cardano.onchain.plutus.crypto.trie.MerklePatriciaForestry
See theMerklePatriciaForestry companion object

Merkle Patricia Forestry (radix-16) with full nibble prefix encoding.

This is the Aiken-compatible version that encodes the full nibble values in branch prefix hashes.

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

Extension method from MerklePatriciaForestry

Delete an element with proof using single-pass: parse proof once, compute both including (verify present) and excluding (new root) simultaneously.

Delete an element with proof using 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
Extension method from MerklePatriciaForestry

Check if an element exists with a specific value

Check if an element exists with a specific value

Attributes

Extension method from MerklePatriciaForestry

Insert an element with proof using single-pass: parse proof once, compute both excluding (verify absent) and including (new root) simultaneously.

Insert an element with proof using single-pass: parse proof once, compute both excluding (verify absent) and including (new root) simultaneously.

Attributes

def isEmpty: Boolean
Extension method from MerklePatriciaForestry

Check if this trie is empty

Check if this trie is empty

Attributes

def update(key: ByteString, proof: Proof, oldValue: ByteString, newValue: ByteString): MerklePatriciaForestry
Extension method from MerklePatriciaForestry

Update an element's value with proof More efficient than separate delete+insert

Update an element's value with proof More efficient than separate delete+insert

Attributes

def verifyMembership(key: ByteString, value: ByteString, proof: Proof): Unit
Extension method from MerklePatriciaForestry

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
Extension method from MerklePatriciaForestry

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

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product