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, permitting iterative opening over elements.
Used for hashing of the receipt claim assumptions list, and in the recursion predicates.