List of all items

Structs

• CastfOpcodeIter
• FieldArithmeticOpcodeIter
• FieldExtensionOpcodeIter
• FriOpcodeIter
• NativeBranchEqualOpcode
• NativeJalOpcodeIter
• NativeLoadStoreOpcodeIter
• asm::AsmCompiler
• asm::AsmConfig
• asm::AssemblyCode
• asm::BasicBlock
• asm::ForCompiler
• asm::IfCompiler
• constraints::Constraint
• constraints::ConstraintCompiler
• constraints::halo2::baby_bear::AssignedBabyBear
• constraints::halo2::baby_bear::AssignedBabyBearExt4
• constraints::halo2::baby_bear::BabyBearChip
• constraints::halo2::baby_bear::BabyBearExt4Chip
• constraints::halo2::compiler::Halo2ConstraintCompiler
• constraints::halo2::compiler::Halo2State
• constraints::halo2::poseidon2_perm::Poseidon2Params
• constraints::halo2::poseidon2_perm::Poseidon2State
• conversion::CompilerOptions
• ir::BreakLoop
• ir::Builder
• ir::BuilderFlags
• ir::Ext
• ir::Felt
• ir::IfBuilder
• ir::MemIndex
• ir::Ptr
• ir::RangeBuilder
• ir::RangeBuilderWithBreaks
• ir::Ref
• ir::SymbolicPtr
• ir::TracedVec
• ir::Var
• ir::Witness

Enums

• CastfOpcode
• FieldArithmeticOpcode
• FieldExtensionOpcode
• FriOpcode
• NativeJalOpcode
• NativeLoadStoreOpcode
• NativePhantom
• asm::AsmInstruction
• asm::IndexTriple
• asm::ValueOrConst
• constraints::opcodes::ConstraintOpcode
• ir::Array
• ir::DslIr
• ir::ExtOperand
• ir::RVar
• ir::SymbolicExt
• ir::SymbolicFelt
• ir::SymbolicVar
• ir::Usize

Traits

• ir::CanSelect
• ir::Config
• ir::ExtConst
• ir::ExtensionOperand
• ir::FromConstant
• ir::MemVariable
• ir::Variable

Derive Macros

• prelude::DslVariable
• prelude::Hintable

Functions

• constraints::halo2::compiler::convert_efr
• constraints::halo2::compiler::convert_fr
• conversion::convert_field_extension
• conversion::convert_program
• ir::elements
• ir::ext_elements
• ir::unsafe_array_transmute

Type Aliases

• asm::AsmBuilder
• constraints::halo2::baby_bear::BabyBearExt4
• ir::Digest

Constants

• asm::MEMORY_TOP
• ir::DIGEST_SIZE
• ir::LIMB_BITS
• ir::NUM_LIMBS
• ir::PERMUTATION_WIDTH