Enum NativePoseidon2Chip

pub enum NativePoseidon2Chip<F: Field> {
    Register0(NativePoseidon2BaseChip<F, 0>),
    Register1(NativePoseidon2BaseChip<F, 1>),
}

Variants

Register0(NativePoseidon2BaseChip<F, 0>)

Register1(NativePoseidon2BaseChip<F, 1>)

Implementations

impl<F: PrimeField32> NativePoseidon2Chip<F>

pub fn new( execution_bus: ExecutionBus, program_bus: ProgramBus, memory_controller: MemoryControllerRef<F>, poseidon2_config: Poseidon2Config<F>, offset: usize, max_constraint_degree: usize, ) -> Self

Trait Implementations

impl<SC: StarkGenericConfig> Chip<SC> for NativePoseidon2Chip<Val<SC>>

where Val<SC>: PrimeField32,

fn air(&self) -> Arc<dyn AnyRap<SC>>

fn generate_air_proof_input(self) -> AirProofInput<SC>

Generate all necessary input for proving a single AIR.

fn generate_air_proof_input_with_id( self, air_id: usize, ) -> (usize, AirProofInput<SC>)

impl<F: PrimeField32> ChipUsageGetter for NativePoseidon2Chip<F>

fn air_name(&self) -> String

fn current_trace_height(&self) -> usize

Height of used rows in the main trace.

fn trace_width(&self) -> usize

Width of the main trace

fn constant_trace_height(&self) -> Option<usize>

If the chip has a state-independent trace height that is determined upon construction, return this height. This is used to distinguish “static” versus “dynamic” usage metrics.

fn current_trace_cells(&self) -> usize

For metrics collection

impl<F: PrimeField32> From<NativePoseidon2Chip<F>> for NativeExecutor<F>

fn from(value: NativePoseidon2Chip<F>) -> Self

Converts to this type from the input type.

impl<F: PrimeField32> InstructionExecutor<F> for NativePoseidon2Chip<F>

fn execute( &mut self, instruction: Instruction<F>, from_state: ExecutionState<u32>, ) -> Result<ExecutionState<u32>, ExecutionError>

Runtime execution of the instruction, if the instruction is owned by the current instance. May internally store records of this call for later trace generation.

fn get_opcode_name(&self, opcode: usize) -> String

For display purposes. From absolute opcode as usize, return the string name of the opcode if it is a supported opcode by the present executor.