List of all items

Structs

• CadenceSegment
• FixedColumn
• InlineKernelHint
• ProgramCell
• ProgramInstance
• ProgramWitness
• chiplet::ChipletDef
• chiplet::CompositeChiplet
• chiplet::CompositeChipletBuilder
• circuit::Circuit
• circuit::CircuitProgram
• circuit::Col
• circuit::ColRange
• circuit::Mounted
• circuit::Packed
• constraint::BoundaryConstraint
• constraint::Constraint
• constraint::ConstraintArena
• constraint::ConstraintAst
• constraint::ConstraintTerm
• constraint::ExprId
• constraint::builder::ConstraintSystem
• constraint::builder::Expr
• expander::RingSwitchPlan
• expander::VirtualExpander
• linearized::RingGadget
• outer::BusRow
• outer::ConsistencyInputs
• outer::EvalInputs
• outer::EvalOutput
• outer::EvalRecord
• outer::InitialForm
• outer::LinearBatch
• outer::OuterLayout
• outer::OuterRows
• outer::OuterStatement
• outer::TableInputs
• outer::TablePads
• outer::TableRecord
• outer::TableShape
• permutation::PermutationCheckSpec
• permutation::Service
• predicate::AffineRow
• predicate::ClaimLayout
• predicate::Form
• predicate::PredicateRows
• schema::SchemaVec

Enums

• FixedShape
• constraint::BoundaryTarget
• constraint::ConstraintExpr
• expander::ExpansionEntry
• outer::BusSource
• permutation::BusKind
• permutation::ServiceSlot
• permutation::Source
• predicate::Unknown
• predicate::WireRole
• schema::ColumnType

Traits

• Air
• Program

Macros

• define_columns

Functions

• chiplet::compose_chiplet_defs
• chiplet::compose_external_buses
• digest::program_id
• digest::program_id_hex
• digest::program_id_of
• expander::claim_weights
• expander::eq_tensor_b
• expander::ring_batch_b
• expander::ring_target
• fix
• linearized::dual_basis
• linearized::linearized_coeffs
• outer::assemble
• outer::aux_filler_len
• outer::build_aux_rows
• outer::build_pad_rows
• outer::bus_key_form
• outer::bus_operand_rows
• outer::bus_sum_row
• outer::consistency_row
• outer::eval_final_row
• outer::eval_initial_form
• outer::eval_record
• outer::fixed_column_row
• outer::linear_weights
• outer::mul_node_count
• outer::reachable
• outer::resolve_table_row
• outer::sumcheck_mask_form
• outer::table_record
• permutation::accumulate_lookup_heights
• permutation::eval_row_idx_byte_mle
• permutation::eval_row_idx_le_mle
• permutation::is_request_idx_label
• permutation::validate_bus_set
• permutation::validate_fixed_selectors
• predicate::compile
• predicate::wire_values
• schema::chiplet_offsets
• validate_fixed_columns

Type Aliases

• permutation::ChallengeLabel

Constants

• expander::RING_BLIND_BITS
• linearized::BITS
• permutation::MAX_ROW_INDEX_BYTES
• permutation::REQUEST_IDX_BYTE_LABELS
• permutation::REQUEST_IDX_LABEL