github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Code Issues Projects Releases Wiki Activity

Boolean or example

Browse source
This commit is contained in:
Sasha Frolov 2018-10-31 17:11:11 -04:00
parent 2082814162
commit 3dfa7d73a5
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
zokrates_cli/examples/bool_or.code Normal file
View file

@ -0,0 +1,7 @@
// example using if-then-else-fi with ||
def main(field a, field b) -> (field):
field y = if x + 2 == 4 || x * 2 == 2 then 1 else 0 fi
field z = if y == 1 || y == 0 then y else 1
z == 1
return z