List of all items

Structs

• CircuitImpl
• layout::Mux3Layout
• layout::Mux5Layout
• layout::MuxLayout
• layout::OneHot0Layout
• layout::OneHot1Layout
• layout::OneHot2Layout
• layout::OneHot4Layout
• layout::OneHotLayout
• layout::RecursionBitAndElemLayout
• layout::RecursionBitOpShortsLayout
• layout::RecursionCheckedBytesInstLayout
• layout::RecursionCodeLayout
• layout::RecursionImplWomPlonkElementLayout
• layout::RecursionMacroInstLayout
• layout::RecursionMicroInstLayout
• layout::RecursionMicroOpLayout
• layout::RecursionPoseidon2MemInstLayout
• layout::RecursionSetGlobalLayout
• layout::RecursionShaCycleLayout
• layout::RecursionTopLayout
• prove::Program
• prove::Prover
• prove::RecursionReceipt
• testutil::EvalCheckParams

Enums

• prove::DigestKind

Traits

• prove::RecursionProver

Functions

• prove::recursion_prover
• prove::zkr::get_all_zkrs
• prove::zkr::get_zkr
• testutil::eval_check_impl

Type Aliases

• layout::RecursionImplWomPlonkElementLayout4LayoutArray
• layout::RecursionMicroInstLayout3LayoutArray
• layout::RecursionMicroOpLayout3LayoutArray
• layout::Reg2LayoutArray
• layout::Reg31LayoutArray
• layout::Reg32LayoutArray
• layout::Reg3LayoutArray
• layout::Reg4LayoutArray
• layout::Reg8LayoutArray

Constants

• CIRCUIT
• GLOBAL_MIX
• GLOBAL_OUT
• REGISTER_GROUP_ACCUM
• REGISTER_GROUP_CODE
• REGISTER_GROUP_CTRL
• REGISTER_GROUP_DATA
• control_id::ALLOWED_CONTROL_IDS
• control_id::ALLOWED_CONTROL_ROOT
• control_id::BN254_IDENTITY_CONTROL_ID
• control_id::MIN_LIFT_PO2
• control_id::POSEIDON2_CONTROL_IDS
• control_id::SHA256_CONTROL_IDS
• layout::CODE_LAYOUT
• layout::DATA_LAYOUT
• layout::OUT_LAYOUT