5 lines
144 B
Text
5 lines
144 B
Text
// a and b are factorization of c
|
|
def main(field c, private field a, private field b) -> (field):
|
|
field d = a * b
|
|
assert(c == d)
|
|
return 1
|