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

Add boolean && test

Browse source
This commit is contained in:
Tjaden Hess 2018-09-26 12:12:08 -10:00
parent bd7f38403d
commit 536465e003
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_and.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 == 3 && x * 2 == 2 then 1 else 0 fi
field z = if y == 1 && 1-y == 0 then y else 1
z == 1
return z