Crate risc0_aggregation

Structs§

GuestInput: Input of the aggregation set builder guest.
GuestState
MerkleMountainRange: Incrementally constructable Merkle mountain range.
RecursionVerifierParamtersverify: Verifier parameters used for recursive verification (e.g. via env::verify) of receipts.
Seal: Seal of the SetInclusionReceipt.
SetInclusionReceiptverify: A receipt for a claim that is part of a set of verified claims (i.e. an aggregation).
SetInclusionReceiptVerifierParametersverify: Verifier parameters used to verify a SetInclusionReceipt.

decode_set_inclusion_sealverify
merkle_path: Calculate the Merkle path proving inclusion of the leaf at the given index in a tree constructed from the given leaves. The leaf and root are not included.
merkle_path_root: Calculate the root of the path assuming the given leaf value.
merkle_root: Calculate the Merkle root for a tree with the given list of digests as leaves.