Struct ModBuiltinRunner

pub struct ModBuiltinRunner { /* private fields */ }

Implementations

impl ModBuiltinRunner

pub fn name(&self) -> BuiltinName

pub fn initialize_segments(&mut self, segments: &mut MemorySegmentManager)

pub fn initialize_zero_segment(&mut self, segments: &mut MemorySegmentManager)

pub fn initial_stack(&self) -> Vec<MaybeRelocatable>

pub fn base(&self) -> usize

pub fn ratio(&self) -> Option<u32>

pub fn ratio_den(&self) -> Option<u32>

pub fn batch_size(&self) -> usize

pub fn get_used_cells( &self, segments: &MemorySegmentManager, ) -> Result<usize, MemoryError>

pub fn get_used_instances( &self, segments: &MemorySegmentManager, ) -> Result<usize, MemoryError>

pub fn fill_memory( memory: &mut Memory, add_mod: Option<(Relocatable, &ModBuiltinRunner, usize)>, mul_mod: Option<(Relocatable, &ModBuiltinRunner, usize)>, ) -> Result<(), RunnerError>

NOTE: It is advisable to use VirtualMachine::mod_builtin_fill_memory instead of this method directly when implementing hints to avoid cloning the runners Fills the memory with inputs to the builtin instances based on the inputs to the first instance, pads the offsets table to fit the number of operations writen in the input to the first instance, and caculates missing values in the values table. For each builtin, the given tuple is of the form (builtin_ptr, builtin_runner, n), where n is the number of operations in the offsets table (i.e., the length of the offsets table is 3*n). The number of operations written to the input of the first instance n’ should be at least n and a multiple of batch_size. Previous offsets are copied to the end of the offsets table to make its length 3n’.

Trait Implementations

impl Clone for ModBuiltinRunner

fn clone(&self) -> ModBuiltinRunner

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ModBuiltinRunner

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl From<ModBuiltinRunner> for BuiltinRunner

fn from(runner: ModBuiltinRunner) -> Self

Converts to this type from the input type.