v2.1.0

Important

The fix has also been backported onto v1.1.2, which builds with aiken-1.0.29-alpha, for those still using Plutus V2.

Added

• New function miss to verify non-membership for keys using proofs of exclusions.

Changed

• Fixed proof verification for terminal forks with non-empty prefixes.

Removed

N/A

v2.0.1

Added

N/A

Changed

• Fixed proof verification on-chain for leaf fork with non-zero common prefix.

Removed

N/A

v2.0.0

Added

N/A

Changed

on-chain

• Requires aiken >= 1.1.0.

• Requires aiken-lang/stdlib >= 2.0.0 && aiken-lang/stdlib < 3.0.0.

• Creating an empty trie is no longer a function empty() but a constant empty.

off-chain

N/A

Removed

N/A

v1.1.0

Added

• Two new functions to the on-chain API:
  • root(MerklePatriciaForestry) -> ByteArray
  • update(self, key, proof, old_value, new_value) -> MerklePatriciaForestry

Changed

N/A

Removed

N/A

v1.0.1

Added

• Initial implementation of Merkle-Patricia Forestry, with an on-chain (Aiken) and off-chain (Node.js) backend.

  • Provides a simple on-chain API.

    • Constructing
      • empty() -> MerklePatriciaForestry
      • from_root(root) -> MerklePatriciaForestry
    • Modifying
      • insert(self, key, value, proof) -> MerklePatriciaForestry
      • delete(self, key, value, proof) -> MerklePatriciaForestry
    • Inspecting
      • has(self, key, value, proof) -> Bool

  • And a companion off-chain backend on top of level.js with an option to run in-memory:

    • Constructing
      • new Trie(store?: Store): Trie
      • Trie.fromList(items: Array<Item>, store?: Store): Promise<Trie>
      • Trie.load(store: Store): Promise<Trie>
      • trie.save(): Promise<(Trie)>
    • Modifying
      • trie.insert(key: string|Buffer, value: string|Buffer) -> Promise<Trie>
      • trie.delete(key: string|Buffer) -> Promise<Trie>
    • Inspecting
      • trie[inspect.custom]
      • trie.fetchChildren(depth?: number = 0): Promise<()>
      • trie.childAt(path: string): Promise<Trie|undefined>
    • Proving
      • trie.prove(key: string|Buffer): Promise<Proof>
      • proof.verify(includingItem?: bool = true): Buffer
      • proof.toJSON(): object
      • proof.toCBOR(): Buffer
      • proof.toAiken(): string

Changed

N/A

Removed

N/A