Structs§
- Hash
Slice Ctx - Hash
Slice SubAir - SubAir to hash N digest-sized elements into a single digest using a chain of Poseidon2 operations: N−1 permutations followed by 1 compression. Each step absorbs one element into the capacity portion of the running state.
- Merkle
Path RowView - Merkle
Path SubAir - SubAir to constrain a single Merkle path represented over consecutive rows.
- Merkle
Path SubAir Context - Merkle
Root Bus - Merkle
Root Message - Merkle
Tree Cols - Merkle
Tree Internal Bus - Merkle
Tree Internal Message - Merkle
Tree SubAir - SubAir to constrain a Merkle root proof and send the root to MerkleRootBus
Functions§
- generate_
cols_ from_ leaf_ children - Build Merkle-tree rows from leaf
(left_child, right_child)inputs using Poseidon2 compression over BabyBear. - hash_
slice_ trace - Given N element digests, compute the N−1 intermediate full permutation states
and the final digest, matching the layout of
HashSliceCtx.