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.