1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
ZoKrates/zokrates_cli/examples/factorization.code

5 lines
136 B
Text

// a and b are factorization of c
def main(field c, private field a, private field b) -> (field):
field d = a * b
c == d
return 1