Fix and add tests for Elgamal

Author: phamnam1805

.prettierrc

@@ -1,6 +1,6 @@
 {
-  "semi": true,
-  "singleQuote": true,
-  "tabWidth": 2,
-  "trailingComma": "es5"
+    "semi": true,
+    "singleQuote": true,
+    "tabWidth": 4,
+    "trailingComma": "es5"
 }

package.json

@@ -1,50 +1,54 @@
 {
-  "name": "dkg-libs",
-  "version": "0.1.0",
-  "description": "",
-  "author": "",
-  "license": "Apache-2.0",
-  "keywords": [
-    "mina-zkapp",
-    "mina-zk-app",
-    "mina-dapp",
-    "zkapp"
-  ],
-  "type": "module",
-  "main": "build/src/index.js",
-  "types": "build/src/index.d.ts",
-  "scripts": {
-    "build": "tsc",
-    "buildw": "tsc --watch",
-    "coverage": "node --experimental-vm-modules node_modules/jest/bin/jest.js --coverage",
-    "format": "prettier --write --ignore-unknown **/*",
-    "prepare": "husky install",
-    "test": "node --experimental-vm-modules node_modules/jest/bin/jest.js",
-    "testw": "node --experimental-vm-modules node_modules/jest/bin/jest.js --watch",
-    "lint": "npx eslint src/* --fix"
-  },
-  "lint-staged": {
-    "**/*": [
-      "eslint src/* --fix",
-      "prettier --write --ignore-unknown"
-    ]
-  },
-  "devDependencies": {
-    "@babel/preset-env": "^7.16.4",
-    "@babel/preset-typescript": "^7.16.0",
-    "@types/jest": "^27.0.3",
-    "@typescript-eslint/eslint-plugin": "^5.5.0",
-    "@typescript-eslint/parser": "^5.5.0",
-    "eslint": "^8.7.0",
-    "eslint-plugin-o1js": "^0.4.0",
-    "husky": "^7.0.1",
-    "jest": "^27.3.1",
-    "lint-staged": "^11.0.1",
-    "prettier": "^2.3.2",
-    "ts-jest": "^27.0.7",
-    "typescript": "^4.7.2"
-  },
-  "peerDependencies": {
-    "o1js": "0.13.*"
-  }
+    "name": "dkg-libs",
+    "version": "0.1.0",
+    "description": "",
+    "author": "",
+    "license": "Apache-2.0",
+    "keywords": [
+        "mina-zkapp",
+        "mina-zk-app",
+        "mina-dapp",
+        "zkapp"
+    ],
+    "type": "module",
+    "main": "build/src/index.js",
+    "types": "build/src/index.d.ts",
+    "scripts": {
+        "build": "tsc",
+        "buildw": "tsc --watch",
+        "coverage": "node --experimental-vm-modules node_modules/jest/bin/jest.js --coverage",
+        "format": "prettier --write --ignore-unknown **/*",
+        "prepare": "husky install",
+        "test": "node --experimental-vm-modules node_modules/jest/bin/jest.js",
+        "testw": "node --experimental-vm-modules node_modules/jest/bin/jest.js --watch",
+        "lint": "npx eslint src/* --fix"
+    },
+    "lint-staged": {
+        "**/*": [
+            "eslint src/* --fix",
+            "prettier --write --ignore-unknown"
+        ]
+    },
+    "devDependencies": {
+        "@babel/preset-env": "^7.16.4",
+        "@babel/preset-typescript": "^7.16.0",
+        "@types/jest": "^27.0.3",
+        "@typescript-eslint/eslint-plugin": "^5.5.0",
+        "@typescript-eslint/parser": "^5.5.0",
+        "eslint": "^8.7.0",
+        "eslint-plugin-o1js": "^0.4.0",
+        "husky": "^7.0.1",
+        "jest": "^27.3.1",
+        "lint-staged": "^11.0.1",
+        "prettier": "^2.3.2",
+        "ts-jest": "^27.0.7",
+        "typescript": "^4.7.2"
+    },
+    "peerDependencies": {
+        "o1js": "0.13.*"
+    },
+    "dependencies": {
+        "big-integer": "^1.6.51",
+        "o1js": "^0.13.1"
+    }
 }

src/Add.test.ts

@@ -11,57 +11,57 @@ import { Field, Mina, PrivateKey, PublicKey, AccountUpdate } from 'o1js';
 let proofsEnabled = false;
 
 describe('Add', () => {
-  let deployerAccount: PublicKey,
-    deployerKey: PrivateKey,
-    senderAccount: PublicKey,
-    senderKey: PrivateKey,
-    zkAppAddress: PublicKey,
-    zkAppPrivateKey: PrivateKey,
-    zkApp: Add;
+    let deployerAccount: PublicKey,
+        deployerKey: PrivateKey,
+        senderAccount: PublicKey,
+        senderKey: PrivateKey,
+        zkAppAddress: PublicKey,
+        zkAppPrivateKey: PrivateKey,
+        zkApp: Add;
 
-  beforeAll(async () => {
-    if (proofsEnabled) await Add.compile();
-  });
+    beforeAll(async () => {
+        if (proofsEnabled) await Add.compile();
+    });
+
+    beforeEach(() => {
+        const Local = Mina.LocalBlockchain({ proofsEnabled });
+        Mina.setActiveInstance(Local);
+        ({ privateKey: deployerKey, publicKey: deployerAccount } =
+            Local.testAccounts[0]);
+        ({ privateKey: senderKey, publicKey: senderAccount } =
+            Local.testAccounts[1]);
+        zkAppPrivateKey = PrivateKey.random();
+        zkAppAddress = zkAppPrivateKey.toPublicKey();
+        zkApp = new Add(zkAppAddress);
+    });
 
-  beforeEach(() => {
-    const Local = Mina.LocalBlockchain({ proofsEnabled });
-    Mina.setActiveInstance(Local);
-    ({ privateKey: deployerKey, publicKey: deployerAccount } =
-      Local.testAccounts[0]);
-    ({ privateKey: senderKey, publicKey: senderAccount } =
-      Local.testAccounts[1]);
-    zkAppPrivateKey = PrivateKey.random();
-    zkAppAddress = zkAppPrivateKey.toPublicKey();
-    zkApp = new Add(zkAppAddress);
-  });
+    async function localDeploy() {
+        const txn = await Mina.transaction(deployerAccount, () => {
+            AccountUpdate.fundNewAccount(deployerAccount);
+            zkApp.deploy();
+        });
+        await txn.prove();
+        // this tx needs .sign(), because `deploy()` adds an account update that requires signature authorization
+        await txn.sign([deployerKey, zkAppPrivateKey]).send();
+    }
 
-  async function localDeploy() {
-    const txn = await Mina.transaction(deployerAccount, () => {
-      AccountUpdate.fundNewAccount(deployerAccount);
-      zkApp.deploy();
+    it('generates and deploys the `Add` smart contract', async () => {
+        await localDeploy();
+        const num = zkApp.num.get();
+        expect(num).toEqual(Field(1));
     });
-    await txn.prove();
-    // this tx needs .sign(), because `deploy()` adds an account update that requires signature authorization
-    await txn.sign([deployerKey, zkAppPrivateKey]).send();
-  }
 
-  it('generates and deploys the `Add` smart contract', async () => {
-    await localDeploy();
-    const num = zkApp.num.get();
-    expect(num).toEqual(Field(1));
-  });
+    it('correctly updates the num state on the `Add` smart contract', async () => {
+        await localDeploy();
 
-  it('correctly updates the num state on the `Add` smart contract', async () => {
-    await localDeploy();
+        // update transaction
+        const txn = await Mina.transaction(senderAccount, () => {
+            zkApp.update();
+        });
+        await txn.prove();
+        await txn.sign([senderKey]).send();
 
-    // update transaction
-    const txn = await Mina.transaction(senderAccount, () => {
-      zkApp.update();
+        const updatedNum = zkApp.num.get();
+        expect(updatedNum).toEqual(Field(3));
     });
-    await txn.prove();
-    await txn.sign([senderKey]).send();
-
-    const updatedNum = zkApp.num.get();
-    expect(updatedNum).toEqual(Field(3));
-  });
 });

src/Add.ts

@@ -10,16 +10,16 @@ import { Field, SmartContract, state, State, method } from 'o1js';
  * This file is safe to delete and replace with your own contract.
  */
 export class Add extends SmartContract {
-  @state(Field) num = State<Field>();
+    @state(Field) num = State<Field>();
 
-  init() {
-    super.init();
-    this.num.set(Field(1));
-  }
+    init() {
+        super.init();
+        this.num.set(Field(1));
+    }
 
-  @method update() {
-    const currentState = this.num.getAndAssertEquals();
-    const newState = currentState.add(2);
-    this.num.set(newState);
-  }
+    @method update() {
+        const currentState = this.num.getAndAssertEquals();
+        const newState = currentState.add(2);
+        this.num.set(newState);
+    }
 }

src/CommitteeMember.test.ts

@@ -0,0 +1,8 @@
+import { CommitteeMember } from './CommitteeMember';
+
+describe('CommitteeMember', () => {
+    let committeeMember: CommitteeMember;
+    it('1', async () => {
+        let m = 1;
+    });
+});