From 05b77f0c84c0c98bd1d0c847db50f4f2bccdbf77 Mon Sep 17 00:00:00 2001 From: mmagician Date: Sat, 13 Jul 2024 14:53:26 +0200 Subject: [PATCH] update mycircuit circom file and its r1cs output --- test-vectors/mycircuit.circom | 6 ++++-- test-vectors/mycircuit.r1cs | Bin 264 -> 264 bytes test-vectors/mycircuit.sh | 23 +++++++++++++++++++++++ test-vectors/mycircuit.wasm | Bin 30625 -> 34288 bytes test-vectors/test.zkey | Bin 2580 -> 2580 bytes 5 files changed, 27 insertions(+), 2 deletions(-) create mode 100755 test-vectors/mycircuit.sh diff --git a/test-vectors/mycircuit.circom b/test-vectors/mycircuit.circom index 1ca4dae..59af90d 100644 --- a/test-vectors/mycircuit.circom +++ b/test-vectors/mycircuit.circom @@ -1,6 +1,8 @@ +pragma circom 2.1.0; + template Multiplier() { - signal private input a; - signal private input b; + signal input a; + signal input b; signal output c; c <== a*b; diff --git a/test-vectors/mycircuit.r1cs b/test-vectors/mycircuit.r1cs index 0aebe9115cde7c8b8287014e293f9dff14dedf6c..e61b9b091d3e08fab09d4639f9763e776451f221 100644 GIT binary patch delta 46 qcmeBR>R{q5GE6RJWME)mo*3Fbk;jLZ8OT-uVlbHaQJe!L00IEXX$Hjr delta 68 ucmeBR>R{q2GE6RJWME)m2I7emd?xa==zy3CK#UAPVjuug3Ia?JiU9yIH3fkH diff --git a/test-vectors/mycircuit.sh b/test-vectors/mycircuit.sh new file mode 100755 index 0000000..3dcead0 --- /dev/null +++ b/test-vectors/mycircuit.sh @@ -0,0 +1,23 @@ +# run from within test-vectors dir +DIR="test-vectors" +if [ ! -d "$DIR" ]; then + echo "Directory $DIR does not exist. Please ensure you are running this script from the correct location." + exit 1 +fi + +cd "$DIR" + +echo "compiling" +circom mycircuit.circom --r1cs --wasm + +FILE="powersOfTau28_hez_final_17.ptau" +if [ ! -f "$FILE" ]; then + echo "getting powers of tau" + curl -O https://storage.googleapis.com/zkevm/ptau/powersOfTau28_hez_final_17.ptau +else + echo "$FILE already exists" +fi + + +echo "zkey" +snarkjs zkey new mycircuit.r1cs powersOfTau28_hez_final_17.ptau test.zkey diff --git a/test-vectors/mycircuit.wasm b/test-vectors/mycircuit.wasm index 4a28f0c11c19939b3d70aae10d311b9d7078fb1a..ef5493ab7f3ccff754b9242aa2b7146e3568b8a8 100644 GIT binary patch literal 34288 zcmeHwd5j#_d1t+<>a+T&={eMMa9G_UEm9K2xk$>24%SelB#Wdd(vmFsAm?b3J?vwq zyGhO%5;qO|YWZFtmSI>ttaV+6|CQyh)%%62u9Dg|O>IXykCR>+EW= z&caEIaDU&cqw9J-Lt0=EgCnu(z4yKMz3=;d-+T40u9D{3btXv?JKKLozIs(U!}vdT zm14LmSKXV0$Q4lKt5>8mD$*%@G78fevu#)7KnrK~YbgK1= zURhnJEO)BS#?y0+#ag8$WgSxAa;w_t9B#Fmtz(sTd+uCC(i~dha;w^@%w9Zuwh}>X zpKo41b$+f@Sv>jDu}Zz!T9Y*8!ji;frYMT4#w018NXBBg<9|t#B^FC2af`_b#+WS0 zaxA7O$YA|Ru~;gVj>VXhz)QxYz6}0ydM=yK75X%Uv)OD$&*pM!j4gvvOkoiDr)51} z=TgX0`dp>+Vx`rFzS4_%M2=M(&6bn$5~ZA&>nxmiQa(0>6u&B`I&-a#^m3t9nOpQz zq*wYmEP>RItJOxeBYiU0u5_MhEMM%Ls-A1i)ub~8@b)B}s(!j6&1pzHId}O)3&xS= zb;OQTE49Vr7wbnWjp-?AA%~=ws+|T*!b?;#T{d8_NGjTN=`3ZojdutJk*cW#lT1lt z_4IFli!I$R8O)G&E7AeQ4kZsLNh?i1py*bpct9y?NQKN*_-&wU-K#V8kKm%R?f}f(J?xM zN7d*I9*v_jcodJ$;L$%ig9nD_3>=L&-qQX$&k9$dr=>oDCzWFapHz-tA=Ope!m49? z6$YntrwGrjmXpYhyhykF!KH(xT22_m%}bXJ^>H{6xeulLxFyT!K;14qVNgY0v0M@= zN|sZ+A}^i0Y?8|r5<64Q1jKU1P8cMES7Mix;xa^%AVa3CMJt<$R#q?PL>eUw63?rQ zt89vk7fI53LZp|o(Gcm;5Dk=d5e^B1B#*=)#U+m2BqSZZnyMly4szzEO#Z`?YX=2l6#iq@RP1`3nZGXtLyt6Svrb}^E1o#WB zmK9qqFSc5r*lPVDtMOiVN2vX1V(7DC=<{Oe`^3=qhoI*m?h1jJ6@!=;yMCV-#QqS7 z9F7M=aOA~s^oil<55d6|n+Pe^CswRKq!<@*CM05iNJL)Q!%k(q*rVG2>tmTKvr@B&K zN}Wfor=$_1zJOPYcC=ZwNj@IA)oK%lNLVOojgX=xN^UMurkoN0VOV3DTNSpqL>O#r zhLO%kSy9zOB9XAYTqVi7!$^j`h1E9~cA%_@;iHjSWVOlL(xbPq7;S8ZY>^KuBPB{0 zLOqhacaAF63-pvw#Z7#+xVau<<*W!>a$=wXk9AygsB zA3RaQ7%8C&z2r;_4Y-LZjGiha#VT0C>_`>Tx1~aFs4-CJ0d-0&XIcn#FFZA&3Y*}$ ztEZf4v7FWjKMK!Ya`pxd!-*cCX+mLo)tC|Dxd}28J%!2KmN325$52JAelH!fLSZ)1 z@nKJm7%*U&;ZZG(H7oqb^sM$xdsRz9^a>4vu%v~sv`@m47A=Kz*RzmvyJ1*05yg}nOWgiJ|Kl4a< z8nu;V`Ji&pkWXZpp_uBDlTQxi%Sc#Y{I{~AUX_WXjO9_e6pNV~tQ6A>1yPtRX5L^W zRWl?*)d7roo#7VKW9GVy%l1+n{}NOqC`Mvw52Q$#%8?doPnhgNDM7VZG*h_%foCBw zMhLSEi>|X+vt1w2s5lo|HR7B@+)Qu|apDjs4p@JRFPVu8yCtcFN1c&e$1QFoE|}_t zQkoY|&938b`PvC1ZA!;iAV6w1`FUhZn{26+=3G*=maLKz>BCuhmX%VbR7!LCQs#A8 z$KnTWM*0G@&5Rf^BfVs#^gfQ%mu041H8nvaXuzKnoW=0ZPWa zu0Tr(H&8Ydz;r_?CCm-g7B;EJAz%y-NhqNga79^F&l(y8%wRov9iv-4Z3m1rqygJ( z3?>DIM_DP0wQ$OZxHe+)xLejrbBhowPgzQLih?s01;z@%QsFOYwA54yoplM_QYmA^ zke-C138<8^EXw6%G!cMgkP3HI(;noF3t`eiHg90DkdrCMC2-SF-91ibsOx0bMnI6v zb<7#iNC&lF>|@FmKIG1oWIk7+d59rfY58jqlqc}kib{y6VyvQ|e0PPqOI5v8dj+>k z#p+mbs;Uc!V_e;Stif#bdz1qZq^kQ)IWa z&p$#M`|t>9?876Zu@8@s#y&hk8vF1FY3##eg7B~w4kP?yri(|>!DB3lhqXo@;U6K5 zeRza4_TdrI*oQ|*V;>$NjeU58H1^>!LwI1W;9A(%ULNk^F-AejG?p+j8PNW2oZah; zOfdclER*t$Q(8of+?$BGk864|Sqq9Lq`0AC-!izb8Qf=$)2^(_m%(W07roD#<|~*{ zbgJjiRBZkUH)^}m!2*t6;f*{348t!+evDutSF)TJDQzu8MB)LFlI0v1Ig)N|Kt+*A zo4-`CcNRp=6|1Wa_44-iwzUuDWf+NarrZy0qEIx_1}Pdz%JJojND`#YlnX-J7(I4+ z#M?Q9!S~hj;8rY(cG1NkxPusJQN4VR*rEiF7eyD~9ET^8RN(MLlAwrQ9_r->!ks{C zdnc0XU}$5>5tER6Uo8)B#e3)(;CfFnpm(JA43tMjE|N9~)JPY}8A6{ch<$FTr_T+P zM|$}jX%i_+j}56o@pjrU$2*E4;r#=(ylpFN4AQw^1a9wsTt7)-| zMq!Y_X@xm%he%&4h@01txOt6;o7cFwd6mV@tB->nDd8XoJCZakZa&+@&8H-8K08Cr zhaZhV<$-Z+LG0N>V$U8Cd-k~4v&&-79u)iNu-HepiG8#r_R*aoALZVL=~}?shQ!`B zBKEd%vA31Q-Zm`un{8shDT)1NXUK232Uv?^)QLN7YDDY-<6;jei#=eQ*p?-+Eq8`& z$*qEkaKI|#Vyl$JRw;?`-5J7{BV{cUd66oMk=hy3nM;qUxFtR3h=ql>x|;#Cu@Jd) zaIM6)IdktgRw=BVfvp@U!T?mlA!On4p15ab?(m~gt2;A?(C*o%9vhklRtjjAE;^CY zYs1s&%ROgVtV2&;fiQ*7@Q1ipASVM(Y1zJu4IDQye3)TV1(L#pAH5W~o%0W_lo|e* zj?#+kfVsYPjy5WTN9~+fZ91Lo&A+MI8GhE;Tf`Mld}yE-BAc4j$nZ0WkyYk%A0xroq5E~_pVJ$pFk?eHjv>nTxujl3A*g4k6D zd%7y7{>81h>OEeFX`#d`;ieE5%fo>pE{UK~w6sGBRO zb&Tjy>S&7sEAlTX1deU4vpwiegMg#h8qTFyV@0Zr?-kA)(^EoMBjq z$rhZUC{}z_thlv;6zWf~!P!GQYX!|)$mu3~X}7uUM#UzR0^0r2WYIUIXu4sMjcBTFQT1qQ(xN7#sj5ZAf#fK; zWQ!_CQ*EUJI;n@VjGsOJuZ$^xNsp6b>M_`CtR$P)aiExR1DXjFCn2+X8Q~2IujlkK z;fO@Ilb+1N%d+P6oIY$a%aIUqC_tkGXw;FhqA0(p>5q+uLbCJS+Q zQXmW^XTcuTpfF@9LI_G-&*??Z6M=1Xpg9K>hG0OtT<>K3JrwK>v2*A;^V>v z)Mk)@znO!-<%2@}1tUC-zhH!i=mjHIKI4F5Xpa$KP}Pv&MOd>lch%thTnn@W@^B>E zFD+5cGyLn&Go#Va-n=$`wZUIbH!j?eR+`M zU{^`1Q!OrMbeRqgLmXs)@ET^8^6d6EU~%OH*6!J>CtBP*{P(FaT7U_c1-;`gs9XvQ zx=T)y6<}_(HAy3X&>w{JCUM_m0&e}G3zR{Bh||BO1eA~?_2H>O)humfSET{0dh5GA zx`#4o$kDY6>z&z)T$mGBdGOw(UN0*Xr)VwTBV!;&E{Jn+j%=3u+@6@=#yD@Pq>Bs5 ziez3dZPzMfZalxoK#0W5UjpgY`ZLxWN$!a}abK~jaY1G|dBzIIQ zlIO=4o4P%N;X)%!8z+njB<)S4->NAfCWnr?PlV{&)hN}iz_td@VZBYuMb(q*c2ND` zC2#@yNLPLi&$9I&eFgDcH%EQ(=;E6-hoCW%A#oxcuQF%;xZk<#h=%zVQYDV zeElNy<{QZS^$+lASET0Sv|Ot}cf0%|eA&|}^~mUO;lm`}EqJ(?8$@=744ALoLN^Ne zx=%$u_z7|+cDK`sf^+v_5Y5@sh0;${Z@UX!hJ(31sJPptcG}ehS`lXUQyvpI{PBSu z0HGe!i3f~k>Uu%DLlrv1j)Hb>iyA^Bnr@Rf=$LVPds))Q9c4Q%qx<|*(+V`s!w^J& zj7IJ-;3L{my6wJ2;QW4S8kR(5tsl&0H>6kSx3M%xHrVSCX`k1MpqT12)I$*dwIxht z^4hGV)nn``{Xm%hnGn>BU%Ei9Lz6XF^zGRvu9Z~OV5qO*N2!wa+g&4J@<~7ab{D+R zhbj0iuRe=k!5%~ezx<>~TsJ>UQ!xClcggw{sJ7&(jn`#Wg_+iERAqXrIvA{q&jRsU zNP};`(xKBQu3@6bfpgYp$gHk;Gx#m(8(3cOPcFFY+K+3P@erP)hds_rZIVBzw$NPM z$5&?g-MZNv{kJABYKhNMNu1-+WGvwaVx0MoIM;ud@?wdgoFKX9R zKlZK}KA4_3@I3m6$CTvUx8l*a@&MSh+U}FY<9T;TW$sjWzFOFsdpj;GaP+R92mOe5 zZro2SKSJE+M~M6U2=P1ZM@Rp0{3u-Qo%5rJy0`o=_%WJJxLS`NwR-x|=K}o^;yyn@ z+~-G#-)TQO{*U8F;cD-kA4SxCC;TW}t;dhr0YBOg8h@_MUgb{2BS{`Xm&BiFJc6Y- z{y5{2qIMX?w)p(w4+uWcJ`r#MZ5z1g_u=1m35pO+3w=2coQiRtvV8m2vteJ%6-y(Seif3Ua2_|^k6 zf3%nO9vB}8k(f&*zQbew%B1;?Ny_`qgkBrbUgY~dZ<#mQ3JGDo)W>{3Z^)*OjSLLv zX-FbH4=EJP6DWpP+t7j*avQC4v zw`Yyl4fghD^-q;)gV1D@iu2jK( zzdqp56&XTeYu3D;hl#Pf1gj@qCs4JW46~vi0RdC)kbgMxVpl5MvnBB68wdYd z#vZTv?lcnLXE3acoc8|QJJW_tzJh*>_ONI#5YsaC5edFXGcb4`-S~zTf(8++6x_a# zty@p@ul&*f<&XZkKl+HTsL_p?crg@r-xw5omGAm-zCL|K|M|d)P2HeQWAnEsaj!2l_6;1q91W$ zqB~~0JlFgG;%~lt=;xOI!`jn-Ilb$XAN$N_zIph>JG-w>ez$deaRQEr7kd5u&704S z&HT%+?f(5UZ~pwHAMJnW$l7Z2D~+>z|0MCRe)Dn~o_rm--l~`W-QmA@XY@~B{=}dD z>LdSf>T~PAcIvTf&wTN#PaePetKS}iv>V8EQ2LE;eD}RCed?WW{{7gm|MJuK|Mefd z`Q^pmdGrgfR(|j5voHTJLuVMaQsa6YlfljYuqDiM{qR5k-TPmD`kn7Qy5k4KUwY_k z8wdYedDnLazWs~KAHHv@2)U38cx{sF26Fwy&6{ujZ7w_d#LwOTm9L!tkN@Kf@&Eqb zrT_WfQ~&AL{>FGA`RzgAmC%eQUf%xrK5b1me(jGwH&{IXarJY*B#-nz^t~tJ z3dxN9cg^_a$Nq5rg?3}%zuY{$qw{|s_&4t<|9*Vq{=+YR?{61&f9ZdpA-Rz2`q%Q? z|M_Qs_xBIYzG?o|x6+w!?D=QkI>vq`^$YFtHEv_dQl#qYD%kA7$2>oO$fBd32dlK*51 z`qlpfd;H15*J(t2*B(EaHomLXT?FnT@DqXnmOnL}bfMmwo}$)T#?MY@yC@ZZ>znrD zSZK$hD*a&%O>?jBPHWrwr(TU}!{}7%%eA>q#W;4c)~PPns+HF131od|9}4{DxZ0Sj zSJ?Noh7|gGEDL`$R*v{qtWpSnB39Lov`*uLv!@rD%WE+w^65&e8PD33YWo#L6KOlz zY*dmdJ6u^wIl*(Cw3Fjpr=mIGxy8kd6K-Fe&pP4y#ahm(puKVtU#-pSHd8D5Ty0U$ z*eR!xd$P}sf#+nwVYFDi)Zb_4t2Qp-E3=hj&BXyCADOJ5M&3aujQWS1aHDeWo}8Vh zezLN7aiLRmXsB(NWTWzyFe4;eHwxKC`|XrY^H{UdIoGULT5Ds2cH-Gqv))bKM)FbV zYWsNQ++3%6sWR@=ZHv6!sT=4TWChAzYtAi}3Qj%vGHv_R!dz{xRdzC0R+sN}GPhS+ zogI0%qEj5xo%kvMx9o?KcA#+|H(2|lt&5diq-1OE@*$Z1)YQ@4RNAY~{lvS|Jl<^8 z=V}jF)T7PDIV<5oZa!C|J#l0Pst-{ieE;@ndwzOqFIC%VKGWz-5Sa`|cNk)d?v<63 z({w-AIXM&K@qH9+R95y=^jzlvr&d-Trf9A6VT#r&E053}R{AMYuL=)%lqWP7AEP@U zeVpz{e}eAI&C3T#sI%483cej&Gd+>kEExhAK;nh-7aJE25w?i8&(~^Cy5UysFxg>l zap_{aGh1z(thCWaj}Vkr-lyDP>uIVJ#h*Xe(8rUXJA0PCd;Hv~i}Qz? z^<{Wf=S9y~nE5A{y&qxzSnwOnFAF}w{7S?Zm_Hu%0p?HST9tOCb*X|cH!oZ`()uL- z9`mP$A)M#y%g5%HPc++A`V#i(!G-gcg$vJ|^^i|hI%fhOaGs0!e)GKd^UVvPuQxCH zzSUd_e9HN(=hMyShNv5yo~kzdUz0vRNa;sfQ~u;?;6u+#h53us+M@3R-52sa?P&9y z{YB_n|1nShetH34v_{Xb`x5b)aQSV0UX>+zd6mh_tr$b76{qWJf`^k1Z7t=7(ryS3 z8@9^Wn#@`XTgdog*}*PNUYJnjg~^z_IuV!GCKB@MWKv$6Ov$TLX?bl*lUJuR^4fG( zUY*IwYcqLyb)PP;?dy|Q_ZQ@~{r&RlfdP5#KrY8wwq)>Az)y`YOq_1k7Gv>+NxH|u z-{QSG1>VzX@B{CC8Snw`19^Ol9OAZgl`9Onp)CaOa|K^epm{-aBwtWiOO;!#n7ptM zmn$Dj$d#9qavNB*SJQH3p+9FMSGPEIRJBpL+=;PPTwYm8$SbWRCA3mX`|@&{t!lA0 zJ`di>B?lUJq+z^NbD56JcDL3w3*2$heKEY_~gwLACm)`;CpdHEz`mv&S1C17-7yGE2>jj((UceB5Db;5C75Mh@$ARuL9QG5c6mQJ0bt-L^ ztTw7`dQQtpbbj;g>ZdD;RFydbX7TyVQ#D0`V@Tnd;=^SRhd;4W$xnY zX(lP{>hhVCq@J(0=b3uG)}EJ@#U zIg<4}U8=Y&EX5^OXRId6mAWF&*THcirYuiRTtF94XGoQisvxzdNEzzJ=W0zp3Sx2V z?g(EWl2ZUp_O~%{sAz1J0u;B);p|iAx@alt5BSvh0rSUGKx* z9h(FtUQ;`-DpeO1N>q>nMJW71h=V9fi$q;2p;C&vt*XjZDG(un=|dO_sws%{_nrHg z`#9&$dWj5F9w&3}Ip24_^L@YXJLjI)++`C>a|UC~n6Mu*mf1tOW%*$bnafBS%f>R@ z;X8wT@4}Ec0jjxtf<0srKkiSQFiuET`aa=uf}HilF=N^Mkde!zRw=swip4I*in(gFnyFS%i*W>Yp2=Rz_bxs-J>Pn8 za^c7$Ea#`**IZm+`I1M2Ev#7a64Of$5V277(#@l+%TLT5n`KpB_R`T~6N^n|+n#JUeb4L^>-PDlrjN6}ZeN%A77ZO}5xZzXT~aNXk(O zPq`sduAL_3hWov&1B(lDcP-4f4lc|!7aw7xyNomgbA^ZA<(A7Pt){-vXfEw-iV@lP+^ z>-yj~EQE54-CsD^Y~6j|#Nra0F467&WAB-ro@6tWzjyJ@<~%#xja#>k+;iZ-QnU5O zH?RkbxO(kovI{V_rf&~2rZ@`hf5&udzPYr-W(%mgwXhGZ<+?Hv-Zt^x{fkhW&DltL zY~#lc9B3}G`C{H+4&%l`>B%n}GgmWV2(~rDZp?Uhg&Q*kH_yH?W4m{?8#6UN$^;vi zeDYFoQ?`4l@i&6JHB;Mf?V_vgT?^io?XPAXR^{z4N=cChRjm|xyDL%{ko#6oE+uR) z0X?^73SI*0!;H78s(CCV=eMn0s5vWjm4fd>hT&$wS_ltuxEUc1x5f~Mn-Su0)wr+9 z<%f*C{Ix$2s{Nk~!#E+>^(GX<*Q51}Fh%ATB#~!Pp7p56jEkoNibWLIg|8R|F2CL^ z6QvxZl!*eg@D-yVKCUui{fZ z6*2BHD)FReT)+^rQOyuCRm~8xSj`YJT+I-&U(FDLLCql1c=CDvhjx#Fr*@}*K*9xx z;AM?00n8e?69kUs#en5UhlP-!e7}g~wi*R+gBSU3!~}GRv>JIq(!z98Shpa|D8MK` zBCXIU#p({|c|jG0)e1V=I7j4ev_lq8-Ck=>}MA+psF^)+lA4tYVED{&}F&6Oms2ey(5 zY+s|Q2DVQPY^~9wLoYALC?$GDX_S)0_3o(X-BC?-N3GGVc1KO^j^Re14)eSqdzF|M zrM*fL*E_MIcVboV#O_ol4mWz$PINo)a95BQWUA5=MQN&%#PzPN=v`aYyS7{J+TMg~ zWoIK2t}9AYH27=1R?&N{s`pyA-fO)HugP9`bE5rlJ@gel^i@6d-FoPI6VOW##}Xh` z^dMICq2H|su{QytgkxI*j;bDxZao~m2{@!-I}(O<>kaEo7$#NRnNYDep`xtpCciRS z>}LK&BJ&VVUC+ZM_3$nanp#PYb!-Q-? zsL0V60|Npy?QqGpRO&x~LnTF)dI(u9T34rP3v!flsnzC%PFWb~j+@jP6*_BFZWJ{@ z2zR7&smi8ngds>LjBGjfQdJ9$bjqfMNB?dZ z(h1p`9Be8z$_uR>1=(k-N~M8b)SB2KW^0}87;aQ_$hreom9nCsH_;u-s!FAqnC=e@ zCsO>87g`ev@^Pe6MijLsr0H4GIwE;0v5}rRUn4tuUIy%{V=S3#jmOaexHZh)C7Bp_l zTu;h-&pc9|Ms0P|+?ClS%>5NZWE^Y8=Q9(0Wrl^xGiIK4gycV3Hd+=YmRHSsHtVcr z>RB!_NWyhl=K{XDV8XIo2nq%dw^(RLhbz9$Dc6_?6eA}1x}oV=8fBMCW@fYqtojFUgSm9aV= zd7^LBScC5qok}O;tKZ(zgQ~O29VRs*e0>$ydQ(!AO#!S5=r4(r`+9D&$dn)F* zQ7<~IUXuD1oimo*LqtoI4#V26L6H@u8Bw%*C1QVO@&GX(IeB$ft$GGuzymu7&IPNE zl`>rHoU@XxTlli6nzC~y3(FZUpsZ#A-GyvD@2uuL0}6HlN@wu^g<*CdzEL)3R|SXC zWvo%Jc(1GU&*3P}a>0ijb&KS<3f|LNXNv?im0G z^F#@)xL8L=UPqTzFN-Yl3otYflZvjFrJe>&5}+Bh!ZpYFHreoSUqNlAb0O!E=~ikG zb5;Ny8t?}G(e8{pvynscuDU7bGBi&S<_T|@4rOHqEjm7miil`o zER%tZ_R4pgidjsX>a7g7saR8NQ>pP|1-wlyhpArk(4m%f$vR2H>d_1s_8^r??r$Da=9tn#hcqA;2;E}L6f=9yQ2p$QG zBX}e%j^Hs&NMqy_SQNoSwDGWfJPL6IfbQiz9d>ERNujusDK8!r}-X35z3mBrJ~L zv6=9|NHFkl1dp*c9%Ua7JB~-V9Y^p;SRBD4VQ~bHgvAj&5*A1BNLU=fBVlm_k1@gn zgHbge+uC^8J|2B>Jly4XMSq&GID$vQ;s_oIiz9d>ERNujusDK8!r}-X+XxSght+uO zXyei6<57#_fhlxQIuaiViz9d>ERNujusDK8!r}-X35z3mBrJ~Lv4ik%mm3xR$Idn$ zH6M@RI3DiGz9K#n7Dw<%SRBD4VQ~bHgvAj&5*A1BNLU=fV<+K(xkTXMNdIwD8;@bS zWsaD^=wyI@antK`>#moU?~QISj`GGdq!0FL-7Q;Ms8sHXWP?XOJ>A?zO9v${qf4r+q`O;RDiT?9F^65dIBJ1fZENUB;ccwDJ8)rvN|eiuURa|- zQIrH3sw8#EB@rbF+LjwVTHlD2JtqA|5@GPOT%&(29!1+~V-VlFRC?5IY|wj@;0dD` z0Nf?vQIdKjJW3J_u^R(vaiHCUbT^iiQu`BITE3cu+{t`n<65GJo+Cl@)M9okqo=Pi zqzjRfAW)Sd(j~Mp*Q1ZQfz+7mYYe8v99g5(C1oqDU%!#JQR1xB(k$xvm5-69@yK{)m& zHX8%d#>A#)KpIJH6;I_G^|iDLn%f1fLd29;wu<4#>%gXp4)m$yKqaY5I#5aK(YK`m zeOnsTx24h4wlv&mq_ri&K&fW8hzD^H-~H0J%2FHko6#fs7FbVhfzRX{Th`J7H-}r` z=9pda7FZJGR%PgRNw+FVJ^FSzpl_Fh`gS?0Z4Ox+T$CY3-X9%xDw_9sE|CpXg=~#1}cw@YkTyOJ)n>5L49P8>La_MkL-SZjBeD&=!iZ> z>-reol88|mZJ6@KqHRDQZG-w~8`Vc!LmzD$^>H(zkDIzaZnh-iMn-_Uz($?8-=+rj z5iqKcfQCK-M)ba{>wUQ;;Y;ZiOr~RA8P$8Gq4!E%kMEWQz7i>SsVR(9Lyy#!gw0ZW zOy^zgr9>=FJm20_pbZM;4#XGgBbPQ$4|7YecGYuOA#ryl)^gYh16PJ))7qm)xzLQ> zmq(-BU`7vPgL7Fao2@w2gHo3E)KA)Gtp5xMowIQdWQ7&N)W0kr{$YiD2Am-CVjdev zL1yxxMMnb)+CwR62CV07MxbR`KHgPUksq)|;GX0--yMNOw$NM?`G7f}&KfBp<*kQW_%b zIdR~d4Y1+{1SIzeuSy%?E?B5YgyYG)xALN52t^ha>iy@5d;U1g-x0^Y#y|}EKw3$T z8N$*6lDnLwBBepRmY}0`7?oU6)kEB)57qwEP{oo#Z7rd?Aq+7su!J@22yv~kF;*nN zu_UzUSG4G-L2PSdACE(KJ{{6N+KVHKPXdi;CWg@5NZQ59N{dxRF`etmPP>6^=t9^}yk$P!6R@-Tgo zGZ4j(BWyjAy;>yG!gW9k@*2XmM~`H`9?6;>$ss+GqX{G>T-dElfvZ;!*TA~q>KtAD zdQ571OosHBj3zLVhGR`2#qa^G;c3CJQH#kMf}y52d`NG&yYiIiPp~nXVx7D47B1v> zlWEp<_T7-)gwccv(hFE`(Ce9|%&^u$Yk+z*p{G;^`+rWIL`T1!}1To;v8q*5jX;hBgygrE>69^rGf*jj@XMcs;gag z9cPKVpak6y;wUMlF5s3{UN9TB2aqM`pfZZg)U)!0uHlFyWc(g$R~2VzNncjaN%=Sr zyBG3txOF>YZ(+6{csbp$}IRB_67kUwvl zWGSIowdvq(U6^%CDq_*GWSkZk7M)fG0yvUw55bC)#y#*7T@S=SYC%o4Tq+JrtMoEms;Q=WM#XHh_EZdcF8Uir#tjJsNP&XX&ck!V zb<;UhbXEyFU|Mu=BC~4aFpslJ_bax&nXp7ALdz~y5XM#KjBO7&h8s>u_!Qg`#d9}R z3c1dz4bkX34oh#ij)6|dC(;lOPm`BqP-UPDWmh2{)u1qR8H5s)yJFjeQYLOT(cx+w z;kRoz3QboWV8)SQX&7D+f_vvoflPt=_>v0ponVk}9+7V`p*#5k6`3brpd#<+1u8C| zxG^KRI>6iTfs0yPf3`Y)64Q1Hmrr zAr+}Hv)lQ8R6EYzPBfu?!3u^Z!g#E1r15~p>>B6qz?CXI%TOV`E+t$$oxOkb2E6Bi z6mhi~0gFuRG?{&Mn1FlYx4@5H>$&Jy6P%n#R*}wEta7RMxqeJw)xSrZ<6y~A*0?>I~> z_72JM*-XL^Q)!dTjhp9MWCmspU=7{ACS-qtfrF#%9V4ANj9yX_M1?T#P;Xe2^D$uV zh9G%_lCrT3a9=w&jMk?pi8G{hSx*}q(ii!%YT5wKklXQK+mCTU;CA=72pYF%q}%yx z>$45n4nEu9qvCo$-Di;2j`+CGHW0vT_E|)f#8TliDKZqXYxY?}y2@u{df+p9q0qX0 z_B6fED%P-Ml%WC&5w~{Sw|k3r*BZu5cA!+mE}>oHB~|hbT4>L1M=@b)*Fk3$Q!Z+y^o0pY zv}vb50BLtSc-YF}P+U5RTTe#{$?ZpiT5_lpr61U?yAwT%5DWTHeaA^HwQUKkBFwx8 zz8UIZP1zaxJ(t@L2XNzoWB2jPR3j>Lo!Z9_uF*!=M00-`3Ye9*$5d`~1tV`iXzWOY za^B~T`!F1_Z>8}(oOm<8lP=d>B6!hQb%d+aX5I^7<7e3e^s8PPIt$|oMcz}q28v_t zqke*XFgt?@PL+={K9|Kb5 z8Ouch`qeRHp(mqXA=|g%_q*dr;P4MzR)C*7iBHaN0kby`EY=V)Yu@7L_`x-zH zm0>!A^>%bcVo|qjk*3Fda7KZ0juM7np55YdU95=e%jZ3AZTdMfh3M zzRuo<@^&6S&Bn|u$%Eq8*>|`smnPRMlqT1!nxlycbUSEma;*Xp=%wBFmm-bd$IAD% z65U1`zlUtUBNgcyKV?Nd5jf?w>78TGs5?WBrBJ_=_`Z~fLdR;`PnS>}UM7=eh+Y0_ z;b$59_&SQPZ%2JRj$~&iJbR>?DzT9zi_b(@olGR?mI8xNT=10RX&~%d3 zhT>>3HI5#S^+!lY;t1(T93g$V<7odcCytWUUcNX|)O|VPC|PYNj+SC^bOUJexi-Em zgGeR{GJ!5hKG9?X%lYzgCKENj2gTO-{E`m{IrM&8ECl!nq}W^W0N*MX;bZgXHdU_j z#;7zBwztX&b9A!$K7WtxgtM7?VdnH`mV;=FT=7hL zYXzfTyyeEpIOj1`asSyEw_rPD#w{neL`=LQh-7=^v64(;umk9<_M$>-cE(wjKnvE* z82?+tz^L51l{pU|b?g=>&I)>cy0W?bIvbIf8T+cB^toQg03%j;0u`3SDxd(i5drc$ISD)L zR?c_86vTpQzk`OQWVv}ebg`U^Fs2O{uz>)QPdlYl;DvGVgvh*b+J4}YWMG>^A>&;N z8O9~*@$O5Kq1NLezL$LI`U4KYyQ9csgq)LgoGiLI{()CDrpHM9VEOl)TCrg9=Dyk2_|I)Nz2nv*~CH z%`6BpWYdbe!)UVNZubQ=LDtG`WaSFg+25;8gTP8PW$vo0u zWM}O6Ac?4zd(+$wfWmOp!Uj0f%!Qv5XkI0XOzm0uvi&h8ssPkQ8VH%+wDM zOVPRLv3NRKXo(zO27Qh35mH$YGO~q|{n8@_sm!z3rO)x*-o_$KW70IR(pDm~XX^mK z-tMgSptz7diZ=tKg#}p2}QyIA;N0yNwvmX=+xEySPXk zrgJXL;b5Db9AThwVI^z)nSXim%-=lyKQFzwY`+_sKa-iC{5CSb7i69^i1UZvMCMn# zOcFq>t{mv(81|G*j=8xIN3l`jfY)`_v1Ed@bn4$K`UlH4( zIJeFYFvege@57&(nLI2Oj+mcT6lD67vf! zabV%t{1h@TGG5s?e|%zgdP=k&InqSdQwA5#n|^-p<0rpx z@0(BUd*+k3-M#$M>HxgH3a(x3FF*Inxevbk<yNo|5et4;IO8OYP-D|ONrH>bam~fu$!vO>Lv&*|`FJ7r#oulAe zAATQg^Ba>dn!oC1Ip??W&D4X~CC2DV8vFM&{qgTHS=!F~4uR_s&D!w^Y;!)fom)A| za?WhWLJdAt(wBzSTy9yE>y)`Adn?E0mMre{`8hS8XV}ldJFd^j1%l1oT9G$n-1?Nf d*~YCJG-1vT@X%kFb#`)VwMaKNaqApz{ts9GH2(kq diff --git a/test-vectors/test.zkey b/test-vectors/test.zkey index 882364e61492bb315a1fd37c57b7d45f07385211..22c9327dd551b58e543977db206647f461576d26 100644 GIT binary patch delta 76 zcmV-S0JHy;6qFRO&