test: include test vector submodule and runner for execution proofs

.github/workflows/contracts-eth.yml

@@ -49,6 +49,7 @@ jobs:
       - name: Clone the repository
         uses: actions/checkout@v3
         with:
+          submodules: 'true'
           lfs: 'true'
 
       - name: Execute

.gitmodules

@@ -0,0 +1,3 @@
+[submodule "near-light-client-tests"]
+	path = near-light-client-tests
+	url = https://github.com/austinabell/near-light-client-tests.git

contracts/eth/nearprover/package.json

@@ -27,7 +27,8 @@
         "readline-sync": "^1.4.10",
         "solc": "0.8.3",
         "solidity-coverage": "^0.7.16",
-        "solium": "^1.2.5"
+        "solium": "^1.2.5",
+        "bs58": "^4.0.1"
     },
     "scripts": {
         "build": "hardhat compile",

contracts/eth/nearprover/test/NearProver.js

@@ -3,6 +3,8 @@ const { ethers } = require('hardhat');
 const { borshifyOutcomeProof } = require(`rainbow-bridge-utils`);
 const fs = require('fs').promises;
 const { computeMerkleRoot } = require('../utils/utils');
+const bs58 = require('bs58');
+const { getAllJsonFilesRecursive } = require('../../../../utils/proof-vector-utils');
 
 let NearProver, NearBridgeMock;
 
@@ -15,6 +17,49 @@ beforeEach(async function () {
     );
 });
 
+async function runTestVectors(testVectors) {
+    for (const test of testVectors) {
+        const {
+            description,
+            params: { proof, block_merkle_root },
+            expected: { is_valid, error },
+        } = test;
+        let wasValid;
+        let executionError;
+        try {
+            const blockMerkleRoot = bs58.decode(block_merkle_root).toString('hex');
+            // Note, the height shouldn't matter here, defaulting to 100
+            const height = 100;
+            expect(blockMerkleRoot === computeMerkleRoot(proof).toString('hex')).to.be.true;
+            await NearBridgeMock.setBlockMerkleRoot(height, "0x" + blockMerkleRoot);
+            wasValid = await NearProver.proveOutcome(borshifyOutcomeProof(proof), height);
+        } catch (error) {
+            wasValid = false;
+            executionError = error;
+        }
+        if (wasValid !== is_valid) {
+            const prefix = `Test Case "${description}": FAILED - expected`;
+            throw new Error(
+                `${prefix} ${is_valid
+                    ? `valid, got error ${executionError}`
+                    : `invalid result${error ? ` with error "${error}"` : ""}`
+                }`
+            );
+        }
+    }
+}
+
+describe('execution outcome proof vectors', async function () {
+    const files = getAllJsonFilesRecursive("../../../near-light-client-tests/test-vectors/executions");
+
+    for (const file of files) {
+        const fileName = file.split('\\').pop().split('/').pop();
+        it(`execution vector file "${fileName}"`, async function () {
+            await runTestVectors(require("../" + file));
+        });
+    }
+});
+
 async function testProof(merkleRoot, height, proofPath) {
     let proof = require(proofPath);
     console.log(computeMerkleRoot(proof).toString('hex'));

utils/proof-vector-utils.js

@@ -0,0 +1,22 @@
+const { join } = require("path");
+const { readdirSync, statSync } = require("fs");
+
+function getAllJsonFilesRecursive(dirPath) {
+	let arrayOfFiles = [];
+	const files = readdirSync(dirPath);
+
+	files.forEach((file) => {
+		if (statSync(join(dirPath, file)).isDirectory()) {
+			const subDirFiles = getAllJsonFilesRecursive(join(dirPath, file));
+			arrayOfFiles = arrayOfFiles.concat(subDirFiles);
+		} else if (file.endsWith(".json")) {
+			arrayOfFiles.push(join(dirPath, file));
+		}
+	});
+
+	return arrayOfFiles;
+}
+
+module.exports = {
+	getAllJsonFilesRecursive,
+}