From 00659fc60acb6f475bf42a447d922397c3304f4e Mon Sep 17 00:00:00 2001 From: Thibaut Schaeffer Date: Fri, 1 Feb 2019 11:38:43 +0100 Subject: [PATCH] Update ir.md --- zokrates_book/src/reference/ir.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 +```