Struct PublicValuesExecutor 

pub struct PublicValuesExecutor<F, A = NativeAdapterExecutor<F, 2, 0>> { /* private fields */ }

ATTENTION: If a specific public value is not provided, a default 0 will be used when generating the proof but in the perspective of constraints, it could be any value.

Implementations

impl<F: Clone, A> PublicValuesExecutor<F, A>

pub fn new(adapter: A) -> Self

Trait Implementations

impl<F: Clone, A: Clone> Clone for PublicValuesExecutor<F, A>

fn clone(&self) -> PublicValuesExecutor<F, A>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<F, A> Executor<F> for PublicValuesExecutor<F, A>

where F: PrimeField32,

fn pre_compute_size(&self) -> usize

fn pre_compute<Ctx>( &self, _pc: u32, inst: &Instruction<F>, data: &mut [u8], ) -> Result<ExecuteFunc<F, Ctx>, StaticProgramError>

where Ctx: ExecutionCtxTrait,

impl<F: Field> From<PublicValuesExecutor<F>> for SystemExecutor<F>

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

Converts to this type from the input type.

impl<F, A> MeteredExecutor<F> for PublicValuesExecutor<F, A>

where F: PrimeField32,

fn metered_pre_compute_size(&self) -> usize

fn metered_pre_compute<Ctx>( &self, chip_idx: usize, _pc: u32, inst: &Instruction<F>, data: &mut [u8], ) -> Result<ExecuteFunc<F, Ctx>, StaticProgramError>

where Ctx: MeteredExecutionCtxTrait,

impl<F, A, RA> PreflightExecutor<F, RA> for PublicValuesExecutor<F, A>

where F: PrimeField32, A: 'static + Clone + AdapterTraceExecutor<F, ReadData = [[F; 1]; 2], WriteData = [[F; 1]; 0]>, for<'buf> RA: RecordArena<'buf, EmptyAdapterCoreLayout<F, A>, (A::RecordMut<'buf>, &'buf mut PublicValuesRecord<F>)>,

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.

fn execute( &self, state: VmStateMut<'_, F, TracingMemory, RA>, instruction: &Instruction<F>, ) -> Result<(), 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.