From 0357bc0a29d057f4824039e901d3e783e21d98bf Mon Sep 17 00:00:00 2001 From: Chris Tian Date: Thu, 30 May 2024 19:34:18 -0700 Subject: [PATCH] fix: plonk feature --- .../program/elf/riscv32im-succinct-zkvm-elf | Bin 127496 -> 127568 bytes prover/Cargo.toml | 2 -- recursion/gnark-ffi/Cargo.toml | 2 -- sdk/Cargo.toml | 2 +- 4 files changed, 1 insertion(+), 5 deletions(-) diff --git a/examples/fibonacci/program/elf/riscv32im-succinct-zkvm-elf b/examples/fibonacci/program/elf/riscv32im-succinct-zkvm-elf index 6665fa85dcb0c309b5507d1a358273096496dbb5..e67522c9f4a5b50a19553a7f9618fe5e13c0bb07 100755 GIT binary patch delta 18377 zcmbt+3tUvy_W$0)oDmRla74ft2L=@tVIItbd|`@O*L-E=Ba>lfP!k0e6CX90fR@xn zH?^%xrTNIZ-mZrIu$$d5r6(5lxY;jDy;_mty;#<@t~$T(K68#tuUr57KcCN;GvBq= zUVH7e)?Ry`J?Q!~om$Rxs*!2Q#+0>v&e#bNx1QiK5<>APjisbCGli6HJm}K7yYBry zGLkm2h$!>erso>IkqN76+AW@@b<#d2*p{%3khvt{+0b)z11pQ_JGSzOIc+at(i&<`#Zy;9lpZT9 z-*kP8o((Hd)tICr_zS?Xu)DTmrJ;W?eQLSh!XUC%kb&GgN?V%?0T>A)1jP8G3 z-aCqhPKJXfLoPIGwiC8iK1fWI(z)eC?Nw?KGNI;&7O`E?eY=g`712*32~5~N`f$X~ zCd%5Qda%DoSI^8l5Yk+Az+{j~F(F+|hOxw)c2FC`OCkQNe>E8_6#OnGLys_i)5{%} zDg4f%u}iP8*E^>=9fwr)hoK(Lb33W7X)+nMP|bLC%(sPj{a#~oOi%he8yaJdihn~@ zP(L^3J&KSHjWu`snUI#m_S7MI)v-51=EGPstz!R<9Zf6Q$gZ>5{;qv9BXUFIkNBPH zhiNX676!+AV&JAqiLgq8>b8h4S!>t6QMbG&L`!Z%lncQbsI;&V*9$ijNVF3+oH~e z1e)5J+hk1jMp$ZjzaOnTv=%JcQddtR@P&ii*r zuIUO(Pab4zx+);6s-y~eU8PPmHyJ45Tf{)in}iCHqb?z5sO-!tlApqGGUSQfDkDOT z^I}4c^Ws>wY^P`I8|7JJ<9jfvk(krB>db@o>O!t>`hr>JPU@0?Y*hMVmCF)X^;|Sz zjdOe9^Z4AM1J9Y_ZQlq^DTh{GqqJ+yF_` znM2}fTG#X{lk)W@gS8W%tkjc4;RB_GB)wqH*s528fgY}Dl%)MyFG7wkDDnj{C?#xdKlD=hP0*bF{6!YI+@9qArQX=I!THi@Q;GGVb} zsGFg|k_wlY)>7r$;)#MeimhLfnkuQQR@L>PRm-Xi%>>e;0dsF{Q~X)hykY?TA9itt zIcjvMsWgVkD<{!BR2eUUXop zl5S*Dl-B8}j)+#?wCSFNfulm9q@kiFNfXhZ>XF99*MtqyRF->B0=vt_dS|cZ;~(q zJToDsrIl4?!TK`q&@Tx)NT=w?ie>j<+F|M`Qw`JaT3Oz6-(b3n9ly_& zbgn@n%bq7F7s@hVmZY=HvOAHDxj!rCEVgL>4%sPf6BEKbXpQEV$5CpPahPRH zATgHk!oB-`SJKlzKVoSYyA1B1e~~+3!_9OL+p-}GcD8JA(Y-9P+D@OVA6D(vVf(V> z!Cr{nfd~IdQLJ{?aN5eoY#bc-)51}{u@`uC8-EA6){TSH+t%*PYZKcnldA`*ulk(W z=l+d&b)EF)Elq9aCqHO2r!^6C{}0#+xd)rF$w~jp)^BprBdl>#LfrmqNr|CiN*-aY zn+8L1cV?z7%*|YgObL6LzRN7N1Cl;af@l#Ht1(syq7yT-f7LlwQoDh+vCFkX>ED?9 zp#Z)&F73{m9~u|+VJLy}KCbWma25?)1WH6sl9ksAx{u$6jt}sxpU9LbGEG=0^qXfv zCV#V1^fxcZV${C*4?mH=^_tG@kBCL$;v+xNSw7*K&S8&+FL@!W#&&3U^pEIe@*jTM zi{+Y(zE1Qqt?sA2^uN|iUENQ6kvlXzCVJWP*amt6pPB5=$8S)-{r%dvnNO&+`gfn0 zp`%|Qemydq&ipWdd96xSQ5GPQB|@ZZqeO5G*c+BS$>Y8h0l~(jO$p4p%73!NZL4TI ztKBvL`^E#?mg9T&cJcl8?Mv~!MfrY7`Cha`&}(;$ri2~a@tm$Qy1sg6S1PS!mAJP& zwTiB&@4f3#G%aE$pEE}mnG8ncih-T@OCQ!AsjttdA3(vIw$F^uvVC*tLUwH5h#pPv zC@&!q${WW+ihY%iF7+ADzZKDEC6l(Gz;q_usH~LlUMn7*Dq~sq7tFLvz54}h_E)l) z7gy1)Z2gOCX&lRcHI-!^xSMukyASjNe*M54Dzo&LZlfkv{?aUJX2)NeOXKUu{B<;? zz1jMg|3K4NTH_=rC~X`~`?39vZ{f4zAg5om-mf&^^Zi#Q;WO=!9rWpkHeerd=Flp9 z<{vJmHr8_3)hC@vB|}W2fD*;lxNEi=ng+16CVQ7T;$6vw;%zci&0)T#Npud|*OZmy z!NQ|+HKANfQoUHOU83|zQUSZ%TX2rt>rYD zO>Y*lS=~G|9?_FU^q{@5lhDqjrUk6Ic@p@&j}+sx`bZW&4;)!8G?Omg+GyR{e)rRe zem90`ZYpAv-xiu*e|tc<&fJKQ&gYAm{+$n@=lDD5c~c9c3s`N-P^3mn%PKURaC88e zrANJS3q?BNeOh(k*oCb1=sq*b0zTKsK8~EP0$Y1$=bIK}gRe zI+B_~u{BaOMD!a&*Y>Nx%e`SW^S%F1$WHrUDE+Fw=7UKQIjbAu5rHacjq+;Kt}LK$ zhds$_q7Uw!8&O+WG-OCa`8W*?6)dT)AeEz)h?DV(SSjk6y5+H$zvNpu4S|8%Q zT3f&Uqmgukw{*T|QP!AZ@3MvdMWsu#mKQHsu(ZVE^=BMEH zK264Ou6*kFk3$$J&H5)sz!smdtKXhJF;4yV&539K`vAP(E&}k;$*+61Uyw;8thV&tze!ruBbg1WikK~6>RI7kx1QBX9nvm->}%vY_z0) z)Ms25Xo31Nm{yI=>0`Ke<9-qM5!|2RK8t%j_+R6B6?Y`|yz#h`acAIm&)|L@cQfu|xX<8j1^?S`U(S_czL$y2PMtKd#xsdbK5L9~ zgW`k(y5kl}QO-u4?M2tK*=Og_?d+wqjFz)0=f+`!`N%m&C$J%H-l#_|%ftoQ)$EZr z`;bmrhrzNd z@%i9;so_ju zF|n@0eF-w+5>IhjsXecgF_hjaw2{A1LL(pG$6tNdHzzlcv-1j zTqqY5FI(gTDwOjH(b~5{u7@VitpDoHzP!*`m#AakUKkrUO_xH_!JLd+Jg3#)^woxl zs7Ne=ijnNpH@%|U5Pn$*7?|N(+wkeC#kWBy0pvw^iWo=Ba*@BVR5*fYGMiP|8dYWy zTlVdOq&A>#kh+Se@asHP>MHy0+rd$}ok9lR%7*;QOiS66f0^P-K@$-vz-`8znMue# zw&Gv6#hnAEA1Hz=GVWacsee5sO>L&ZpzxNsgnKh^ADbEs>IDIppylFz{YSKEpzQ~( zH=g1W&w02Tr}7ax+Jm)UiKK4!-IZjid|EJwH-RYZSu9s0b?wvGbyrhq37dU&K)mnP zj^1Uo#-c{1vq!F)^WFz11{84#8}h+v4wFshfHmMv zU^F-YlV)Hr8H?`?_}tIt<5SP>3nnL}6$FDKoM>qrvxX9(aWb;;c6Kn>3$}lP&pP&9 zu$Q6D8w`$*;F+Ci&pxk1!Z)eq-48$rtsqosj%60~re-JrFC7H;1JfMa2DqGaW(ZIwP$ zKMFl%qT!+-KSyaFX?(Gk09@A5$oT!hqOrJya5IGW^Wi$0Of7u2j-vkY72>g*Kcu5( zUELBfm>#?Zjp^{kecPH)#@;XhTBnJszKKhRg9_xvp_!s0ftyYtx+O`v1=GKnS+sl7)XQ+{aH2>ruQK=yzxdPigE{DDq1VPHAfnybao#)DO&H31gl zw}V#3k3hVq5MK`x(M?x8E7;Xwx8KjNcA`C!$~FXpTLgbhYz>8Rf`0&fcqWo2+*DB= z4AzCQMUQP@M?TPDh47eIDlb8HeaJ`hWX(rli8eC$`Fvv}Ccr$tBa#lFoB5GQnuP}{ zdNS?K`$W+J126MnP>735JX?iY&}2ctCE|P;G(BG!g_%5z-xoy(OXD922Iq-cYr^`V z=Pgml+Zz5s6ix0^_GmCTU9^NVwFxW~Z^7K!$K#@@N%#Jvyni&!?9upmFevnkOU8W( zB8MO6cSh6H_-Q!p54X$GMZ{w(nkNa?YS9LnA%d&;AME}7NHk4IO5FOx`K|aL?C$&u z*zvyY9f>MB-49j;AK00i>3DuqXPOXbd8(tV2@@i*F%YyL)P2xe!{kIK7L`_l6-$g> zTT#Y?p8Ir1z6+hVgO&|icwUu&miBazpYBZKlDdPL3qdH7wL#WFU>NTbgFzO7t$JBW zaM6D=*t_{~!M+T(FJwlEXe~^?4EA`wFa{~Gg+CU96p;B#F?2v5c~3A{8|un9UStuz z%eZU060(`oF4QcM=Yql4m3Z@ET~NGt@jQ?RM(zs+EutkZF{&7Rq=Ba7C$O+e1}%ec z?1H(vT0BgBCWF!psd?aPF%&K4f!>>c)CJ{XUIRiP?7$_I)PXgRcZo&8ef=*D{bT7M z8dr2qCP)}UiH@wpGlP4&(&V^YkRh#*@e2cTZev$!3RpnWfw&x`x+s~HsQ6{zV{IKx z&I0cOMzK&-#KVfcz?cFG&ILXYCcgl{035?_G13KbhcO(eQ2MUIn)W(BYQ!jyfoxLApMl)QX&fSYnWu<{%tzr7 zXGb?;*C{--8*9&azF2Ul^Nr%MgzpuPRs5)s-3VETD6&ssu|VLvf!sUHoBdIvBe}I3 zLO4>DEC*>aL`3*RFV6s%aZfi|9M{}6L>5lJ3Es5xQ&5=VI3Ic&5z=3PJRVpJSGQU5NhnT1kml1UlT zNZ>bt_rUff@P#dBfn)xujt%&++X;DtPw7tQ#PtSQlmjt@gENqo{9t#Q6|jJ;j0EJJ zF>sL98n^{`A8@+b?0ewjVf?f%$c(V|6M+-eR}az63gGlGyd79Ml~DCbGw@O*YYJiR zrG~rX>1ez+qLJ`~P*QpaT#y{HT@3ki;MKq)Cj|D+A;hh90v$Vn4~O9|fxBPma7ji! zA<7ws&=2|RL>{P@aJk1w8b&72qtYnt#6nmht}}jFc?!F>qx%KW3XdpOz5~1*Sew`1 z1DEqDeJ}%d@x^^;R!R&GH$;1(?MNR~0sKV{qKI1}nSC)Pey|Vyb6hTzXz{23xq`3h zOS9r?(ORr!qV@lRyqh2FODE9-JT94LjcNv03`1~dB@<%Afr^H!fTsat>L~oZz%ds) z@Nr=5iJ*oy^SyWk#JGibg|-7S)=l786@LM&o%0BOw-h8ddJm06M}`Ay2S0*85BNCv zR<%6?mSK%e#eW699e9X}zf8fIk#-&=6m(C80tjTO0^@wh$s(EL(opyp17BPylOh%W z0XV<712^$M$yj?!`B9nnihE`*Ax~?L*GVMEugLWD^%K77h~#JJa0~pS`Oj#^TnY2n zP~ekc{6b*)8=jgkawg8JGIL+Xi~mV4g1KzAQ_y)N93Yo|%_AduU){9G7Ov^%8 zR9t}zfLq(tl?(Vu;6%tPvlIC5!0j480D^f1)|@Z_AFvy^ld5nBaBdj?bKuFqipS7? zz)FlTj6V;!P3r*sr-4hu_-BFV0UMzI7Gd$=RXEWIQ@DFIRsy(G$pP@s1CI~jz!?pM zOW(K$uY2GtIRSn&W>L6{XY-f(V@+)4c*UB7g6|nX7kH-LiD8E+8M_2k5jYeFY(s&| zfwR?4_CaY2uokz@Ykr6q{|JA|hosZ`QMy$}*|-fjH;n%_ za5+yINaqC3T_Ie;@=qVi`#PB%M>EmQFxZ{Hz5^HWD}$&xP=UoK zSxcuj=m zUf}dFETkq>%i@8Hl0SjJ9^J$#NJowVZwH>P;y)G<;=4~)j%$UxzF&wfK?OS0!m18IP?K={02t4bW-)=n$H$8}@Jh)e!nj;3ed~FeMw3LiG)( zX~STuxJ1kLRX7XMOb5PzgsAzwOlrUv^8R}exd$*o;b(z21MhpVV{XNi6C&5ZQkB0C z2{8}t(?jjMk@O0f1_Ms23TN>lS=fS9^C?+$X#7+}y>?@Vy5|;(-Q3nJOzu`rE!Z&b z=P4GkVZ7224hII45r*@Dr}4!WIw_$2ZX=@dKOk$r?+APfSou8%mIxfvbtCp`vhJ6iJjTQ26)my;BE_Y;H>;mjLioys}7QmNi5UDm`z~y1S z{{Z+Huud-6owgK+7Rk6 zR_)*x;LYf8q>4H41jr|=_4O&Q4FzOZlzgaae z0y8567+InWX9Mu=KXmBpU5bM8INml@{tZ=RG%0LIx&@Md5VjUOnCy_!Gep{({tebFl}prFYz@l%(&xxtBbzq9A1Nh8I;NE zs=j-G(}9)#p}+4&LLz}fHAzSQ3LG8eo7{9_1R*I6r`_~CjcX+-*DStuDAJRkx{eml z)_(gGrUcP&`;LyZKF#pXfo6$n$Hfo9Z*3jBp1r{DfiJ22S05%selcX2$irCvr=c{f z-z)_7a+sROfwiAkg?~;7%;_+ioT~k@Dy$LLVQ33olyn`2Jr?EH52Kk=(y7`jWlWMqoh(HmG<6u=X3Rke?5n2(x;r{Mr$O&lyff#fh!e1JROV}_oSA=KrNEDq!{E!=|lAi@x4#Oam z^jBr^z(vWiT!aC9&Fz9(6UL7iMaV?(m8`{QCh&wXJOj84SPN^#D7?^22BDLpUPt~6 zfw~53E=~yO``j}M@ssf*ad>~ecV*EnE=nxdV;l1$esdUq7Wlp}eig9x`?zq!9^iCz z-%Zhm;|^f$r*XlTMq|;@ej^tI%V-Q34WiTrvw*c<#09?!So>vM;Jv`wZ{h+U2fh^s zby3^@9<$Ni6e^oycJ-^pAsY1S1Rvp>TN}VK00LDBPeb7CFnkX9oiIEE)Awi?9)x*# z@@U5v;1u%V-7vnn4hF&iJ@g9$%79-6Uo+q@J`fIp5TP1y8TeqBz=+2Pc{L1|10M*J ze+9TXjIV#3khg%f0R@0txMwu&l~=L}Z;b67HSjs$EpV3B^+n(sEt+u7*BI;eFnkcI zO8LRjIPBdIvX;~f#)w*QVKkl8Wgp1O$nZIn-!z7fPHhB9s~Tx}gcu_`(rps39Lb*> zLq`O(zf}-XjCcZT=Z9FEFbLtaslc(FQ536`9@Pw!o@`@_IBabu`=g|uhfqjQU+tzOI->S)2Vz3L*OELYqs$uL3R&Yu^f-u?~6vK18uQ}O60H82-(UP--v<}K86#w{csE;;gaw% zJONztEV@Jvh%Vm--n}ohw-gCKalUYk>D4-7V^v4glw8r2rwaDBD+NU_wWx z$Yl4(kiyKFa7s_)zZAj?fLoe6I>@*k+uA2XyF}5UAGiWohC+c)0GB5TBs##6F>opV zcsqpkWXkMNg%m$w3Hb+R2S9)mWk?9ZD-aMR4OO6L!HMU5HZ;L;X5ej?zupS~t zqCp&D)a1tq)t#$IotQ$b^&7EOR29Ae+*&J>F*MYE{35LVOJr<6LikZm;0zz&nVj2-@kW_*q{<4gfJcJJcuU{^c)vAKGfytAh8Y&FFVKHJ{C6fs% zf5&ndxI!kSx={Q5tKf1>9Ls34#d*NDmFcLTprF}47Wy&_85(s_( z9pqR4Fs4nw;V~V6mxu6}eu|fc@h^6GqyoF&EgvAM)Dgd2^TSdyXX6h`iIbt=A&Gm# zfIKlm2X;I~FUVw{I^yXZN9(U)1ggSD;MH$-)TXpYkR!``or{zt3Laa(kUtUNV&q;zuXZlSYf%mgDldEH0PVVz=5n z{NQBjHaZGj1vb!f3OohbR==BXxs49y*;D8lqbtW{Da>(soCW>@zt!SW8g$L^IMIpQ z<<0i^>~23Vo=W{)t#%0e3Y^(azr|`*Rr~xNzt>jab2xLHmTYe}_iUj<_~fb7!0))3 z&M+3*tQMcond9)goqm@shrf0+ooOue6nNY&o6nbRE$~_jyxcmCPVJh59$bzbOOCz3 z>vlRCHcg{JT~~+2@3VQmUR$<3+hMl}+t+0I9SeO6%5qkg+U6G&6}!pO66+lCm(H1f zU$)(4v$zYh(Q$#*HpDx3S*C@bnnGcGq1~PhuUPFC8%*-%k<1C6Ma7FUq1>_Z*HDxb^hj_X3n4^ zO^%!bht+E-bUCu^1s1O}4+w6R*SuzTxcmiPPl4U<^A@-ZZSF#^$8K}v_?<`rhufN&t&Q$iC9j3~ zr;>pmDRup3rS9J>ne!hc{XZO&)$$)?e_8fsduAgn~{DsyXjT?I9)7TM4uftK8jcMp}*ia~}_J*9tX$IxnKc>0- z#8!Hi_ru?oHXMC|zC$s4r~C^3SJ3v9k@pWl^TV0SyR zy*V~MVjImjx~w(}LLmy7&F=HM__N#Sy@6k=Rhd?IW>FC;p%tYr$L_Mat=ZWq{x+x8 z;v~PR++|vGeo;l>x9YH2e^JM8Rbl-Z6_MIdl#*_=SWwJ8ZjUbql|4Hro8P^Ijvef= zxkXt(#&{i8tF18amrddS*g@x+e#TXN{!Y4pciBRt8e*QJX_SAullJ37w$f;B*+u&g z`{@+_(G0h!omyLhht-GHaO4c)Uq7fSfzsKYE<+$B8pUdOm4?IKf3KZCp z!PyR1q1)?oz=5cvrAsn3WmZSF)#TvME&(iq; z>(6l1>GW$w%cV`H|6YYVp!wkcLx)Yx$p1z~YN-BVISdt-pV7hPtu&$G)j!j9xqNav z9j5DT<`1^hzS8b4Dfn4tZ#(`vQTe}f_($Taczdqn^a8#fQ@#$ofS+aS_!K-OcUQcA p^A!9!Ag{SVjrbGvt%95}348kx`6S4R)xc-AVAHK$*ljD<{{i-fIUoQ4 delta 18232 zcmbt+34ByV@_+XvFP9-qm~e!{ykt1SmCQ`$T&^GlSQojB%B3Wk$p8`{ToMGCAS7H- zfd(5D1vDVKs9<2h6*a8H#T6Aiab*`=0fUPQ{#Zp9o&UGqyqAn3KmGjvPv5-xR#jJ5 zS5;T{>xmvc9lzpq{2G;KugzTAsWy)>x?>qGGh-YNX9{P|oJ{6id(dOLoU;4-galq7 zViK)m3ZCEhAC-yfhMn}ZEU&5)NgCel1+mMBZSzSSUI+n`4y^nleUj< zcrl_p?tmpuWiuITX^9)ctep=Uqj)L8AM&y#&c?xSVTo%K#V>fJ**J}VU1aoC2gTv* zvfO+BqN_gy^=O_SuREu~61RmL_UrcE7U6AsO{mH3xl8m(wkB>ktShLSocu0FB>SXT zTm3>L%TwB$5VV?<8zJ*yij~KS|E3J$iWt!H_KqHkd)(f4Xo!|7g^8*-!$;@Erk3zg ze?6qXk35%-5sfXcPkjF!YH5jAL`!pa>RD0!pRm7;!aS}_W>J){#V~U&KPxKCLsQQ! z?OJs%@9b;LpAu)bC{^dgQFB{3vr5*NbXj9J zTo6b7s#)tzQI3)yEY%I4h)bz=nUv2&S*xM^E3v25E9h;m<%z^bUEm9$re(EK-Y1B> z{!k+?Z#Yp`n3ks`zR~s=LwXFnRjf(RK>xea+a@+z6f?8-s%;cU(?4{bvp%adT6Zdq z{#J1&4|S?27j)g<2xXTkGBMarngEtqa$ME9x)behh)rtvHX>K>y~xh!;VAeoK~b&z zsF9Z|VQOxP<4kU$fmSw<3d&Ot$;BxNVp+zM7)~#BL@OndYt;=2k;VlrM2(uq&(_te z6Na>IC6sz*&E9IV_SkKTxW3_2VVgX%g$3!zwSKGSSwzibG!gZaJK*!gZl)ctoTVu6gpob=nin7P(h2(@%^@3P*=R)35T)y+&?q@amW!ujB z+sDO4#@%2=@iAGu!aKdV9>RhYacSDWF``ptZSi@zY-BoG=0jUPq7e?G(zW+rudtYc zG>m%sANVP;bNU=esxwI5J7eL`tBY-(ekH4<%#W>K4pSw@?$XW0|YT4GcebQZm4Pvc$0#@Uk~b9r_y?<%tA zOaf)a91p(N&&ji5td&t?t$fZOtC+0n2ECv)bhBoOf2tjYW3DUonOGUmEU~y(#W9f- z$1I5oDnvWv+m5sTza+$pWxxt!Qq>}O)Za=;iA2zKjc6m|^Rc%b%nYxd%KE4g>{K@b4QODKF5TPU*oepe{Xw~o6 zEpFSrUnG<~Qq&aXM)aq9q<&VDaGWwi zuLT_i>OpH(t;pTkDTFOSthObfGE}Y9&~m4jpts1XeNA+%Lz+M9k7(8sU8#D2Mx`Yk z63d!{(P{L8Rn{KBy&@Q~USm-X8p-}cQ~NlDuNTXz`XHn0tGe-x80d|{QT+qTxo!Dv zrtW90ri++zScR13XZ`EqQ^ZP4J4`)os$u#ymE~P4d-7UwVx=ejvwaGyq*TqDx0j(@ zXv=_AQO*k6&URw(s$Ab$Y|Z`~u~XSh6T;eKiQ$)rQEIhuSXE3Q8cTHH-nq(?zU`Ms ztkjAt;QsNN+~KQl<~zlf)w!_q=xPstMkLha@n`G$*7!|)x7c!j2gL5c{aj}ka!pe^bukau; z<>D3omawhwmVQhNqKzt6eTo)DH)dwn>d!>^`qjKqTv^|TzazXGLik=kCrupLFf{Sq zNCFjnSl98vTpqOulv7T!yPFDnK;DLq56IlBWXd&}1}qe@8z(@fXros2H_pdmbYbHo zSIOVnq_g%RS|lz#bd}D^;Y~XGJ{-N|MXVaqtl{B5qL)#RT-}SUNhWp^^-{R$>R!4w z^|EQx)xD_A8Xl!yc0Ib9e~ix@apz;d*T4O%>D&0tI<4-V&Erh`Q^c=LPQ$662C(3? zR#mhGh~-j#RapL5kJBbSkv30%bx^eId_gL{+v1byWDvs~z-=-k)A`+v$&uq}_t8yjQ z_1gPJOsBhqvIPa^IwsB9O8HJx@rbWV5@|13d19US1?=|k63H(v81)uu zKKxdU-AA`Pi&ryM}cnE0beuq-luh zGMF#zvJ5ZvaTOx)-dB(vTn`$BV&9OUo5H;j5u#< zjP}A^nsR4%YtQ%(UKQmZb!tmKtWrV|UiGpF@3l2`wI2=OEoT?cEuJy0 zxNK_ijH$VIO&3@GuEsNV;&YX`MCQjH+t(?1@{%f;T0GfZWP;)9Q~c!l`x zW2>n#QCxq*ZK_BTx1JcmcZh8#1|YA`oR}HAsU>y-o4@QOmi?pcRlS)1nI#@Q8Q+c7 ze4(-dNZTyj{c-2sGN*L*oZO#VW&US&HmrhhKL};~nsAm__0Oc1jP?3bWdk9cgF8_? z^Uq0GS6ZCR;QK}IldfwSh2i)73Ra1yPUb0*Z=akTs(e;K>MO?P&0=X>xlmBVI z>!QjM(BpnQQ}BEZPZOSpFN&`Jx;5!M;0VCe7ew{HRwbTBJGwTB^iTVkPJJzI{nU+` zao?u{S`_{dRDyLFEx1_wX*+T8(++%-XmMKb!D8!aPh$Bcm34!}VDZW60eqLpJk!&3 z;gT3}#=&iMOU_7BXbsxtql@9#E8dQ~4EI9Z_u+mF_tUsXfnSH`%eW8YejoQq+~;v$ z#+`_5UkBXXaSy=#2izN>_f|Y7;l301Jlr+7H{!0vy#xF|eWPZvLjXr{pTzw&?jLX` ze5u{q)AJc&myM}|`?2A&(h&0@*9o_v&e=3ED4+w12hD@VRV8SYkz7=Ie>MBMpe$>$xAt&e^_i3h|Fp9`KZ*8Y1aA1glkx8TWQ`gwoi zxGO62K(?>==zL!99YC#tUc!@trIsw1TRKM#7EdiJ4FDVb6X3U?uEp>#5=>XFh+Dt7 zgO3+`zZj$}`$1)ST6kK2nQN;5K@9oQotXWj%2LrjSyX*F2Qm8&tiSzO*W;^ad8mSA zvJT+6U~+pr4V(i^6XAEb_d|v*deWJp@%)|2*n2vUo|ISXW%P;zF8Ok%+bzqFavn!rk5ID--3SeyF zsR79|b?O{-=DfM;%%EB_bKZ;qP*5#m%xJ#@@@))xG3(nj(f#Y|Ovkx!e?25M&6LS7 zf!QeB^h~R}@9WhuiHA{|$jJR7^P3JyJ1M$AjfxoZjiaBcTih1wR$GvB@T3?gscKni za4tE588St>>?mC(N9_G(TKZ0)R*-rbPx7lxmwH+FzU`UF;v)vP5!1i5a;I4Pt);aS zG>S+GZY%Db9LDB~7rwnM^^f3m0fo4faeu7Ky!@mxCfO7Yleg$1_x8fw?&fefmI%0r zmXAB(XS71lE{_R^JK{+fJ*Uu@o8@8?&UkD;CLrg1KV~TPh2iiTIWUo1MEQ>iCfhCI z?jN%-)gS$_TkG0en|oK$7)uP>C_ehpT99^IIGjxSaFGo~;3R`)*xC-XxfE8=c95}y zQ!4rJC47ZxWlU$lHQ?2Vf#GhvMobN7;1yyeJ}-->@Htq#9?nP)l!U_+PP8-+Ucwn^ z9EEJ$w1IQX*A1QUd18Z)cZlm12#1Ho$Qjr1_MHwxV$|etcu}NfKD8wKPJzB>!&+|X zw-a2$E5u2_{%j9u8W|vqOgy3WWngMd7YQGM@MU?A ziD&R~`KSqgKP+FM$9eg_iCax4X47EWNOKHN;G1N64DX;EnG+5ll1ogytsE7@W6^L{ z47d0wi1j#2vds&JPmun>DKI+?*e$}QM)J@7eG5Dx1u?}Aos?g!(Q{{-(z_D z-bd%_hUz0D>4~T*M?g1{lLk@_+98=4%iFdttY~&Fu{MD+6U?+1%o(?zTc06XPYu=o*q5Rc5{DvTe~597}-j8uSiu|m<-)KMt7!zGW$Xm--W z;;IBCc||x}K?;!_G=XW{8$mDo8J$eu1^N+L9M3zL)Rl5^Ja5kz$%g>bYgXxTjPhQ` zB=}ywiT=9RgKhYo#yJeET}BgN>U1J#`(=v+-nKo7uKL|luU{MBP znM6$FMe_AT-cwoeP&hn=CaneQL##9>A&HO5)=500)BcCU;jz>b&WxV0TaXr)JM^80eKxH77r{p9tDq(4zCI9JIhwVQEd~sp*Aa=0gyQ zRAZ2vAh1Z@l#D^{1Y7rVQ{o>1`@Fn|*nOW4hXWBa%BeM(eg*6m@|k3$z$y8UWTZfm z{2`fl>r}KW99|#k$~=s+2;WuQYw+H3Tn=o(txEp$;qYNC-f~e3)b2)E1#yaQO38_axK>H!P~Dzv_vWwx<;8(O# zSq+FL6K8`apoCdeyt72`>%f(;Jso^%-w1rd7z^;j6B&C*u1({UQqO}-<$#7zKMw1d zm`lKhXO03d0?yW(eGgn4#qZn#$r{yu1n{XS{sQ0&QMeXZJ7>`K zDdX@`bRo*zOZ#4G%?I&NCEj1i6J+bmJK%zhi0$NpQ^1RWDJKX|oP;m>`wqF_G2ogg zduU!mDWt#<<- ziNYswE!x3fQ6Jmw`LNn%+7-mx&`I<2Z;Eq-8+?1aftOz5(Q1nac8cB>X|(OVd?WrsFlh zMKhc6pXC=S)?TMf&Ey?YH&144s^NH(f*nJ@O#bN&$^U7N~r&c#KtuvOlDEu(+V6@YwDhAd7Y@BM*KraCA0^jgNhb~BK zU?UPkfaz>2Ro6cYn9jLc>UdKZ7SayA48mU_KnGy0bb+sd=`hSt(5Wla4#qI4wNMWO zrb99#h35d%VVN-z9|NX?Gn7kB{&iqFM8l-k@TIOHrk$u60vX+ycDiN=+z3o3ZAORl zfa%oDFlY-foxm9ezX43AaYpWa1577#bofFZ%S2tGQ#wQ6@DK=eWM^1BADE8rj1fH! zOviWz|4m>z(lhX7U^?Dwt9M}Sj#2__bT9&#j{OY00GN&d4TD3qAmA*p$>O(x=~&Qc z@I5dc5gH-t(gPj>w&)#>0;Z!w!=Q!0bc|@=?Z9-TXn6D(FdZ-I{1CeW0-ZG~y25Tf z8S4_&;Dd6k{tH!BkBUacv*j!lqQxpZ1$n|p=U_X5kkGc7is>D5vG!G{+6IsK?*fkn zj@9K?&cmJxn3B|F3UT%&2o+HRx7~$m4ZKlr@HueW0+p#c9zP$|8Pl6C>acA^1XIN& zd>ino^ZLpKEP;mCPxe-&H-zN+*8 z3vB#uK<(|hOrGq?*QQQHBO`3xY&af}OL`$phYVeCJ6*M_Rqcu1*ll*qOYq5S6qb8| z8>27@4zE$^fs3PZKU4erfcM1e_*!+xW>V8}GgUI=K}1-t?{ADAvu@HgO% zQ3}#mz*S9CKw;B>cdb*|FvyedpIZqGgJN}j?<&L!{TccjR^1GRQ3fQej&zu!cX%W4 zSadi*$2Gvokk8QZ+rWK+JL$Mp4P)cvXb1MzE96!OcEf969(7Oq^kii1Vfaf0Ci8B+ z2b8jFTM}w20!Tg0rDSkjiC=o-Qs@69N=d|p4>AMcrLKv-?jH6XyfJR zJbsezmv$!)g|y$`NF1Dzlac8UVG?1IXy(AYq6eG1KMoxGW3#u~Q>uZ#Q8({0W=bz$ zWQo?k5;JAzBhC6!=fYW!;cZjr_pfGy*xb#{gw>do%c2BcLHLrT%JOxCS|WT`qWGQ% zu!j5~XS?|L)ElQDrJ<`_SH4pI!^J-x*w?TZHzJ(x;`ve?51WKIINCvnkwtPjqQ(zX$>mf2+St$mQ5GP4h#dAsr3Cz)~y z4QsbGr}c4xz@b??z2m?J>`~4~_%yKXzyf?l=fC(MW9o|$$57y7>N=4nbSw!ltk<_E=2b+n48zZZvv@Tq)@FT(=T<4e%B4 zsU_)o5%?1LM!3!bcLX*9klGKEUGjc7e=&a0rDl^sHh#nJGA4uJgABO278^-5Tcy^W)R|a!gCOqxNlZIP6+sV zxpg4ocM9z2{sQl)5T=VW+YQ*p{EUAjia!DT&iIkpXkQI%{60=@*ah5(@wC#k;kX0X z_-UN@${;K{#&6_AunoeZgANn*1`~jdU&M)D4Q%`}PIx!4@tZi|6Tod?Pz$~NGR#JA zL!@ld>}tQBv6awoB0j=5aeW9|LJ+u4cnkvfN8wYz4@BWCOy9LpI0N(W)UoC*zz4{O zby56wn;6T70kP0e222MIfo~Y_TmXcnAjIefTm)VcC6MUD%K)G7o51~&Gg+>V&0CPR=x40%)0=^Z zC1h%QA(DR(I5{zs{Y97GR>1Z>SHLgEgkohRS6ab;Ge%*_eLk{zB)k`R?yJ}=LM!36 zqp{>ZfvTe8yMT{G;rD@S>!1(4kbH+R@YC*y`w5Q%-V>#7?-;yEmDQ>Y84&5 zHRA=q-o41RSUKcIEW1V6en2z7W|r6Mq=+@EtJ76yXPoFhaD4KQ;MB zfjho|eVxw#JMiE)Rs81x5q`U3EEorxv*HgS5Ne->i}VmI1Ev~p81M=()ldV|-|ehG z8uZc?`hlZE^eS+4h^+pfrcotu^ngSE0D;c8=}%;6gsB0z4ly#LgH*)m&!s2>`p%V7 zhX>)(wJO8FH2G(N8`rCBFpuDVGq7gNR@r5p|5xC`IV!8v@$i{gU4hFYIK--{#LNwmW@Zr+jWC z&o(=p#l=2XiOuVCxcqi^iQF}Y_mHWh_$jkJP~!FZ96oo@Q(EG8lt@0Bd(G}Vzt>q> z>hK4h4u{+3l&5avJ>}fd{IuDdXUp?JiQjLxxm`Yw)}W=&>vG#X{!)9;R^kZQzI=rQBINfdYKRAxN19p$o;WhEuHSBlBk#A`k>hY(OEmOz=j1pX z*OI+j)cGrsvi}O-!K7mXAJen6#OHDs`$}APpRXhs@D^OVoqTQr9~!bFE8HdaJeRB3 z@X^ieyC7Z&0wPfgLN zsrNTa`u-Qm(w~mWZu?(ke6q=EnOb6!Db)W?P=WG_N@54CL8LJwb19--5?@ zFD}1%oR5{R$9dYme{JD!^L^Vl^X^>kew-J`5l?W{>1p!@JoY?PN>@pq zyTp@MaBWLu&UQY<@(Z4lPi^PZWdFx`k{q~$cahI-=85|{J;^(BS-yjJ?Q`{v{@H}K zMLKob9bTKqX?NM2cDoH$!N_A@;Lm6qckl8Fb74JjMI>`_;fZ^e%rX@Ur}AKEmuQg_nYUtYKKTZN)zM*3sMlMn4-vz3&>(|P`4TZujB zv+FVc1^4eev6J7)djzmt`kgLc0F{t-0D1$5%?n36>~0@cT#wu7v|$JHET0#dTu$LEQx@az o{^aqC+{`=5b3{Hrg0rFsIs0pFZZ~`+XCH0B?pnXFt=6vp2Vc$t6951J diff --git a/prover/Cargo.toml b/prover/Cargo.toml index fb10228f5d..3bb4890ee5 100644 --- a/prover/Cargo.toml +++ b/prover/Cargo.toml @@ -53,7 +53,5 @@ name = "e2e" path = "scripts/e2e.rs" [features] -default = ["plonk"] - neon = ["sp1-core/neon"] plonk = ["sp1-recursion-gnark-ffi/plonk"] diff --git a/recursion/gnark-ffi/Cargo.toml b/recursion/gnark-ffi/Cargo.toml index a5270d58da..d10ed2fd31 100644 --- a/recursion/gnark-ffi/Cargo.toml +++ b/recursion/gnark-ffi/Cargo.toml @@ -21,6 +21,4 @@ cc = "1.0" cfg-if = "1.0" [features] -default = ["plonk"] - plonk = [] diff --git a/sdk/Cargo.toml b/sdk/Cargo.toml index 24b55d5d1e..95e2d69435 100644 --- a/sdk/Cargo.toml +++ b/sdk/Cargo.toml @@ -16,7 +16,7 @@ reqwest = { version = "0.12.4", features = [ "stream", ] } anyhow = "1.0.83" -sp1-prover = { path = "../prover", default-features = false } +sp1-prover = { path = "../prover" } sp1-core = { path = "../core" } futures = "0.3.30" bincode = "1.3.3"