2019-04-09 12:37:39 -07:00
|
|
|
/*
|
|
|
|
Copyright 2019 0KIMS association.
|
|
|
|
|
|
|
|
This file is part of websnark (Web Assembly zkSnark Prover).
|
|
|
|
|
|
|
|
websnark is a free software: you can redistribute it and/or modify it
|
|
|
|
under the terms of the GNU General Public License as published by
|
|
|
|
the Free Software Foundation, either version 3 of the License, or
|
|
|
|
(at your option) any later version.
|
|
|
|
|
|
|
|
websnark is distributed in the hope that it will be useful, but WITHOUT
|
|
|
|
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
|
|
|
|
or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
|
|
|
|
License for more details.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
|
|
along with websnark. If not, see <https://www.gnu.org/licenses/>.
|
|
|
|
*/
|
|
|
|
|
|
|
|
/* globals window */
|
|
|
|
|
2019-07-15 16:55:54 +03:00
|
|
|
const buildGroth16 = require("./src/groth16");
|
|
|
|
const utils = require("./src/utils");
|
2019-04-09 12:37:39 -07:00
|
|
|
|
2019-07-15 16:55:54 +03:00
|
|
|
buildGroth16().then((groth16) => {
|
2019-04-27 07:09:17 +02:00
|
|
|
window.groth16 = groth16;
|
2019-07-15 16:55:54 +03:00
|
|
|
window.zkSnarkProofToSolidityInput = utils.toSolidityInput;
|
2019-04-09 12:37:39 -07:00
|
|
|
|
2019-07-15 16:55:54 +03:00
|
|
|
window.genZKSnarkProofAndWitness = function (input, circuitJson, provingKey, cb) {
|
|
|
|
const p = utils.genWitnessAndProve(groth16, input, circuitJson, provingKey);
|
2019-04-09 12:37:39 -07:00
|
|
|
if (cb) {
|
2019-07-15 16:55:54 +03:00
|
|
|
p.then((proof) => {
|
2019-04-09 12:37:39 -07:00
|
|
|
cb(null, proof);
|
|
|
|
}, (err) => {
|
|
|
|
cb(err);
|
|
|
|
});
|
|
|
|
} else {
|
|
|
|
return p;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2019-07-15 16:55:54 +03:00
|
|
|
window.genZKSnarkProof = function (witness, provingKey, cb) {
|
|
|
|
const p = groth16.proof(witness, provingKey);
|
|
|
|
if (cb) {
|
|
|
|
p.then((proof) => {
|
|
|
|
cb(null, proof);
|
|
|
|
}, (err) => {
|
|
|
|
cb(err);
|
|
|
|
});
|
|
|
|
} else {
|
|
|
|
return p;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
});
|