notebook-ts
Version:
Prevent Sybil attacks with the click of a button.
140 lines (139 loc) • 7.1 kB
JavaScript
;
var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, generator) {
function adopt(value) { return value instanceof P ? value : new P(function (resolve) { resolve(value); }); }
return new (P || (P = Promise))(function (resolve, reject) {
function fulfilled(value) { try { step(generator.next(value)); } catch (e) { reject(e); } }
function rejected(value) { try { step(generator["throw"](value)); } catch (e) { reject(e); } }
function step(result) { result.done ? resolve(result.value) : adopt(result.value).then(fulfilled, rejected); }
step((generator = generator.apply(thisArg, _arguments || [])).next());
});
};
var __generator = (this && this.__generator) || function (thisArg, body) {
var _ = { label: 0, sent: function() { if (t[0] & 1) throw t[1]; return t[1]; }, trys: [], ops: [] }, f, y, t, g;
return g = { next: verb(0), "throw": verb(1), "return": verb(2) }, typeof Symbol === "function" && (g[Symbol.iterator] = function() { return this; }), g;
function verb(n) { return function (v) { return step([n, v]); }; }
function step(op) {
if (f) throw new TypeError("Generator is already executing.");
while (_) try {
if (f = 1, y && (t = op[0] & 2 ? y["return"] : op[0] ? y["throw"] || ((t = y["return"]) && t.call(y), 0) : y.next) && !(t = t.call(y, op[1])).done) return t;
if (y = 0, t) op = [op[0] & 2, t.value];
switch (op[0]) {
case 0: case 1: t = op; break;
case 4: _.label++; return { value: op[1], done: false };
case 5: _.label++; y = op[1]; op = [0]; continue;
case 7: op = _.ops.pop(); _.trys.pop(); continue;
default:
if (!(t = _.trys, t = t.length > 0 && t[t.length - 1]) && (op[0] === 6 || op[0] === 2)) { _ = 0; continue; }
if (op[0] === 3 && (!t || (op[1] > t[0] && op[1] < t[3]))) { _.label = op[1]; break; }
if (op[0] === 6 && _.label < t[1]) { _.label = t[1]; t = op; break; }
if (t && _.label < t[2]) { _.label = t[2]; _.ops.push(op); break; }
if (t[2]) _.ops.pop();
_.trys.pop(); continue;
}
op = body.call(thisArg, _);
} catch (e) { op = [6, e]; y = 0; } finally { f = t = 0; }
if (op[0] & 5) throw op[1]; return { value: op[0] ? op[1] : void 0, done: true };
}
};
Object.defineProperty(exports, "__esModule", { value: true });
exports.getVerifyData = void 0;
var wc = require('./witness_calculator.js');
var snarkjs = require("snarkjs");
var bib = require('bigint-buffer');
var wasmFile = 'https://notebooklabsdemo.s3.us-west-1.amazonaws.com/eddsaSecret.wasm';
var zkeyFile = 'https://notebooklabsdemo.s3.us-west-1.amazonaws.com/eddsaSecretFinal.zkey';
var verificationKey = "https://notebooklabsdemo.s3.us-west-1.amazonaws.com/verKeyEddsa.json";
var verifyProof = function (_verificationkey, signals, proof) { return __awaiter(void 0, void 0, void 0, function () {
var vkey, res;
return __generator(this, function (_a) {
switch (_a.label) {
case 0: return [4 /*yield*/, fetch(_verificationkey).then(function (res) {
return res.json();
})];
case 1:
vkey = _a.sent();
return [4 /*yield*/, snarkjs.groth16.verify(vkey, signals, proof)];
case 2:
res = _a.sent();
return [2 /*return*/, res];
}
});
}); };
function getFileBuffer(filename) {
return __awaiter(this, void 0, void 0, function () {
var req, _a, _b;
return __generator(this, function (_c) {
switch (_c.label) {
case 0: return [4 /*yield*/, fetch(filename)];
case 1:
req = _c.sent();
_b = (_a = Buffer).from;
return [4 /*yield*/, req.arrayBuffer()];
case 2: return [2 /*return*/, _b.apply(_a, [_c.sent()])];
}
});
});
}
function runProofs(identity_pk, sig_r, sig_s, secret, leaf) {
return __awaiter(this, void 0, void 0, function () {
var input, wasmBuff, zkeyBuff, witnessCalculator, wtns_buff, _a, _proof, _signals, res;
return __generator(this, function (_b) {
switch (_b.label) {
case 0:
input = {
"identity_pk": identity_pk,
"auth_sig_r": sig_r,
"auth_sig_s": BigInt(sig_s),
"secret": BigInt(secret),
"leaf": BigInt(leaf)
};
console.log(input);
return [4 /*yield*/, getFileBuffer(wasmFile)];
case 1:
wasmBuff = _b.sent();
return [4 /*yield*/, getFileBuffer(zkeyFile)];
case 2:
zkeyBuff = _b.sent();
return [4 /*yield*/, wc(wasmBuff)];
case 3:
witnessCalculator = _b.sent();
return [4 /*yield*/, witnessCalculator.calculateWTNSBin(input, 0)];
case 4:
wtns_buff = _b.sent();
return [4 /*yield*/, snarkjs.groth16.prove(zkeyBuff, wtns_buff)];
case 5:
_a = _b.sent(), _proof = _a.proof, _signals = _a.publicSignals;
console.log("signals and proof", _signals, _proof);
return [4 /*yield*/, verifyProof(verificationKey, _signals, _proof)];
case 6:
res = _b.sent();
console.log("Prover result:");
console.log(res);
return [2 /*return*/, [_signals, _proof]];
}
});
});
}
;
function getVerifyData(identity_pk, sig_r, sig_s, secret, leaf) {
return __awaiter(this, void 0, void 0, function () {
var proofData, returnVal;
return __generator(this, function (_a) {
switch (_a.label) {
case 0: return [4 /*yield*/, runProofs(identity_pk, sig_r, sig_s, secret, leaf)];
case 1:
proofData = _a.sent();
returnVal = { a: [], b: [], c: [], signals: [BigInt(0)] };
returnVal = {
a: [BigInt(proofData[1].pi_a[0]), BigInt(proofData[1].pi_a[1])],
//second order of indices is flipped for solidity input
b: [[BigInt(proofData[1].pi_b[0][1]), BigInt(proofData[1].pi_b[0][0])], [BigInt(proofData[1].pi_b[1][1]), BigInt(proofData[1].pi_b[1][0])], proofData[1].pi_b[2]],
c: [BigInt(proofData[1].pi_c[0]), BigInt(proofData[1].pi_c[1])],
signals: proofData[0]
};
return [2 /*return*/, returnVal];
}
});
});
}
exports.getVerifyData = getVerifyData;