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

7 lines
No EOL
220 B
Text

def wtax(field debt, field wealth) -> field:
field x = if wealth < debt then 0 else (wealth-debt) fi
return x
def main(private field debt, private field wealth) -> field:
field tax = wtax(debt,wealth)
return tax