Skip to main content

Module crt_proj_gadgets

fancy_garbling::circuit::circuits

Module crt_proj_gadgets 

Source
Expand description

Circuits for testing CrtProjGadgets.

Structsยง

TestComplexGadget
Circuit for testing multiple CRT operations.
TestCrtCexp
Circuit for testing CrtProjGadgets::crt_cexp.
TestCrtDivision
Circuit for testing CrtProjGadgets::crt_div.
TestCrtRemainder
Circuit for testing CrtProjGadgets::crt_rem.
TestCrtToPmr
Circuit for testing CrtProjGadgets::crt_to_pmr.
TestLeq
Circuit for testing CrtProjGadgets::crt_lt.
TestMax
Circuit for testing CrtProjGadgets::crt_max.
TestPmrGreaterThanOrEqual
Circuit for testing CrtProjGadgets::pmr_geq.
TestPmrLessThan
Circuit for testing CrtProjGadgets::pmr_lt.
TestRelu
Circuit for testing CrtProjGadgets::crt_relu.
TestSgn
Circuit for testing CrtProjGadgets::crt_sgn.