List of all items

Structs

• assert_less_than::AssertLessThanIo
• assert_less_than::AssertLtSubAir
• assert_less_than::AssertLtWhenTransitionAir
• assert_less_than::LessThanAuxCols
• bigint::OverflowInt
• bigint::check_carry_mod_to_zero::CheckCarryModToZeroCols
• bigint::check_carry_mod_to_zero::CheckCarryModToZeroSubAir
• bigint::check_carry_to_zero::CheckCarryToZeroCols
• bigint::check_carry_to_zero::CheckCarryToZeroSubAir
• bitwise_op_lookup::BitwiseOperationLookupAir
• bitwise_op_lookup::BitwiseOperationLookupBus
• bitwise_op_lookup::BitwiseOperationLookupBusInteraction
• bitwise_op_lookup::BitwiseOperationLookupChip
• bitwise_op_lookup::BitwiseOperationLookupCols
• bitwise_op_lookup::BitwiseOperationLookupPreprocessedCols
• encoder::Encoder
• is_equal::IsEqSubAir
• is_equal::IsEqualIo
• is_equal_array::IsEqArrayAuxCols
• is_equal_array::IsEqArrayIo
• is_equal_array::IsEqArraySubAir
• is_less_than::IsLessThanIo
• is_less_than::IsLtSubAir
• is_less_than::IsLtWhenTransitionAir
• is_less_than_array::IsLtArrayAuxCols
• is_less_than_array::IsLtArrayAuxColsMut
• is_less_than_array::IsLtArrayAuxColsRef
• is_less_than_array::IsLtArrayIo
• is_less_than_array::IsLtArraySubAir
• is_less_than_array::IsLtArrayWhenTransitionAir
• is_zero::IsZeroAuxCols
• is_zero::IsZeroIo
• is_zero::IsZeroSubAir
• range::BitsCheckBusInteraction
• range::RangeCheckBus
• range::RangeCheckBusInteraction
• range::RangeCheckerAir
• range::RangeCheckerChip
• range::RangeCols
• range::RangePreprocessedCols
• range_gate::RangeCheckerGateAir
• range_gate::RangeCheckerGateChip
• range_gate::RangeGateCols
• range_tuple::RangeTupleCheckerAir
• range_tuple::RangeTupleCheckerBus
• range_tuple::RangeTupleCheckerBusInteraction
• range_tuple::RangeTupleCheckerChip
• range_tuple::RangeTupleCols
• range_tuple::RangeTuplePreprocessedCols
• var_range::VariableRangeCheckerAir
• var_range::VariableRangeCheckerBus
• var_range::VariableRangeCheckerBusInteraction
• var_range::VariableRangeCheckerChip
• var_range::VariableRangeCols
• var_range::VariableRangePreprocessedCols
• xor::XorBus
• xor::XorBusInteraction
• xor::XorLookupAir
• xor::XorLookupChip
• xor::XorLookupCols
• xor::XorLookupPreprocessedCols

Traits

• SubAir
• TraceSubRowGenerator

Derive Macros

• AlignedBorrow
• Chip
• ChipUsageGetter

Functions

• bigint::check_carry_to_zero::get_carry_max_abs_and_bits
• bigint::utils::big_int_abs
• bigint::utils::big_int_to_limbs
• bigint::utils::big_int_to_num_limbs
• bigint::utils::big_uint_mod_inverse
• bigint::utils::big_uint_sub
• bigint::utils::big_uint_to_limbs
• bigint::utils::big_uint_to_num_limbs
• bigint::utils::range_check
• bigint::utils::secp256k1_coord_prime
• bigint::utils::secp256k1_scalar_prime
• bigint::utils::secp256r1_coord_prime
• bigint::utils::secp256r1_scalar_prime
• bigint::utils::take_limb
• bigint::utils::vec_isize_to_f
• utils::and
• utils::assert_array_eq
• utils::fill_slc_to_f
• utils::implies
• utils::next_power_of_two_or_zero
• utils::not
• utils::or
• utils::select
• utils::to_field_vec
• utils::to_vcols

Type Aliases

• is_equal::IsEqualAuxCols

Constants

• bitwise_op_lookup::NUM_BITWISE_OP_LOOKUP_COLS
• bitwise_op_lookup::NUM_BITWISE_OP_LOOKUP_PREPROCESSED_COLS
• range::NUM_RANGE_COLS
• range::NUM_RANGE_PREPROCESSED_COLS
• range_gate::NUM_RANGE_GATE_COLS
• range_gate::RANGE_GATE_COL_MAP
• range_tuple::NUM_RANGE_TUPLE_COLS
• var_range::NUM_VARIABLE_RANGE_COLS
• var_range::NUM_VARIABLE_RANGE_PREPROCESSED_COLS
• xor::NUM_XOR_LOOKUP_COLS
• xor::NUM_XOR_LOOKUP_PREPROCESSED_COLS