tornado-packages/snarkjs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

deps

Browse Source
This commit is contained in:
Jordi Baylina 2020-10-25 10:26:07 +01:00
parent 7e4cae9c25
commit fefe0f4220
No known key found for this signature in database
GPG Key ID: 7480C80C1BE43112
7 changed files with 25 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
build/cli.cjs
View File

@ -6189,13 +6189,13 @@ async function buldABC1(curve, zkey, witness, coeffs, logger) {
const outBuf = [ outBuffA, outBuffB ]; const outBuf = [ outBuffA, outBuffB ];
for (let i=0; i<nCoef; i++) { for (let i=0; i<nCoef; i++) {
if ((logger)&&(i%100000 == 0)) logger.debug(`QAP AB: ${i}/${nCoef}`); if ((logger)&&(i%1000000 == 0)) logger.debug(`QAP AB: ${i}/${nCoef}`);
const buffCoef = coeffs.slice(4+i*sCoef, 4+i*sCoef+sCoef); const buffCoef = coeffs.slice(4+i*sCoef, 4+i*sCoef+sCoef);
const buffCoefV = new DataView(buffCoef.buffer); const buffCoefV = new DataView(buffCoef.buffer);
const m= buffCoefV.getUint32(0, true); const m= buffCoefV.getUint32(0, true);
const c= buffCoefV.getUint32(4, true); const c= buffCoefV.getUint32(4, true);
const s= buffCoefV.getUint32(8, true); const s= buffCoefV.getUint32(8, true);
const coef = buffCoef.slice(12); const coef = buffCoef.slice(12, 12+n8);
outBuf[m].set( outBuf[m].set(
curve.Fr.add( curve.Fr.add(
outBuf[m].slice(c*n8, c*n8+n8), outBuf[m].slice(c*n8, c*n8+n8),
@ -6206,7 +6206,7 @@ async function buldABC1(curve, zkey, witness, coeffs, logger) {
} }
for (let i=0; i<zkey.domainSize; i++) { for (let i=0; i<zkey.domainSize; i++) {
if ((logger)&&(i%100000 == 0)) logger.debug(`QAP C: ${i}/${zkey.domainSize}`); if ((logger)&&(i%1000000 == 0)) logger.debug(`QAP C: ${i}/${zkey.domainSize}`);
outBuffC.set( outBuffC.set(
curve.Fr.mul( curve.Fr.mul(
outBuffA.slice(i*n8, i*n8+n8), outBuffA.slice(i*n8, i*n8+n8),

6
build/main.cjs
View File

@ -1677,13 +1677,13 @@ async function buldABC1(curve, zkey, witness, coeffs, logger) {
const outBuf = [ outBuffA, outBuffB ]; const outBuf = [ outBuffA, outBuffB ];
for (let i=0; i<nCoef; i++) { for (let i=0; i<nCoef; i++) {
if ((logger)&&(i%100000 == 0)) logger.debug(`QAP AB: ${i}/${nCoef}`); if ((logger)&&(i%1000000 == 0)) logger.debug(`QAP AB: ${i}/${nCoef}`);
const buffCoef = coeffs.slice(4+i*sCoef, 4+i*sCoef+sCoef); const buffCoef = coeffs.slice(4+i*sCoef, 4+i*sCoef+sCoef);
const buffCoefV = new DataView(buffCoef.buffer); const buffCoefV = new DataView(buffCoef.buffer);
const m= buffCoefV.getUint32(0, true); const m= buffCoefV.getUint32(0, true);
const c= buffCoefV.getUint32(4, true); const c= buffCoefV.getUint32(4, true);
const s= buffCoefV.getUint32(8, true); const s= buffCoefV.getUint32(8, true);
const coef = buffCoef.slice(12); const coef = buffCoef.slice(12, 12+n8);
outBuf[m].set( outBuf[m].set(
curve.Fr.add( curve.Fr.add(
outBuf[m].slice(c*n8, c*n8+n8), outBuf[m].slice(c*n8, c*n8+n8),
@ -1694,7 +1694,7 @@ async function buldABC1(curve, zkey, witness, coeffs, logger) {
} }
for (let i=0; i<zkey.domainSize; i++) { for (let i=0; i<zkey.domainSize; i++) {
if ((logger)&&(i%100000 == 0)) logger.debug(`QAP C: ${i}/${zkey.domainSize}`); if ((logger)&&(i%1000000 == 0)) logger.debug(`QAP C: ${i}/${zkey.domainSize}`);
outBuffC.set( outBuffC.set(
curve.Fr.mul( curve.Fr.mul(
outBuffA.slice(i*n8, i*n8+n8), outBuffA.slice(i*n8, i*n8+n8),

16
build/snarkjs.js
View File

File diff suppressed because one or more lines are too long

2
build/snarkjs.min.js vendored
View File

File diff suppressed because one or more lines are too long

6
package-lock.json generated
View File

@ -686,9 +686,9 @@
"integrity": "sha512-q03PTKc+wptis4WmuFOwPNQx2p5myFUrl/dMgRlW9mymc1Egyc14JPHgiGnWK+sJ0+dBl2Vwtfh5GfSQltYOpw==" "integrity": "sha512-q03PTKc+wptis4WmuFOwPNQx2p5myFUrl/dMgRlW9mymc1Egyc14JPHgiGnWK+sJ0+dBl2Vwtfh5GfSQltYOpw=="
}, },
"ffjavascript": { "ffjavascript": {
"version": "0.2.31", "version": "0.2.32",
"resolved": "https://registry.npmjs.org/ffjavascript/-/ffjavascript-0.2.31.tgz", "resolved": "https://registry.npmjs.org/ffjavascript/-/ffjavascript-0.2.32.tgz",
"integrity": "sha512-0Az/HM2pxhE2pqsZSbwIJDz/F5csByIlu0iurLzWjmhJBjEmVbdx7KZshACbDT/zUSJU9boleO5H/VT+zrqUyQ==", "integrity": "sha512-3H7Z4WnyCZg3RVI4+d3FRMWbPUf4FGP8v3EAfV475f3A68/AH0sxQKZh5JZ08Qh9DZNVA54YA5czeoL4V7PQcw==",
"requires": { "requires": {
"big-integer": "^1.6.48", "big-integer": "^1.6.48",
"wasmcurves": "0.0.14", "wasmcurves": "0.0.14",

2
package.json
View File

@ -42,7 +42,7 @@
"blake2b-wasm": "https://github.com/jbaylina/blake2b-wasm.git", "blake2b-wasm": "https://github.com/jbaylina/blake2b-wasm.git",
"circom_runtime": "0.1.5", "circom_runtime": "0.1.5",
"fastfile": "0.0.18", "fastfile": "0.0.18",
"ffjavascript": "0.2.31", "ffjavascript": "0.2.32",
"logplease": "^1.2.15", "logplease": "^1.2.15",
"r1csfile": "0.0.26" "r1csfile": "0.0.26"
}, },

6
src/groth16_prove.js
View File

@ -127,13 +127,13 @@ async function buldABC1(curve, zkey, witness, coeffs, logger) {
const outBuf = [ outBuffA, outBuffB ]; const outBuf = [ outBuffA, outBuffB ];
for (let i=0; i<nCoef; i++) { for (let i=0; i<nCoef; i++) {
if ((logger)&&(i%100000 == 0)) logger.debug(`QAP AB: ${i}/${nCoef}`); if ((logger)&&(i%1000000 == 0)) logger.debug(`QAP AB: ${i}/${nCoef}`);
const buffCoef = coeffs.slice(4+i*sCoef, 4+i*sCoef+sCoef); const buffCoef = coeffs.slice(4+i*sCoef, 4+i*sCoef+sCoef);
const buffCoefV = new DataView(buffCoef.buffer); const buffCoefV = new DataView(buffCoef.buffer);
const m= buffCoefV.getUint32(0, true); const m= buffCoefV.getUint32(0, true);
const c= buffCoefV.getUint32(4, true); const c= buffCoefV.getUint32(4, true);
const s= buffCoefV.getUint32(8, true); const s= buffCoefV.getUint32(8, true);
const coef = buffCoef.slice(12); const coef = buffCoef.slice(12, 12+n8);
outBuf[m].set( outBuf[m].set(
curve.Fr.add( curve.Fr.add(
outBuf[m].slice(c*n8, c*n8+n8), outBuf[m].slice(c*n8, c*n8+n8),
@ -144,7 +144,7 @@ async function buldABC1(curve, zkey, witness, coeffs, logger) {
} }
for (let i=0; i<zkey.domainSize; i++) { for (let i=0; i<zkey.domainSize; i++) {
if ((logger)&&(i%100000 == 0)) logger.debug(`QAP C: ${i}/${zkey.domainSize}`); if ((logger)&&(i%1000000 == 0)) logger.debug(`QAP C: ${i}/${zkey.domainSize}`);
outBuffC.set( outBuffC.set(
curve.Fr.mul( curve.Fr.mul(
outBuffA.slice(i*n8, i*n8+n8), outBuffA.slice(i*n8, i*n8+n8),