Update README (#99)

Update README with differences between our implementation and spec v2.1.0 Add the spec v2.1.0 in the spec directory
QED-it · Sep 12, 2023 · 1da8c3f · 1da8c3f
1 parent 04f938e
commit 1da8c3f
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -6,6 +6,10 @@ and details how to integrate their systems using the zkInterface SIEVE IR toolbo
 In this guide, we first generate example SIEVE IR statements, and we then consume them. These steps can serve 
 as a starting point for a new implementation in a statement generator, or in a proving system, respectively.
 
+Compared to [SIEVE IR specification v2.1.0](spec/circuit-ir-v2.1.0.pdf), our implementation is slightly different
+- Extension fields and rings are not included.
+- Only the modulus mode is included for the convert gate.
+
 ## Introduction
 
 The zkInterface SIEVE IR is an Intermediate Representation to communicate a zero-knwoledge statement

diff --git a/spec/circuit-ir-v2.1.0.pdf b/spec/circuit-ir-v2.1.0.pdf