1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
ZoKrates/examples/waldo.code
2017-11-13 17:57:05 +01:00

15 lines
No EOL
385 B
Text

def isWaldo(a):
a == p * q
p > 1
q > 1
return 1
// returns 1 for now, we don't check the input is well formed
def validateInput(x):
return 1
// variables naming: box'row''column'
def main(a0, a1, a2, a3):
waldo = if index == 0 then a0 else 0 fi + if index == 1 then a1 else 0 fi + if index == 2 then a2 else 0 fi + if index == 3 then a3 else 0 fi
return isWaldo(waldo)