snarkjs - npm Package Compare versions

Comparing version 0.4.15 to 0.4.16

cli.js

@@ -23,2 +23,3 @@ /*
 import fs from "fs";
+import url from "url";
 
@@ -48,3 +49,3 @@ import {readR1cs} from "r1csfile";
 
-const __dirname = path.dirname(new URL(import.meta.url).pathname);
+const __dirname = path.dirname(url.fileURLToPath(import.meta.url));
 
@@ -51,0 +52,0 @@ const commands = [

package.json

 {
   "name": "snarkjs",
   "type": "module",
-  "version": "0.4.15",
+  "version": "0.4.16",
   "description": "zkSNARKs implementation in JavaScript",
@@ -6,0 +6,0 @@ "main": "./build/main.cjs",

src/clprocessor.js

@@ -28,4 +28,6 @@ /*
 import fs from "fs";
-const __dirname = path.dirname(new URL(import.meta.url).pathname);
+import url from "url";
 
+const __dirname = path.dirname(url.fileURLToPath(import.meta.url));
+
 let pkgS;
@@ -32,0 +34,0 @@ try {

src/plonk_prove.js

@@ -40,3 +40,3 @@ /*
     if (zkey.protocol != "plonk") {
-        throw new Error("zkey file is not groth16");
+        throw new Error("zkey file is not plonk");
     }
@@ -225,6 +225,9 @@
 
-        const transcript1 = new Uint8Array(G1.F.n8*2*3);
-        G1.toRprUncompressed(transcript1, 0, proof.A);
-        G1.toRprUncompressed(transcript1, G1.F.n8*2, proof.B);
-        G1.toRprUncompressed(transcript1, G1.F.n8*4, proof.C);
+        const transcript1 = new Uint8Array(zkey.nPublic*n8r + G1.F.n8*2*3);
+        for (let i=0; i<zkey.nPublic; i++) {
+            Fr.toRprBE(transcript1, i*n8r, A.slice((i)*n8r, (i+1)*n8r));
+        }
+        G1.toRprUncompressed(transcript1, zkey.nPublic*n8r + 0, proof.A);
+        G1.toRprUncompressed(transcript1, zkey.nPublic*n8r + G1.F.n8*2, proof.B);
+        G1.toRprUncompressed(transcript1, zkey.nPublic*n8r + G1.F.n8*4, proof.C);
 
@@ -231,0 +234,0 @@ ch.beta = hashToFr(transcript1);

src/plonk_setup.js

@@ -40,2 +40,4 @@ /*
 
+    if (globalThis.gc) {globalThis.gc();}
+
     await Blake2b.ready();
@@ -64,2 +66,3 @@
     await processConstraints();
+    if (globalThis.gc) {globalThis.gc();}
 
@@ -100,12 +103,23 @@ const fdZKey = await createBinFile(zkeyName, "zkey", 1, 14, 1<<22, 1<<24);
     await writeAdditions(3, "Additions");
+    if (globalThis.gc) {globalThis.gc();}
     await writeWitnessMap(4, 0, "Amap");
+    if (globalThis.gc) {globalThis.gc();}
     await writeWitnessMap(5, 1, "Bmap");
+    if (globalThis.gc) {globalThis.gc();}
     await writeWitnessMap(6, 2, "Cmap");
+    if (globalThis.gc) {globalThis.gc();}
     await writeQMap(7, 3, "Qm");
+    if (globalThis.gc) {globalThis.gc();}
     await writeQMap(8, 4, "Ql");
+    if (globalThis.gc) {globalThis.gc();}
     await writeQMap(9, 5, "Qr");
+    if (globalThis.gc) {globalThis.gc();}
     await writeQMap(10, 6, "Qo");
+    if (globalThis.gc) {globalThis.gc();}
     await writeQMap(11, 7, "Qc");
+    if (globalThis.gc) {globalThis.gc();}
     await writeSigma(12, "sigma");
+    if (globalThis.gc) {globalThis.gc();}
     await writeLs(13, "lagrange polynomials");
+    if (globalThis.gc) {globalThis.gc();}
 
@@ -120,2 +134,3 @@ // Write PTau points
     await endWriteSection(fdZKey);
+    if (globalThis.gc) {globalThis.gc();}
 
@@ -306,13 +321,19 @@
             } else {
-                throw new Error("Variable not used");
+                // throw new Error("Variable not used");
+                console.log("Variable not used");
             }
             if ((logger)&&(s%1000000 == 0)) logger.debug(`writing ${name} phase2: ${s}/${plonkNVars}`);
         }
+
+        if (globalThis.gc) {globalThis.gc();}
         await startWriteSection(fdZKey, sectionNum);
         let S1 = sigma.slice(0, domainSize*n8r);
         await writeP4(S1);
+        if (globalThis.gc) {globalThis.gc();}
         let S2 = sigma.slice(domainSize*n8r, domainSize*n8r*2);
         await writeP4(S2);
+        if (globalThis.gc) {globalThis.gc();}
         let S3 = sigma.slice(domainSize*n8r*2, domainSize*n8r*3);
         await writeP4(S3);
+        if (globalThis.gc) {globalThis.gc();}
         await endWriteSection(fdZKey);
@@ -325,4 +346,7 @@
         vk.S1= await curve.G1.multiExpAffine(LPoints, S1, logger, "multiexp S1");
+        if (globalThis.gc) {globalThis.gc();}
         vk.S2= await curve.G1.multiExpAffine(LPoints, S2, logger, "multiexp S2");
+        if (globalThis.gc) {globalThis.gc();}
         vk.S3= await curve.G1.multiExpAffine(LPoints, S3, logger, "multiexp S3");
+        if (globalThis.gc) {globalThis.gc();}
 
@@ -329,0 +353,0 @@ function buildSigma(s, p) {

src/plonk_verify.js

@@ -45,3 +45,7 @@ /*
     }
-    const challanges = calculateChallanges(curve, proof);
+    if (publicSignals.length != vk_verifier.nPublic) {
+        logger.error("Invalid number of public inputs");
+        return false;
+    }
+    const challanges = calculateChallanges(curve, proof, publicSignals);
     if (logger) {
@@ -166,3 +170,3 @@ logger.debug("beta: " + Fr.toString(challanges.beta, 16));
 
-function calculateChallanges(curve, proof) {
+function calculateChallanges(curve, proof, publicSignals) {
     const G1 = curve.G1;
@@ -173,6 +177,10 @@ const Fr = curve.Fr;
 
-    const transcript1 = new Uint8Array(G1.F.n8*2*3);
-    G1.toRprUncompressed(transcript1, 0, proof.A);
-    G1.toRprUncompressed(transcript1, G1.F.n8*2, proof.B);
-    G1.toRprUncompressed(transcript1, G1.F.n8*4, proof.C);
+    const transcript1 = new Uint8Array(publicSignals.length*n8r + G1.F.n8*2*3);
+    for (let i=0; i<publicSignals.length; i++) {
+        Fr.toRprBE(transcript1, i*n8r, Fr.e(publicSignals[i]));
+    }
+    G1.toRprUncompressed(transcript1, publicSignals.length*n8r + 0, proof.A);
+    G1.toRprUncompressed(transcript1, publicSignals.length*n8r + G1.F.n8*2, proof.B);
+    G1.toRprUncompressed(transcript1, publicSignals.length*n8r + G1.F.n8*4, proof.C);
+
     res.beta = hashToFr(curve, transcript1);
@@ -179,0 +187,0 @@

test/plonk_circuit/proof.json

 {
  "A": [
-  "11939839401037308014501661426368356653724850605345253332929657172853812043781",
-  "16803150087255544989431958662488492904420336924238680701501581437584428607157",
+  "15917573233407722732062787698951765050036957325370721125210834646525203076389",
+  "10234794045268909768723861952713815259678638768538486148638400158927236468234",
   "1"
  ],
  "B": [
-  "12217796857989229870486480566571024020165537615492120027996617913635583550919",
-  "15953050028732489401139070996642159829273127420498389055201687358737110395633",
+  "6534033380695361734911825473617889658104101245167934289050248436664841578363",
+  "14061971131648369041603507755410089728742438126668707374914752588236606702754",
   "1"
  ],
  "C": [
-  "2906696582521990272421790638819759482269959041206664482786284127016128717160",
-  "13202026981472500389768834017524824796942889042108968745956553624097139985303",
+  "14505892627896587350473010034286107819685493071925324450974954770526434593332",
+  "6186416458036711799535608999371759388592544992468951288703737883955685292858",
   "1"
  ],
  "Z": [
-  "12963117237509670288018978167117384995558675963765854814463910896579884709481",
-  "4622289012016200197589549612287854254636168290945719641009001753279825228149",
+  "12081441476366171431338238830264497598570062548451685935024863321326757767785",
+  "9387897371969025065284991899948083393556628309133379383594080265474146141157",
   "1"
  ],
  "T1": [
-  "18104357506804140563327524454292715928794326274573109553633239600891197573562",
-  "538095434184877169430117038240223945215803059446062355137183333593880141605",
+  "11697295649838930633765261378756086756478619706964809367863062927042238692921",
+  "14968409908681220375122607622180081440264275996476655054223469087507417759789",
   "1"
  ],
  "T2": [
-  "11026905931134233808041270707862602948406795505689051352903565023828166906250",
-  "18119786770119651916429915278124137884233023858386753737488502838895847215949",
+  "2953189016956047791736757973461484048315463397915849932374528729412270696527",
+  "8620891985757406277592771106070049395916563323571640384543833813728271133486",
   "1"
  ],
  "T3": [
-  "17566889279472128646779664131922958011041076031971155851685601770551415716030",
-  "9098203299195991935285362173962848018633069009185836024035896571651321000209",
+  "16223333010830689480143912693604648201451508158843567126275050570081980855643",
+  "14438863974133388343515803834890541076773695198795082356970685950267401738910",
   "1"
  ],
- "eval_a": "18055865061248928277436374209575542340767389401367587042080949450055475826552",
- "eval_b": "21850645998014953033835315242107188012141028920551179313126430204177981301827",
- "eval_c": "5824117629917668551774989696896451058359923623432918656361263478103100196767",
- "eval_s1": "65743854351722680405937613500622654105481480423395233482389298676037124381",
- "eval_s2": "403993049457837292639608362612899661597754187086038035508895737334683813284",
- "eval_zw": "14169472644142979719809496569719127849776868311673021350864638375395829014729",
- "eval_r": "9395413794097544253619189223051084436435081924218993403215287776407899118006",
+ "eval_a": "14339139182789381237229239915123261853915681686933828385685851702630204504663",
+ "eval_b": "14868966654115759140239472823375151970328635256589988386102968278787868240414",
+ "eval_c": "564057494214488102817009147593706678326690684832103817838290432546546599925",
+ "eval_s1": "19371496695515240161592963759911623294871060124201355865755153108252682382360",
+ "eval_s2": "2579612056529355211259943592521042166985820548059386261162331074609979969098",
+ "eval_zw": "19685091872602775677986598924926591283988441651361153034121001539751878867815",
+ "eval_r": "17019396159933864043409418821108145005876806528173417875530903213264996917828",
  "Wxi": [
-  "3539391490802181190120434708628288229123728841695494613225112420761229267477",
-  "19988904286663115119238205828592812126968004685055289879546007973679529590700",
+  "4789447887245439838828293816801085734534480786500369542683260813915807895018",
+  "5743534347322910212791948378800524709212623490686788228035168007519506810508",
   "1"
  ],
  "Wxiw": [
-  "19317464275069150558817973507256614963505445298046435829549010698677013964612",
-  "16876609931905898917226763969880049506487107879332614688130170393689647229232",
+  "19379972490037320589254794886333437175961689166573424007077500138714809349682",
+  "12523908414418029668596495120104904066342410136497532239942511327769729048404",
   "1"
@@ -53,0 +53,0 @@ ],

New alerts

License Policy Violation

License

This package is not allowed per your license policy. Review the package's license to ensure compliance.

Found 1 instance in 1 package

Fixed alerts

License Policy Violation

License

This package is not allowed per your license policy. Review the package's license to ensure compliance.

Found 1 instance in 1 package

Deprecated

Maintenance

The maintainer of the package marked it as deprecated. This could indicate that a single version should not be used, or that the package is no longer maintained and any new vulnerabilities will not be fixed.

Found 1 instance in 1 package

Improved metrics

Total package byte prevSize

43603320

increased by0.03%

Lines of code

59633

increased by0.27%

Number of medium maintenance alerts

0

decreased by-100%

No dependency changes