Skip to main content

Module arithmetic

Module arithmetic 

Source
Expand description

Circuits that test FancyArithmetic.

Structsยง

TestAddMany
Circuit for testing FancyArithmetic::add_many.
TestAddition
Circuit for testing FancyArithmetic::add.
TestCmul
Circuit for testing FancyArithmetic::cmul.
TestConstants
Circuit for testing constant gates.
TestMulGate
Circuit for testing FancyArithmetic::mul.
TestMulGateUnequalMods
Circuit for testing FancyArithmetic::mul using two different moduli for the inputs.
TestSubtraction
Circuit for testing FancyArithmetic::sub.