circom-helper
Version:
A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.
151 lines • 7.44 kB
JavaScript
;
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
if (k2 === undefined) k2 = k;
Object.defineProperty(o, k2, { enumerable: true, get: function() { return m[k]; } });
}) : (function(o, m, k, k2) {
if (k2 === undefined) k2 = k;
o[k2] = m[k];
}));
var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
Object.defineProperty(o, "default", { enumerable: true, value: v });
}) : function(o, v) {
o["default"] = v;
});
var __importStar = (this && this.__importStar) || function (mod) {
if (mod && mod.__esModule) return mod;
var result = {};
if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
__setModuleDefault(result, mod);
return result;
};
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 };
}
};
exports.__esModule = true;
var fs = __importStar(require("fs"));
var path = __importStar(require("path"));
var shelljs = __importStar(require("shelljs"));
var errors = __importStar(require("../errors"));
var utils_1 = require("./utils");
var binFileUtils = require('@iden3/binfileutils');
var countItemInputs = function (item) {
var numInputs = 0;
if (typeof item === 'object') {
for (var _i = 0, item_1 = item; _i < item_1.length; _i++) {
var e = item_1[_i];
numInputs += countItemInputs(e);
}
}
else {
numInputs += 1;
}
return numInputs;
};
var countInputs = function (inputs) {
var numInputs = 0;
for (var _i = 0, _a = Object.keys(inputs); _i < _a.length; _i++) {
var key = _a[_i];
numInputs += countItemInputs(inputs[key]);
}
return numInputs;
};
var handler = function (_a, state) {
var circuit = _a.circuit, inputs = _a.inputs;
return __awaiter(void 0, void 0, void 0, function () {
var errorMsg, buildDir, tempDir, now, snarkjsPath, inputJsonFilepath, outputWtnsFilepath, outputJsonFilepath, expectedNumInputs, numInputs, errorMsg, exe, cmd, output, witness, errorMsg;
return __generator(this, function (_b) {
if (Object.keys(state.witnessGeneratorExes).indexOf(circuit) === -1) {
errorMsg = 'Circuit not found';
throw {
code: errors.errorCodes.GENWITNESS_CIRCUIT_NOT_FOUND,
message: errorMsg,
data: errors.genError(errors.BackendErrorNames.GENWITNESS_CIRCUIT_NOT_FOUND, errorMsg)
};
}
buildDir = state.buildDir;
tempDir = state.tempDir;
now = Date.now().toString();
snarkjsPath = state.snarkjsPath;
inputJsonFilepath = path.join(buildDir, circuit + "." + now + ".in.json");
outputWtnsFilepath = path.join(buildDir, circuit + "." + now + ".out.wtns");
outputJsonFilepath = path.join(buildDir, circuit + "." + now + ".out.json");
expectedNumInputs = state.numInputsPerCircuit[circuit];
numInputs = countInputs(inputs);
if (expectedNumInputs !== numInputs) {
errorMsg = 'Wrong number of inputs';
throw {
code: errors.errorCodes.GENWITNESS_WRONG_NUM_INPUTS,
message: errorMsg,
data: errors.genError(errors.BackendErrorNames.GENWITNESS_WRONG_NUM_INPUTS, errorMsg)
};
}
exe = path.join(buildDir, state.witnessGeneratorExes[path.basename(circuit)]);
try {
fs.writeFileSync(inputJsonFilepath, JSON.stringify(inputs));
cmd = exe + " " + inputJsonFilepath + " " + outputWtnsFilepath;
output = shelljs.exec(cmd);
if (output.code !== 0) {
throw Error(output.stderr);
}
// Convert the wtns file to JSON
cmd = "node " + snarkjsPath + " wej " + outputWtnsFilepath + " " + outputJsonFilepath;
output = shelljs.exec(cmd);
if (output.code !== 0) {
throw Error(output.stderr);
}
witness = JSON.parse(fs.readFileSync(outputJsonFilepath).toString());
cmd = "rm " + inputJsonFilepath + " " + outputJsonFilepath;
shelljs.exec(cmd);
return [2 /*return*/, { witness: witness }];
}
catch (e) {
errorMsg = e.toString();
throw {
code: errors.errorCodes.GENWITNESS_ERROR,
message: errorMsg,
data: errors.genError(errors.BackendErrorNames.GENWITNESS_ERROR, errorMsg)
};
}
return [2 /*return*/];
});
});
};
var route = {
route: handler,
reqValidator: utils_1.genValidator('gen_witness')
};
exports["default"] = route;
//# sourceMappingURL=genWitness.js.map