scalus.cardano.onchain.plutus.crypto.trie

Fused Merkle Patricia Forestry (radix-16).

Proofs are encoded as a single flat ByteString instead of List[ProofStep]. This eliminates per-step CBOR/Data overhead.

Binary proof format (all fields fixed-size): Branch: 0x00 | skip[1] | neighbors[128] = 130 bytes Fork: 0x01 | skip[1] | nibble[1] | prefixLen[1] | halfLeft[32] | halfRight[32] = 68 bytes Leaf: 0x02 | skip[1] | key[32] | value[32] = 66 bytes

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.