Audit vote using verifier (#171)

Author: David Morcillo

Makefile

@@ -289,11 +289,14 @@ VERIFIER_ELECTIONGUARD_PATH = voting_schemes/electionguard/verifier
 install_verifier_electionguard_dependencies:
 	cd ${VERIFIER_ELECTIONGUARD_PATH} && npm i
 
-install_verifier_dependencies: install_verifier_electionguard_dependencies build_electionguard_java
+install_verifier_dependencies: install_verifier_electionguard_dependencies
 	cd ${VERIFIER_PATH} && npm i
 
-test_verifier: install_verifier_dependencies
-	cd ${VERIFIER_PATH} && bin/verify test/fixtures/electionguard/election-ok.tar
+test_verify_election: install_verifier_dependencies build_electionguard_java
+	cd ${VERIFIER_PATH} && node src/index.js test/fixtures/electionguard/election-ok.tar
+
+test_verify_ballot: install_verifier_dependencies
+	cd ${VERIFIER_PATH} && node src/index.js test/fixtures/electionguard/ballot-ok.txt
 
 # DEPLOYMENT
 

verifier/.babelrc

@@ -0,0 +1,7 @@
+{
+  "env": {
+    "test": {
+      "plugins": ["@babel/plugin-transform-modules-commonjs"]
+    }
+  }
+}

verifier/.eslintrc.js

@@ -0,0 +1,13 @@
+{
+  "env": {
+    "node": true,
+    "jest/globals": true
+  },
+  "extends": ["standard", "prettier"],
+  "plugins": ["jest", "jasmine"],
+  "parserOptions": {
+    "ecmaVersion": 12,
+    "sourceType": "module"
+  },
+  "rules": {}
+}

verifier/.eslintrc.json

@@ -1,2 +1,4 @@
 node_modules
-tmp
+tmp
+
+test/fixtures/electionguard/ballot-ok.txt

verifier/.gitignore

@@ -3,7 +3,7 @@
  * https://jestjs.io/docs/en/configuration.html
  */
 
-module.exports = {
+export default {
   // All imported modules in your tests should be mocked automatically
   // automock: false,
 

verifier/jest.config.js

@@ -2,7 +2,8 @@
   "name": "decidim-bulletin_board-verifier",
   "version": "1.0.0",
   "description": "",
-  "main": "bin/verify.js",
+  "main": "src/index.js",
+  "type": "module",
   "scripts": {
     "format": "prettier -c src/**/*.js",
     "lint": "eslint src/**/*.js",
@@ -12,6 +13,7 @@
   "author": "",
   "license": "ISC",
   "devDependencies": {
+    "@babel/plugin-transform-modules-commonjs": "^7.13.8",
     "eslint": "^7.12.1",
     "eslint-config-prettier": "^6.15.0",
     "eslint-config-standard": "^16.0.1",

verifier/package-lock.json

@@ -1,18 +1,24 @@
-const chalk = require("chalk");
+import chalk from "chalk";
+
+import { parseBallotFile } from "../file-utils.js";
+
+// Verifiers
+import { verifyEncryptedDataHash } from "./verifiers/encrypted-data-hash.verifier.js";
+import { verifyBallot } from "decidim-bulletin_board-verifier-electionguard";
 
 /**
- * Includes all the business logic to verify an audit ballot file.
+ * Parse the ballot file and run some verifiers.
  *
- * @module
+ * @param {String} path - a ballot file path.
+ * @returns {Promise<undefined>}
  */
-module.exports = {
-  /**
-   * Parse the audit ballot and run some verifiers.
-   *
-   * @param {String} path - an audit ballot file path.
-   * @returns {Promise<undefined>}
-   */
-  verify() {
-    console.log(`${chalk.yellow("Verifying ballot...")}`);
-  },
+export const verify = async (path) => {
+  const ballotData = await parseBallotFile(path);
+
+  console.log(`${chalk.yellow("Verifying ballot...")}`);
+
+  return Promise.all([
+    verifyEncryptedDataHash(ballotData),
+    verifyBallot(ballotData),
+  ]);
 };

verifier/package.json

@@ -0,0 +1,21 @@
+import chalk from "chalk";
+
+import { hash } from "../../crypto-utils.js";
+
+/**
+ * Check if the encrypted data hash is computed properly.
+ * @returns {Promise<Boolean>}
+ */
+export const verifyEncryptedDataHash = (ballotData) => {
+  const { encryptedDataRaw, encryptedDataHash } = ballotData;
+
+  return new Promise((resolve) => {
+    if (hash(encryptedDataRaw) === encryptedDataHash) {
+      console.log(`\t${chalk.green("[OK]")} Encrypted data hash verified.`);
+      resolve(true);
+    } else {
+      console.log(`\t${chalk.red("[ERROR]")} Encrypted data hash verified.`);
+      resolve(true);
+    }
+  });
+};