kimchi_msm::ffa

Module interpreter

Source

Functionsยง

constrain_ff_addition
constrain_ff_addition_row
Constraint for one row of FF addition:
ff_addition_circuit