Compact Coreledger Adts

Ledger ADTs

Reference for Midnight's ledger abstract data types for on-chain state management.

Available ADTs

Quick Examples

Counter

ledger counter: Counter;

export circuit increment(): Uint<64> {
    counter.increment(1);
    return counter.value();
}

Map

ledger balances: Map<Bytes<32>, Uint<64>>;

export circuit get_balance(user: Bytes<32>): Uint<64> {
    const result = balances.lookup(user);
    return if result is Maybe::Some(balance) { balance } else { 0 };
}

MerkleTree

ledger members: MerkleTree<Bytes<32>>;

export circuit prove_membership(
    leaf: Bytes<32>,
    path: Vector<Bytes<32>, 20>
): Boolean {
    const computed_root = merkleTreePathRoot(leaf, path);
    return computed_root == members.root();
}

Compact vs TypeScript Operations

Some ADT operations are only available in TypeScript:

References

• Counter - Counter operations and patterns
• Collections - Map, Set, List operations
• Merkle Trees - MerkleTree and HistoricMerkleTree
• Kernel - Special kernel operations

Converted and distributed by TomeVault — claim your Tome and manage your conversions.