From dff6df697a435d845e9f96b2d18560f456127a29 Mon Sep 17 00:00:00 2001 From: JuArce <52429267+JuArce@users.noreply.github.com> Date: Sat, 14 Dec 2024 16:37:04 -0300 Subject: [PATCH] fix: update ELF --- .../2_build_your_first_aligned_application.md | 6 +++++- examples/zkquiz/Makefile | 6 ++++-- examples/zkquiz/README.md | 5 ++++- .../zkquiz/contracts/src/VerifierContract.sol | 2 +- .../program/elf/riscv32im-succinct-zkvm-elf | Bin 135708 -> 135700 bytes examples/zkquiz/quiz/script/src/main.rs | 5 +++++ 6 files changed, 19 insertions(+), 5 deletions(-) diff --git a/docs/3_guides/2_build_your_first_aligned_application.md b/docs/3_guides/2_build_your_first_aligned_application.md index a1182a2010..d37d86db6c 100644 --- a/docs/3_guides/2_build_your_first_aligned_application.md +++ b/docs/3_guides/2_build_your_first_aligned_application.md @@ -27,9 +27,13 @@ Next, we will see how to execute ZKQuiz to get your own ZKQuiz NFT! ### Requirements -1. [Rust](https://www.rust-lang.org/tools/install) +1. [Rust v1.80.0](https://www.rust-lang.org/tools/install) 2. [Foundry](https://getfoundry.sh) +{% hint style="info" %} +ELF commitment was generated with Rust v1.80.1 and SP1 v3.0.0. +{% endhint %} + ### Usage #### 1. Clone the repository diff --git a/examples/zkquiz/Makefile b/examples/zkquiz/Makefile index 6797058612..01fa5c4ced 100644 --- a/examples/zkquiz/Makefile +++ b/examples/zkquiz/Makefile @@ -3,9 +3,11 @@ SHELL := /bin/bash deploy_verifier: @. ./contracts/.env && . ./contracts/deploy.sh -CONTRACT_ADDRESS=0x6376d142582F2Ec76D6bf3d47020e0A163c51874 +deploy_verifier_devnet: + . ./contracts/.devnet.env && . ./contracts/deploy.sh + +CONTRACT_ADDRESS=0x1adFb00CC74Ff26bB05419953006c66B1abFCD45 RPC_URL=https://ethereum-holesky-rpc.publicnode.com -VERIFICATION_DATA=./aligned_verification_data/0a1fab5df88a71e48633cbdeedc8d1a234b790d15a8a2fd04cd6a03c1e05b5ef_212.json answer_quiz: @cd quiz/script && cargo run -r -- \ diff --git a/examples/zkquiz/README.md b/examples/zkquiz/README.md index 14dc790c12..f4b5731f6f 100644 --- a/examples/zkquiz/README.md +++ b/examples/zkquiz/README.md @@ -14,9 +14,12 @@ Next, we will see how to execute ZKQuiz, so you can get your own ZKQuiz NFT! ## Requirements -1. [Rust](https://www.rust-lang.org/tools/install) +1. [Rust v1.80.1](https://www.rust-lang.org/tools/install) 2. [Foundry](https://getfoundry.sh) +> [!INFO] +> ELF commitment was generated with Rust v1.80.1 and SP1 v3.0.0. + ## Usage ### 1 - Create Keystore diff --git a/examples/zkquiz/contracts/src/VerifierContract.sol b/examples/zkquiz/contracts/src/VerifierContract.sol index 30bf1375ee..25a83ca1df 100644 --- a/examples/zkquiz/contracts/src/VerifierContract.sol +++ b/examples/zkquiz/contracts/src/VerifierContract.sol @@ -10,7 +10,7 @@ contract VerifierContract is ERC721URIStorage { address public alignedServiceManager; address public paymentServiceAddr; - bytes32 public elfCommitment = 0x3f99615fdf3b67a01e41b38eee75a32c778ee2fa631bd74e01c89afc2f70f5de; + bytes32 public elfCommitment = 0x34fdfec89da610d255d326bc440bb5754e1eb70a694f3f1dc967b3dd6c4c7033; error InvalidElf(bytes32 submittedElf); // c6d95066 diff --git a/examples/zkquiz/quiz/program/elf/riscv32im-succinct-zkvm-elf b/examples/zkquiz/quiz/program/elf/riscv32im-succinct-zkvm-elf index a7df46af949df3599c39d88325320f2c14ac0c8e..45c7ab77687465096e5370361400f59be8cfb528 100755 GIT binary patch delta 13222 zcmZ9T3tUxI_Q%gY+;in3AXg9pAKc4TL{Wi!z?cdcs5PeISYlz~D>XI6N0Kiyr7t;BzdSzZ$aGs&s|+v*P5?Zp_QqhI-Wczwm5r%CBfkC6VeV=*P^~}A^II*8_cnXBY0aLkTJxkByP1La3$cqz z6yKt(xYyh4vxU78;P4)+p$yA3-}~XQT0DCyz|9na79qGNwU1i~=$w6>m)-PFibP|; zXpF*dM5VNTr~ap@#flQn*nOi>8c&V(sNRb_FM3ex`sNkLqt|~9DU(9&Vd0v$neU2@ zR3Q#W_axCAJ&{CSOwSna9j@7sgH2Za236z<-f*9Xt#AdJUG@z>8k5~BUTfxBnBwX5 zK{EyQx!S#yq1OM0?|Ax2)`kbZ2&web~= z^RtIEo9YK4{_3Z2FFuz~9o4%2x~CM;`_hOFzK-c}onM~%pU~2u z1+I-t#kC^>-bTc;)A}-vx1AmvG#eDtrp{h5G zpPD{b%?{xspX*7Y__^;RvTx`f%ip{)DafwsQ$*p*W+bcLwtUx&fe3$f#&5z$&HM(+ z>occf+@GG6q&NRfWne)2p_3+$+jg(A5 zBD3>$bCbH#^>)+maebh8mIo=5UUHzc4da6uqhDwl#w^k_K5y<~DmnLkwJh1UWnRw! z&=)V@@=xP8UigPv-;W<$7$2EEAY9A3D@IcH7C%NkzaqZu#_qyJOwAt1m%P|f^$z5l zU+flLmL6`;K9*&e-AU|G7( zf!nh9{KXR^%O-`l>8$j!Z&L!|?Me+5DLXXFcX_eO)cP0swIw^%`eMFiX`Gr}!VfMT zj=>3E<_Rjh>52P533%(!O`fr=gLB8;8=jqqZq(3(+p_m(&l~*tWqGQ%R4-Ux&aW+t zQ?<3ck)si7eQ8CDRMlR=x6F&?pOr2S)X6%*3&9gqZ^)9Swpf+<9Akmi@V3y<*};j{e>s5aq*~^Bbnw)dU+D!Z041# z(1gDjP1wq(tsbamzsa|+?xsGmjh|Tk6zWJ?^D6#+wkAof-|4%%<^`sf?b0(^y>4uP zn(Z_4{=gSp*-=F@i5tJxynDm#BYC=L$Kynl`qf_EU%Ua+8Ih`bYk1VAQBLhcN|2Xn z`}IUuYQDvr)~cO%Z|cr$&Tx_KV{eye|O@fv+z z{2J-sdM#Z&^fhmM?K`#Xs_*ch*CXGnzPv51G1b2J&8hk@h?3mlK_86RF`lVY8u_mG z;?)I>{N#Ic)dlB$!*+fepw?gDQM=>R`t!d2yZdS#7hIaH)H)|cw6Lw%_D2@*=A#UQ ztJK)3341T`bv5fd)?f6*Z@r6Ye%rW2iuX;5&_YwGmD+|&JY!$K$cvZ4?Jisac4fAb z;V?|uD826)6&~02eTvLJ+TRY1_V?z@lk{Mv53V{L}& z9gdIBsr5Oe@%>y|sxl8>{I?p`h4(r*f_3q&IJknb&b-B;FIhbQ_Rt8{*_ZhD0ERXv z9bT)}kLI<9hpU61;$cUgRkNSsg-4!JS5D+7jtq~<9?P{kJ;J?qGxgeJBlYZD-v86v z2$1?&l6rG3pZ3`~!0(Tyw^?DyePIVl8_;Z~T0Cq_)B1 z+Il}+OU9TK2N@>sdOqwQ>(y+*&;DbhI`kD^;TNB%>X5g2+CP`6-go%Ee~v=zmS3(= zvuk|ozFdRseX(E7wcDRtFk$YbDcp5tm|c142bVII|M+cDo6(nDN(643^X5)Unl)ki z^F8OzQ|9oJQ<2ht%c=3&DmcyH+UZ^$^iObq7^eeg(i8Kh%$=8H#@=#j41fQ$76?Pe zk1l08-+wx(%>jIh`(M}f-{q56BW$zyl<#)S+K?UT1Fuqk1!o@aJRhGzpecc*D1U*Z z72^L^9Lc{wlhXMBtfOGffQt*#%8`vyOdN|HgoO2E7>%@`oAAJF5EJ_ zck!I>uQC_U{K3Qe^C>^ns6XG~9WPI0PxF$?iLBK3-sM-Bv;BRS(hd<;W6s7yw&!E7 zjA7-x`bw&E4{S8TF*y6;+~d1->^T&|f@o}Euo73tGx`c5-_q%W_!Rm5X&Z-{;+$gNMu(Wru6t+ty5-r}F% zPIn)MwI#G)LQ;pE!dTHHz6G{JzQudoiFHb^gqB8Y-{Rx$cvvnkxs%u?*yi_B2|C*2 z?2hvSue%c)6gbB3uOxMzSf;Yb^>=OdLa1i44fk1$oh-Gvq9bD+9i8y`0M6b#=WZ9) z$X~phs8)^_pN6m)UVGQZj`I4uvFsGTh`*&=yBDino8b4)7xw~LTb^+*P|KL;_xBb~ zm4)+sC`a?@_Y$?_DSm&k2nmJHu6s6Z9dM*L9soQBtOceScnx?Gm}Nw$_1k#ZeVhF* zRA#bUaUo|-rDWr@qxig!Pq-h;YIzC%p5j&b+sy0kdocel-jCJNru+TLMrfDcrVRz= z8<+ts2WAcE?WD!)b9=GVv*07jU|gIjK#7o!V94( z^Zfo!6r!!Dg;leGD}|d(xtLsY#E;~BL4>Ff5u%5Rh$j~K{oQ}fTg*XI*;%mwPiS?= z3*tMCb<`4C(3JWZDi$mnjIt~MA(DlgM4reDK!;o?G;0s%wSJo@4q!I5v5;T!cXUKx z!k&E5?_VWyTC#Rp8ZbkAPG!@?k0dfghz(+x=t1JJc-)4{PKpAelcIveHBn6>LL7%p z&0T6tj&fY5M@0us_ZvXsf*1#(D$B$&B+uH5*GTIUACnj=m>s<_Ge}XI>7z&6UgY;5 z)F-ycu%q9H7E>!|);dnWYZ%a&JdPW{IY4vFB5)a(>qs50^#*PcN9?Q%J0O}!B#Y=4 zXhoqI&;m7|65~kZi=`wkh}TF=79SgQnmktt76|25;SOX;7=)Za)=RUkrFnocZ0AV8 z6&r`yBzS{ zC-ys7FNPW6K#ip$BnVF3U!j21bTKjr(9CgwnixC?@i){a;G{yj!obOY+& zN>R`+L8y4LU@Z}|QMg;OM6~|#mU>bJq#P+KNaTxZ5{Jcc630XniT1)73^7flkk}(~ zNE{XgBv6h7%8@7+$4P7wO~J^d@*TRK^{g{Oko7KbxqcTC`NUE0`u$4`E(Y7@gYy~R z>5mj!z^LiX5M+2t90@_t2=QMM{e>e`uc<4EW8%?J^wv+;g7%(2qo=xV7Z8-(3ee?_MgC1wd7{-956k7$lrqxU|KoRp(VW|X2QFqQfkPJviF(p)6I1WpD^d+T6Dk!w}5_cxiUph_MAQ#|8P zmB+voPjU{J;z`a8R>YaMtPb;{DvHIrdt-Bwo~jIgb3+v6EPQ3>t^ntX2Dq^uf-1Yk2P8Pj|Wq2lBa<6Wi%Azzs_W7-x#Vqq~zk^ zFBO~NKWI0-J))Rb!4)IQ^1=n{4`j;olv%3lV!FqfvFnFYr&M3A2~q#IYoIDb|a|5ul8I7Pn+f zH(DPv)uwC*_pd35Vsq3q?*R zHr`nbHx$y{Mq~B9Nz`>>e`VW6NoO`b<*dbe9oDp;9(Z@8cY*50 z7G?&0liZSJQ#9pW@IFh!tHJd4XB?_h1D0=rl>0f8rM(d>-ww$hj&(D!v`4pBii{UN zXviT84)g*j9UcQy=SUt2P5=*wg8UboEbS%WLW}=OFmP6#F72duG-Dpv~ z0*CDuejQAMCJVd?mhZNdz%i4h{a;`j2+60w&EQ}t$iGDggQY#B2nrj9pqJ^8X0mh` z2&R#goCO{U?g0e_oNcnSF8~)?{1=1et2Oy=Gg7HO##?tu`dKCSa>P8tA$s9b45xwmXu<> zv<6Q#!srhkRaMHt6vnvJROM4}uBbpUC)G~*Fu0AIhv?#XH}*Q7tk_i_ffYqvB1?C# zLfJ5KLOWlA_YMnx06rny-P!n}p_Um$jgngsRIDu~7qM}uN(b;#a3~aHA8N9+4+m4V zl1GC#gF~Po|00v6-Rs8FjPjC-m*H>#EN=vRO_ufp;1eRHhdw?NdZ4kTHPt;>D^`?- zorkS(qiPP~4gZvdhk3B*vD7jO+-TukaI=M<0SDf28I>a5WN?&)p99BQc#a2GdMAtG z1vvD!@DgyAg_naLvv4_>_H~RyRn~xMf5!<0HE6%d(*9R4?ftYe?caNf425*K1_#<0 zk`C?gZcZ%iZZK^cwT6N!7-q7xj{?(%l1yN!$EcA4HSZ9N!JrYd2S6E)^_DqwdeF&I#wtk&ib4`VGC$ru{iQj`bcmVzRV<0j9k>Bf%n7xos+>18r>5#-8lrM3bdG1xy=$a)|OwmiCEY z+6FmgTQq>@!)~_k(FSQ&w=nWNH5%Ogo+ODr(c!U}Ay{u_OoExc5SK5 zFaosfW+!4Vez4%|s(_SIWf z&=*bWBq|^>DX9K9LW+Br8bJaPg_?8=OhIIm`Y*%!1pZjn>h>pbTizp@`m)(YX_mS? ziP%WCa98k13nzhBS-20`EsyDk!J94iOfc=L8;7b40bjH5z zU4igvc-)JWG#2X&y!BvUzC$Z=#RRB}C~MjHL&Zjxvhjf>MwSd|(5pcXn6i-mm0(Ij z`hN|kUeRxWH2%wtUg)QnSCtRJ)Jj^CQD@&YrAJE1+5okiDoHRCUh6f2$_5_?PZREedXNbNnIEwxq_ZMcC>qkS7~F!gx-Z(f zpeOcGWEF}{sR5H+HuGb$i_8qYnFS=Aqi_HEG*TL{z?~whGZDO2qzuCA)iGGHT-R?i zCsXjIBdP{rKzCVUIv&EVr-fUA>5CazXB%*Tgpu41oMmA*xY*KZUBD-VyRGYy4|Lsg3VVJ%?cGB8yt?W@34iRATQ zN<#7`@XuhGBd|rfq^4m6Yo$7e-G4A3xB6r71slcQcgrt6Y22m^z&CYpGY(am z0ZtXiM`7IhThvRT9wyiy^oFMV0nfEmk@E-kSNCE#1yCZ0bp=i@g7w7kH)p~091ygC6Ng&ei8*LoSQWA@`9e zKv&FJw28c37!%^SN_Ypjl^!Nf22(n@rvElDrE}2aMsSqK8H+wyC@RLHl9Qs2M5AaT z(Z0t06fS|Hh4{kXI8>#3rlQE72T&J{FKJ7pCN4cQhH^^42*6R{6^X zD!tKUS$Z=#S=1S&oAOwC$}p7HCl$QaN3b*nt7hFjOqQj4frp6+l5(sUZnq6aF*(y`fhnxyU0@1>WtTon+#3-FKPLMc zS<|dp3CUh=@&*YTxxZReDlJWX=Q#T$>etaR@ zeK`xS0~T(Zjm0Tg_VOTb0$6{!L8)2b`Jy@>K`TX5J{zA|iQismlpw_%jEz^Y%j86G z26okDv?syy!EzKzz>27tfEzFUro=c@WjE9em9~b0!k#i&+RuR_V3*torbbA<0;Wbv zz5%92NWKl;WSP0j5WLsQpRZ7bi9_&HElYtEu>7eC+4D@60Vjf~*CbB^%b&QAKQ~$0 zUjfgz_`g1+7iNM*@g^LoV`YJN!Sbgu6!2ffqG2LB?k%`6_>nqfD0T`g#lpcf9x_Zc zSpGVO{Ig7!_Q$~Tw>4y6V6wC?2Fu^tkbT=wbQ~$9!wxto7+}e}!SZJ~RN%D9(taLH z6GZZV!MWgeP>_GbqXtWR445X6WY?qO{v;NMdG4O9&+`d}s4_%@A>308n<1(U(O?Mo zv$!y@%6?YATAH5KJyWLYqQDT21B?D3|j#f!YMWGx$G*#7u(MHSiA+-RL#d$H2t7p0aju3T@&pr zIdL0!V+O{jreOh_&DiLgoP})RE9|H^5~jv#bmJ=(KZdCuhyFh@_+ObEk?B;!MR%tf ztd-*pCs_<|s$DetH<}Vr5(d)}ry9np#cHV83Go4m2yq%BYE~h`bKjf@5X}7e|K9Jr AwEzGB delta 13215 zcmZ{r3s@D^`u}GQ%!ZAKY(WGu*|70~s9>U?k$|zibj;f^#lj@-mMFS^-*;wK&UyaNZ=Pp(_vd}z^{#ha zW@gRWo3cHDJNE>ZI@#2%v1=YE>Z>Sp`YSj>6@@{hwP8wHQmm4;^`lf)b)-2eAf)`) zFn>)+z3EiKG_BU_4BYG=RQ{`Eek}MB^YE8iFSjb4Ap@*9HKaSM;afsns&rPd0v}UU9@J`YuYW>e(lzj4mO#=X>piJ z6g5*;+@m#n{X<{zvuj^eQidfS@0(#UT9?&N_{B0sphXDoO6?n~_;s%Nm6zP~O^HBb zz+sx3@utY$Z4cG_GNVXQ!Wg?}G|IzMqmb#3JU41kTX*vsP6yK)MOI59ePD+EnM?Q4*s&@SEwSFQqJ3~i48P@yT9Y7I=I_(*KTnwRB?5C z`xeFYI-@sas_v`&;FIH6IrqyQ>ChUeLA*q(*BiFBhEK_zhhF?LHx(YOCN5&--olAK z_F#>_?oi?m;98L?=2Me1zcF+*Ds;gjPuHLHuk&JRzD=w8FZv>?SaX@&_pkKNQM z{-%4Nw{g-XHpks6OtUN0K%-32ISTzpxj$l6Uov%m_v05`tfZ<-tmzch{ZaOQo##y* z&zRi)LCP=`H7YWrvtdDYV;b13*%$rGDCG|FuABUepX%<&S4@9Y_5Yopgm7==;WOgY z!NELjMi*6U;(0SVgt(iy4ZW{?-4y1*=XEp2v~@SRiV?jZ4cOqDm>o_0+KeAV{C^j? zG_Dp^kMui$h!QCcU*BNZikh$ zQ(V3H?RhCqkD@nQ{aTqa)YgFqX-b&KgDb<0X%V5g_V5w&XCiLp{FhaCJkMFMoswCQ z$Vzzh!lVS0_T2Qj;@?(W&j%?}HrP?xALD}=qhDv4#w^lm_@af&spP^p)xo{J6^nZL zF%SRzS(obR&zqk8O!Yj(PdwKpLK_&SWw(e?)V)QIQqQmHV!Qd)(q&B5GWd#uPO3YD z?=0vZH8?ZOmWkAx?utx(EdE(Z7j$(wKVQ&Q)zy&lxEUGckdBk;fHiX%BnAuq1l+`6=t9Mww&4$jm$ zaJri>UOqWu@YJw&os~YeeTrWfn^H+dN=oK>uPs-Z>RHAcR~%A3t9ixBI8}R|pIA8p zgA=yO6=eI(75BE{_v+x^c;>1H92M{U=6dDh-zsUs?ZM}LeD11T)$P#>de-yCRdH&~ z7GBTMh*ED_;WAbIcq^}16vaPX{eU`{(?_rN{5h2g@8#m>nCkwW=avjWzl)M7sPaz9 zXMP*{{?0?!INPLZbib=9t0Y-c!|$y94tI}l*TtwR?nB9&ojme|2v*}wdSMEhu#1;% zL=*NHP1wt4Zo(aTAK$;JyV~wm{?(=@P)E|{m+<$K%}J`~O>fKQXPG+qh@R1=(g}X5 zcGSrG9dB@1Cl$#gZvR$uSBBX}@eC2o<3yxdUdhwND=?iGsjB-Jk9={Aqvl;okeAd{ z>4~nb@h*RHi`us4@22{H3^kr19bZ~T4SgvQfB*i{bNKtvPWn7!=OX<5PX8RRi#{*k zMfz8FWvC@*c>S*LRa>L?ay{lic7{JvTyynF7pQltiri2Ihui3Yr`RyIX{9gT7 zskBiOo~`GlmD@Ubesp!&(}HP!+qguEj!g;ILQ<)f+T-;+^Voohz4c)>C$0dSGEd30 z8zv2O=JDamKoMt{WLuN9&zh;<>>+f#!u=)SY64*`RBB|Eadq zI;B#ZY|~x344B@RPyL`*TTi2*w*6+P2dmyaAK((`JCyJL@KNUGld2PWr)oUbM)JJs zXH?G^i02nJ@o)CA-S|oEXWjde@v-!`Kfz;NvgZkNmrjN3tKhiT}@!p~*=n zx2T@SdG*N=s_jW0T033Up5#kwpHPQP;a}B`=%78pwfQ~6JT^1)>SQBxZ30jK$87{i z{Uk|!yOhuTHJ3#TN_ zc{+b?uZ4@0#n82aE()g|XVT+~rY&5QWQ{YPH=Yf&DW&k7%kQ4;Mne{a_s;V_?1{Qj-~PQUH!{K-j_YyLcB8hV48k$?W7ZY%Jq zHR7#@q`0p`(rWVmOTG5|kS@vzSRaQq6E03jD@RD?eJ}KJOUo1Rr1+A(;8+X44(@E> z)8MX>`5PCWjJnn6R05$3$h zi=5M+#(bCxmiGPpZInFe{rYl%U*Tz_diuIkd9n$^g>yO14LEn=d;@0{&I_>r59Fsf zzr}e4=XIQSa0Xzh6^XMu&NQ4Oa6WCi5@V3_`vl)EJwM16x-F@vP=ID0M zsYD~fCd~gXklpxW*T=ImzV~{nqZ&3E>kc^k;jH%l=lV}t)FJ;^r7a;OO~GpPP$)_M zb5mkxf85V#YIT65i8KHw=7@fzK}Vm{covp@V?ioEa=jy8a1qi~X(=`Fum z=x4u$3)l&4%^zs)ta~xavtN|)Ev#C_6Ei3Q(`Pa z(F@pN)6L62x}6dG6|8g*I1fo3P;X9OtyQdI1ABSwofwDoN`aPI=jEgCxY$&_`aUpC+EYtK*L@mE{M@o(+}j;ZEVEivpgufyM^ytyStyYjTpw^;lf$lBXGQgJw?@Q3flU_>Y0 zP1NG2`Fur!g~05@HC7B9RlXIJ2|5Z&(*>lKyyDM~shPp8A66`*XL zPJ=2ydJL@*betFXD8?=ywdZ|&KFu%UZ*{rGT0N(lNUmoDQy~IHtjfA-CztqqJtzn50$jcl`6{ZY5SvJh5=S63 zWvSV5qEW?A2Lkn;6QO>2$7hljIT_X`= zFNJ+)q0e{1GF72U7Z2Oun<*xem?~D1SRr77SXcG%YTl`(lii8QU5v{xUbGHC z*x90Y0DMl1(Im!-1tiXhtt4{95re*fr&hEc&E;8l!$fc(3uG^fc7ZI3eI?w1tdDkU zGdh~bwnW?MjuMI6(F(CUkR`G!;?qEcY83woL~T8U!;V6kBFm15rQGKW6d&1Gv`A*? zGJiZy=8H{s_#YH+*jXPm*xD~Zx{kO_2Ysdd4 zC)@>~dg5>59_}LBgYh|ZkN#OW335%y1lacPL2{}dG>`cBKA&$t<9}_55Jg}ud%t-h ziweTAz@hrgswP}PR=sKB0+?+SKLn$b*S%)Wb^Bq5qU-^!Gww*Ifx)l)d@FR+8i6xK zL2I;pzu3_l{eD`!PZTK5kw_MINvseLgg~4S4~L-R(!~NI^eBn>;s}Xw@db&o;%5>$ z!qJAtstv1WrIk^k>`gz%>}$pvgej^LjJaJT>cY_R^_BK;_9bJv;#@lxU09C?f^n$I zdzh|~C?)wLuv{`ylxrqS`!8UsMe;4MTuzd|3zL~x+7rM<7EWrVi02~MYL+INBam9D zNNCTJ3Kgsd=~+r4-bay8FwI@!tKc+?y)D*Cay3f!bdzP3kANwj3PZUH>Wk8jPMQASyk46^F$ro*iq3O$wn6HOJ36&hnY`o z9IDa{eAL3dz;as27vCv~Lel9#r!1SeJ^OaG>;!!(Vv? zJl|s94=xqWQPlC32_0CBKU*w@bz(7vMdspws(B5ooY^<-56IWx#g-`Ffyv)EROKSL z)WTQ6`pO*+6t8WV!O}kxOz|am3RA?@PAm)enS>aY^t4>-Q`tlCC6>NN!SWq|?BAO# z?N`9^-GJ;N;RZ{4IQXEbieWcK566l}&M{j%G!ZQ4U^2Leg`WVIS-2S7(ZYwo#iH4X zo;+$%2Vl*VZsFeGJr;fvEZ;aNTaU>y+YMl?7Cs23c1inNU`kN(G4N5*5X&;~m`I3YNwK9^2^xo=GIqM6WMaBub*3=YU)c}N zt}KXSBbnpG&&Ep)HS2ODnknjBY-DUW)J}4TdMjRqhRfo(*nR;Qi(&C>l4B#>P)K(h zi*@)OQ5DZV#5GsYnN8|_&0_r(*6d&Idw0UBKKR%BSL`tGMq%&5G73+@Ez}IU7wW)d z*%VEA9el#l@FQS)qcaXwsRYY6JIei%$@ z+!G4&pJ%ePF9C0~_%8>`*JbkGXR`F~dk_km15)u8_$)XH3Mz2UWNE()4i*L7^vBeJ zZfp{s!1e_8`RH)WFX=QZ22T^q18xDhhsFLJIK{#%!F?^f20T?HbZ1Gut(Vr|8AcfW z!K13mIxvONrw{la;HhFgiaDru%7;NcaS@`6+V1RSJX!M-aUqTpRf#Mk_C=HpB`36V z1H6w}_-*h75!HiDDja2*LDVR@eL%(9V{#E2hpIdPmfH?wA8N9+j{sA(lE;GggIhyE z{)Hw>yC)V;Gs;UUUVy_%u)GnxW3sd#2VW2gJ@xUK&=ZX&1D z93H9`9`3?J)l$nCaFc~|!2V56qY{*V3LI|Xso;1EKLbv*@O&4p^kj?TSvX``cm;Tr zg`WqHv+z1F?a&y9s%!?+PK^T!YEYHQ(*7Zsc5&L6_J6wy4TW@Qgad8yNQdZngQYzd zOxr(g%>ctqmi94V+8UAxtTb8L*MMo;DA+82sL)hMhofNHQ=-iYYQcGvrTqsm?KNSc zr`toZ`$8=35n$Sf!dg?eXPGSRL%_60^~cOwXey+`QZQ{`$pC*dS=tYPX>&^k_{wBy z{}-4xzGMrvE(S|`D==+}nLSjf^fMLGAstLRX0nTCm@Mscz_gnd0tNNZizZ9^U%|A~ zhR3mPuQgfPKL^t;oRMIms@yge(t$QBX^T#FaiYo6-WyC?cXEhwO_uh_VA|G`uBbN3qVA@BN_R%Iw`*<+z zF;Wi~QU%YO3hA&8jLpYCy4Y*7v{!*?Us6_Z#bjy!H<r9sR3t-wnZH4;v1X^`B6w;wB zn08k+D5!@XHd)%U!6}vs=9w(*&w}aBDtRTC?yQoF!Dv0cOz)Y(qVWJ4mV$e7qu7yx z*QF*=1(8K}R{c4Iht;TM#+@_(Md;zh!E~pU_HV#+XVvqCJ!-k4B#WrNct@lAsdT#p zHQi5bW|+<^a6c6j`m!yfH~#K~k`7h*7}@Q&@F_6uFdK)e{1Y6BePzjKz)lN)4^9^S z`{_@c{C;RsvRDt1MM3pP6jFR=r4b|$QK(7HUDCoB+EnD5bwJTU?4Ldse;{^KGeOWF9q)kc;KY0&G!XfS0V z{ma0Vg!KOwOueGt6lwgQH+o@!US3t+1yd`rOw&8_?(-Pt8qu7FH-(O(sy{|5MKtth zA38c(n)X5u%yLmRfX1=1VE|T2n5pa2*~?kOEnXdZVzFakCwQZUyO7<|<2}GTMgGHh zQ7RP&9!3X|RkpOYn5=bB$5JKT%!IdijG(f?Uw{{jsDXNr2?LoAu_k1&LWX^u3@i{2 zqO9(Vb}s3qC`)A(czLP>lifJ5i$ZqMKT~gJJ_$$O?LVGS%0(=C7l;E{2!2W=48kkd zSy-`z*Y6BxdgJX!>==XrJ#L9nxqt6?~!b zzJE_JB`M3NJct$H0*m4yIGnQZATZ@E3k(C_68Vo%qs5L#FbY(i9EH#4(0Z{J)+}m8 zBuddW`b&wCwVZ}2YmKbss5}d%UWhXNkAWLS|7`XqDrv~p2P?s?i+n>IAc4!rjS++x ztfvz-L@!V~MEA50#p?u?=tEhCBlFJv*VWX1w63ojinoj&P|GFPZm5ZkLseb{Q!&YJ zfQN$R0Dfz-w4Vb{6?Mb(Oze-c&#~`Q_b4(c5K(`^%qm7%y+1Is4y0iwfybdRJtn>a z?*z-4cMsfA6#NOjo8ID7aHr7S#`Z^w;=rG9@fC^u;g~v$QOGz{rDy=w2No^?Q>D_r z5lodx-Ug;5B)l0P4y3{rYn6ko%E(v=S1foFjAQAI0l4;d`& z!Qdh>>@mH^3LazUdzV^DPlENJg{Og!TX+`u1F?PtrkeHs`N;;T;dT!T;KOoKN7<|z@n!On-zt*I2oAxli zQG}ausLCwxBcgT;#%-uYy%Opi(L6?PXu_ZITzf}irh1JVhN`4)Ho{0Q0CS7|wNh;DgY`*? z;e3Cq(QX;<9+=uCIb$0hvy`V)tlox(i1p*Jucq9%-yi3YZW-KU|6B$i7Ikp@uRVgV zFgvK2oIUN4{$Ui8+?ped=s#Y+;S@kP>ZKJKEX|;MW$k$EVaqSPX{5h|npoCd2c}|@ z&x3DS_y=&H@4o#faGr&K2FL3^rJx9^@;mrP7Hfn9-_1au^i%IE{4#0zb|6Qek99dL zW;D5vLIJvBE}%{1?ZlW6$Cbg`FIMSk@>DRTlVket15-LDOs)sVi(wPcCu_v|38>_X zs3OrM8c1}jjCul>K;asE$!{F0(j!Yz%Kr91(0hYfrAbX3+(yk7|l`oo~)VnYt7dxiuC@pWD zvtX6KNTAZ&O_rs1g40D+u3ow!mu2+ML1}$b!CQRuXoYCVW0SHf@XHI05~P@e zu^9_?nw$t8j-7THZ5+4=EJtBAI9RNI8aH10rHFB;%3DykMx|}dFlSAc_Df(V?2_xj z)CkGf!PH2}O<-z-4S_cioI~4j+F&o2g@JAP{419Mcrg{oEL5kexzE&LW({^*7Z zoHJSaUk1|zk=y{D3XXzz|i2Xf{OuS%%FJRfcFbME}`_%@9?FXf{OuIfiYHzWlD6qt~7=S6Aj6;(#F< z43RL;u+7s8)XvijM9tTg6AZD#5Os!#T42}~U?JSUGHM~a!SH3beK8hq;gvfUV|yA) zrUOf`3Zw6zXt&9M+rTTc@I7Z`-4ZqrU(;6(dyYM~13&!uC{&Hn=*Cwneh5`vn*M(? xqP0VH*-Noxpns()77m9RCWbrIP*gL~p>}0e!b9S$c!NYo@imDh;;ut&|Gz#b>oEWT diff --git a/examples/zkquiz/quiz/script/src/main.rs b/examples/zkquiz/quiz/script/src/main.rs index 5a895023d6..6251d57a1b 100644 --- a/examples/zkquiz/quiz/script/src/main.rs +++ b/examples/zkquiz/quiz/script/src/main.rs @@ -219,6 +219,11 @@ async fn claim_nft_with_verified_proof( .to_vec(), ); + let proving_system_aux_data_commitment_hex: String = aligned_verification_data + .verification_data_commitment + .proving_system_aux_data_commitment.iter().map(|byte| format!("{:02x}", byte)).collect(); + println!("ELF Commitment: {}", proving_system_aux_data_commitment_hex); + let receipt = verifier_contract .verify_batch_inclusion( aligned_verification_data