Struct BoundaryConstraint 

pub struct BoundaryConstraint<F> {
    pub col_idx: usize,
    pub row_idx: usize,
    pub target: BoundaryTarget<F>,
}

Pins a single trace cell to a target value at a specific row.

Fields

col_idx: usize

row_idx: usize

target: BoundaryTarget<F>

Implementations

impl<F> BoundaryConstraint<F>

pub fn with_constant(col_idx: usize, row_idx: usize, val: F) -> Self

pub fn with_public_input( col_idx: usize, row_idx: usize, input_idx: usize, ) -> Self

impl<F: TowerField> BoundaryConstraint<F>

pub fn resolve_target(&self, instance: &ProgramInstance<F>) -> Result<F>

Read the pin value out of target. Constant returns the literal; PublicInput(idx) reads instance.public_inputs[idx].

pub fn absorb_into<H: Hasher>(&self, transcript: &mut Transcript<H>)

Constant values are load-bearing: a malicious prover could swap them between sessions while keeping the chiplet root valid unless the transcript binds them.

Trait Implementations

impl<F: Clone> Clone for BoundaryConstraint<F>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug> Debug for BoundaryConstraint<F>

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

Formats the value using the given formatter.