1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
ZoKrates/out.code
2019-09-30 14:08:46 +02:00

6 lines
210 B
Text

def main() -> (4):
(1 * ~one) * (42 * ~one) == 1 * ~out_0
(1 * ~one) * (43 * ~one) == 1 * ~out_1
(1 * ~one) * (0) == 1 * ~out_2
(1 * ~one) * (1 * ~one) == 1 * ~out_3
return ~out_0, ~out_1, ~out_2, ~out_3