Type Definition kimchi::circuits::wires::GateWires

pub type GateWires = [Wire; 7];

GateWires document the wiring of a gate. More specifically, each value either represents the same cell (row and column) or a different cell in another row. (This is to help the permutation argument.)

Trait Implementations

impl Wirable for GateWires

fn new(row: usize) -> Self

Creates a new set of wires for a given row.

fn wire(self, col: usize, to: Wire) -> Self

Wire the cell at col to another cell (to).