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 inequality caveat to doc

Browse source
This commit is contained in:
schaeff 2019-01-03 10:25:47 +01:00
parent 87d9363e6a
commit 659d01659f
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
zokrates_book/src/concepts/control_flow.md
View file

@ -30,6 +30,10 @@ def main(field x) -> (field):
return y
```
The condition supports `<`, `<=`, `>`, `>=`, `==`, which can be combined with the boolean operators `&&`, `||` and `!`.
>When it comes to inequality checks, there is a caveat: when executing `a < b`, both `a` and `b` will be asserted to be strictly lower than the biggest power of 2 lower than `p/2`. This means that `a` and `b` are both asserted to be between `0` and `2**252 - 1`. The same applies to other inequality checks.
### For loops
For loops are available with the following syntax: