Enum Mutation 

pub enum Mutation {
    BitFlip {
        target: Target,
        col: usize,
        row: usize,
        mask: u128,
    },
    OutOfBounds {
        target: Target,
        col: usize,
        row: usize,
        value: u128,
    },
    FlipSelector {
        target: Target,
        col: usize,
        row: usize,
    },
    SwapRows {
        target: Target,
        row_a: usize,
        row_b: usize,
    },
    SwapColumns {
        target: Target,
        cols: Vec<usize>,
        row_a: usize,
        row_b: usize,
    },
    DuplicateRow {
        target: Target,
        src_row: usize,
        dst_row: usize,
    },
    CopyColumns {
        target: Target,
        cols: Vec<usize>,
        src_row: usize,
        dst_row: usize,
    },
    ColumnUniformWrite {
        target: Target,
        col: usize,
        value: u128,
    },
    RowSegmentZero {
        target: Target,
        rows: Vec<usize>,
        cols: Vec<usize>,
    },
    MonotonicReplace {
        target: Target,
        col: usize,
        base: u128,
        step: u128,
    },
    Compound(Vec<Mutation>),
}

A trace tamper. Clone + Debug are required for proptest shrinking output.

Variants

BitFlip

XOR mask (truncated to column width) into a single cell.

Fields

target: Target

col: usize

row: usize

mask: u128

OutOfBounds

Inject a value the AIR packing accepts but range-checks must reject.

Fields

target: Target

col: usize

row: usize

value: u128

FlipSelector

Toggle a Bit cell. Targets must be Bit-typed columns.

Fields

target: Target

col: usize

row: usize

SwapRows

Swap every column between two rows.

Fields

target: Target

row_a: usize

row_b: usize

SwapColumns

Dispatch-swap primitive: rearrange data while leaving the columns outside cols (selectors, RAM bindings) in place.

Fields

target: Target

cols: Vec<usize>

row_a: usize

row_b: usize

DuplicateRow

Char-2 duplication: copy every column of src_row onto dst_row.

Fields

target: Target

src_row: usize

dst_row: usize

CopyColumns

Fields

target: Target

cols: Vec<usize>

src_row: usize

dst_row: usize

ColumnUniformWrite

Overwrite every row of col with the same value (truncated to column width). Catches “column should be non-trivial somewhere” gaps the row-local AIR misses.

Fields

target: Target

col: usize

value: u128

RowSegmentZero

Zero every cell in the cross product of rows and cols. Catches padding- block forgeries and trace-tail filler.

Fields

target: Target

rows: Vec<usize>

cols: Vec<usize>

MonotonicReplace

Replace col with base + i * step at row i (truncated to column width). Catches CLK rewinds, address-sorted- permutation forgeries, monotonic-counter bypasses.

Fields

target: Target

col: usize

base: u128

step: u128

Compound(Vec<Mutation>)

Apply mutations as one tamper. Enables coordinated cross-trace (chiplet + main) attacks the per-table checks alone cannot catch.

Implementations

impl Mutation

pub fn kind(&self) -> Option<MutationKind>

Some for Layer-1 variants; None for SwapColumns, CopyColumns, and Compound (Layer 2, hand-crafted only).

Trait Implementations

impl Clone for Mutation

fn clone(&self) -> Mutation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Mutation

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

Formats the value using the given formatter.

impl PartialEq for Mutation

fn eq(&self, other: &Mutation) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Mutation

impl StructuralPartialEq for Mutation