working circuit

.gitignore

@@ -128,3 +128,6 @@ dist
 .yarn/build-state.yml
 .yarn/install-state.gz
 .pnp.*
+
+#Computer files
+.DS_Store

README.md

@@ -1,4 +1,4 @@
-## Foundry
+## ZK Circuit Education Module
 
 **Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.**
 

circuits/README.md

@@ -0,0 +1,9 @@
+# Circom Usage
+
+Assuming you are currently in this folder,
+
+1. `circom multiplier2.circom --r1cs --wasm`
+
+2. `node multiplier2_js/generate_witness.js multiplier2_js/multiplier2.wasm input.json witness.wtns`
+
+3. 

circuits/input.json

@@ -0,0 +1 @@
+{"a": "3", "b": "11"}

circuits/multiplier2.circom

@@ -0,0 +1,16 @@
+pragma circom 2.1.8;
+
+/*This circuit template checks that c is the multiplication of a and b.*/  
+
+template Multiplier2 () {  
+
+   // Declaration of signals.  
+   signal input a;  
+   signal input b;  
+   signal output c;  
+
+   // Constraints.  
+   c <== a * b;  
+}
+
+component main = Multiplier2();

circuits/multiplier2_js/generate_witness.js

@@ -0,0 +1,20 @@
+const wc  = require("./witness_calculator.js");
+const { readFileSync, writeFile } = require("fs");
+
+if (process.argv.length != 5) {
+    console.log("Usage: node generate_witness.js <file.wasm> <input.json> <output.wtns>");
+} else {
+    const input = JSON.parse(readFileSync(process.argv[3], "utf8"));
+
+    const buffer = readFileSync(process.argv[2]);
+    wc(buffer).then(async witnessCalculator => {
+	//    const w= await witnessCalculator.calculateWitness(input,0);
+	//    for (let i=0; i< w.length; i++){
+	//	console.log(w[i]);
+	//    }
+	const buff= await witnessCalculator.calculateWTNSBin(input,0);
+	writeFile(process.argv[4], buff, function(err) {
+	    if (err) throw err;
+	});
+    });
+}