Tentative integration testing flow

argumentcomputer · Aug 1, 2023 · a9ffa95 · a9ffa95
1 parent 8a0c184
commit a9ffa95
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 2 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -24,8 +24,15 @@ jobs:
 
       - name: Deploy main contract
         run: |
-          sleep 1 && forge script script/Deployment.s.sol:NovaVerifierDeployer --fork-url http://127.0.0.1:8545 --private-key 0xac0974bec39a17e36ba4a6b4d238ff944bacb478cbed5efcae784d7bf4f2ff80 --broadcast
+          forge script script/Deployment.s.sol:NovaVerifierDeployer --fork-url http://127.0.0.1:8545 --private-key 0xac0974bec39a17e36ba4a6b4d238ff944bacb478cbed5efcae784d7bf4f2ff80 --broadcast
 
+      - name: Load proof and public parameters
+        run: |
+          python loader.py verifier-key.json compressed-snark.json 0x720472c8ce72c2a2d711333e064abd3e6bbeadd3
+
+      - name: Check proof verification status
+        run: |
+          [[ $(cast call 0x720472c8ce72c2a2d711333e064abd3e6bbeadd3 "verify(uint32,uint256[],uint256[],bool)(bool)" "3" "[1]" "[0]" "false" --private-key 0xac0974bec39a17e36ba4a6b4d238ff944bacb478cbed5efcae784d7bf4f2ff80) == true ]] && exit 0 || exit 1
 
   unit-tests:
     strategy:

diff --git a/loader.py b/loader.py
@@ -662,7 +662,7 @@ def formatNumber(num):
 )
 
 PRIVATE_KEY = "0xac0974bec39a17e36ba4a6b4d238ff944bacb478cbed5efcae784d7bf4f2ff80"
-CONTRACT_ADDRESS = "0x720472c8ce72c2a2d711333e064abd3e6bbeadd3"
+CONTRACT_ADDRESS = sys.argv[3]
 
 PUSH_TO_PROOF_FUNC_SIG = "pushToProof((" \
                          "(uint256,uint256[])," \