From 75724f85f0bca668ae1a119d96e8accb4521c2ce Mon Sep 17 00:00:00 2001 From: Bhargav Annem Date: Tue, 20 Aug 2024 11:08:41 -0700 Subject: [PATCH] fix: tests, comments --- README.md | 2 +- src/g1.bin | Bin 425984 -> 425984 bytes src/g2.bin | Bin 13000 -> 13000 bytes src/kzg_proof.rs | 1 - src/lib.rs | 265 +++++++++++++++++++++++------------------------ 5 files changed, 133 insertions(+), 135 deletions(-) diff --git a/README.md b/README.md index b6dec9a..220368f 100644 --- a/README.md +++ b/README.md @@ -6,7 +6,7 @@ An endpoint for `verify_kzg_proof` in [c-kzg-4844](https://github.com/ethereum/c | Operation | Cycle Count | | -------------------- | ----------- | -| `verify_kzg_proof` | 276,957,860 | +| `verify_kzg_proof` | | | `load_trusted_setup` | 391 | Checkout the SP1 profile at [0xWOLAND/sp1-revm-kzg-profile](https://github.com/0xWOLAND/sp1-revm-kzg-profile). This crate has been used in a [fork of SP1's patch of `revm`](https://github.com/0xWOLAND/revm/tree/patch-v5.0.0), which passes all tests. Additionally, `kzg-rs` is based on [this](https://github.com/0xWOLAND/bls12_381) slightly modified fork of `bls12_381`. This crate works in `[no_std]` mode. diff --git a/src/g1.bin b/src/g1.bin index 006b78c27cf397b17c745c0233eaee0a05aea2c4..012e861a0533506930ec85e28f626c9841fda942 100644 GIT binary patch delta 52477 zcmYk_Wwftk-iPsJV`F1uV`F1uV`F1uV`F3EjDd|?4+k5aQL(YHF=oU@ol$ITY;4SV z-aYsA?)SOB*WNGAI_sPl|8v$3!}-E+zIdPMZVet^`=j z)^egLa4XA;_YilF+g?F5C2n;^@gCtGa67taD%{#i;yuPa;&xXSO^sV$MZBlto>)~p zd$=3i#%iL;a7(L;cOQ3)+gw95Id0hy?*Z-(x3#8d3f#(C;yuLOxuUm_lVnFUo=jmMfY9x3Z6T4{`Un?R`a4;#T()?-A|+x3j-!D%{!u;yuPa;&u-d zO^sVWNW7=wp76x8hr7XT94wj)w{(bj_i?wl%|k_#1Xnw8N4N*vPAZxT zw|2RBk8zK<-77>>Th7FLfV;zO zT_>6Xw{pFB4{`Un?SF`-#I62QyhpeP+|CW6sc>sIiuV}zh}*qMG&OEL7w@UKCvFzc z9_|LWaf@g&+|sS$-N)VHHg6M6j$6K6ya%{D+}0hUDR3)yiuVwAkJ~OpQ{qosaJ>qun6-|v>zfZiU;-0u)JbSns+{Oc<$#6@hc=vI)xXlMeljD{j z67K=-4!8BNXbRlQBjP>8-Q%_&6-|j-eN4PZxCh+MYn6D9agVs&Cqz@@)}Ivb zskkSe63-s)2DkCFXfoW=zr?$byTxt(TQoUt`5EyZ;O=l+wP*_5%Cq7<#NFezpA$`q zTYX-s=iT4=yh}(Tz zG&OGh9r2!ud*WU3?BQ;38}ErG!!5lp-hJFHZnG0jj$8gfya%{D+}4MpDR3(viT4n9 zkK6uOG$n5J6Y(D59&kIKil)M?eJ0*x+#_zc7fp>@|6IJM;-2_IJbSns+{Txp$#6?w ziFY4&i`)EKG&yeh8}T0C?r>Y*il)G=4B|b+-Q%{u6HSR*{a(CBxCh+M52C4XYd?zj z825Vq-nAEL`#^{ANm>pS0NONHEiIybzJYVj!IPkX3{>KbDvn33mZxHK8wvB?Xd&FnB~m7z-oI2ua1_6D?sbf-EQGMX>}# zM_7v?D+pzAEFsYo_7ccSLR}I|L=1$p6tarYG%PVO67JH-YC>NIO9~{*V(^HDFqT7> z5z_Kle4-`H6_DkGydsu>=m<+kRuIZcSVE#F?3Iy~gt`irh!_ZGRb&;Rt%fBgM#5bk zSxx9`U`c@l|CVU7M>K@7CcZu+q_wd4L`#@!Bg+YS9V`LS5!SlM3PM>AOGxyDy*{#% zP)#fmF%ZrM$SOkH5KByqgu4;4n$S1Kk^;#l7(AjOj7^bcgtQqJpJ)lwLY5Qq=2!xv zBdjfu6@;=SmXPQPdn;rmp>B;OA_l_Q23bXD+hU1{k#KEfHKA{ZB?Xf0F?d8n7&{=# z2x&(wKG729PRMdX-Wf|kbcD4FvVu??EFsYo_O8fELfs8ZL=1$pJF<$<_P`PoBjN6e ztS0omu%tk;HwKSr2*X8|5z;5 ziHL!4JY*H29gHO=M#4P=SxxANVo8DIFbp2i5XRxiGD126i%+zKc_gx&kbNux(Gk{B z$O=L^8cRs@gnbOMl2DJu5)lL89EYqTwBxbF#7MX&Agc*Iz>)&Vi5NVhA&irdWrTDx z7N2Md^Auz`A)ksRAUeW24Ou}br(+3;p0Gn?C83^yB_amG`5Ur|(Eg4kCPuYxe-f9^n`sAvXW49EDNu&0?9KNJfb0t8d*k2&tmb3mN1_~ zmJ{;xSOTIWtQU|Kgz_Smkmw2fC1fR`zKkUz2Eu8ORfP5mmY5g`_f=#yp}&SD1(N?@ z@Q8*m{);Rlq}Q?dL`#@&Aj=84#S#!5VZDj0Ae6VTghWr+ZzC%S^&Kn`F%ZtX$SOj6 z4@*ppg!?|Sn$SBeDUf`C!6O>N_z+n}NFQPGiIy-wMwS!uCs+caBdkx66@>B`mXPQP zyGK?M>gQM@Vj!F^kX3~CC6<^N3HK{xHKBivB?XdiFnB~m7~dkx2x-9L6D?tWhb$-L z@390#M_4}~D+uLBEFsYo_D{%4Lj4&_L=1%U3$lvPMl3Ng67H|aYC``FO9~{vWAKQE zF#bT65z?Pne4-`HzmVmG{68!K(E*dJDaGgfg}5gxQve~+6ZVwIN6C>eHi>xN}>9C|gg8v~t*&`alm>yrB5z-7;e4-`H8Ik3LJQJ3H=m=|OWCfwj zf+Zw+!k!gbNvJZGh!_ZGHe?l{&5k7|M#7x~SxxA3Vo8ByE({*g5XRidGD4aMi%+zK zsUXVW zq8L1)A&kY4WrVai7N2Mda|vWQAuov~AUeWY3RyuY8kUgg343W|C7~{ZB_amGSr%DE zXv<-ViIH%ZM^+R13RqGgSrLOrG=!le%Lr*DEI!c^=E}%&LS6++Ky-w)Dzbu5R>Kk! zJz=kotR&PmutdZ_I0mwc(ALBf6C>fSg{&s@wXvi?vJM81Xb59nWEml?hs7sa!dxF& zPRJ&ffanNo17roEY=|W!dcxiaSxKlHV~L1?a5h0!5!$9$VqzrR&5+fEZedA*WOEE2 z(GbQK$TC9O5{pl?gt-;6oRGK15)d6>ZG)^Jlx?wuL{Hc@vXW4@!x9k#;cSnrBD5W_ z#KcIrJ0hzIeJ3m_knD`XBO1ck1zAQ&4i=wi33FFuIU(K@7KeCLF4#46QEnyyrEGOiH zumnU$SRS&1P!7ft5?h(jpLO&8q3M4)Tk7x+v zC}bHS9gW2&TEaXASx(5uVhM?>jgnkN^6i80R;1LaBoQ5nTq|>qZL`#?zB_w*nz64oGs1sNsVj!GLkyV6t8J3tB33n2*n$Qz0DUeLY;1LaBq{uQt zx*Us7w1jyDvYe2w#1ar4VO@o+Ae5`IghWr+*B~ni^;#?uF%V9MtRl4Qu*AejxYr}A z3H={fQXu&!29Ib6;|63IA>D|@CtAY130Y3aIhKIv2 zh=Fi!M^+Kq9av&wB-}fZ)r4MPNrB`p3?9)C#@)y=Lb?ZwPqc)2FS4AF@52%h9bw&% ztRR#Ju!KZU*d?-(P#?q+5d+~ogsdX8hq1)ONVtz6s|o#4EGdvYhQT8m!gw56Mo1MF zpJ)m531m4TKZzwEI>LGiSwSdIV+o0#u>XauB-DRniHL!4ofij;tp1H?X8Y(qiz4hA`elmJ!lhSbU--%(s!{g!~ScfanP8U1SBJ zyoV(udcuAmSxKlJmWUV#=L2LFp?!!YCPu>j2w6?&A7e>@U3BlVjvs|Sw(2mV~L58aA!bP6Z(u;QXrWLgGV%kF*CA^kY>T+ z6D?uRiYzB&8B0KPgf$zof>3715)wUO&w;EY)H$(4#6UQ6A*%>&ZY(h|67D?6YC>1A zq(Cw+29Ib6V?JaVA09j7R3t|a~j<6O&RuIaq#NZJPVJw9#BP0!rPqc)&G_stKm%$Pc9bqkttRR%- zu!KZU*vlg;33UZ55itp0?F1GJfb0tZIESzv@I5&XbICsmJ{-JSOTIWtnHB% zgt7yckmw0}M`R_T?t~>G2Ey4HSw(2OV2O#5a2;edq3?<%1(Mw`ctk@OyCcg8X%8$u z(GupK$Z|s73rj$Bgta%af>2y6A<+}|KFCT!-4{zl41}{EvWn35#}X4G;U0jjCiDZb zq(E{I29Ib6!$X!4(!p4Kq9x2jkmZDYD3*Ze26_(V&Xmmtdtc>+s7bcA&&vVu@9!x9obVNXI<5^91aA_l^ljI1KG z6iZBugnK!%n$WMnk^;$<7(AjOjH{4kgmg6)pJ)m58e};kUyCImI>O436@+pfmXPQP z`+8(0q5cC)L=1%UPh=IL-GC(~M#8-jSxx9SVM&1`$KVkSVcd)?Bcxlf_(V&Xw<604 z`8F&8(Gk||$O=Na14~HsgncKnl28jQ5itEED5!#zrVqzrRw~*C@{x+5rNZ!HV5e;Fy zi!39g_ptaxOPKE?%L%!|5)d6>eSoYWln=3lL{HcsAu9>>V=NId5Y8vaDnk1dOH7P} z`x&yD(0eQ?kbI88BO1c^0$D~#Ut;lzmN36UmJ{;VSOTIWtZ$GNgz_zxkmw0}Kvoj! zcUU4~Ae`@!RfP5fmY5g`_eW$kq5p&>1(KgJctk@OzaYy9X~g0aEn)tOEGOjOumnU$ zSid7H2;~nfA<+}|pU6r={R>M(421JPWEC(;n_7I(ALAayJ=vWCs0n>aEGdvog~1~l z!k8LaMo80O@rjl&r$v?%@^n}Nq9ZH`SwSe%V+o0#uxCJ466%atB4Qw%nUGb4HZzu( z7zuY4WHq7BiX{aS{NVb@9?=lSZ20<&kY>l?6D?uRfh;HFIk5ypM_6+qD+pz7EFsYo z_B_Z+LRGLt#6URnBC7~(J}faY67KxSYC>NCO9~_lV(^HDFcw0V5z@j~e4-^x63lUA<+}|O2|q=T^UP641}`^vWn1F z#S#-E;jV_PCiK;@q(HI;29Ib6!$6i1(wbO&q9x3=kmZEDHkN?s2x}c=1);2qB_w*n zUJqGGsOw{ih=FiSWEG)pfF&kI!rc&AP3Rk8Nr7Zz3?9)C#wN%zLfRCIPqc)&8M2&^ zEi3`i5!U9&3PRZeOGxyDy(O}eP`APo5d-0DjjSTHZLq||NVwY~s|nr4k^;$g7(AjO zjO~$SgtP+|pJ)klM`Sr6?}Q~FI>Oo+SwSefUoy)WCfudg(W0VNvOwQiHL!4jzv}x+HqK7VkF$-k=2BL0+tj=0t_C}5XOnf zGD12Di%+zKc`~w`kWax95FKHiimV`%)3Ag@PuQm;D+x8k5)lL8oPn$&w7+4AiIH&s zj;tp1GqI#Vaux=UXb9tMWEmlygT*IW!ia4tet5!%IAVqzrR7+Fo|mtaYOWCDXnG=y;}vW$=}!{QSyVNODp6LNwjAUeXD zjI1D(6iZ0-gnc=(l2EU}5)lL8T#2kAw5zbh#7MYTBdZDh8Z0T0T#LaY8p6nsWrTDc z7N2Md^Lk`CA^!tQKy-xlPhAzTfq9x4Nk>!N^29|*62&+X_5XzfaLZT<^w~&>D`Zkt`7zpPb zWEG*kizOyT!hH`}P3Z4qNr9xp;1LaBe1I$?qz|$9L`#?-ABwmXPQP`$uFYq5gy=A_l_w8CgYWzhH@pk#I+3HKG5CB?Xe- zFnB~m7{4RS2(OpJs(4YHchr^S*2$#fVzq9F_kSw=|HWATZWFlRuP6Y`8$0-__VnUEEP zGBcKt=m~okWF?`_iX|cj!jX|xgf<(Nm>3Cnc4Rf7&w(Wck~uMWL_-*JA!k!;lNvI28iHL!47DQGN+Co@jVkF#!k=2B* zVo8By5ey#D5XPd&GD2Dmi%+zKxj3?%ke9#`5FKGHiL4-$rLcrVPuLo=l2Dh%5)lL8 zEQ72fv}Lix#7MZyA*%^}c`PZAtboBI8p2o+Sw=`Y7N2Mdb0uUsA+L-jAUeWY1zABT zt6~X>p0HO#Ruby!SR!H|oHdYDgl1rgiIH&EL{<~}T3AvbSsQ~#G=#AZvW$?{#o`k! zVXlWPC*<|91Vl$zCbEK1Hoy`RJz;N%tR&QputdZ_I2$9Y2yGKAF)D5e;GNj4UIhU9k8>OPCI_oRD|L5)d6>?S`x%l-;p} zL{HdzAS(%VPb?8J5YAr6Dni>EOH7P}>msWOeIG0-knD@WBO1ck4_QV?`(yEmmM{-M zmJ{-USOTIWtb>phgyLZdiJq_zMphE)Ay^_}Ae=*yRfKjJmY5g`_i$u2p&x-I1(G8% zctk@OKC+CEj>6&-EnyywEGOh+umnU$SjQqO2<12|A<+}|@yJR-JpoHZ41^OPs|f8x zEHN<>?n%gMLO&Tx3M8js@Q8*mPDPdx(rH+Hq9x4Jk>!LOVhMX}#~Vj!HekX3|sHkOze3HKaiHK9jXQXn}OgGV%kaUQaakj}^A6D?t0fGj8E z3$X-5M_3mjD+uLcEFsYoc8shf)Jw2L#6UO`$SOj+6iZBugnJpXn$RaSx(4TUN_$RWAkZ!=@6D?uhh%6`Mo3I2#M_4(sf>3V85)wUO--4_p z)LXGc#6UQ=A*%@Ob}TV567C(yYC^vgO9~_f29Ib6<1SEC|CtAY12U$+Y_hJc% zj<5sQgj!;Wh=Fh(L{<^nLs(*BB;1FQ)r9^CmJ~=H#o!SQVLXN` zBc#W%_(V&X6|$U=pTH6j9br9*tRR%9u!KZU*iR!X3H4uCB4Qw%eoycMph6?gC!(-!hQu=NvN-4 ziHL!4UPD$9+JCUb#7MaRMOG8~>sV4Cc>{w-G=$M2%LwUBEI!c^=3B^eLVg=dKy-xl z4zhw!-o+9UJz>9xtR&R;u|&i`I32Qz&_2Kt6C>e%h^!{`kFcab@-YUFXb9sIWEmlS zip3{d!u$+bPRKo$fanP8b7Tdfe1Rn-dcyt^SxKm0VTp)=aK1)X5!yFcVqzrRZ;{o6 zK43|K$TC9u0gF$xg!v<~oRELQ5)d6>{fw+2lwYufL{HcwvXW4L#S#$% z;rxcIBDCMJ#KcIre;}&~{ZA|@ko<+gBO1c^AF>RXBuy(m=J#>8;+||y0px@{C6<8b z2x}^21))rhB_w*no(5S-sMBJJh=FjXLsk(Qeg!7S#7MZ);~Uh3J_D8%NM^*~5e;F? zge)VZnX&jpOPI4D%L#c_ECJCGmW-?*l-aO^L{HeWBP$7Y4lEHd5YC*)DngqJOH7P} zJ2$eL(C5LD0*QjbBO1b(7gmJ{*zRfM)EmY5g`cQIr&p)Zal1(GE&ctk@OOCrk%X(=o|(GsSHEGOipu>?d% zSj!+Q2xVC;A<+}|a>ztB41}`+vWn1F#1a!D;p)h0LSG3>3M4CI@Q8*mRza2# z(yCZ|q9x4LkmZEDI+lRw2x|>w1)&&NLZT<^HIbEsx)zp*7zk%=WEG*UgC!Y5!S}Y3PRZgOGxyDy(zMiP&dO8 z5d+~^$SOkH97{}$gu4Z@n$Wkzk^;$A7(AjOjIEJngtQG7pJ)klTVy#Q+gJjkBdqO^ z6@;=qmXPQPdk17Cq3(z!A_l_Q30XyGJ7bB7k#KiGRuj5|B?XdQF?d8n7`q|M2x)gL zKG7299>{V+-V;kebcD4RvVu_d#u5@eVY|pmLfr>TL=1$pFS3fz_QMhrBjN6ktS0mW zu%tk8AO??U2;(4R86kOCe4-`HgOTNgdU3R#>U3R#>U3R#>U3R#>PvB!N$hM#>U270~;INRk6`s6?b*L zAKd5MzxO=)zJ8zgbv>9fXXe3w=1dsQ7l!l2`%L$L{@;(wJaIPv|GeCoLfjc{X-e_# z<8E=AQ;8ey z@gCytaocl>ro^qzCEg?418!$-(Nws#dBl5+d&KQ3qN#D~^NROW+!OPOXAgIS+n8T8 z8E$C-@$TbpahnT@CdVx=B;Etu9d2u3(G<89RlJ9|d))RSqA78!i;DLM_ki13Of(g4 zZE^7);~sIlONge%tuHCwQ*lo$C7wOp4Q@jdO@>=qTD<$XTioU{qRDZ~%Zm2^cZb_r zPBaB>WqI));_h+VD~P7Vt*$8EBisXSM;A?nTU$xI$GAt_?#iO6aqFvy_f*^ytBPk2 zcZ1tlO*9#9X?5}L<8E=AYltStEgRxJz}?}t))Y;FTUkrIhq!y(_S&K;ajWZy_XziZ z+gVpM6>e=k@gCzIal7k_rpB$C;yo4j#0KKo!`UTiQsx`?y=&=EkDQam$;C z_W*Z?+uBq#1#V?C@gCytaod(?O5Ez^;yuDW;C8kUO@&+AQoP5wN8IjKqN#D~TZ{Kp z+!Nb~XAgIS+t^k#8E(lI?>_Dpx4E5Ya@_Lv;yu9K;kI@VO@Uk4QM`w^d))R;qA78! zJB#-S_ki2kMKl#|%@OZ0?h&`Ut7vN6`flPq75BvM;@QL9;5POUO@>?AQ@s1QTioVe zqRDZ~dyDq~cZb_@MN{Bb_7U$P?jEVD!q!ad-2_7_csTRT9!$GAt_?t!AI zaq9<(_f*^yo_O|fH@J<1MU&x{4iWD@?iROssAzKB@?qjVz}?}t4i`;Dk;8so+?;-9Uw|$CeO5EzH;yuDW;C4_Dpw|S0ea@_K{;yu9K;kM2bO@Uj9 z#CwRl$8Dc4ni98qfq0K_54fERMN{F{E)wrC?h&_pv1n@C`X%B$75BuY;@QL9;5K5> zWVofv#Ji8X#cfWACdVybF5Uy&9d7Fi(G<9qN#Z@k-Q%_s(UiE=$>Kf2J>Ygy(Nws# zE5&<^d&KQtC7K$yezkZ{#XWJ2c=m8NxQ%N?li`-G6YoCm7Poo5XmZ?gCf)v7Q(xRocwdx*QoZ9gfR61V!4c#m)oxSgj(Q{mPs@gCzIal6lmrpB#5E8bIa zPdq1{J=_g$<9X3!xTP1wyN|oYZN4a)9JlgmcA43 zKJFH``Mqdz-0~0NJ;2@Jwtf^%fm<2Gdx*QoZT}>i61V!Zc#m)oxSfBAroyfLTfE1( zN8Ii&qN#D~zl!%%+!McvXAgIS+ZaWY;g)_E?>_DpxA`B@3CnN@O*mPlY7~lBqFxL_-+U zAj=48S}Z=%66SQsazd7{1Vl$z(<3VgWd9~T>x24=nG;=fn*^J9?=lS!pJg0QnC0%OPGrw%L#c=ECJCG z)?&yCLRlP3Nc4og1hSG)m&6hg1K})%tRgfGOH7P}yEL+z(3ioI0?D!%Jfb0t<&b5B zv^*A{XbE!#WH}+Ph$SF8!qSlygt8Krkmw0}Wn?9xu7V{Z2EthtSw(28VTp;6a92lG z6Z#rhQXs+KC7SFJ4PmT_ug?f+Ei69K66V^-azb7QOF(plwJx%PP}ai|5 z+7XLSw1l}6vYe22#u5-6VeNvfAQT5nNc4ogE3%SMcf%491L5qBtRl2Mu*AejxO*b2 z34JdtDUj@q!6O>NaFJz%v=0`aXbE#)WH}-4hb167!rC8MK_~}c35lMt4@6cH>Ooi{ zVjvt3Sw(0EV~L58a1TLN6Z)Z8QXn}DgGV%kaX7M!kdDCO6D?sLi7Y2%A4@=Vgmo0M zf>4ge5)wUOAA_tU)MK$k#6UR5A*%@Ocq}n767C7eYC;dNq(E{a29Ib6<0NDmA)SoH zCtAWh1zAqWr(y|+j<8NcRuIbRSVE#F>=0Q=sAph_h=FjN5>eW~xVj!GrkX3|sEtZ%V3HLf=HKAXRB?XcUgGV%kaRai9kZ#1{6D?uh zge)iIo3R8$M_9KYD+uLQEFsYo_HD>YLd~&6#6UQ=BdZAQ4lFS-67HSIYC^vYO9~`+ zWAKQEFz!K?5z@U_e4-`H0$EPT_hAW$j<5vRg!&Mch!_axVPqAd zJ%S}BM#3$T)r9^imJ~=H!{8AOVLXm3Bcvy=_(V&XPa?|+`6(;`(Gk|u$O=NKu!KZU z*v}v<3H4bl5itoycK~@mTt5`y!C+yddm4x~_mWUV#r$JT`+8bD6VkF!*k=2C$7M2u9-p1e& z4Pm^4EF+|MvG_zwnC~IW3Ax1*5FKH?kE|e+53qzpPuL$KD+%=@ED0K%2!xIq9^Pg zSxKm0V~L1?aK1rS5!$y{VqzrR?~v7m{ymlyNPfWJ5e;Gdh%6(d0gF$xg!vP)oRELU z5)d6>{R>$^DF4P157qi5)wUOFMzBh)CI9b#6UO;A*%>&VJtB*60VA@CiF$Hq(HJL z29Ib6V=-hIAuW!@CtAW>0$EPTOJWI#jOojSwScpVhM?!us1?h66(fSB4Qw%O^{WDwkejF7zuYXWHq5%SW+O_9D_$R zgs}y(jF7g(;u9@lZiOr-oy!M^+HZ9#}%6C+t0u zm4vz%mWUV#XK!Q`p}AOMVkF#skky2~FP0QY_QT*24Poq$EF+`?u=qqvmbED3E7 zWMnm=pMoU?l2b8wL_-*-Ar!L|p~P51q9^Rjkd=fwfh8ga!nqt-MQB%GiHVVLCn2i|J;9O!$z%*3(GW(8EF+{V zvG_zwm{%do3HfR)0nriGHOLA=xfV-E^n`sKvXW4*#}W|(;bh1vLc0M=OpJtkBeI&% zZ^DuS$;}u%q9Kf1kY$8)D;A$<3G+5&IU(m*0-__V+mRK7atD@>=n4ByWF?{Ag(V^e z!nqq+MQHb6iHVVL??qMp5fvp*)WzBznSr0a;0?FJg&^fpA_zRuNi_B_>9~eHmFz=zqhK z0?FSoctk@OuOQ0^=~XN~(Guos$Z|q{9ZNuTgw-G`2;~hdA<+}|o5)H+eG5xO421JG zvWn2&!4eZA;l7KkCiM5Pq(IVQ@Q8*m-ba=Z(g#?4q9x1^k>!N^5te}H2C|q9d%|kQIb7VhM?!uzyEZ66$}jM8rTi|3y|2 z+8&4#QXl-aR_L{HdrAS(%VPAm~I5YAl4DngqZOH7P}I}fs&&=o8x zkj#t0BO1b(4_QV?^JDRemM|AUmJ{-VSOTIWtc8#jgt9P}kmw0pMOG5(B3L3~Ae=>! zRfM(}mY5g`cX4Djp)Y|Y1(GE(ctk@OOCie$NyFk3EnzN=EGOh;umnU$Sj!?S2xU1e zA<+}|^2ka;T>(o(41}{HvWn1jEHN<>?n=mNLSGq63M8vw@Q8*mRz;Q((rQ?Iq9x4L zk>!NE29|*62n&DsO)dy!O?-op=m~o*WF?`ljU^%m!dVAdMQH0{iHVVL*F#nl`ubQ> zAi@7}GT9>Fi$dcxieSxKlCmWUV# zXLDo~p>2UBCPu>D5?M{?TVY9oWNQo_(GbQq$TC9O7K=}`glQwo33)p#0nriG_Q(oC z*#S#P^n|@5vXW4D!V(b!;p~j8BD7tw#KcIr4zilicg2zd$!-`tq9Kgkk!6Im2Ns`b z33E?mIU(K@tAqKM)p`3&z zBznR=8CglFr(lVQfpAVmRuS51SYl!%+|!ZOgdSo^f#eJf9?=lSnaDCiItzNxD;7NNHG?lXbJN&WH}*EUK?S4YG`ouEpXLEn!}VEGOjau>?d%SQ)Z{P;S5y5ko3KR0KsYxes|f8DEHN<>?ybmbLca}53M4rOk7x+vc4QeL-GRj?TEe^&Sx(4z zVF`$iuNcn(=cNY7*OiIy;5K$a8oi&z4pBdnK@6@*e_35lMtUq)6E z>ff+L#6UQIM^+KqD_CM;B-~e#)r9^UmJ~={$KVkSVKm4xLV5#>Pqc*jCbFE6-@+0Q z9bvtVtRR$ku!KZU*zY1M3H3cJ5it->i>xBF_p!vpNVp#$s|o!>EGdwDgux>k!uS|j zMo6Dv@rjl&KSh=ka)%`#I>P!4SwSeDV+o0#u>XOqB-DRmiHL!4zCczH+Lu^jVkF$J zkky3VV@ZMJYYZOI5XLviGD7+mi%+zK`5m&HkiW+g5FKItfUF>tAF+f)PuK&pl2Cub z5)lL8{EVz3w0~iViIH&sjjSg0U$CS=@+$_9Xb9ssWEmliSbU--%-@mag!~^Y0nriG ze~}f0@&}fX=n4BzWF?{g4@*Q0g!31&3Yer#Ek5XvagXAj>`npHggzyf6iBAR;1LaB zOpPofq-n7DL`#^{BFhPRIxGRv5tf9kAe8B`ghWr+GaxGobw(@^F%Zs7$SOjc8B0uz zggXnen$Ty(k^%|-?d%SaTsO2xV?8A<+}| zJjhByRj@?FKsfUvs|amAEHN<>?)=DVLSFz&3M30+@Q8*m7DAR0(!yALq9sffSx(4{ zU8s8uVl4US> zL_-+MBFhMAIV?WW66W&Aazb7KOF(plwIZ^DP;@LI(G&Jc$Vx(88B0VAgtH2=iqKZY z5)&igu7<28^wqJXK(Yn~k7x+PK$a2Gnpk|ICCs&u<%GO8mVoF8YaL_-p{$D~BznSL z4_Qg5>tl(CfpAP@6`^f_B_>9~-4Iz#=o?{4fn;M09?=lSCde{E+7ydVw1l}CvYe1D zECJCG*5=3xLfHaKNc4ogC9;xGx55$;1L16qtRl2+u*AejxZ5JD3Ejq$0?Bq5Jfb0t z?U7}Kv;!8OXbE#iWH}-4ge4$4!rB>GK`6Um35lMt9b_e;?usQM2Ey45Sw(2OV~L58 zaQ8q~6Z)Q5QXtt2gGV%ku{W}ekX$T2(Guo9$Z|s77fV2NgtZ^Cf>8Fy5)wUOAAqbR z)B~|Z#6UO)A*%?@!x9rC;U0{vCiFwFq(E{g29Ib6<1l0yAsvpzCtAWh0$EPTM`8(x zj<9@W1)&^;B_w*nJ{nm`sK;Q5h=Fj9MOG2oaadwvB;4bX)r5WmmJ~<=3?9)C#)-%> zLOKbHPqc)2GP0bIPr(up9buh{tRR%ru!KZU*ry{a2{ptL5d-0zfvh65GqJ?PNVsPq zs|o#VEGdwjgTW&j!Z;UMMo8yj@rjl&BV;)tpN}OVI>NdDSwSclVhM?!urESZ66(cR zB4Qw%OOREBb}5#a7zsBDw* zCtAY15m`>iH(?2gj<9Y|2qQgnAp6h!_YbM^+Kq?O0-BB-}fY)r5X0 zmJ~?t!r&1NVcd-@Bcyw<_(V&X_ae&)xxf+-9bw&vtRR&8v4liV*bg8p3H3oN5itMo5oi@rjl&pFoxq@{?Esq9d%QkQIdT zG?tL)3A;j866!NpB4Qw%XOUHe_8gX&7zy`zWHq6`fF%Wz7cqE5Ll`e1%Lu8);u9@l zzKkp<o!Sj;tV*SFnUcPuQ;_D+%>AED3E76J#}^e~Kjqk`9AMG=%XPvW$>E$Kn$$Vg3VIPRRen5)d6>eSxeXlrOP_ zL{HdXAu9>B#}W|(;e3s(BD8O?#KcIr-y*9C{W~lvkbIB9BO1c^0a->!KVtETmM{lo zIU)aqB_KM&`Wab4DF4C|5=?^SE(GupL$Z|sdAC`dV2NVv-(s|kI1EGdwzfWadg!dMYmMo2mqpJ)klC1g1vuZ$%iI>K57SwSeP zVhM?!uvbG?66)$$B4Qw%HIP+=W?+elk#N^URulSKSW+Na8-qtQgs~2?jF8sF;u9@l zu7@lqozfMph8YHdsQUC+uyJm4s?ziHL!4wnJ7C z+V)stVkF!hkky2~BbF3McEaEh4PoqzEF+{{u=qqvm=3a>kaxur5FKIdhO8iz-LZs3 zPuP1PD+zT^ED3E7aAY;1AAuzWk|QyA zL_-)pvW$?9!r~JxVIGYvC*)(W1Vl$z$092T9~Jr7w;=n<9_NY2OL5e;EnfGi`V3$ge_OPCiS%L(~n zECJCG)+NXaLb()6Nc4mqBP$8@GAt1>5Y7a$iqI~{5)&igUV*G8^hsD!AW1NIL_-*p zk!6IGV)2QVFt0?G6Y^D90-__VtC1Ciat)S{=n4B;WF?_qhb1Bg!nqz3E7 z24pp%--smzlAADiL_-)iBg+Ws7A!u|66USQazefhOF(pll_M(%<#sF~(G&I^$Vx)J z6H7!4gmV|NiqP)H5)&ig-h-?r^n0mg(Xp*)NwBznSr1X)R_C69~eH>X$=ucotf#gXH9?=lSQ^+zx zdK!yQw1in9%L(}zECJCG*0ab8LU|5LNc4pLJhGBdU%(O(1L3@gtRl3Ru*AejxHYnx z&|k)q0?FSnctk@Oe@B)P(kobeq9x2%k>!N^8kT_Q2P3Z4pNrB`&3?9)CMvE*Xr1!D-L`#?-Aj=8)Lo5N&5!Oe@ z3PSl9OGxyD{Ry&?P(Q^I5d-0L$SOkn3`~E2kg!&zph!_axdt?=%{eUGVM#B9OSxx8z zmJ~>S!r&1NVf>6NBcy*}@rjl&|BWmsBznT023bj{(_)E;fpDfnRuLM01}4YENVwDE8`Ok81C|s>X2jqT4PnfL zEF+|uvG_zwn6n_u33*m50nrhbjI1D(*|3B}PuQ~~D+zTDED6Y>IB0-__V1(6kmvJjS#=m~paWF?`h zSR!H|oJEjTgtjP_m>3CnF=RENFODSzk|i*BL_-)$BFhMADJ(wG5~hYMC*-BE1Vl$z z%OEQVWmzmC(G&J^$Vx(89!o?FgtG#&iqKZX5)&ig>d0zBUkOVJBr9X^h=wp$L6#BH zs#tuYCCt^3<%GOCmVoF8YYk)tp%_>~q9^P%k(GqH7M6$@2xo0%6``$zB_>9~T^CtR z=<8ugfnFOH7P}y9KhE(6_{r0?AewJfb0tt&wGfv<()YXbE#$WH}+*SOTIWtnH8$ zgt9%Bkmw0}2V^Co?uaEK2Ey41Sw(0&V~L58aCbpg6S{*X1(IDcctk@OyCKU6X?H9> z(Gun!$Z|s76H7pJgtZs4f>8Fx5)wUOyU0pH-3LoV41}{UvWn35!x9rC;qH&DCiDZa zq(E{Y29Ib6;~-=iA$eGQq9x3Ok>!MZ2$q282n z55lWAew4<|cdVIsD?I<;d!N|K;FIt=%R4#T&SSlRcft#c9~7}&!e`-4nV(c}r;3d) Rycb@6^FtdqYRc2P;ssj0PG$fA delta 779 zcmYkwD{R7G6oAo;!6;*oZouf+t9wC#4a!sv31$hBIV6SziA0iMkR2E#vJzPduCj`t z79&@9uM@w4;?zCD?FcrH@lJRV#$@a&oIykP4U?}hz0e)x`?d8`-kMtE-Vy&|?t_#nJ2^WzWP V`ou;BZ-u=o-?y<-Q=WV&{sXS0M~eUe diff --git a/src/kzg_proof.rs b/src/kzg_proof.rs index 75171f1..2494bb2 100644 --- a/src/kzg_proof.rs +++ b/src/kzg_proof.rs @@ -41,7 +41,6 @@ pub fn safe_scalar_affine_from_bytes(bytes: &Bytes32) -> Result Result { let mut bytes = [0_u8; CHALLENGE_INPUT_SIZE]; diff --git a/src/lib.rs b/src/lib.rs index 372280b..f58fea3 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -10,14 +10,14 @@ pub mod consts; pub mod dtypes; pub mod enums; pub mod kzg_proof; -pub mod trusted_setup; pub mod pairings; +pub mod trusted_setup; pub use consts::*; pub use dtypes::*; pub use kzg_proof::KzgProof; -pub use trusted_setup::*; pub use pairings::pairings_verify; +pub use trusted_setup::*; pub use enums::KzgError; @@ -515,140 +515,139 @@ mod test_files { ), ]; - // pub const VERIFY_BLOB_KZG_PROOF_BATCH_TESTS: [(&str, &str); 27] = [ - pub const VERIFY_BLOB_KZG_PROOF_BATCH_TESTS: [(&str, &str); 1] = [ - // ( - // "verify_blob_kzg_proof_case_correct_proof_0951cfd9ab47a8d3", - // include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_0951cfd9ab47a8d3/data.yaml"), - // ), - // ( - // "verify_blob_kzg_proof_case_correct_proof_19b3f3f8c98ea31e", - // include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_19b3f3f8c98ea31e/data.yaml"), - // ), - // ( - // "verify_blob_kzg_proof_case_correct_proof_84d8089232bc23a8", - // include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_84d8089232bc23a8/data.yaml"), - // ), - // ( - // "verify_blob_kzg_proof_case_correct_proof_a87a4e636e0f58fb", - // include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_a87a4e636e0f58fb/data.yaml"), - // ), - // ( - // "verify_blob_kzg_proof_case_correct_proof_c40b9b515df8721b", - // include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_c40b9b515df8721b/data.yaml"), - // ), + pub const VERIFY_BLOB_KZG_PROOF_BATCH_TESTS: [(&str, &str); 27] = [ + ( + "verify_blob_kzg_proof_case_correct_proof_0951cfd9ab47a8d3", + include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_0951cfd9ab47a8d3/data.yaml"), + ), + ( + "verify_blob_kzg_proof_case_correct_proof_19b3f3f8c98ea31e", + include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_19b3f3f8c98ea31e/data.yaml"), + ), + ( + "verify_blob_kzg_proof_case_correct_proof_84d8089232bc23a8", + include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_84d8089232bc23a8/data.yaml"), + ), + ( + "verify_blob_kzg_proof_case_correct_proof_a87a4e636e0f58fb", + include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_a87a4e636e0f58fb/data.yaml"), + ), + ( + "verify_blob_kzg_proof_case_correct_proof_c40b9b515df8721b", + include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_c40b9b515df8721b/data.yaml"), + ), ( "verify_blob_kzg_proof_case_correct_proof_cdb3e6d49eb12307", include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_cdb3e6d49eb12307/data.yaml"), ), - // ( - // "verify_blob_kzg_proof_case_correct_proof_fb324bc819407148", - // include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_fb324bc819407148/data.yaml"), - // ), - // ( - // "verify_blob_kzg_proof_case_incorrect_proof_0951cfd9ab47a8d3", - // include_str!( - // "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_0951cfd9ab47a8d3/data.yaml" - // ), - // ), - // ( - // "verify_blob_kzg_proof_case_incorrect_proof_19b3f3f8c98ea31e", - // include_str!( - // "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_19b3f3f8c98ea31e/data.yaml" - // ), - // ), - // ( - // "verify_blob_kzg_proof_case_incorrect_proof_84d8089232bc23a8", - // include_str!( - // "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_84d8089232bc23a8/data.yaml" - // ), - // ), - // ( - // "verify_blob_kzg_proof_case_incorrect_proof_a87a4e636e0f58fb", - // include_str!( - // "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_a87a4e636e0f58fb/data.yaml" - // ), - // ), - // ( - // "verify_blob_kzg_proof_case_incorrect_proof_c40b9b515df8721b", - // include_str!( - // "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_c40b9b515df8721b/data.yaml" - // ), - // ), - // ( - // "verify_blob_kzg_proof_case_incorrect_proof_cdb3e6d49eb12307", - // include_str!( - // "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_cdb3e6d49eb12307/data.yaml" - // ), - // ), - // ( - // "verify_blob_kzg_proof_case_incorrect_proof_fb324bc819407148", - // include_str!( - // "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_fb324bc819407148/data.yaml" - // ), - // ), - // ( - // "verify_blob_kzg_proof_case_incorrect_proof_point_at_infinity", - // include_str!( - // "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_point_at_infinity/data.yaml" - // ), - // ), - // ( - // "verify_blob_kzg_proof_case_invalid_blob_59d64ff6b4648fad", - // include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_blob_59d64ff6b4648fad/data.yaml"), - // ), - // ( - // "verify_blob_kzg_proof_case_invalid_blob_635fb2de5b0dc429", - // include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_blob_635fb2de5b0dc429/data.yaml"), - // ), - // ( - // "verify_blob_kzg_proof_case_invalid_blob_a3b9ff28507767f8", - // include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_blob_a3b9ff28507767f8/data.yaml"), - // ), - // ( - // "verify_blob_kzg_proof_case_invalid_blob_d3afbd98123a3434", - // include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_blob_d3afbd98123a3434/data.yaml"), - // ), - // ( - // "verify_blob_kzg_proof_case_invalid_commitment_1a68c47b68148e78", - // include_str!( - // "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_commitment_1a68c47b68148e78/data.yaml" - // ), - // ), - // ( - // "verify_blob_kzg_proof_case_invalid_commitment_24b932fb4dec5b2d", - // include_str!( - // "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_commitment_24b932fb4dec5b2d/data.yaml" - // ), - // ), - // ( - // "verify_blob_kzg_proof_case_invalid_commitment_3a6eb616efae0627", - // include_str!( - // "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_commitment_3a6eb616efae0627/data.yaml" - // ), - // ), - // ( - // "verify_blob_kzg_proof_case_invalid_commitment_d070689c3e15444c", - // include_str!( - // "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_commitment_d070689c3e15444c/data.yaml" - // ), - // ), - // ( - // "verify_blob_kzg_proof_case_invalid_proof_1a68c47b68148e78", - // include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_proof_1a68c47b68148e78/data.yaml"), - // ), - // ( - // "verify_blob_kzg_proof_case_invalid_proof_24b932fb4dec5b2d", - // include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_proof_24b932fb4dec5b2d/data.yaml"), - // ), - // ( - // "verify_blob_kzg_proof_case_invalid_proof_3a6eb616efae0627", - // include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_proof_3a6eb616efae0627/data.yaml"), - // ), - // ( - // "verify_blob_kzg_proof_case_invalid_proof_d070689c3e15444c", - // include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_proof_d070689c3e15444c/data.yaml"), - // ), + ( + "verify_blob_kzg_proof_case_correct_proof_fb324bc819407148", + include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_fb324bc819407148/data.yaml"), + ), + ( + "verify_blob_kzg_proof_case_incorrect_proof_0951cfd9ab47a8d3", + include_str!( + "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_0951cfd9ab47a8d3/data.yaml" + ), + ), + ( + "verify_blob_kzg_proof_case_incorrect_proof_19b3f3f8c98ea31e", + include_str!( + "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_19b3f3f8c98ea31e/data.yaml" + ), + ), + ( + "verify_blob_kzg_proof_case_incorrect_proof_84d8089232bc23a8", + include_str!( + "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_84d8089232bc23a8/data.yaml" + ), + ), + ( + "verify_blob_kzg_proof_case_incorrect_proof_a87a4e636e0f58fb", + include_str!( + "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_a87a4e636e0f58fb/data.yaml" + ), + ), + ( + "verify_blob_kzg_proof_case_incorrect_proof_c40b9b515df8721b", + include_str!( + "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_c40b9b515df8721b/data.yaml" + ), + ), + ( + "verify_blob_kzg_proof_case_incorrect_proof_cdb3e6d49eb12307", + include_str!( + "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_cdb3e6d49eb12307/data.yaml" + ), + ), + ( + "verify_blob_kzg_proof_case_incorrect_proof_fb324bc819407148", + include_str!( + "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_fb324bc819407148/data.yaml" + ), + ), + ( + "verify_blob_kzg_proof_case_incorrect_proof_point_at_infinity", + include_str!( + "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_point_at_infinity/data.yaml" + ), + ), + ( + "verify_blob_kzg_proof_case_invalid_blob_59d64ff6b4648fad", + include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_blob_59d64ff6b4648fad/data.yaml"), + ), + ( + "verify_blob_kzg_proof_case_invalid_blob_635fb2de5b0dc429", + include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_blob_635fb2de5b0dc429/data.yaml"), + ), + ( + "verify_blob_kzg_proof_case_invalid_blob_a3b9ff28507767f8", + include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_blob_a3b9ff28507767f8/data.yaml"), + ), + ( + "verify_blob_kzg_proof_case_invalid_blob_d3afbd98123a3434", + include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_blob_d3afbd98123a3434/data.yaml"), + ), + ( + "verify_blob_kzg_proof_case_invalid_commitment_1a68c47b68148e78", + include_str!( + "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_commitment_1a68c47b68148e78/data.yaml" + ), + ), + ( + "verify_blob_kzg_proof_case_invalid_commitment_24b932fb4dec5b2d", + include_str!( + "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_commitment_24b932fb4dec5b2d/data.yaml" + ), + ), + ( + "verify_blob_kzg_proof_case_invalid_commitment_3a6eb616efae0627", + include_str!( + "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_commitment_3a6eb616efae0627/data.yaml" + ), + ), + ( + "verify_blob_kzg_proof_case_invalid_commitment_d070689c3e15444c", + include_str!( + "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_commitment_d070689c3e15444c/data.yaml" + ), + ), + ( + "verify_blob_kzg_proof_case_invalid_proof_1a68c47b68148e78", + include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_proof_1a68c47b68148e78/data.yaml"), + ), + ( + "verify_blob_kzg_proof_case_invalid_proof_24b932fb4dec5b2d", + include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_proof_24b932fb4dec5b2d/data.yaml"), + ), + ( + "verify_blob_kzg_proof_case_invalid_proof_3a6eb616efae0627", + include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_proof_3a6eb616efae0627/data.yaml"), + ), + ( + "verify_blob_kzg_proof_case_invalid_proof_d070689c3e15444c", + include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_proof_d070689c3e15444c/data.yaml"), + ), ]; pub const VERIFY_BLOB_KZG_PROOF_TESTS: [(&str, &str); 29] = [ @@ -769,4 +768,4 @@ mod test_files { include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_proof_d070689c3e15444c/data.yaml"), ), ]; -} \ No newline at end of file +}