Module risc0_zkvm::recursion

Re-exports for recursion

Structs

• CircuitImpl
  This struct implements traits that are defined by code generated by the circuit definition.
• SuccinctReceipt
  This struct represents a receipt for one or more crate::SegmentReceipts joined through recursion.

Constants

• ALLOWED_IDS_ROOT
  Merkle root of the RECURSION_CONTROL_IDS
• DEF
• TAPSET

Functions

• valid_control_ids
  This function gets valid control IDs from the poseidon and recursion circuits