pub fn tagged_struct<S: Sha256>(
    tag: &str,
    down: &[impl Borrow<Digest>],
    data: &[u32]
) -> Digest
Expand description

A struct hashing routine, permiting tree-like opening of fields.

Used for hashing of the receipt claim, and in the recursion predicates.