privacy-scaling-explorations · May 9, 2025 · May 9, 2025 · May 9, 2025 · May 9, 2025 · May 9, 2025
Showing with 188 additions and 32 deletions.

+12 −0 README.md

+129 −0 ReadText/new_val.ts

+3 −0 package.json

+36 −32 tests/checkSettingsValid.test.ts

+7 −0 text/bristol-circuit.txt

+1 −0 text/circuit-info.txt
diff --git a/README.md b/README.md
@@ -1,3 +1,15 @@
 # mpc-framework-common
 
 Supporting module for working with mpc-framework.
+
+## How to run
+- install package:
+```
+npm i
+```
+
+- Run test:
+```
+npm run test
+```
+
diff --git a/ReadText/new_val.ts b/ReadText/new_val.ts
@@ -0,0 +1,129 @@
+'use strict';
+
+import { Circuit,CircuitIOInfo,MpcParticipantSettings } from "../src/types";
+import * as fs from 'fs';
+import * as path from 'path';
+// process.stdin.resume();
+// process.stdin.setEncoding('utf-8');
+import {open,} from 'node:fs/promises';
+
+function dupicate_character(str: string, num: number): string {
+  let result = '';
+  for (let i = 0; i < num; i++) {
+    result += ` ${str}`;
+  }
+  return result;
+}
+
+async function readFileFromCircuit(filePath: string): Promise<string[]> {
+  const file = await open(filePath, 'r');
+  let lines: string[] =[];
+  for await (const line of file.readLines()) {
+    lines.push(line);
+  }
+  return lines;
+}
+
+
+function to_Bristol_format(lines: string[]): string[] {
+  let ans: string[] = [];
+  let chars: string[][] = [];
+  for (let i of lines)
+    chars.push(i.split(" "));
+  // console.log(chars);
+  for (let i=4;i<lines.length;i++)
+  {
+    let sum_wire: number =Number(chars[i][0]) + Number(chars[i][1])
+    let first_line = `1 ${sum_wire} \n`;
+    let dup_input=dupicate_character(`1`, Number(chars[i][0]));
+    let dup_output=dupicate_character(`1`, Number(chars[i][1]));
+    let tmp: string = `${first_line} ${Number(chars[i][0])}${dup_input} \n` + ` ${Number(chars[i][1])}${dup_output} \n \n `;
+
+    ans.push(tmp + lines[i])
+  }
+  return ans;
+}
+
+
+async function readFileFromCircuitInfo(filePath: string): Promise<string> {
+  const file = await open(filePath, 'r');
+  let lines: string[] =[];
+  for await (const line of file.readLines()) {
+    lines.push(line);
+  }
+  return lines[0];
+}
+
+// function getMPCsettings(circuit: string): 
+
+
+export async function create_(circuitfile: string, circuitInfofile: string): Promise<Circuit> {
+  const circuitPath = circuitfile; // Thay bằng đường dẫn thực tế
+  const circuitInfoPath = circuitInfofile; // Thay bằng đường dẫn thực tế
+  const Arith_bristol = await readFileFromCircuit(circuitPath);
+  const circuitInfo = JSON.parse(await readFileFromCircuitInfo(circuitInfoPath));
+  // console.log(circuitInfo);
+  let inputs: CircuitIOInfo[] = [];
+
+  for (let i of circuitInfo.inputs) {
+    inputs.push({
+      name: i.name,
+      type: i.type,
+      address: i.address,
+      width: i.width,
+    });
+  }
+
+  let outputs: CircuitIOInfo[] = [];
+  for (let i of circuitInfo.outputs) {
+    outputs.push({
+      name: i.name,
+      type: i.type,
+      address: i.address,
+      width: i.width,
+    });
+  }
+  let input_for_A: string[] = [];
+  let input_for_B: string[] = [];
+  for (let i = 0; i< inputs.length; i++) {
+    if (i < Math.floor(inputs.length / 2)) {
+      input_for_A.push(inputs[i].name);
+    } else {
+      input_for_B.push(inputs[i].name);
+    }
+  }
+
+  let output_name: string[] = [];
+  for (let i = 0; i< outputs.length; i++) {
+    output_name.push(outputs[i].name);
+  }
+
+  let testcase: Circuit = { 
+    bristol: Arith_bristol.join('\n'),
+    info: {
+      constants: [],
+      inputs: inputs,
+      outputs: outputs,
+    },
+    mpcSettings: [
+    {
+      name: 'alice',
+      inputs: input_for_A,
+      outputs: output_name,
+    },
+    {
+      name: 'bob',
+      inputs: input_for_B,
+      outputs: output_name,
+    },
+  ],
+  }
+  // console.log(input_for_A);
+  // console.log(input_for_B);
+  // console.log(output_name);
+  // console.log(testcase.bristol);
+  // console.log(testcase.info);
+  // console.log(testcase.mpcSettings);
+  return testcase;
+}
+
diff --git a/package.json b/package.json
@@ -22,6 +22,9 @@
     "url": "git+https://github.com/voltrevo/mpc-framework-common.git"
   },
   "license": "MIT",
+  "dependencies": {
+ "@types/node": "^7.0.5"
+  },
   "devDependencies": {
     "@types/chai": "^4.3.17",
     "@types/mocha": "^10.0.7",

diff --git a/tests/checkSettingsValid.test.ts b/tests/checkSettingsValid.test.ts
@@ -1,44 +1,48 @@
 import { expect } from "chai";
 import { checkSettingsValid, Circuit } from "../src";
 
-const aPlusB: Circuit = {
-  bristol: [
-    '1 3',
-    '2 1 1',
-    '1 1',
-    '',
-    '2 1 0 1 2 AAddB',
-  ].join('\n'),
-  info: {
-    constants: [],
-    inputs: [
-      { name: 'a', type: 'number', address: 0, width: 1 },
-      { name: 'b', type: 'number', address: 1, width: 1 },
-    ],
-    outputs: [
-      { name: 'c', type: 'number', address: 2, width: 1 },
-    ],
-  },
-  mpcSettings: [
-    {
-      name: 'alice',
-      inputs: ['a'],
-      outputs: ['c'],
-    },
-    {
-      name: 'bob',
-      inputs: ['b'],
-      outputs: ['c'],
-    },
-  ],
-};
+import {create_} from "../ReadText/new_val";
+
+const aPlusB=await create_('./text/bristol-circuit.txt', './text/circuit-info.txt');
+
+// const aPlusB: Circuit = {
+//   bristol: [
+//     '1 3',
+//     '2 1 1',
+//     '1 1',
+//     '',
+//     '2 1 0 1 2 AAddB',
+//   ].join('\n'),
+//   info: {
+//     constants: [],
+//     inputs: [
+//       { name: 'a', type: 'number', address: 0, width: 1 },
+//       { name: 'b', type: 'number', address: 1, width: 1 },
+//     ],
+//     outputs: [
+//       { name: 'c', type: 'number', address: 2, width: 1 },
+//     ],
+//   },
+//   mpcSettings: [
+//     {
+//       name: 'alice',
+//       inputs: ['a'],
+//       outputs: ['c'],
+//     },
+//     {
+//       name: 'bob',
+//       inputs: ['b'],
+//       outputs: ['c'],
+//     },
+//   ],
+// };
 
 describe('checkSettingsValid', () => {
   it('accepts valid settings', () => {
     const checkResult = checkSettingsValid(
       aPlusB,
       'alice',
-      { a: 3 },
+      { input0: 3, input1: 4, input2: 5 },
     );
 
     expect(checkResult).to.be.undefined;

diff --git a/text/bristol-circuit.txt b/text/bristol-circuit.txt
@@ -0,0 +1,7 @@
+3 9
+6 1 1 1 1 1 1
+3 1 1 1
+
+2 1 0 1 2 AAdd
+2 1 3 4 5 ASub
+2 1 6 7 8 AMul
diff --git a/text/circuit-info.txt b/text/circuit-info.txt
@@ -0,0 +1 @@
+{"constants":[],"inputs":[{"name":"input0","type":"number","address":0,"width":1},{"name":"input1","type":"number","address":1,"width":1},{"name":"input2","type":"number","address":3,"width":1},{"name":"input3","type":"number","address":4,"width":1},{"name":"input4","type":"number","address":6,"width":1},{"name":"input5","type":"number","address":7,"width":1}],"outputs":[{"name":"output0","type":"number","address":2,"width":1},{"name":"output1","type":"number","address":5,"width":1},{"name":"output2","type":"number","address":8,"width":1}]}
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		{"constants":[],"inputs":[{"name":"input0","type":"number","address":0,"width":1},{"name":"input1","type":"number","address":1,"width":1},{"name":"input2","type":"number","address":3,"width":1},{"name":"input3","type":"number","address":4,"width":1},{"name":"input4","type":"number","address":6,"width":1},{"name":"input5","type":"number","address":7,"width":1}],"outputs":[{"name":"output0","type":"number","address":2,"width":1},{"name":"output1","type":"number","address":5,"width":1},{"name":"output2","type":"number","address":8,"width":1}]}