diff --git a/zokrates_book/src/reference/ir.md b/zokrates_book/src/reference/ir.md index 20a66249..14ee0490 100644 --- a/zokrates_book/src/reference/ir.md +++ b/zokrates_book/src/reference/ir.md @@ -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 -``` \ No newline at end of file +```