Rv32LessThan256Air

openvm_bigint_circuit

Type Alias Rv32LessThan256Air 

Source 
pub type Rv32LessThan256Air = VmAirWrapper<Rv32HeapAdapterAir<2, INT256_NUM_LIMBS, INT256_NUM_LIMBS>, LessThanCoreAir<INT256_NUM_LIMBS, RV32_CELL_BITS>>;
Expand description

LessThan256

Aliased Type§

pub struct Rv32LessThan256Air {
    pub adapter: Rv32HeapAdapterAir<2, 32, 32>,
    pub core: LessThanCoreAir<32, 8>,
}

Fields§

§adapter: Rv32HeapAdapterAir<2, 32, 32>§core: LessThanCoreAir<32, 8>