Module binary_adder

frontend::components::binary_operations

Module binary_adder 

Source
Expand description

Implements binary addition gates.

Structsยง

BinaryAdder
Performs binary addition between two nodes that represent binary values, given the vector of carries as a witness. Works with bit-widths that are powers of 2 up to 2^30 = 1,073,741,824 bits (this constraint is inherited from ShiftNode).