From 6a74dd7df7193278c8ec068562d60ffdaffc25ce Mon Sep 17 00:00:00 2001 From: Buffrr Date: Fri, 17 Apr 2026 20:27:58 +0200 Subject: [PATCH 1/2] fix: pin libveritas_zk and libveritas_methods, exclude from release-plz --- Cargo.toml | 2 +- methods/Cargo.toml | 6 ++++-- release-plz.toml | 10 ++++++---- zk/Cargo.toml | 19 ++++++++++++------- 4 files changed, 23 insertions(+), 14 deletions(-) diff --git a/Cargo.toml b/Cargo.toml index 465f11b..1011cb1 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -14,7 +14,7 @@ authors = ["Buffrr "] [workspace.dependencies] # Internal crates libveritas = { path = "veritas", version = "0.1.1" } -libveritas_zk = { path = "zk", version = "0.1.1" } +libveritas_zk = { path = "zk", version = "0.1" } # External spaces_protocol = { version = "0.1", features = ["std"] } diff --git a/methods/Cargo.toml b/methods/Cargo.toml index a4520d2..68916d0 100644 --- a/methods/Cargo.toml +++ b/methods/Cargo.toml @@ -1,8 +1,10 @@ [package] name = "libveritas_methods" -version.workspace = true +# Pinned independently of the workspace. Bumping this implies the guest ELF / +# image ID changed (a consensus contract). DO NOT inherit anything from the +# workspace, or release-plz will touch this crate on every workspace release. +version = "0.1.1" edition = "2021" # risc0 build environment is on 2021 -authors.workspace = true publish = false [build-dependencies] diff --git a/release-plz.toml b/release-plz.toml index fbef184..29b53f6 100644 --- a/release-plz.toml +++ b/release-plz.toml @@ -52,12 +52,14 @@ git_release_enable = true git_release_latest = false git_tag_name = "libveritas-v{{ version }}" +# libveritas_zk is a consensus contract — its source feeds the guest ELF +# under methods/guest/. Excluded from release-plz so version bumps are a +# deliberate manual act. Bump zk/Cargo.toml + cargo publish -p libveritas_zk +# when the ZK surface actually changes. [[package]] name = "libveritas_zk" -publish = true -git_release_enable = true -git_release_latest = false -git_tag_name = "libveritas_zk-v{{ version }}" +release = false +publish = false # Non-publishable crates: skip versioning, changelog, and releases [[package]] diff --git a/zk/Cargo.toml b/zk/Cargo.toml index bddaa55..c103fd7 100644 --- a/zk/Cargo.toml +++ b/zk/Cargo.toml @@ -1,12 +1,17 @@ [package] name = "libveritas_zk" -version.workspace = true -edition.workspace = true -rust-version.workspace = true -license.workspace = true -repository.workspace = true -homepage.workspace = true -authors.workspace = true +# Pinned independently of the workspace. The guest under methods/guest/ +# depends on this crate via a path dep, so changes here can shift the +# generated ELF / image ID — a consensus contract. DO NOT inherit +# version.workspace, or release-plz will bump this on every workspace +# release. Bump manually + run cargo publish when the ZK surface +# actually changes. +version = "0.1.1" +edition = "2024" +rust-version = "1.85" +license = "Apache-2.0" +repository = "https://github.com/spacesprotocol/libveritas" +homepage = "https://spacesprotocol.org" description = "ZK guest types and helpers for libveritas." documentation = "https://docs.rs/libveritas_zk" keywords = ["spaces", "zk", "risc0"] From 8e7a928d4b39f13fa4dc4c9ab6d7b6bf3dd2eb1b Mon Sep 17 00:00:00 2001 From: Buffrr Date: Fri, 17 Apr 2026 20:33:21 +0200 Subject: [PATCH 2/2] chore: regenerate guest ELFs and image IDs --- methods/guest/Cargo.lock | 2 +- veritas/elfs/fold.bin | Bin 372804 -> 372816 bytes veritas/elfs/step.bin | Bin 381256 -> 381268 bytes veritas/src/constants.rs | 4 ++-- 4 files changed, 3 insertions(+), 3 deletions(-) diff --git a/methods/guest/Cargo.lock b/methods/guest/Cargo.lock index 505c51b..3b8b972 100644 --- a/methods/guest/Cargo.lock +++ b/methods/guest/Cargo.lock @@ -672,7 +672,7 @@ checksum = "f9fbbcab51052fe104eb5e5d351cf728d30a5be1fe14d9be8a3b097481fb97de" [[package]] name = "libveritas_zk" -version = "0.1.0" +version = "0.1.1" dependencies = [ "borsh", "serde", diff --git a/veritas/elfs/fold.bin b/veritas/elfs/fold.bin index e05239744891d51fbb97f5aa4de41f9bba820aa8..ffbc64c717bcebd05f8cd5f7b1934022bf557da1 100644 GIT binary patch delta 15827 zcmbuG3w#vS^~dkbY#s)X4G9o1f!UA<2!xs4*%t&2keHwm0;P&Pgnb$zLR3&%sk_R< zs3_=&lh#zxVjC3&|3NoeBvB9%se*!{qJW~JP>lsED#-sgGk10-m6B-l(PX~&-gEA` z=bn4+!;f1I^xAo#*UDU`@!q@vOxrV~KTeb9oiiq_mXOcmB`f9Ta~8{Us?U*!rh8bj zL=LBa)t9`yxbRlOmAyo~sU)72dL#Mdo>$uDwe|l__T{ zd4mV&-x*mcb`r8ZZqG^?oh_q*ywpY%O@@@-*RM<$iF0ygzrx{~NGr)oDb0}4JS&xC zC|X(kG?=KIl>%|CtmG$ob-z(*C0h4uV!5_2Esu|p8~eIx`wQhmMw|EudC+-zX+-PjFLI^v9e+fwJ#Rm= zNUq9lVrpeuo>v~35oWUF)fwf?x$@zRkxYhM(50M7m20|;WLUWo-#^K1T?*6MPM`if z9=}1(?MlB}Yvl^#o6MEx8{Z{!pl-(ZOnFN3d%9eg z{Jv6dPJUl5A5MP%M$S3ckgbv{lHZrf3zOfM$c@SGa(Qp^yHrl^Zpe<7eaY_&P;URN-WHqGxfkdsIDzfkuJ*&)aKzec}XvT0D^a+@3<;!lfflYWofI^-&rWXb%{3)t3a za^=vzZ2VlgdT5^BfZQf8A3Bwdr)mvKCTI-^D+|N&+4usjj{Kktk5TJV;@@(GugP0S?$%}VblIJ9mC#3D zm84#-6$LI#}w4Dnu^kF~z_LvIECrl)`3)au#ArtQ?$ zOh!|^e*nXbmN$;r&$#4`{&k(Vt?&q^(6IsQ%DNm_-lDR`J zm{7!$W%A?+V%h=C^x5+A38VDylBm4X_$EO)yJ{>mV{yf#M8zcL_+F)Q2+K2v6ElXe zH?yozu52I1_ESy_W9`ae{7U2$vEe#)2T^W$j_n)Uk3KehP;8_IbC@b@WYT@_-(he{}J5WoyTwWhao@VH*cvQ#1N%- zg8jz?aVJ&G!Vs1rZ>ij$C*cg8Z-(X)Ly%?34`8+9)tp}c;9Gh}v$|`nxSH8QHhs7< zwV8dCk(5)->=0+%!xJA2PzQP!hx(}D+lb$d`b?<{+2svDCTJ;dP&BBj>>(D+s@l-3TaHC&@7wRtN$wJ7hh7`Z8 zx6h?q2i^gBgLi{f{pqxxSC(#JhsWmcBc$L`jE5FyeMm^nSe~qiJ$1vcz1J4i@( zbdU)F)qt1599UJLa>~bq@ZcVlE5JJuEj;C2pAfPZ`czi^&{(s-10N8wemqawXn&cQ zk=0c^IY7DYAZ83RT0=ulI0}0qKbWe&4qR!`_kZ9z3m*d)n>>a{|0JXy1;zkw1pmdt z&EWVXo|K>i&BI?2asV@OCGGG=Wx+OfKQklo+t=9POl;gYgk(=K?Yrq1CTKEGs;Rxt zfESjU_8tRQgN=xDA17pug>M2+vG7me_%zd;$G;`yG|Z*uB)HevUAEYqe-qM*R`aRR zb>CqUuHv;`)Iq!j<}I9i0&xxQO50b1i!HnXTmdeo^`7rBYv8q%9|kW0SLz%iU!Y*o zOrA8-29tgu#D>ix2du{R{otczCcgtNn8lM?+Ws-**ZaW*bfE@M5;7n1hMT?x?*^;u zUDfA3g}4v$hpuy6hA(bJy;LEANN8lx3!ysNs*~QLe{-s2Au`Lsiz^gg4 z&1L!ob~XttQ1e>S88W&&pQKW4WzV!>PN%#>JqSB7l7jwh{} znG6{TUUUQe3PtL?>;@m0hhfuxCU;{@&n>;?H)S)Vpwi6eFMzYb#z0Sjt&S?`i3x;b zRQ>9}7lYR)9hJ?Jttco(!7SR~oL&jfKK3ClcI<0H8gJ)G4h^NxV0!fmGej#HhWNmS zE7pTcz&sSGmiEEF>zA6Yy9B%hY}Ee_Jj){g3D}}PM#gdNJ9r9g?VuO7j6;?V%E8tS zZUkF9H~_A{!;JMFDGb@W96J>qU=?`bojj@11`uP&G8E+8WeRKpx7P7wFCAeUnB0St z5miuxCBH4HfFWV<35)!2tcAVzA+^$+v$hvQsxSb-QP60a-07GL z;WBe|J`Aph3rlFQ*!r|zY~|oK%VvHjcsk^bVEG4lr-ki(88QR?sat7^8Z9p*_8es2 zJXf5W$B;n^ETtoT16=!nxvBT+V`6vbA`{i~ zq?9_s4t4clBQ)YXvK!=vzz)@nm%z0aJ*{`u|v z!jeGZm1As6rg&%w26VZZq|YCUj=+Y4J{Sf?U?ZvLC7w;;9%f>n4@8I0n%kX-7}^HT zrUnGTU9T`#-5T(q7tFPE8hj#w(DA!Nwu#Pl`L8o5yTTJeJO_U?$q(hmx0g zvXVOVCUEmcjGx;71bEwv=J+o!V#q#lm{kJ_~m+zffR z2X>~AHxiK^+&WwAyWtF3`8NDS{a7l%{yjW7OzpiFy!;)WR8YTu1m69wnR5q=45>iB zIkcZSVB21^{yDHqMYg8Y~5e(O@k#U<6J!WV-3#KY-K0Mj*C=?eAd# z)WCm%3*I-mKtj&`z~sxpmHT+IM$;c-$fqc1LxDs)obQH$4|y_+D&#!y5De@?M|d&# zaj>xh?*Lm3?(c2S&;18qhUA=VZ$nP~Jh3W=>&}hN8IA2}zj+TBF$TNGM+jMJShrFJ zw>50Ml*fR>XkSVBI_1;zxOF{>5V6HGOb3y wo{tGHNX6!f9O2-QaLnkpkCSaJm1 zY!Q5{j3NBT#_q$ABj8%FK>G__jLpXqQlEk6L;hUUt4m>UISvk=^CYgfcabp&BD>|} zwG_M@0z;|5Hn2s2bQza;j_2kwfjd=Ce1RKg6xR;yucfC3LYo4z9JF zd5?hSLtc9VfCq+Fq92Qg<|me(&$VFJJS4r?k#YPOhBiwN19fqI$? zzd+!nzheYO3fT>J4^4HD3Tn=X3D_IJHI#4s4RS!hXwN!H0tNd}V64f7laagOmvjiI zk?;aIj`}>xKPL7RbFuWy7q3Ke=;I(=ZTf%~CL(3riWFvG;@eBO{pV#C{}xGpgoA9O z{;o}Y8s)xbm^Tx9s=1hL^uX!3J1lb~@Z_ZVV+DB4PDk>brz9eA4tJ&NpywsD!*I2B8^En#sMYv8 z@Ma5-2s31hrTrhk4PYY~w}3ZU>e&cGUbV=Vfw!6*BXuZ9SOm6%Uo#t!{Z}(&yM^am zgUc5fe$fnk3jB8qe+_;fYz#=8jRj$mpAVkC&p}g4;^k#rk2J@-@J{o02y;5?9(0=X zt%Dq=-pxvUdpGwc7t60^$c~>Jq>awXOmN+gm~F~W*Wk_b7PIqjz%}4}YOL#8hI|V) zyn7?~-(X`f&x4O!>Q92dH|xici{@foSsL61UIR9k!7Jbm;9<1G^m#ZdSn3-SOYh_6 zrNkQM;D#DA<(AgMOBwmeC&{UkYQMl8WVV7bayfTu6T0}JIpg7?Mq z$rRe}2Vm*ee6o{r-t|}}x8;-1^!6;7nOIQIwXmZb5a)Hh^2vNus23&=_Q34hO~YOW z7l8XxMVAH`G7W4TGFB%RJjh+dFnr?K1}>J$T$ynHgG=%TKjwK4?|Sb$NIk4q#T@VBnQNOv+doyF0zUkKLwg}onfU+@HhKBld%4P^ zz=yXw$a*Tj7~Jr(L))Iz`WA2>n1O0MUZ#)(*cNL0=4<;g>SJWWhj?;&h$oY&g15mn ztMuEHs$lMZJQUVp*;Bh81=oD3pIO!V3lHLLc{VNywEoVI@uY>9hXSob8`%LaS&a6q zKEUfg!Mpa~^tb391V@>h4iQqY*r6R=RE1B24V`{;lP*DH2>EeHYkF)wx zQ0o`t)n?5<^vtdD>)_o`sBUd4r~V5DKzXn2d}j7i{L|VX**0zQ;>nj z&Bl$GBdXx}<9PhE2rR-g+j4YRLF--r#w$N!LY-sPfF>}%1qx{l{e)oPx8mr7tfbZ# z{D>HN*o^%X;D#_ycrK!0X?0kkz#Q z=5$}P8{$FQQf$zavR%2CA zfvdY9PUi6-tQOSI1#8!M%5m@_%()G$F0;*GJ5DF+j~%=X9Jkb8-xY_hRXmAd;F^nC z@Teiwn?aOfhe2py7;tkYM$}JVR;qzDJ#dbG#X*)(mp6e2ZFVG=VP!9LaF>HLQ2kx- z22!%#4CLkx29iS?l=NrXt?Ng@)^%;;F$M6DK--T1 zH}=R+&grArSq8o4Ak%665pX5u+*l>!2ekLd)8Lgc1c{Fdq`|a9AL|EPbp)fpYu_|o zdL7uBs-FOFJIHH0mfAj}u>AmLgBK!?z)sD>Z-NJ5nby+&g!35^t6!_%8dU}FqoDLD z{Z(1zWdm_^wrnZYL$TAnhFc(=vh?8$x%o~689K9;={+2Hl5X>t1lt z`1S@p0^aaFPim}*CjRqL6M4OMCasp;K?V=5k3oUOEXjHk6_y=1R+(h zv1^Akq5R?I@^X5Vdqfo55>22Z_@L zN5H!?9fYTRDQ+!?;Zk*3s)^s>jv+zt2?|fo1=H0c<@FTsafDd^s{5?cgN%FcQyd zx_2y`g(+I;AdB#ZpmtyjU`ii`$GYi!H+ac9GZB3PZlkR2|K1>u!t2cjf2?K*zuQc$ z%r!_%?>LgXW6Nypb_;OAP0`nV${e^97m`J^!%5)uFJVBMZor4&5}X<7oRjOZ98P?X z6B0wt*DStt9;N^X4kHtO3C>N+MxDQw2MD$eU`@VP8;nZ1>xjB%Bi3& zy?+M-RX%!=%lWxyQ#Wy?_DI0#6nx%r*zNL*5x-xVx`~@;mn2u%8}NC&PEXVoh=|JH zH*pnqX9PYDxc#0;B;Xc;Q6;N|8-9_?6$*Jp3Ep@4Jz=lYIs=l+4Ci&&pVP0{Te;uII&3I< zI;~Sw=T6`|-QFpX*e?LUx;heQ-(K|ovi45#Kic;@dsrxiFLT#- zJV(ytqUmrtoszm3XHFe2Md#IorE3G%%oV-Wk|;(zerLqxLQ?TW{q3SI)?w^oP+Fep zuy>);EhT5NX@~tws#iN_fK#2Y&NX!zT4O~Wj>~0Q+mW+eonNCaeOhD4;2m4g>2Y;F zR$S`x3C!(W|LW50oMWZVM}bRCKC#ZJb$Kn@Oo#sR)19LeMtigbjV)5!Z8{;KwU?Ba zg0|95tXGW z5$ttZm~_-bk<(dJQ*-0BMLwtGb$LB5NpK53pGS22#m;JQK|`-It59Yxx2?1b(J0P- zPFL6ocle`{a?3ro`=&Z^_!K-I$?J=TB2pw!My`!q8>;=C-fahG-cXU+D>@Yg9Q>V5 zN$?4ROZ2Gr z^m$yNfEbEsg~0&QwHU$a+wTkcBq>q9(w58i7W{#*GZ=OSg8ra0>=Vk=V~bZ(ihtz# zDev8DD<0x@i<008_``mm6bJ^RWpt!Y(dic5+Gu@lztiQ$X&3$-qO{#-3)zE0C?tBk zp@=&mVj7*wBRMHq58Q9_+1>82KNxWOU7|A-bVfo-g<9(ONm&?yQbC36c( zgHjkqyKxhfyirV!viE-5WurRWcSPYVHU?JNN;;uJJd27CSJ`G{dOd>V@w(wp+zEYQ z%w7Bh*INlbU~9JfqhT+i%qNL%7cQ4!<=~U}Uu7;-Y!jI7{%|zx_D0m{iaMP>rJ>$7 zqq`^Q4Y;CWDC!m>f>%(||7e?KmjW&i+~-7Cy0L2AO88cJ zjRpcCy1qKhdQLYTmJ1g!uTPK!0aNH#W7DTcddDiHqMB)1tp5)>y#L({<=|;smeTm3 z?e6YUz#G9;Ef5t1UnuO?VHgKJs5*IUPA2+aZ-w)0A+r5%w#Bgy4=r>czy8cZ1OLnl)SF?4 zCeT5gSwm+O(3m@ef|wo=9hzXw#Tis|R>K*MNYPGzO221pvvDB*wZ}qwBKY+R)a2Y- dO;2Y~p=3U3%S{}A!nR=`z%6$Xh9KEZzy0v zsYF-YSW|?WR;-}dpcfS(3f1_ifPzK@gBBDkf5nOlHOl|DcW1L3TTH0=XtLj#GiT16 zIdkTrdk%Nob+}t)FQ)q5-u;*(PmTE~UH>9uG+S4xi|s#W>)zCb%$|C`jIrq@gnUv_ zal2lcu~dJ*Qzbo|mt_3XlwSLO{vsfS04S#N}oz_ibnZnx2yes#=;@B)yQHCcsx0`XzOKWlbRjj|a{WjLkM$i~ ztY>A7&`0*Yh=$1@^@_f)((g5TvG7&<)!g_cnUTyiUKjgys||a0FzJU=qrItiP`}eQ zOsO3-U=^_RNc$6EkGF4qSEma*nWVOD)tY+&P^kKvD+2ACr=^m?TceAct z@C|N2dqx+B^vo`Lt3K$p+9$2{#H`N`)}m{s-<=nx^}Ap_>5|4^ zs$O)>bnte)rodj=i}XDO*XiGiTbTp3o28u`^S-{o*QD2|U6_OVR<#d{7%f$MGKXsG z)V(a7mIpQqyud~0&5}m*DVy0Z5 zRs1+}m)?Iemh^A+sgp-CL-oqZ6PXM22K>&~h2n`!@1;doCX23QPB!rSCJMw5hqA+x zr9;_L);Knt%{DR$@aq)5n5oJ31?;a@u#*_$j%U~&32|gT$;KjL2uoJt@1*tuc>{l0 zl+;tkAN(-nb^OlD6imPmL*B%1!PWj0cu{u&zs(XBO8hWn5JQaf zlkDFod-qt1OFE%rmLWNNEk)}%i~kBvHDoQm>Md|zfkZPcZUP7Gj#$?4Ze<6sMMI70 zTiHJ{e&hSC>`=LKv@_5O=v}4?M1dLRK%b$UvJ3ny_~5AI^k>=E(gy!~KOyCV;T2eK z8u#EkgcJ=G$f`7p{qGXeqzObYF5kfp^vr*ckZq%AUo1ABKJxhroH@EUP|29z(%Yr+|D3E&mT z<^q;{bc~QeMFJT_8x(&^NHKUT0E=JJfGb|J+yo3tOFvh>kUd&V`SH8>+WfCWLV?Yp#62i zjBLI_Acrac=0nUFX0()sT+idM7wrdA_1A+Zx%52@Ug6>o!G#WwCH?-7kSY||1Bink zaq(l|iYo;YL5K;%J z1=Q&BZ!rls2&rDoLA(qWT%3*cCW5o5{0wlRi#LFaz=gDa$Z54; z2R7Hcsc-1_i2JZWj-ckMSFrNtM!1Uw(9ENPYO(0dY!_PZ2#0&WnS}%2B$dP^d zsojNPd9u>@Qv>_(l`Mi^CKg6MKS4PFO@<(O%+!#TMO=|9QI=TCrh!S+DE z1iKxjbj1Y1F{XZV;J1P|H#;hqCC{N?912RP!1rB~>Opobm-yrhLN@$XAbB*D4#4zT ztDO)HG7Ry9ZCBKQgJ1!QOiMfB-_6S%*Ifi&2Da}i&2nwx6|OS;JOt8 zX`mxK0w(te#7`CEW69SyD`3bp@F`dOepm|)_aU{?oU^VQLy9o~+k?va=}fCEw+)}8FIq4nco4Pf%bN=ya?XoV!j7Mu1A07 zR+?r;%M;1{AF{j8ldkBE1E&E?=}2D!mp$NY>gV-A5MALYzSr1)f_*Y)GK#0Vir-4E z`I3E-Ni6BbkbPAG8Alz#LtPcv4vhr@vK!hBg&n3DPlL-`dcFZ?PjJLnUH1RlTHKj3ixTrkE0#5$H2#;-sa1|8^HD<>K?U_2aZm2#`9Qmc_!DX zUBWjK0k{*_0qVEy7hws$DUjooe*n*#?z9Vz#*zn{E5;0r-+*geybB!NEs%Y*Js-p> zbhV!VR>1wN_MLHMK!+%>9sim!Acy;6%EAErzdt{<9W!hic^+K6*IBv8z!}#$b`80Z zA;+PnC$*~-ycO-?9@v>iUP{I~b5HV#&qgq$@@@Eu`q3}K{`~?uM(te=UiFSZil|@T z0`Gg*$+^8Hh7_USJlfApFyG+R{{<|%>W_mJr#?Y68G+^!xD6bIz(#670Zuk#hU4Iy zz!_jW5VwG{-@^c?fggkWA8qt9#AkA zyT=CzS!x(Fjv>du<&;%$6!McO$Bd&rxhFg4BSH(WcN}zbT=LJoxEr{{wWFX96?Ujr zgKLWIkYGt8c&n@7gX0+@d}QxF3~2-| ztI^XgT0iy@96@eyT(A^e(J zE|6t(vHSsC<~s8>f)}8DS2`eJ68dp@XjXFh1>BA-={Y2ssxO_p#pm!;8F&!wX9D`= zzjF9)W1*L8%sE+z&5QRCWQf#xCOa8ZxE<+Ap~B=J9c2Ck$Sj$SUV3XqWTIZV{ZVLQl5PkazMzIXJzs@3J#*cUX!I$ zk-OoS3^Xt!;R$dB>U&fEBDueiOJw9cbuE%ZcMr+ptpSxLW8=BiX-v=L*OzjQJ#)lg zAjx0oA@$VX(d5xM_XWf3Ozxk>CHOHtXW;H|r>8j%ZUOTvJk4=%5?qb?an$gM*E3|} zJjc$J$u)DinQYGMDBq6qdTL*3GOdi8pU%9JTzD(DIwRC^CRXMP9=uancK$jHhwSw< zr;N-9>gzn@IGq?K&X7`9T#N+|T$oSr#FX;KQgF>4PxCqN?qsZj!(Ax`JugBI!%fL; z0M~(`HpQQTce=PB%8*?y`J2GiU^^Mtg15WszX8AEY9ENoXe1}!M1m2gTDdWgV_W=>8d{gKJCeCc!1f{I{^Y`kxX}!gn|!*OOSEGyPx>C=p5&ODlSlu|J;^Z7 zB-d=yu1|4&6TbKGu6Mvgs$jj@tnUFlbJcrN`=`lQgO9!MNxcx6de*xSbW}q66much!Yzt*Q@>BaU>J#MhLwIsp zE0C#F!Cr9b8tXP?D!8!`4}~kR?5W*<0GIyLIDc8wkg+ zQ*E-YMW({FpSASRM(kvDS2`Z+fE$0F%jM62OL|!+2DAOx6L^%v{j>r46K26ZD5!ed zaq)}bldQEA%=%mLR$23RD|4H?1H2Ck&8^Mke}n7LzJ&7df8ohtqo+9(=YcC-{1o`e zTd5r;ky7x3*uG4I%~a zOPk;Gkae_veg-Z;)TL&J$@WM_TdZts@(187GdolHF_}0#Byl)MPzx8MAa6b1AgI9q zfp@LLs-S#b2i&0M3m~i(C=7#B*Lcbcz~z{89&9eNBsd$V6Z0njrV*|;f0!m+|#kzg~>|WQWz_Z{X zk;)ecIInfiZ=TZ!u(J$$)k9{``bO|1%(=Zv#`bIJkw1bf69^J}&c8#!k&mnct~mk; zrf%HrxHJZKr|Pxf`VWQFj%CXK0Cp#)8wTJ~j64E6Qy$(49)x9DMh)zL0Yeg18?9TT zso+f%jN4?rDx17`Adb$iEoH_q>~yc<7D%V8semE3--RGU2RS&dOd5eH!>SoZJKzg( zB=$I~=tA(p&+%SF4H`cN`Tq@9R4&4q`lO5h0zT#9o)_bO{;732G7Y>Rn%q;Qj%SE) zLP!~8)@M&Zy{r8rVE<9;_1~;7nTY&<9J`UZcbf%IO~h@nLq6F>dFv$Hf%4%p%3Uvq zJXS#|4Z6Kxx68d(v@~c9c*|*ll+yOEf)(N+h`m&QXA&q_&<@Lpx@_)bxV*_3;bY(v z=}0`Z{tGbwJ%W%bxUCope-KiKaB~1ZfSbUTRQ~oUxSXA_{sWI$&s>RyFhHU8iQ7?7 z%phv%h?3xqoQG6UfkyDY91jsFkH)R#7+jhKHWSTpa1;ivqV+HQ0-0?T&I2??uDTji zIuMKorU6?`hQ2~e9{KkgB%aRBfujg~KX@8dSP4E39z^*7c$LQqs={eFZgp|C(i=Sdwa+H$55~h1uJL+|8%VL^D!do;*H>wdCeA+CU9YI>jZ6% zX!v!Q^N#uC4Lagqf;WQgJW&JQ(#|@Fnes=#Wjx;OOplxUf5#gz0@wck1lWBZxO^re zc@;7p?cfCX7!uDqx_6Y8V2Ua|q#SPuW(TLh#Sg<{9W7oG!b8B5P9l02e1dXn{~sF0 zA!M^7@Vi+I5%xK$^=t5vcRbCzW9@A0b_;RBO|#bhY49psNXlu46XqZW{s{xpEd%y~ zgE%wNIVW)}hf}9lJetyR4r-)x=~Fa?TPVNer;YTr zc{r-UY)b3e=ch+)eDDI7m;Gax8tt}obrp0^#*%wd)EhZ-B zm7|!^uvZO9VO5JLk+>96;<6Ny6jcrsNZ#f_w$t^`EoVVCXW<-1AZh0&FH1j? z@AK1PVGMYQySeo_lARUP+H}f_xfEwkze0)6FO4d5LpRQov{|YWk4UkAFDfDA6uItu<&NFPWL=r#omV-*UIb0Q&uOq+q-4 zA2n8=;RYGmuW=*)Gv2Oyjq7ol8t`deuRjp-M%1VzDgJoWtEiE%KcYxt$R93ncC*$* zjk?#kg6^RO^XD#57RRNs`EfCz-sJz)jgfi2TV&bT)R)go_I;gutS+I+p?EkZsUi-; zniLktlT=n|t%m|xE+{R%Wp05a`8B^N`xRBy{C>r!`Bbf~D!c`yd1upMOxF3K#^B%a z#YV#_zH4?=jD_Q}-|GuUVljUxZdBjR_cXYB_%7KYUrdhrMI8G4{y5J4KWds23xq-; zEv|*MKscmn(f<&L%K^Uv<8g2dX-d@Z2*j@q1>(Ml>W_OhDWYK(#*?|RxskHltTDEF zufPz^5eAfi>eXaPR&fat{gM*!K2XVz%nq2JqU4u-KA$Sd5#!8izA!r;ipJydNJxx& zy;?+4tx}&iG{q?Vj_YGwe=nb59KM%VhJ>V;5|9;H3x^}PXer~Z zQTT9m@|mIH_bEOY?)Q3)JxBOUvsG0_n$+Y#EGk7rEnpn(kd|kZ+|LWyatLRCKdw@u z8Vf0!*I=r7f3^}+ByU_*qJgj%S2fLOxSzkgu+`0663=ePi0Alj#_u2CGmYP@;e|Hn zlFqKHaSeZcj^tINDzd#2RaDFd;%dw~j4Jj3pUhFTnC6os7_Q=vAo#|cH;-K7_1pQu z$=L=!fa#=SR9>tI3Fk+ztQc#n`0G0GlLH@&p7uOgm5RL~zGA^Zo2wk16=1kdV4bJP=d_G0O33jVN(VQ#COjj`-xbmoESR-EuRQ&SE$6k1teOIzQr#&t0I#=ifXxWF*(|s{^ea zY1FgnG(!E-x*5Y7`4PsThtkeVzP+Bmn;ZNej}&KZKJR0`-yF>=V|_<_5v1H$SPB1Z z7f5Gyz0s+T3nk8GPMg>3&r^`_7SOHgf1l-_lXJqUBek91|92bYvxY^$Xnd4knrQW4 zLr3v5&NVdJ|EmV;&ep0CbQJ$pMcdA2G~9lyA#o1pGkZ3Etm9l%{Md{Ru4AGxdFi(~Wx}WtFYaG6d@Ab^%{FXbJ{mG}Lw1@8ae;V?Ar~m)} diff --git a/veritas/elfs/step.bin b/veritas/elfs/step.bin index b6f4647818a2990a13dfcca97d36af63f48a0948..b35a8f3b0743e5e8fe876d97724c5f896f4daa65 100644 GIT binary patch delta 13298 zcmb7}3wRVow#TcdXCOc%6A~bpfIUNyKrr@eW_lJ-&}2o;@=#DzTr)F0L(l+G5KzHp z7ev-YVFm4=2wcHku4V<$V7dj%Hn&3>>7@{nB~1_TT*0mX~T{nt!Qx}$*!`S{59 zt2%Y+oKvSxRdu$#*?H%io#z#BwSVZ^ojbpJU^L$~>&~23?)mTJ-!T7=`MLA|oj-d1 zZwk6PZYT3g3;J@iW-KjuerW+0Us~Xp*^^st_9%6{$4xi)mO6HGrRM4~M_;ZmezMFl zdafb-n~>6byu?ii;T#TPf*aZhq#EpSa6~>ph}cdb0^?V~1;Z@)tb>G%YAcW_tbaAQ zpRIrO5p;mF@Qdm{2hIYwOL7O|J4#3&o51AwkzEd+bJYy@l5F$jXO6pF_4j&7uGxRL zBknl|^%c1S8R|%ycl#HFtm-5XC!gewX2(5_Z#ludZm%Q1xU@hZ{Vo_5GUV)S|9unVjz_F6^%sN5H z6dBsvC+*O_A|&ru0-57X@~iPz4mnOcjB%$3SrHXTC9`)0xX&mr=>@ZBcus%|z^Ucv zbDEHmHXaAgwDBsidyGJ;n7$L>sZ|0Q0DW}%D$gK34|&N0N&RvDh~uA5<88FAhtxzS z^))ziypWicj_P+7R@itJxDPm!$$tXYY~1Z@#1@>0HJue)2d-uE{{&A5mnYdE`R5R> zYJsd^0yDvDANGNB6Ic%3flVqf1sS;n0Pgx!9L> z#kYKouo>+xW0%er66R5JCV|gCZ}9=}QZO}#_PeoAI+!j8Lu!Mp?tpmB!2+>u*(Zl1!!f~BRt^@!k-`WH9CPFlI2W99w6Js2 zK#T@2N1&*F>iFB>RgHnmagdW}C`CgB6AsBQCqwPFcVEumt>n~f8+YQ#hss2_x42Ql{B&)$T{Ra6A4fY9s;cPm=GH{J; zf}LRd1iY*11Y^PFuUe_T1UzSx2WT2#oH6`M_(begolJgN7Bh zwViQ2M?~G)oLj-=2;l&hE5-Ru_u4q{Jloz|4IYK@sa!cvxBIWlsK zb?nuHE5W(UfsVy6aGbU4?gwxC*xF401+Mu!?mjG_C&2}f@6G19xernWoU-F_@FI)D zWDOdK)j+-hyD>p(MQ*W5Z$VJm=jmYGk1E5}>@RK~Y-=jXOD z&i99&UAXM9xJ?@fg$D)F!1zP3Ho+Qq8N3Eew+uCN;B8nh8_xhYVEj%t{v&XaZM^Gt ztT(uOa(oAJ2O0*UAr<)FnMZEoPY+Z3VccnNqS$c`7kL`I=diVP|3ulQ_c(YxIG@>7 zO#Q-mcmq3KKff{}YnAcHWF7TG_5M;*6{ z?tXCIL@QsrsmK#s{}?c_^}hpNZ}l7G8#Ek)p?SigT&cha-!@7r`Q%uG5`}i!GxTf=e;JJ^JZR*biQQQ6STk@-n$_7Y=$` z@z?G~Dq%n$HsBesZ2;L2f3iPze5ijJ9J+*eMp6;!0>6)ahYJad(?oC~cr)wg$~jVR zbL2K~-efBvGr%?IPgR!9@v>X_C46YauV9Z&?p3h!2Z8KodOrmp1kYq!Wz=A7N!!JE zF}M`tJ2HO`fGceQ>KQM)o!^)#J#`C51m4s5!uT`da?#--MQk1y=9%NP_%72ols}OD z-mN(DI(i6}DX|l`$9oLpH?}su`;w3|9uLvj@LQmMUKdYe1&d+aBAXfAQL!ot(9bI2 zBBa?0^e6MeMV?2v*L3!fK}_GtVL1BoJfwX6*vN( zx9l7gf9nPQ5l8k5XnzUq+n9aD@s2O@<6CpH;?FJMS7wCjLRg>e9zs~a`b80-dQamG z{A2LNPduc7EzG7$%xlXFZVX4hebGx?O#f}*iZ8IfO#ZI;D{t_ZT}ELH<@F^mfxC$~ zjRwyHLoC5>gXi1$BzS>MUL1`(2RKzpp8&sP>;DVbw2i+Ae$`@w^o8Ni+XhSnFSG>6 z%a5X1*|=L3UPfTVC1GF%`1dw`6Z|`H%AtC2jct6-u~?9^9#&D}FE8giwD!D!=|oT&nDw)L+Be{A*NM!rTvolU^^I8J_WY8y-e&jjDZCR_(zW9xq? zK4KL=-en9Khi6HRHBOs=@^*ul2+ZMG;13pg6R!ZeeYSzyz5z$jPr2z7!DJsH7s z2YfwK^dq=T#$A8oSMuC~_+K{Tj?IPQ(XISx7Z)-| z)ZxndaQs3Yy?Rgn7a`kf1+ofiJ7763gWo@uT$pTZnh3t)xnEC~L)!l-cu*YW9xFw8 z&jCVe7kCoqHRbYygk&ILM5gcMLxc?2?;!%pOhO)1skOQVM3Pg^^jHYn+nVT z*YETs&Lzrg!QW3yeqo|q{{`NmJq0qdZBl+sJwD*v>`k1@wEs)+8VRp3Wy20oAT%$=Ce!0H|)q!NW{6C3a&IOD_QJWoi?lLC&-WWR=QR0p3C$QouqSNc&YDuAE|`U=5`w;^Lc zxBzDy?7?>m7kLW23XC5E16<@;Gzd0TQPVg}rDnG+v#U@z%13s?qPJUda27Ct2tF?B? z{XfFfUDky2z{5`<2UrCE0j_HBkfqFk$6Mp}_qiu=nWXwwfU8e?NDcBY;o)I4WSsRR zzN1ost{Es_^ON5eD31Z><|WGt(4^A9t}&6B<~BKo zl-2!*HQ}2%DCA0VLaJ|mE(-H*51Gj#z7Jfz%kVUAqX~I<8zDrC*o1NyTsSv2Rx0u> zc+n<-tY_P*{CXUL=wHR;pDw@=2ZJ*i7j}ib>?P%F!V2)(&#l6?5u9Oc#EpqX;2at% z4tWwghg#gP8*Uibr*%x>3~&{4ppYs25L{T0ym3(ZWuB&M?!p;mU-Qx6g13@S2rB;u z*x1(7T2ogKgcKHzViOJqS7FVo7_SD~Bb0q3>i^c{-IpqS6kK&a`SG6eQgG#AE5bX$ zB1-*4rZ2N6>VM`*T!xuPgL-nL=9DM#MU5(W4xHE~tbYS|C>}v0nSyRbO+9`VoVQL$ z9Nu*N7vOs2R5gx^4Jh;3NtNhUEp|A(MqA{vUAz(Q~?mZXC5CGaBj zr%Lmk55a>Tp2T-(I^k6CM98PM?KyDnjme8W?Jpd~ky7w%rte$unIbrZ2q(_}#~y}~ z-j>Ddz?(}viOW4z&;b74>m_x};~RgCQVSND!U%Y0e)5h?<(Glyb-`nRg}kl;5q{lr zU~H)IY%vlc%M9c5*kV*dHo;18Mv<2+Wrs^K?z#obJY*`qZqNzh;F{Hl*mX%Bpu?cQ zAqkm5uY$Gzw)g~ixsA&oLlPdPm6x6WYtXRtxTo<(^90^TOYv56a0P08YR!9$MHM7c(A zMGr_?SdWU5PYfrzvyborcfc2m$daP?B{dWX#6sru&-r2QurA9{T~Z~HB8_-lJJ2>F-i8(YUNW)U}JiFv$&FZE5I*}xH(Pky>3ztsV z3?1eN+#&{o0aej-T@PttF&46KpL7~Z{N{nfeBWGuOj5LvqQo>`EUHM!0!@1i#3vjH zX+Av^^DBxLye91;ODik0(i(&`Ph=wd-yCv~&*&1GG&x#btyBe{P@h(woIGZNPki*L zNfX0ivrRpJqdOo*qq?Zc;ZR7_b({yc*7N-hMT;q6JrKrXBM;OjmMbw?@hfUn4og}H zr$A7VVscpYsWIKBE5TriL+*(8j?=*i^=@O zX_pn1!fGspQz?SHRaNtrUd}vo{1IL;e$u0smH2F#+GO5lrbSw})S2deF`84_nA2&e zZ+R>O%^TX`=PP9XaFoBz9Z*CUD^@kgTp z^G{#$6-HW9rIv?EYOMTewFa46MoC&x?ON7VZY)7*^(L-4M$0l=fz!KZlt&o2)PPVo^VENZ@h9E<5<1TPp}O#x}{)Dl%t{;iiShckS}b8b~^LTxp8OFZE2qu!IG+~Nn=YS zDM%mn3f_?ZpeTv5U-Xej9vmE0&7r%Toy_)Yo%8#rRVGPS)@J@|t@9Cg)E`pCXjl)& zaN&rkQM3Gg=fbh7E{5Q1PzlEZazqK1U0DrDl<2gU_^+(N9QuJX;*R=4F<&U?4~KL; zB1a*=DrV{Bl@LPu3bg>oDI%mbNYwQ_U5v6&Jmp@UGYbQD&FU+uKOc+og=8K zXde8#Q!w4C%N@UUy|bOe9f|m&fpAP!1Aa}BHO+i*gVW>oO96jSll{7^(JdpJzu(}T z>yAc4k`{|ad~zrV?W);(qjPq4G$yOK6-NX3suPrDrOf2+bmf?zZFG)I{~1TUvPUfp zxbG?&k{746VGUeGMax!Q5}Q@wN~E*-(qX3(ulSpDJ(ulQ13nF(#-ahuhj*D=Mjvur z%wK-wEY1qXbR{H(B|V@@0Zlfif8>-+5 zs48o6oZIZ|&K1YPzMwDY$BM>$5nYL;(%B~l6d9FH#wHW}KA+-~&B0robBq09)$h|# z{KA2l9#A4z8}RlP=Z)q~Tb=E)@KsJ!vFk&+ri-c+zhkTO_zUryhq4;8xkau2(xQIk|;{51c9PP$UbI?CA?A7iVpvZ zN)-hSbb?@^ik7x%0m1)*Qot4z+O%kk3gTZLhNl5z1xp3=|C`;rnTZW<00N)yz2}~L z?z!ild+xC3rS3al>b|IuTlw5I*K)_#4bysL+;UTHhoQB<>(Q(B)gF1ZpY)his}=sh zJ)iHBL45BH#P_*{YM;oU+KdjA`$Pxo{%4LR(PI}LTUq$z%0e!_vd}T_I&QAfyTq}c zTV?DkaeT-X8S6?NH*l5lQ>Bhc3-w-~5S5Jfkc)^ohl7@Yo30ROI@sahNIXC!b{0rr zTnjENx8yq?B&z5nPz~$-aY}*tl|^ zqeuS%cQZrDK|#z|S;!Vb9Q_Yt*nwYM{H}eDVI8E3<3w{IwV3H&2hQsyP?T|p6GROj zfyx-)65nyav4(R$a+0V<7Kpke?I`|?DF257EpR6J>G+aEj?W!>t;yJW>Uw%S<{5XtmY``3s_;}hrt8DSxo*NuxjJne<6s#gHyAD8^HC9 z-v-YGmnB&z*OzeDbb(egfuDdk-showu<3?3!7FWi5iHEGqH^RJqD9~$whftQiTX~k z+;%&7J~)%ctfD_<(91@~XO24^-<&eW zedgFw{^-An&Z4^m6W;b`$3ET0XZp3PC=BLW>{d;y$U z>7o8$)1594pE*E)wkxS#G!$>CXJDhEU~@Z6_JX~( z@hiZ4Y~wRIEY~(Z2(GZk>(sL&N2Ab?Iv}rhg})YHgV?cj!(U@C!5o$jYO#=_2(lVm z$Oqs&aB86i-CH}N0=x>2GWDAaUjbg*;<#J~9Y#Y58Y-DU@3?l>v4YooUO;+YEKoj+ zq$*fmxLhC+a^}ka4sKdzc|u0p8L+_mmw}_tTb^qGtKd}sd2k-|r97$et@P{kS2Wls z802g{K^?fxHo-2ieS&jf`vl<(j>>*vh5BOff~5lWWefZVcz}TmBC!A+=b!^e4QM#X zRx}hmdx=1M8P5c7ctIeQDOd}h)1m-p4_seojUS1luwVr;EK5B*;aVpakn%u90pJI~_TBoiIymOazn0^hedk3`-bLe4kA>{k9d5Q)g zRKO`aV<#hv_$HAgh5s1G_LmYDd(8$ji3=hrye$kP%r#Mn+v_! zc)-n1WCp7r2L zrto**N=#V53^)z`2{?5ErC@7=-}w$t_(ALbvvzjEr3>R@eS9`QY#Vl7{X(E-Hu2#S zjdcLt_AstynZFx$Dlps$Wh?T zs#HWcs1`imHtvVm^3`9aZXb?n!RNpto38V1@QW>?o&}d+d>8baC*eKts&fL(P0Gu3 z@^)PGw&Xu>Bti)T2CxCs!L|XkKK{UsIPoF56bm|!cSceXb-}ui{|5yL^V9v{BJg(B z{}uE!+7=QhLx?_PIiv<$hyGM%*%U7w!mr>%xBn3K*yNrDJ1+|KG1I#fd=Na39hLGs za3pPoaV@w6;YHV98?%D9nNpflBV9ok-)oKUKlUIFXtR?>dWT&8ul%4T0F$? zjp7gFtR8|ZubZ2&O^K7ZJ>I*V-`Y`cK1S5+c9Y76D^S0vz}=F;?!~y}HZ$^(u__DE z&obe22(#7bPsT+C&4If&ba>rtfe$uD*OXRWt564%_t8l)OWxiD;-tL+V5dKf(#S zt3`mq;8Ezm1`5o;csai0ZeGvK(JDCF*w0N_&g6oGc<(U3FoWA2e|-{vphr$4#_b&G zrk%{+`SDjC<3H!PhvG{f=XX1Y?VbStFLk%XLBEN(vtMwx#KCHCQJp(+qnN4dJb2EN zmYp}oUwMk3=*ZD4IeHfDJDGh#yxTMUw2s`v@y8eQYcfM`g|I)n-9*e`k_HDgx?3vn zE#Pzia8nc8nAfW?uPrXV0{{CN4=VNK`UCf413tz6GWj9#B`@;dX6OYmj-GqgLs)LY zPZi)rV2CAn1-RD6hrx?&^1Uaa<^ZQM=_K&8w*KFO4cqur;9pp*lL$kfv<;XEUTO)@ zlRxI@1sms9<7EVfUlIn61wUc0Jn%p^;aczpTmPu| z*tPt$483G3o+WkGxPh~f-g1Ad9mE{uoG z#&KNgq48|q$H2}PJoGN(9pF9Sqe*!Ob&Qw(FTd3>tRxH%_V*C_6A9)MaN`QgupdY8 z+yP(B6nzQqztSo(M#M`u@k2OnXZ-Ouc)bJ1#WUXG*YMoW?; zu?;9$N5{`Ln5FlF|3|d5UZAy5+ZEgK4S3V(4$c1ez$4;F_t+_u z_Z%RqU+hlY*CvlRNR)|y5t+Vc4iOFg*i8b`jM@KBaMqj2_bpf_^)S(@eQsKdb(;c@ zf*bd^6ZewI>%kWuNq%86`M{@mhh8Vp_)barHI4XyGsu&;m(Bje;0+R9Va$MA@tJV0 zl)UH6{u=NZ+-I)Dd^$(#juKTNQEg)b&Vn=ln0!2#1LDZ=+j=CQWhP&B9AB7h9(v*g zK1FPCCl0>ZzYBZ@6Pg*@WamkI!GQ;h7!L+Fr{r}A`~wZE$^}}^T-tyye&hEDiHv9} zxCmbKPmAws!Z)-^yk?lfD0s|KYl{r<(6Ojwn9I+B#d`$0fD~xzn{bM#@?bK9>Sn{M zXmGuQyUmdl_#4>y2UOk6pkJOLs(V1dwVCW6h;LK}9~Ni>GoY*aQAra(&;xx1;KbXI zaer_j?l{Q8w6^Q<|OnzD+t~eN+#kk-a$jcroV-t=AZ`^MswhiD+eJd&^=7HmA zs66COoE+0)sV6E7oYMxTum)U>7${;2Ujr8vCMyn8zRulx&%XxS_q+mkR^cnjCxj{g zJXqg(owcW5Lvtf6tY8xk?~Mtu=hci~1=~H;p%03Mx0AK6sc<5=`b_fUy~#_!RfjDP z?*fZR^|P5i?mFcEtWzk4*@|ww4y!orPJB@_75o&OI3}!rJ$MuzLF1W%+`g?>JPVxv zrjWS2&GCD|jfkn~Og@NPTHTy{-J1QMUXSzFhz2t%%?8&X{Orf`l2=4)8HssdE`IC;SpP68&HBRwebWU4RyAL-K8jF&I>e`88qV7 z)_Zsoyqa?-3^EPgJ_1FYZTydJ!+ZOyb7!3eP=gSv+<9BH|Mwshaut7_23J5&&*>Ba*xJ4 z>PmNNfjZrXhMEHF`g|F@pbN@UreNS*P?(K(2vhJHc%BQHkMST}3VE0?6;!W-=Yzee z{;`OIt_W(jpvhowx0C_c|5`LuTtxsyR`-v1@{V9(LemkB%z&cl{eGHwPh zM}I0c-*hil(A%B(4sA|213Vk@sbhN_oYyB=*qi+Y6_^7&pXqA?H}}PY;NismUwI!a z?q^xN7QDUKoha^21&6>FJRWLbEABA?sTM3Uh2z0{dL(OPQ@#$or~r=v=JK~H;o)W0 z0>Yt|yG2j9j0@xQ*e{U@*#xV=nSDL9l3gwWYTd$@-82VZH_Qp@!FB84u`848i^8C{ z5QNO2r@`uCiC3?9$fzg3}6#} z4et9b4Ct6N;BmYnDv|3`dw%saB%*8&En-3Z8R_9OmQSIiso#$u8zheSz>1;fV4kN6w%RL!RhFs2V6c;j7dSCKcY%nFsKBKx%>HYSIDcVv6vEy1Y}7GOA+JHetv{Y42fRN z?^8pnsCfOFW&}UxAJxTBAQqAoe@qPc1AbpD6h&`1s6|yp3dFohv8+&WS!n9Csm19< zWr&JG`{e_qU)})UWlrEvC$G0&tRkix&{|&hUZ%YI9ry`eI6Ic7JvPc^YB#b2&ThHd^y2@@ zA>1L}>+%L7K`ki7!a+F}6@#i#dWe^G&1W8JuM+lq#bDSQvj>qc0Qpcvi>ZE542NUU zuo?|%YCwzmWN3&M!@!n^ODo(GaCXVbZR$0Tb0RkEqHRjr_bZ*S5jxBdy-7hv3x>Qw zO^bPhey{hk7AzWv{^Tq$^uxR-FC3BOh~KA0LtZKBlM{-pZe0r_F~iqd!0(kLMZK(f z{4B1l&`P&BGtLvC$o@9&JjiDj1g7{WPr|nQ9*orZ{nLY?8IvYGRP}&whH*tB-^Ue< zNRe~K`^OMcbwRYCz(^%+C1cXl^E9^+JU zL*MBtE%qfYLOl|UL{+a(Qjs=%zF;y(T0z@t;x^_*gtvD!Z7xP{(?>1gop$>6J2TLx zp>6u|;!*x)m*@*dy^>#(BKVO)L9-SpGG-m)duNBVXhaH0VXqw2!rq|q>tlSSp4L>U z{jQQ)a(`N_LAETtIIXB^OGash<(6!eUew%Ky?r4qr|eB{Zla`Ur&h0754BUa{lO)- z9W!km16fB#s<|8oD{Y>KHjjhSj=j)XdQr?msePWnUEXd{vmX3jt$Is>Q`+w}sr}L5 zO>-o4TZ&aKL#_RWP8;doOYd3rck{fr9h=7XOl(~wr8NUZ(m}p&qDX2-+VR=yue7SA z#KoFsuUocS3h0-m92v-74W_k5PI%_~tm$IET4l*}%vA};{3yNhlr>fjk#>wC89B{- zo{&z^xZ^bM|L^Ky@o7GytGH!FpHCBIe^?ZKVxoGmZd^@{`L#&QD}_*ShW$zeZ(Q8w zAr$zEq6SseG0Y)pC0h=nT~cpTDT1V>P_;|9DQsO&=|%rb@70%HnvvbiU*$=w)0^Cb zbaL^BoB0!OyZo}ODQYAVjf#;VDtP10W6mDN!nm{V4QU@3!Q$%b2d5M(_);K=ir*LT zd1YBqWUt?NZ;w+m#&2}qJ~*uwNxHO}b-|2W<6j${Wv+-CLbX$XYgbz6J ztj*5h4woA6X<8)UQ=)1Br(828ZgIL@is4&^a)xAx#t*hTzw8&3 z@rH`Y0W~1|l!&OZIQD|jC5z?*S`8{*(QD}MIENd{b~wxWg+sxhKj2ewY=b^LO222& zh8@m6SNrduI!l{5TMATZ_!t-vgMp|T3x}gIEk62f=ZU9`=30j{KD0cehQt5)ZyKGk H?9u-RvYfdT diff --git a/veritas/src/constants.rs b/veritas/src/constants.rs index 87be798..3572f9c 100644 --- a/veritas/src/constants.rs +++ b/veritas/src/constants.rs @@ -6,9 +6,9 @@ // ./update-elfs.sh #[rustfmt::skip] -pub const FOLD_ID: [u32; 8] = [3538164873, 3494660837, 1605885420, 2756930862, 1952720968, 91802116, 3635727049, 436347682]; +pub const FOLD_ID: [u32; 8] = [1625847226, 850230740, 496504626, 3639083801, 2684129074, 2250774282, 3408390548, 2223737758]; #[rustfmt::skip] -pub const STEP_ID: [u32; 8] = [2719979593, 62333512, 1158600685, 3512173834, 1442236244, 869560259, 553115519, 3467999922]; +pub const STEP_ID: [u32; 8] = [4183517563, 124613694, 2850288930, 1547396554, 892696396, 2291296768, 2705493164, 2273870659]; #[cfg(feature = "elf")] pub const FOLD_ELF: &[u8] = include_bytes!("../elfs/fold.bin");