Struct PrunedGate 

#[repr(C)]
pub struct PrunedGate {
    pub typ_tag: u16,
    _pad: [u8; 2],
    pub wires: [PrunedWire; 7],
}

A gate record stripped down to the fields the prover reads at prove time: type tag and wire targets. Coefficients are deliberately omitted because they are folded into ColumnEvaluations::coefficients8 at key generation time.

Wire coordinates are stored as u32 rather than the in-memory usize so that the on-disk layout is identical on 32-bit and 64-bit hosts.

Fields

typ_tag: u16

Discriminant matching crate::circuits::gate::GateType. Stored as u16 for compactness; the enum currently has < 32 variants.

_pad: [u8; 2]

Explicit padding to keep the layout stable across compilers.

wires: [PrunedWire; 7]

Wire targets: (row, col) for each of the 7 permutation columns.

Implementations

impl PrunedGate

pub const fn new(typ_tag: u16, wires: [PrunedWire; 7]) -> Self

Trait Implementations

impl Clone for PrunedGate

fn clone(&self) -> PrunedGate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for PrunedGate

impl Debug for PrunedGate

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

Formats the value using the given formatter.

impl Eq for PrunedGate

impl PartialEq for PrunedGate

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PrunedGate