Add inclusion verifier to the smart contract (#149)

* Add inclusion verifier to the smart contract * Code review fixes * Fix tests * Remove unused struct
summa-dev · Sep 5, 2023 · 1f9ff1a · 1f9ff1a
1 parent ddc6f08
commit 1f9ff1a
Show file tree

Hide file tree

Showing 19 changed files with 48,584 additions and 2,317 deletions.
diff --git a/backend/build.rs b/backend/build.rs
@@ -9,9 +9,14 @@ fn main() {
             "Summa",
         ),
         (
-            "src/contracts/generated/verifier.rs",
+            "src/contracts/generated/solvency_verifier.rs",
             "SolvencyVerifier",
-            "Verifier",
+            "SolvencyVerifier",
+        ),
+        (
+            "src/contracts/generated/inclusion_verifier.rs",
+            "InclusionVerifier",
+            "InclusionVerifier",
         ),
     ];
 

diff --git a/backend/src/contracts/abi/InclusionVerifier.json b/backend/src/contracts/abi/InclusionVerifier.json
diff --git a/backend/src/contracts/abi/Verifier.json → ...d/src/contracts/abi/SolvencyVerifier.json b/backend/src/contracts/abi/Verifier.json → ...d/src/contracts/abi/SolvencyVerifier.json
diff --git a/backend/src/contracts/abi/Summa.json b/backend/src/contracts/abi/Summa.json