Crate risc0_aggregation

Structs

• GuestOutput
  Journal output of aggregation set builder guest.
• 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.

Enums

• EncodingErrorverify
• GuestInput
  Input of the aggregation set builder guest.
• VerificationErrorverify

Functions

• 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.