Struct CircuitEvaluation 

pub struct CircuitEvaluation { /* private fields */ }

Contains the variable and evaluation nodes resulting from the evaluation of a circuit. The output value is checked to be equal to 0.

The set of nodes is used to fill the ACE chiplet trace.

Implementations

impl CircuitEvaluation

pub fn new( ctx: ContextId, clk: RowIndex, num_read_rows: u32, num_eval_rows: u32, ) -> Self

Generates the nodes in the graph generated by evaluating the inputs and circuit located in a contiguous memory region.

Panics:

This function panics if the number of rows for each section leads to more than MAX_NUM_ACE_WIRES wires.

pub fn num_rows(&self) -> usize

pub fn clk(&self) -> u32

pub fn ctx(&self) -> u32

pub fn num_read_rows(&self) -> u32

pub fn num_eval_rows(&self) -> u32

pub fn do_read(&mut self, ptr: Felt, word: Word)

Reads the word from memory at ptr, interpreting it as [v_00, v_01, v_10, v_11], and adds wires with values v_0 = QuadFelt(v_00, v_01) and v_1 = QuadFelt(v_10, v_11).

pub fn do_eval(&mut self, ptr: Felt, instruction: Felt) -> Result<(), AceError>

Reads the next instruction at ptr, requests the inputs from the wire bus and inserts a new wire with the result.

pub fn fill(&self, offset: usize, columns: &mut [Vec<Felt>])

pub fn output_value(&self) -> Option<QuadFelt>

Returns the output value, if the circuit has finished evaluating.

Trait Implementations

impl Clone for CircuitEvaluation

fn clone(&self) -> CircuitEvaluation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CircuitEvaluation

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

Formats the value using the given formatter.