Struct GateBuild 

pub struct GateBuild<'a> { /* private fields */ }

The shared-gate-DAG instance of Datapath — the form the certifier refutes, linear in the circuit instead of in its unfolding.

Implementations

impl<'a> GateBuild<'a>

pub fn new(width: u32, name_in: &'a dyn Fn(usize) -> String) -> Self

Blast at width, naming global inputs through name_in.

Trait Implementations

impl Datapath for GateBuild<'_>

type V = Word

The lowered value: a BoundedExpr for the tree form, a Word for the shared gate DAG.

fn input(&mut self, k: usize) -> Self::V

The global circuit input k.

fn constant(&mut self, c: i64) -> Self::V

A constant, truncated to the datapath width.

fn arith(&mut self, op: AluOp, a: Self::V, b: Self::V) -> Self::V

An ALU operation over two lowered operands.

fn select( &mut self, cmp: CmpKind, ca: Self::V, cb: Self::V, t: Self::V, e: Self::V, ) -> Self::V

The mux tile: (ca cmp cb) ? t : e.