Function risc0_binfmt::tagged_list

source ·
pub fn tagged_list<S: Sha256>(tag: &str, list: &[impl Borrow<Digest>]) -> Digest
Expand description

A list hashing routine, permiting iterative opening over elements.

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