1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
ZoKrates/zokrates_cli/examples/dex/isPartialOrder.zok
2019-09-24 12:05:43 +02:00

3 lines
No EOL
143 B
Text

def main(field utxoAmount, field volume) -> (field):
field partial = if volume * (volume - utxoAmount) == 0 then 0 else 1 fi
return partial