List of all items

Structs

• CircuitImpl
• cpu::CpuCircuitHal
• 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::HalPair
• prove::Program
• prove::Prover
• prove::RecursionReceipt
• testutil::EvalCheckParams

Enums

• prove::DigestKind

Traits

• Externs

Functions

• prove::poseidon254_hal_pair
• prove::poseidon2_hal_pair
• prove::sha256_hal_pair
• prove::zkr::get_zkr
• testutil::eval_check_impl
• zkr::get_all_zkrs
• zkr::get_zkr

Type Aliases

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

Constants

• CHECKED_COEFFS_PER_POLY
• 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
• micro_op::ADD
• micro_op::CONST
• micro_op::EQ
• micro_op::EXTRACT
• micro_op::INV
• micro_op::MIX_RNG
• micro_op::MUL
• micro_op::READ_IOP_BODY
• micro_op::READ_IOP_HEADER
• micro_op::SELECT
• micro_op::SUB