diff --git a/examples/bri-3/src/bri/zeroKnowledgeProof/services/circuit/snarkjs/workstep2.circom b/examples/bri-3/src/bri/zeroKnowledgeProof/services/circuit/snarkjs/workstep2.circom
index 386109f0d..fe1613387 100644
--- a/examples/bri-3/src/bri/zeroKnowledgeProof/services/circuit/snarkjs/workstep2.circom
+++ b/examples/bri-3/src/bri/zeroKnowledgeProof/services/circuit/snarkjs/workstep2.circom
@@ -1,7 +1,7 @@
 pragma circom 2.1.5;
 
 include "../../../../../../node_modules/circomlib/circuits/comparators.circom";
-include "./utils/ecdsaSignatureVerifier.circom";
+include "../../../../../../node_modules/circomlib/circuits/eddsa.circom";
 include "./utils/arithmeticOperators.circom";
 
 template Workstep2(){
diff --git a/examples/bri-3/src/bri/zeroKnowledgeProof/services/circuit/snarkjs/workstep3.circom b/examples/bri-3/src/bri/zeroKnowledgeProof/services/circuit/snarkjs/workstep3.circom
index f9545b4c6..6bbe45f16 100644
--- a/examples/bri-3/src/bri/zeroKnowledgeProof/services/circuit/snarkjs/workstep3.circom
+++ b/examples/bri-3/src/bri/zeroKnowledgeProof/services/circuit/snarkjs/workstep3.circom
@@ -1,7 +1,7 @@
 pragma circom 2.1.5;
 
 include "../../../../../../node_modules/circomlib/circuits/comparators.circom";
-include "./utils/ecdsaSignatureVerifier.circom";
+include "../../../../../../node_modules/circomlib/circuits/eddsa.circom";
 include "./utils/arithmeticOperators.circom";
 
 template Workstep3(){
diff --git a/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep2/workstep2.r1cs b/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep2/workstep2.r1cs
new file mode 100644
index 000000000..0c749c11c
Binary files /dev/null and b/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep2/workstep2.r1cs differ
diff --git a/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep2/workstep2_final.zkey b/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep2/workstep2_final.zkey
new file mode 100644
index 000000000..7b04f42b6
Binary files /dev/null and b/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep2/workstep2_final.zkey differ
diff --git a/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep2/workstep2_js/generate_witness.js b/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep2/workstep2_js/generate_witness.js
new file mode 100644
index 000000000..eabb86e58
--- /dev/null
+++ b/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep2/workstep2_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;
+	});
+    });
+}
diff --git a/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep2/workstep2_js/witness_calculator.js b/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep2/workstep2_js/witness_calculator.js
new file mode 100644
index 000000000..20e6e20ad
--- /dev/null
+++ b/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep2/workstep2_js/witness_calculator.js
@@ -0,0 +1,337 @@
+module.exports = async function builder(code, options) {
+
+    options = options || {};
+
+    let wasmModule;
+    try {
+	wasmModule = await WebAssembly.compile(code);
+    }  catch (err) {
+	console.log(err);
+	console.log("\nTry to run circom --c in order to generate c++ code instead\n");
+	throw new Error(err);
+    }
+
+    let wc;
+
+    let errStr = "";
+    let msgStr = "";
+    
+    const instance = await WebAssembly.instantiate(wasmModule, {
+        runtime: {
+            exceptionHandler : function(code) {
+		let err;
+                if (code == 1) {
+                    err = "Signal not found.\n";
+                } else if (code == 2) {
+                    err = "Too many signals set.\n";
+                } else if (code == 3) {
+                    err = "Signal already set.\n";
+		} else if (code == 4) {
+                    err = "Assert Failed.\n";
+		} else if (code == 5) {
+                    err = "Not enough memory.\n";
+		} else if (code == 6) {
+                    err = "Input signal array access exceeds the size.\n";
+		} else {
+		    err = "Unknown error.\n";
+                }
+                throw new Error(err + errStr);
+            },
+	    printErrorMessage : function() {
+		errStr += getMessage() + "\n";
+                // console.error(getMessage());
+	    },
+	    writeBufferMessage : function() {
+			const msg = getMessage();
+			// Any calls to `log()` will always end with a `\n`, so that's when we print and reset
+			if (msg === "\n") {
+				console.log(msgStr);
+				msgStr = "";
+			} else {
+				// If we've buffered other content, put a space in between the items
+				if (msgStr !== "") {
+					msgStr += " "
+				}
+				// Then append the message to the message we are creating
+				msgStr += msg;
+			}
+	    },
+	    showSharedRWMemory : function() {
+		printSharedRWMemory ();
+            }
+
+        }
+    });
+
+    const sanityCheck =
+        options
+//        options &&
+//        (
+//            options.sanityCheck ||
+//            options.logGetSignal ||
+//            options.logSetSignal ||
+//            options.logStartComponent ||
+//            options.logFinishComponent
+//        );
+
+    
+    wc = new WitnessCalculator(instance, sanityCheck);
+    return wc;
+
+    function getMessage() {
+        var message = "";
+	var c = instance.exports.getMessageChar();
+        while ( c != 0 ) {
+	    message += String.fromCharCode(c);
+	    c = instance.exports.getMessageChar();
+	}
+        return message;
+    }
+	
+    function printSharedRWMemory () {
+	const shared_rw_memory_size = instance.exports.getFieldNumLen32();
+	const arr = new Uint32Array(shared_rw_memory_size);
+	for (let j=0; j<shared_rw_memory_size; j++) {
+	    arr[shared_rw_memory_size-1-j] = instance.exports.readSharedRWMemory(j);
+	}
+
+	// If we've buffered other content, put a space in between the items
+	if (msgStr !== "") {
+		msgStr += " "
+	}
+	// Then append the value to the message we are creating
+	msgStr += (fromArray32(arr).toString());
+	}
+
+};
+
+class WitnessCalculator {
+    constructor(instance, sanityCheck) {
+        this.instance = instance;
+
+	this.version = this.instance.exports.getVersion();
+        this.n32 = this.instance.exports.getFieldNumLen32();
+
+        this.instance.exports.getRawPrime();
+        const arr = new Uint32Array(this.n32);
+        for (let i=0; i<this.n32; i++) {
+            arr[this.n32-1-i] = this.instance.exports.readSharedRWMemory(i);
+        }
+        this.prime = fromArray32(arr);
+
+        this.witnessSize = this.instance.exports.getWitnessSize();
+
+        this.sanityCheck = sanityCheck;
+    }
+    
+    circom_version() {
+	return this.instance.exports.getVersion();
+    }
+
+    async _doCalculateWitness(input, sanityCheck) {
+	//input is assumed to be a map from signals to arrays of bigints
+        this.instance.exports.init((this.sanityCheck || sanityCheck) ? 1 : 0);
+        const keys = Object.keys(input);
+	var input_counter = 0;
+        keys.forEach( (k) => {
+            const h = fnvHash(k);
+            const hMSB = parseInt(h.slice(0,8), 16);
+            const hLSB = parseInt(h.slice(8,16), 16);
+            const fArr = flatArray(input[k]);
+	    let signalSize = this.instance.exports.getInputSignalSize(hMSB, hLSB);
+	    if (signalSize < 0){
+		throw new Error(`Signal ${k} not found\n`);
+	    }
+	    if (fArr.length < signalSize) {
+		throw new Error(`Not enough values for input signal ${k}\n`);
+	    }
+	    if (fArr.length > signalSize) {
+		throw new Error(`Too many values for input signal ${k}\n`);
+	    }
+            for (let i=0; i<fArr.length; i++) {
+                const arrFr = toArray32(normalize(fArr[i],this.prime),this.n32)
+                for (let j=0; j<this.n32; j++) {
+		    this.instance.exports.writeSharedRWMemory(j,arrFr[this.n32-1-j]);
+		}
+		try {
+                    this.instance.exports.setInputSignal(hMSB, hLSB,i);
+		    input_counter++;
+		} catch (err) {
+		    // console.log(`After adding signal ${i} of ${k}`)
+                    throw new Error(err);
+		}
+            }
+
+        });
+	if (input_counter < this.instance.exports.getInputSize()) {
+	    throw new Error(`Not all inputs have been set. Only ${input_counter} out of ${this.instance.exports.getInputSize()}`);
+	}
+    }
+
+    async calculateWitness(input, sanityCheck) {
+
+        const w = [];
+
+        await this._doCalculateWitness(input, sanityCheck);
+
+        for (let i=0; i<this.witnessSize; i++) {
+            this.instance.exports.getWitness(i);
+	    const arr = new Uint32Array(this.n32);
+            for (let j=0; j<this.n32; j++) {
+            arr[this.n32-1-j] = this.instance.exports.readSharedRWMemory(j);
+            }
+            w.push(fromArray32(arr));
+        }
+
+        return w;
+    }
+    
+
+    async calculateBinWitness(input, sanityCheck) {
+
+        const buff32 = new Uint32Array(this.witnessSize*this.n32);
+	const buff = new  Uint8Array( buff32.buffer);
+        await this._doCalculateWitness(input, sanityCheck);
+
+        for (let i=0; i<this.witnessSize; i++) {
+            this.instance.exports.getWitness(i);
+	    const pos = i*this.n32;
+            for (let j=0; j<this.n32; j++) {
+		buff32[pos+j] = this.instance.exports.readSharedRWMemory(j);
+            }
+        }
+
+	return buff;
+    }
+    
+
+    async calculateWTNSBin(input, sanityCheck) {
+
+        const buff32 = new Uint32Array(this.witnessSize*this.n32+this.n32+11);
+	const buff = new  Uint8Array( buff32.buffer);
+        await this._doCalculateWitness(input, sanityCheck);
+  
+	//"wtns"
+	buff[0] = "w".charCodeAt(0)
+	buff[1] = "t".charCodeAt(0)
+	buff[2] = "n".charCodeAt(0)
+	buff[3] = "s".charCodeAt(0)
+
+	//version 2
+	buff32[1] = 2;
+
+	//number of sections: 2
+	buff32[2] = 2;
+
+	//id section 1
+	buff32[3] = 1;
+
+	const n8 = this.n32*4;
+	//id section 1 length in 64bytes
+	const idSection1length = 8 + n8;
+	const idSection1lengthHex = idSection1length.toString(16);
+        buff32[4] = parseInt(idSection1lengthHex.slice(0,8), 16);
+        buff32[5] = parseInt(idSection1lengthHex.slice(8,16), 16);
+
+	//this.n32
+	buff32[6] = n8;
+
+	//prime number
+	this.instance.exports.getRawPrime();
+
+	var pos = 7;
+        for (let j=0; j<this.n32; j++) {
+	    buff32[pos+j] = this.instance.exports.readSharedRWMemory(j);
+        }
+	pos += this.n32;
+
+	// witness size
+	buff32[pos] = this.witnessSize;
+	pos++;
+
+	//id section 2
+	buff32[pos] = 2;
+	pos++;
+
+	// section 2 length
+	const idSection2length = n8*this.witnessSize;
+	const idSection2lengthHex = idSection2length.toString(16);
+        buff32[pos] = parseInt(idSection2lengthHex.slice(0,8), 16);
+        buff32[pos+1] = parseInt(idSection2lengthHex.slice(8,16), 16);
+
+	pos += 2;
+        for (let i=0; i<this.witnessSize; i++) {
+            this.instance.exports.getWitness(i);
+            for (let j=0; j<this.n32; j++) {
+		buff32[pos+j] = this.instance.exports.readSharedRWMemory(j);
+            }
+	    pos += this.n32;
+        }
+
+	return buff;
+    }
+
+}
+
+
+function toArray32(rem,size) {
+    const res = []; //new Uint32Array(size); //has no unshift
+    const radix = BigInt(0x100000000);
+    while (rem) {
+        res.unshift( Number(rem % radix));
+        rem = rem / radix;
+    }
+    if (size) {
+	var i = size - res.length;
+	while (i>0) {
+	    res.unshift(0);
+	    i--;
+	}
+    }
+    return res;
+}
+
+function fromArray32(arr) { //returns a BigInt
+    var res = BigInt(0);
+    const radix = BigInt(0x100000000);
+    for (let i = 0; i<arr.length; i++) {
+        res = res*radix + BigInt(arr[i]);
+    }
+    return res;
+}
+
+function flatArray(a) {
+    var res = [];
+    fillArray(res, a);
+    return res;
+
+    function fillArray(res, a) {
+        if (Array.isArray(a)) {
+            for (let i=0; i<a.length; i++) {
+                fillArray(res, a[i]);
+            }
+        } else {
+            res.push(a);
+        }
+    }
+}
+
+function normalize(n, prime) {
+    let res = BigInt(n) % prime
+    if (res < 0) res += prime
+    return res
+}
+
+function fnvHash(str) {
+    const uint64_max = BigInt(2) ** BigInt(64);
+    let hash = BigInt("0xCBF29CE484222325");
+    for (var i = 0; i < str.length; i++) {
+	hash ^= BigInt(str[i].charCodeAt());
+	hash *= BigInt(0x100000001B3);
+	hash %= uint64_max;
+    }
+    let shash = hash.toString(16);
+    let n = 16 - shash.length;
+    shash = '0'.repeat(n).concat(shash);
+    return shash;
+}
diff --git a/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep2/workstep2_js/workstep2.wasm b/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep2/workstep2_js/workstep2.wasm
new file mode 100644
index 000000000..e13136e96
Binary files /dev/null and b/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep2/workstep2_js/workstep2.wasm differ
diff --git a/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep2/workstep2_verification_key.json b/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep2/workstep2_verification_key.json
new file mode 100644
index 000000000..22f785b12
--- /dev/null
+++ b/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep2/workstep2_verification_key.json
@@ -0,0 +1,63 @@
+{
+ "protocol": "plonk",
+ "curve": "bn128",
+ "nPublic": 1,
+ "power": 15,
+ "k1": "2",
+ "k2": "3",
+ "Qm": [
+  "9031014201334786598437474819333373897984837472962630324851335361844058545780",
+  "16607210786086921981367283815049778740600968770620223098147538097138430537595",
+  "1"
+ ],
+ "Ql": [
+  "6808278280485306759745548891536191162342236099697633650996345740914224220305",
+  "3270170195800647956439730797339220040656917583598598133609260645618986123588",
+  "1"
+ ],
+ "Qr": [
+  "6148500901704548782540313024093324774763190834353235759778239054380115761181",
+  "17496928704547418787249113629100332597587390388927992302390890724367334325226",
+  "1"
+ ],
+ "Qo": [
+  "21659278811951783556483125629272843184764885478213749993598444862278045884755",
+  "16660597475205619545281468126006239987539267348200340592793952148487504874309",
+  "1"
+ ],
+ "Qc": [
+  "5305510349838087338783547875566294471771494030996437605662252026376037082958",
+  "19377334097772342373923876594211562277705091388899497313132675599004144975313",
+  "1"
+ ],
+ "S1": [
+  "13511374588247167997414482771460319777500130147065290737814654512741747616346",
+  "9410442723228155800609023852081630300440285014469359549251506116352343840765",
+  "1"
+ ],
+ "S2": [
+  "6234343642032529676304475840139856609542183618893282794848722265839404121608",
+  "198081256679397470117078185378786682134167977767481936106730933658216400205",
+  "1"
+ ],
+ "S3": [
+  "15607364487714913306100446210105619358733676078036562302151585058643715232255",
+  "16418203895932101971661510317717759015568131982287223931136504811190200970422",
+  "1"
+ ],
+ "X_2": [
+  [
+   "7550171141489642323345496683737244277083256424004707715998483409540040587466",
+   "13674327281456600895607819848682159502956608479735975762218411599033981559968"
+  ],
+  [
+   "16329427655915944908484974060898761683974646318074639198003187154525254176520",
+   "19604631653040203911523494213678188005987622194545572529608835183936569820990"
+  ],
+  [
+   "1",
+   "0"
+  ]
+ ],
+ "w": "20402931748843538985151001264530049874871572933694634836567070693966133783803"
+}
\ No newline at end of file
diff --git a/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep3/workstep3.r1cs b/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep3/workstep3.r1cs
new file mode 100644
index 000000000..6f2b07706
Binary files /dev/null and b/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep3/workstep3.r1cs differ
diff --git a/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep3/workstep3_final.zkey b/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep3/workstep3_final.zkey
new file mode 100644
index 000000000..8a5bb3689
Binary files /dev/null and b/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep3/workstep3_final.zkey differ
diff --git a/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep3/workstep3_js/generate_witness.js b/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep3/workstep3_js/generate_witness.js
new file mode 100644
index 000000000..eabb86e58
--- /dev/null
+++ b/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep3/workstep3_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;
+	});
+    });
+}
diff --git a/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep3/workstep3_js/witness_calculator.js b/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep3/workstep3_js/witness_calculator.js
new file mode 100644
index 000000000..20e6e20ad
--- /dev/null
+++ b/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep3/workstep3_js/witness_calculator.js
@@ -0,0 +1,337 @@
+module.exports = async function builder(code, options) {
+
+    options = options || {};
+
+    let wasmModule;
+    try {
+	wasmModule = await WebAssembly.compile(code);
+    }  catch (err) {
+	console.log(err);
+	console.log("\nTry to run circom --c in order to generate c++ code instead\n");
+	throw new Error(err);
+    }
+
+    let wc;
+
+    let errStr = "";
+    let msgStr = "";
+    
+    const instance = await WebAssembly.instantiate(wasmModule, {
+        runtime: {
+            exceptionHandler : function(code) {
+		let err;
+                if (code == 1) {
+                    err = "Signal not found.\n";
+                } else if (code == 2) {
+                    err = "Too many signals set.\n";
+                } else if (code == 3) {
+                    err = "Signal already set.\n";
+		} else if (code == 4) {
+                    err = "Assert Failed.\n";
+		} else if (code == 5) {
+                    err = "Not enough memory.\n";
+		} else if (code == 6) {
+                    err = "Input signal array access exceeds the size.\n";
+		} else {
+		    err = "Unknown error.\n";
+                }
+                throw new Error(err + errStr);
+            },
+	    printErrorMessage : function() {
+		errStr += getMessage() + "\n";
+                // console.error(getMessage());
+	    },
+	    writeBufferMessage : function() {
+			const msg = getMessage();
+			// Any calls to `log()` will always end with a `\n`, so that's when we print and reset
+			if (msg === "\n") {
+				console.log(msgStr);
+				msgStr = "";
+			} else {
+				// If we've buffered other content, put a space in between the items
+				if (msgStr !== "") {
+					msgStr += " "
+				}
+				// Then append the message to the message we are creating
+				msgStr += msg;
+			}
+	    },
+	    showSharedRWMemory : function() {
+		printSharedRWMemory ();
+            }
+
+        }
+    });
+
+    const sanityCheck =
+        options
+//        options &&
+//        (
+//            options.sanityCheck ||
+//            options.logGetSignal ||
+//            options.logSetSignal ||
+//            options.logStartComponent ||
+//            options.logFinishComponent
+//        );
+
+    
+    wc = new WitnessCalculator(instance, sanityCheck);
+    return wc;
+
+    function getMessage() {
+        var message = "";
+	var c = instance.exports.getMessageChar();
+        while ( c != 0 ) {
+	    message += String.fromCharCode(c);
+	    c = instance.exports.getMessageChar();
+	}
+        return message;
+    }
+	
+    function printSharedRWMemory () {
+	const shared_rw_memory_size = instance.exports.getFieldNumLen32();
+	const arr = new Uint32Array(shared_rw_memory_size);
+	for (let j=0; j<shared_rw_memory_size; j++) {
+	    arr[shared_rw_memory_size-1-j] = instance.exports.readSharedRWMemory(j);
+	}
+
+	// If we've buffered other content, put a space in between the items
+	if (msgStr !== "") {
+		msgStr += " "
+	}
+	// Then append the value to the message we are creating
+	msgStr += (fromArray32(arr).toString());
+	}
+
+};
+
+class WitnessCalculator {
+    constructor(instance, sanityCheck) {
+        this.instance = instance;
+
+	this.version = this.instance.exports.getVersion();
+        this.n32 = this.instance.exports.getFieldNumLen32();
+
+        this.instance.exports.getRawPrime();
+        const arr = new Uint32Array(this.n32);
+        for (let i=0; i<this.n32; i++) {
+            arr[this.n32-1-i] = this.instance.exports.readSharedRWMemory(i);
+        }
+        this.prime = fromArray32(arr);
+
+        this.witnessSize = this.instance.exports.getWitnessSize();
+
+        this.sanityCheck = sanityCheck;
+    }
+    
+    circom_version() {
+	return this.instance.exports.getVersion();
+    }
+
+    async _doCalculateWitness(input, sanityCheck) {
+	//input is assumed to be a map from signals to arrays of bigints
+        this.instance.exports.init((this.sanityCheck || sanityCheck) ? 1 : 0);
+        const keys = Object.keys(input);
+	var input_counter = 0;
+        keys.forEach( (k) => {
+            const h = fnvHash(k);
+            const hMSB = parseInt(h.slice(0,8), 16);
+            const hLSB = parseInt(h.slice(8,16), 16);
+            const fArr = flatArray(input[k]);
+	    let signalSize = this.instance.exports.getInputSignalSize(hMSB, hLSB);
+	    if (signalSize < 0){
+		throw new Error(`Signal ${k} not found\n`);
+	    }
+	    if (fArr.length < signalSize) {
+		throw new Error(`Not enough values for input signal ${k}\n`);
+	    }
+	    if (fArr.length > signalSize) {
+		throw new Error(`Too many values for input signal ${k}\n`);
+	    }
+            for (let i=0; i<fArr.length; i++) {
+                const arrFr = toArray32(normalize(fArr[i],this.prime),this.n32)
+                for (let j=0; j<this.n32; j++) {
+		    this.instance.exports.writeSharedRWMemory(j,arrFr[this.n32-1-j]);
+		}
+		try {
+                    this.instance.exports.setInputSignal(hMSB, hLSB,i);
+		    input_counter++;
+		} catch (err) {
+		    // console.log(`After adding signal ${i} of ${k}`)
+                    throw new Error(err);
+		}
+            }
+
+        });
+	if (input_counter < this.instance.exports.getInputSize()) {
+	    throw new Error(`Not all inputs have been set. Only ${input_counter} out of ${this.instance.exports.getInputSize()}`);
+	}
+    }
+
+    async calculateWitness(input, sanityCheck) {
+
+        const w = [];
+
+        await this._doCalculateWitness(input, sanityCheck);
+
+        for (let i=0; i<this.witnessSize; i++) {
+            this.instance.exports.getWitness(i);
+	    const arr = new Uint32Array(this.n32);
+            for (let j=0; j<this.n32; j++) {
+            arr[this.n32-1-j] = this.instance.exports.readSharedRWMemory(j);
+            }
+            w.push(fromArray32(arr));
+        }
+
+        return w;
+    }
+    
+
+    async calculateBinWitness(input, sanityCheck) {
+
+        const buff32 = new Uint32Array(this.witnessSize*this.n32);
+	const buff = new  Uint8Array( buff32.buffer);
+        await this._doCalculateWitness(input, sanityCheck);
+
+        for (let i=0; i<this.witnessSize; i++) {
+            this.instance.exports.getWitness(i);
+	    const pos = i*this.n32;
+            for (let j=0; j<this.n32; j++) {
+		buff32[pos+j] = this.instance.exports.readSharedRWMemory(j);
+            }
+        }
+
+	return buff;
+    }
+    
+
+    async calculateWTNSBin(input, sanityCheck) {
+
+        const buff32 = new Uint32Array(this.witnessSize*this.n32+this.n32+11);
+	const buff = new  Uint8Array( buff32.buffer);
+        await this._doCalculateWitness(input, sanityCheck);
+  
+	//"wtns"
+	buff[0] = "w".charCodeAt(0)
+	buff[1] = "t".charCodeAt(0)
+	buff[2] = "n".charCodeAt(0)
+	buff[3] = "s".charCodeAt(0)
+
+	//version 2
+	buff32[1] = 2;
+
+	//number of sections: 2
+	buff32[2] = 2;
+
+	//id section 1
+	buff32[3] = 1;
+
+	const n8 = this.n32*4;
+	//id section 1 length in 64bytes
+	const idSection1length = 8 + n8;
+	const idSection1lengthHex = idSection1length.toString(16);
+        buff32[4] = parseInt(idSection1lengthHex.slice(0,8), 16);
+        buff32[5] = parseInt(idSection1lengthHex.slice(8,16), 16);
+
+	//this.n32
+	buff32[6] = n8;
+
+	//prime number
+	this.instance.exports.getRawPrime();
+
+	var pos = 7;
+        for (let j=0; j<this.n32; j++) {
+	    buff32[pos+j] = this.instance.exports.readSharedRWMemory(j);
+        }
+	pos += this.n32;
+
+	// witness size
+	buff32[pos] = this.witnessSize;
+	pos++;
+
+	//id section 2
+	buff32[pos] = 2;
+	pos++;
+
+	// section 2 length
+	const idSection2length = n8*this.witnessSize;
+	const idSection2lengthHex = idSection2length.toString(16);
+        buff32[pos] = parseInt(idSection2lengthHex.slice(0,8), 16);
+        buff32[pos+1] = parseInt(idSection2lengthHex.slice(8,16), 16);
+
+	pos += 2;
+        for (let i=0; i<this.witnessSize; i++) {
+            this.instance.exports.getWitness(i);
+            for (let j=0; j<this.n32; j++) {
+		buff32[pos+j] = this.instance.exports.readSharedRWMemory(j);
+            }
+	    pos += this.n32;
+        }
+
+	return buff;
+    }
+
+}
+
+
+function toArray32(rem,size) {
+    const res = []; //new Uint32Array(size); //has no unshift
+    const radix = BigInt(0x100000000);
+    while (rem) {
+        res.unshift( Number(rem % radix));
+        rem = rem / radix;
+    }
+    if (size) {
+	var i = size - res.length;
+	while (i>0) {
+	    res.unshift(0);
+	    i--;
+	}
+    }
+    return res;
+}
+
+function fromArray32(arr) { //returns a BigInt
+    var res = BigInt(0);
+    const radix = BigInt(0x100000000);
+    for (let i = 0; i<arr.length; i++) {
+        res = res*radix + BigInt(arr[i]);
+    }
+    return res;
+}
+
+function flatArray(a) {
+    var res = [];
+    fillArray(res, a);
+    return res;
+
+    function fillArray(res, a) {
+        if (Array.isArray(a)) {
+            for (let i=0; i<a.length; i++) {
+                fillArray(res, a[i]);
+            }
+        } else {
+            res.push(a);
+        }
+    }
+}
+
+function normalize(n, prime) {
+    let res = BigInt(n) % prime
+    if (res < 0) res += prime
+    return res
+}
+
+function fnvHash(str) {
+    const uint64_max = BigInt(2) ** BigInt(64);
+    let hash = BigInt("0xCBF29CE484222325");
+    for (var i = 0; i < str.length; i++) {
+	hash ^= BigInt(str[i].charCodeAt());
+	hash *= BigInt(0x100000001B3);
+	hash %= uint64_max;
+    }
+    let shash = hash.toString(16);
+    let n = 16 - shash.length;
+    shash = '0'.repeat(n).concat(shash);
+    return shash;
+}
diff --git a/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep3/workstep3_js/workstep3.wasm b/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep3/workstep3_js/workstep3.wasm
new file mode 100644
index 000000000..7817a4b82
Binary files /dev/null and b/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep3/workstep3_js/workstep3.wasm differ
diff --git a/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep3/workstep3_verification_key.json b/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep3/workstep3_verification_key.json
new file mode 100644
index 000000000..2943da19c
--- /dev/null
+++ b/examples/bri-3/zeroKnowledgeArtifacts/circuits/workstep3/workstep3_verification_key.json
@@ -0,0 +1,63 @@
+{
+ "protocol": "plonk",
+ "curve": "bn128",
+ "nPublic": 1,
+ "power": 15,
+ "k1": "2",
+ "k2": "3",
+ "Qm": [
+  "9031014201334786598437474819333373897984837472962630324851335361844058545780",
+  "16607210786086921981367283815049778740600968770620223098147538097138430537595",
+  "1"
+ ],
+ "Ql": [
+  "6808278280485306759745548891536191162342236099697633650996345740914224220305",
+  "3270170195800647956439730797339220040656917583598598133609260645618986123588",
+  "1"
+ ],
+ "Qr": [
+  "19867659962940379415833721956196885812592831298524381980555731113220022045761",
+  "5839482012031765332886537848770371473868238809091147323904600653094947875345",
+  "1"
+ ],
+ "Qo": [
+  "21659278811951783556483125629272843184764885478213749993598444862278045884755",
+  "16660597475205619545281468126006239987539267348200340592793952148487504874309",
+  "1"
+ ],
+ "Qc": [
+  "5305510349838087338783547875566294471771494030996437605662252026376037082958",
+  "19377334097772342373923876594211562277705091388899497313132675599004144975313",
+  "1"
+ ],
+ "S1": [
+  "13511374588247167997414482771460319777500130147065290737814654512741747616346",
+  "9410442723228155800609023852081630300440285014469359549251506116352343840765",
+  "1"
+ ],
+ "S2": [
+  "6234343642032529676304475840139856609542183618893282794848722265839404121608",
+  "198081256679397470117078185378786682134167977767481936106730933658216400205",
+  "1"
+ ],
+ "S3": [
+  "15607364487714913306100446210105619358733676078036562302151585058643715232255",
+  "16418203895932101971661510317717759015568131982287223931136504811190200970422",
+  "1"
+ ],
+ "X_2": [
+  [
+   "7550171141489642323345496683737244277083256424004707715998483409540040587466",
+   "13674327281456600895607819848682159502956608479735975762218411599033981559968"
+  ],
+  [
+   "16329427655915944908484974060898761683974646318074639198003187154525254176520",
+   "19604631653040203911523494213678188005987622194545572529608835183936569820990"
+  ],
+  [
+   "1",
+   "0"
+  ]
+ ],
+ "w": "20402931748843538985151001264530049874871572933694634836567070693966133783803"
+}
\ No newline at end of file