github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
Code Issues Projects Releases Wiki Activity

Update ir.md

Browse source
This commit is contained in:
Thibaut Schaeffer 2019-02-01 11:38:43 +01:00 committed by GitHub
parent 041cfa2052
commit 00659fc60a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
zokrates_book/src/reference/ir.md
View file

@ -5,7 +5,7 @@ ZIR is the intermediate representation ZoKrates uses to represent programs. It i
**Note that ZIR is still in development and can change without notice.**
When generating R1CS constraints, very large numbers are often used, which can make reading ZIR hard for humans.
To mitigate this, ZIR uses an abuse of language (or an isomorphism) when displaying field elements: they are shown as members of the interval `[-(p-1)/2, (p-1)/2]`.
To mitigate this, ZIR applies an isomorphism when displaying field elements: they are shown as members of the interval `[-(p-1)/2, (p-1)/2]`.
Therefore, instead of writing p - 1 as:
```
@ -14,4 +14,4 @@ Therefore, instead of writing p - 1 as:
... in ZIR, we simply write:
```
-1
```
```