Skip to main content

Module binary_gadgets

Module binary_gadgets 

Source
Expand description

Circuits that test BinaryGadgets.

Structsยง

TestBinaryAbs
Circuit for testing BinaryGadgets::bin_abs.
TestBinaryAddition
Circuit for testing BinaryGadgets::bin_addition.
TestBinaryAdditionNoCarry
Circuit for testing BinaryGadgets::bin_addition_no_carry.
TestBinaryAnd
Circuit for testing BinaryGadgets::bin_and.
TestBinaryArithmeticRightShift
Circuit for testing BinaryGadgets::bin_rsa.
TestBinaryDemux
Circuit for testing BinaryGadgets::bin_demux.
TestBinaryDivision
Circuit for testing BinaryGadgets::bin_div.
TestBinaryEqBundles
Circuit for testing BinaryGadgets::bin_eq_bundles.
TestBinaryLessThan
Circuit for testing BinaryGadgets::bin_lt.
TestBinaryLessThanSigned
Circuit for testing BinaryGadgets::bin_lt_signed.
TestBinaryLogicalRightShift
Circuit for testing BinaryGadgets::bin_rsl.
TestBinaryMax
Circuit for testing BinaryGadgets::bin_max.
TestBinaryMultiplication
Circuit for testing BinaryGadgets::bin_mul.
TestBinaryMultiplicationLowerHalf
Circuit for testing BinaryGadgets::bin_multiplication_lower_half.
TestBinarySubtraction
Circuit for testing BinaryGadgets::bin_subtraction.
TestBinaryTwosComplement
Circuit for testing BinaryGadgets::bin_twos_complement.
TestConstantBundle
Circuit for testing BinaryGadgets::bin_constant_bundle.