Functionsยง
- build_
fixed_ selectors - Fixed selectors for the test circuit.
- constrain_
addition - A constraint function for A + B - C that reads values from limbs A and B, and additionally returns resulting value in C.
- constrain_
lookups - constrain_
multiplication - A constraint function for A * B - D that reads values from limbs A and B, and multiplicationally returns resulting value in D.
- constrain_
test_ const - A constraint function for A * B - D that reads values from limbs A and B, and multiplication_constally returns resulting value in D.
- constrain_
test_ fixed_ sel - A constraint function for A_0 + B_0 - FIXED_SEL_1
- constrain_
test_ fixed_ sel_ degree_ 7 - A constraint function for A_0^7 + B_0 - FIXED_SEL_1
- constrain_
test_ fixed_ sel_ degree_ 7_ mul_ witness - A constraint function for 3 * A_0^7 + B_0 * FIXED_SEL_3
- constrain_
test_ fixed_ sel_ degree_ 7_ with_ constants - A constraint function for 3 * A_0^7 + 42 * B_0 - FIXED_SEL_1
- lookups_
circuit - test_
addition - Circuit generator function for A + B - C, with D = 0.
- test_
const - Circuit generator function for A_0 * B_0 - const, with every other column = 0
- test_
fixed_ sel - Circuit generator function for A_0 + B_0 - FIXED_SEL_1.
- test_
fixed_ sel_ degree_ 7 - Circuit generator function for A_0^7 + B_0 - FIXED_SEL_1.
- test_
fixed_ sel_ degree_ 7_ mul_ witness - Circuit generator function for 3 * A_0^7 + B_0 * FIXED_SEL_3.
- test_
fixed_ sel_ degree_ 7_ with_ constants - Circuit generator function for 3 * A_0^7 + 42 * B_0 - FIXED_SEL_1.
- test_
multiplication - Circuit generator function for A * B - C, with D = 0.