Trait BaseAirWithPublicValues

Source
pub trait BaseAirWithPublicValues<F>: BaseAir<F> {
    // Provided method
    fn num_public_values(&self) -> usize { ... }
}
Expand description

An AIR with 0 or more public values. This trait will be merged into Plonky3 in PR: https://github.com/Plonky3/Plonky3/pull/470

Provided Methods§

Implementors§

impl<F: Field, const READ_LIMBS: usize, const WRITE_LIMBS: usize, const LIMB_BITS: usize> BaseAirWithPublicValues<F> for ModularIsEqualCoreAir<READ_LIMBS, WRITE_LIMBS, LIMB_BITS>

impl<F, A, M> BaseAirWithPublicValues<F> for VmAirWrapper<A, M>
where A: BaseAir<F>, M: BaseAirWithPublicValues<F>,

impl<F: Field, const SBOX_REGISTERS: usize> BaseAirWithPublicValues<F> for Poseidon2PeripheryAir<F, SBOX_REGISTERS>

impl<const BLOCK_SIZE: usize, F> BaseAirWithPublicValues<F> for MemoryDummyAir<BLOCK_SIZE>

impl<const CHUNK: usize, F: Field> BaseAirWithPublicValues<F> for MemoryMerkleAir<CHUNK>

impl<F: Field, const M: usize> BaseAirWithPublicValues<F> for XorLookupAir<M>

impl<F: Field, const NUM_BITS: usize> BaseAirWithPublicValues<F> for BitwiseOperationLookupAir<NUM_BITS>

impl<F: Field, const NUM_CELLS: usize> BaseAirWithPublicValues<F> for NativeLoadStoreCoreAir<NUM_CELLS>

impl<F: Field, const SBOX_REGISTERS: usize> BaseAirWithPublicValues<F> for NativePoseidon2Air<F, SBOX_REGISTERS>

impl<F: Field, const SBOX_REGISTERS: usize> BaseAirWithPublicValues<F> for Poseidon2SubAir<F, SBOX_REGISTERS>

impl<F: Field, const NUM_CELLS: usize> BaseAirWithPublicValues<F> for LoadStoreCoreAir<NUM_CELLS>

impl<F: Field, const NUM_CELLS: usize, const LIMB_BITS: usize> BaseAirWithPublicValues<F> for LoadSignExtendCoreAir<NUM_CELLS, LIMB_BITS>

impl<F: Field, const NUM_LIMBS: usize> BaseAirWithPublicValues<F> for BranchEqualCoreAir<NUM_LIMBS>

impl<F: Field, const NUM_LIMBS: usize, const LIMB_BITS: usize> BaseAirWithPublicValues<F> for BaseAluCoreAir<NUM_LIMBS, LIMB_BITS>

impl<F: Field, const NUM_LIMBS: usize, const LIMB_BITS: usize> BaseAirWithPublicValues<F> for BranchLessThanCoreAir<NUM_LIMBS, LIMB_BITS>

impl<F: Field, const NUM_LIMBS: usize, const LIMB_BITS: usize> BaseAirWithPublicValues<F> for DivRemCoreAir<NUM_LIMBS, LIMB_BITS>

impl<F: Field, const NUM_LIMBS: usize, const LIMB_BITS: usize> BaseAirWithPublicValues<F> for LessThanCoreAir<NUM_LIMBS, LIMB_BITS>

impl<F: Field, const NUM_LIMBS: usize, const LIMB_BITS: usize> BaseAirWithPublicValues<F> for MulHCoreAir<NUM_LIMBS, LIMB_BITS>

impl<F: Field, const NUM_LIMBS: usize, const LIMB_BITS: usize> BaseAirWithPublicValues<F> for MultiplicationCoreAir<NUM_LIMBS, LIMB_BITS>

impl<F: Field, const NUM_LIMBS: usize, const LIMB_BITS: usize> BaseAirWithPublicValues<F> for ShiftCoreAir<NUM_LIMBS, LIMB_BITS>