1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
ZoKrates/zokrates_cli/examples/conditions.zok
2019-09-24 12:05:43 +02:00

6 lines
137 B
Text

def main(field a) -> (field):
field b = (a + 5) * 6
2 * b == a * 12 + 60
field c = 7 * (b + a)
c == 7 * b + 7 * a
return b + c