From 05a53c304e75c35fb3260c5741a7a9f11bf996e8 Mon Sep 17 00:00:00 2001 From: Gianbelinche <39842759+gianbelinche@users.noreply.github.com> Date: Fri, 23 Aug 2024 18:01:15 -0300 Subject: [PATCH 1/6] Add initial use evm interpreter flag --- Cargo.lock | 2 ++ Storage.sol | 14 ++++++++++++++ core/lib/contracts/Cargo.toml | 2 ++ core/lib/contracts/src/lib.rs | 16 +++++++++++++++- prover/Cargo.lock | 2 ++ 5 files changed, 35 insertions(+), 1 deletion(-) create mode 100644 Storage.sol diff --git a/Cargo.lock b/Cargo.lock index 4fb08f89493a..2eaa1b0ca315 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -8442,6 +8442,8 @@ dependencies = [ "once_cell", "serde", "serde_json", + "zksync_config", + "zksync_env_config", "zksync_utils", ] diff --git a/Storage.sol b/Storage.sol new file mode 100644 index 000000000000..85eda3f34da3 --- /dev/null +++ b/Storage.sol @@ -0,0 +1,14 @@ +// Storage.sol +pragma solidity ^0.8.0; + +contract SimpleStorage { + uint256 private storedData; + + function set(uint256 value) public { + storedData = value; + } + + function get() public view returns (uint256) { + return storedData; + } +} diff --git a/core/lib/contracts/Cargo.toml b/core/lib/contracts/Cargo.toml index 2b80295cf440..26372a02a096 100644 --- a/core/lib/contracts/Cargo.toml +++ b/core/lib/contracts/Cargo.toml @@ -12,6 +12,8 @@ categories.workspace = true [dependencies] zksync_utils.workspace = true +zksync_config.workspace = true +zksync_env_config.workspace = true ethabi.workspace = true serde_json.workspace = true diff --git a/core/lib/contracts/src/lib.rs b/core/lib/contracts/src/lib.rs index f10887311221..c0e9cfab6abb 100644 --- a/core/lib/contracts/src/lib.rs +++ b/core/lib/contracts/src/lib.rs @@ -16,6 +16,8 @@ use ethabi::{ }; use once_cell::sync::Lazy; use serde::{Deserialize, Serialize}; +use zksync_config::configs::house_keeper::HouseKeeperConfig; +use zksync_env_config::FromEnv; use zksync_utils::{bytecode::hash_bytecode, bytes_to_be_words, workspace_dir_or_current_dir}; pub mod test_contracts; @@ -334,10 +336,22 @@ impl BaseSystemContracts { hash, }; - let evm_simulator_bytecode = + let mut evm_simulator_bytecode = read_sys_contract_bytecode("", "EvmInterpreter", ContractLanguage::Yul); let evm_simulator_hash = hash_bytecode(&evm_simulator_bytecode); + let house_config = HouseKeeperConfig::from_env(); // Change this for the real config + + println!( + "HouseKeeperConfig aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa: {:?}", + house_config + ); + + let use_evm_simulator: bool = false; + if !use_evm_simulator { + evm_simulator_bytecode = vec![]; + } + let evm_simulator = SystemContractCode { code: bytes_to_be_words(evm_simulator_bytecode), hash: evm_simulator_hash, diff --git a/prover/Cargo.lock b/prover/Cargo.lock index f93be5aa41cd..b7fbd3c88d19 100644 --- a/prover/Cargo.lock +++ b/prover/Cargo.lock @@ -7890,6 +7890,8 @@ dependencies = [ "once_cell", "serde", "serde_json", + "zksync_config", + "zksync_env_config", "zksync_utils", ] From 69884ed1925d12eeff67539ba117d6e7ee9a39b0 Mon Sep 17 00:00:00 2001 From: Gianbelinche <39842759+gianbelinche@users.noreply.github.com> Date: Mon, 26 Aug 2024 12:10:02 -0300 Subject: [PATCH 2/6] Add use evm simulator flag to toml --- core/lib/config/src/configs/mod.rs | 1 + .../config/src/configs/use_evm_simulator.rs | 7 +++++++ core/lib/contracts/src/lib.rs | 17 +++++++---------- core/lib/env_config/src/lib.rs | 1 + core/lib/env_config/src/use_evm_simulator.rs | 9 +++++++++ etc/env/base/use_evm_simulator.toml | 2 ++ .../fee_estimate.yul/fee_estimate.yul.zbin | Bin 76064 -> 76000 bytes .../gas_test.yul/gas_test.yul.zbin | Bin 72160 -> 72096 bytes .../playground_batch.yul.zbin | Bin 76256 -> 76192 bytes .../proved_batch.yul/proved_batch.yul.zbin | Bin 72672 -> 72608 bytes 10 files changed, 27 insertions(+), 10 deletions(-) create mode 100644 core/lib/config/src/configs/use_evm_simulator.rs create mode 100644 core/lib/env_config/src/use_evm_simulator.rs create mode 100644 etc/env/base/use_evm_simulator.toml diff --git a/core/lib/config/src/configs/mod.rs b/core/lib/config/src/configs/mod.rs index b213060f7ced..e3b216e4cdcc 100644 --- a/core/lib/config/src/configs/mod.rs +++ b/core/lib/config/src/configs/mod.rs @@ -63,6 +63,7 @@ pub mod pruning; pub mod secrets; pub mod snapshot_recovery; pub mod snapshots_creator; +pub mod use_evm_simulator; pub mod utils; pub mod vm_runner; pub mod wallets; diff --git a/core/lib/config/src/configs/use_evm_simulator.rs b/core/lib/config/src/configs/use_evm_simulator.rs new file mode 100644 index 000000000000..76113613a17d --- /dev/null +++ b/core/lib/config/src/configs/use_evm_simulator.rs @@ -0,0 +1,7 @@ +use serde::Deserialize; + +/// Configuration for the use evm simulator +#[derive(Debug, Deserialize, Clone, PartialEq)] +pub struct UseEvmSimulator { + pub use_evm_simulator: bool, +} diff --git a/core/lib/contracts/src/lib.rs b/core/lib/contracts/src/lib.rs index c0e9cfab6abb..b0cf1f541df9 100644 --- a/core/lib/contracts/src/lib.rs +++ b/core/lib/contracts/src/lib.rs @@ -16,7 +16,10 @@ use ethabi::{ }; use once_cell::sync::Lazy; use serde::{Deserialize, Serialize}; -use zksync_config::configs::house_keeper::HouseKeeperConfig; +use zksync_config::configs::{ + house_keeper::HouseKeeperConfig, + use_evm_simulator::{self, UseEvmSimulator}, +}; use zksync_env_config::FromEnv; use zksync_utils::{bytecode::hash_bytecode, bytes_to_be_words, workspace_dir_or_current_dir}; @@ -340,15 +343,9 @@ impl BaseSystemContracts { read_sys_contract_bytecode("", "EvmInterpreter", ContractLanguage::Yul); let evm_simulator_hash = hash_bytecode(&evm_simulator_bytecode); - let house_config = HouseKeeperConfig::from_env(); // Change this for the real config - - println!( - "HouseKeeperConfig aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa: {:?}", - house_config - ); - - let use_evm_simulator: bool = false; - if !use_evm_simulator { + let use_evm_simulator = + UseEvmSimulator::from_env().expect("USE EVM SIMULATOR FLAG SHOULD BE SET"); + if !use_evm_simulator.use_evm_simulator { evm_simulator_bytecode = vec![]; } diff --git a/core/lib/env_config/src/lib.rs b/core/lib/env_config/src/lib.rs index 8cfa7b58a31c..0a8b35735059 100644 --- a/core/lib/env_config/src/lib.rs +++ b/core/lib/env_config/src/lib.rs @@ -29,6 +29,7 @@ mod genesis; mod prover_job_monitor; #[cfg(test)] mod test_utils; +mod use_evm_simulator; mod vm_runner; mod wallets; diff --git a/core/lib/env_config/src/use_evm_simulator.rs b/core/lib/env_config/src/use_evm_simulator.rs new file mode 100644 index 000000000000..c2a58387e62f --- /dev/null +++ b/core/lib/env_config/src/use_evm_simulator.rs @@ -0,0 +1,9 @@ +use zksync_config::configs::use_evm_simulator::UseEvmSimulator; + +use crate::{envy_load, FromEnv}; + +impl FromEnv for UseEvmSimulator { + fn from_env() -> anyhow::Result { + envy_load("use_evm_simulator", "USE_EVM_SIMULATOR_") + } +} diff --git a/etc/env/base/use_evm_simulator.toml b/etc/env/base/use_evm_simulator.toml new file mode 100644 index 000000000000..f0e222033464 --- /dev/null +++ b/etc/env/base/use_evm_simulator.toml @@ -0,0 +1,2 @@ +[use_evm_simulator] +use_evm_simulator = true diff --git a/etc/multivm_bootloaders/vm_1_5_0_increased_memory/fee_estimate.yul/fee_estimate.yul.zbin b/etc/multivm_bootloaders/vm_1_5_0_increased_memory/fee_estimate.yul/fee_estimate.yul.zbin index 6f86e6f1ae0b37cb9e2749be246f52ad066e3b16..ee70f70a9e566f39c76dbef145949ec306548e9f 100644 GIT binary patch delta 15688 zcmcILeS8$vwR1NM%t|mbOCVWxVK;=Ze{dY%mLO5Ldl9$;#_NI#eKn$Pvyw36V32KlT+pAC7S0qOV1IGAe@b#hW~d9XXmH0zgGShXd2`bZ>3Pyy$S)k z2RY%wAOY;W0E2lHV1^E)l$Ss@Fc6fJuTCp9Fufn$hK8tk_0H<3Gofy7r$mPP#UnGzNU zrzb5iS^kZ<*v}t8lX#rm2Y#!QSIENB)Ds6?#BC3f)eDMV;rM3 zITJS$6~0pSTWIa2XCVRRl~Tn*c4i4%(1y z9RhUQoJx?fdJr{DPQX1gVUx`sq8b||NsD6QSHrSl8_62z8dfX*m`U+WSPG~ajvhZ8 zdB#;g9Ql4&2hyPe5rWw%xdcsGk?JJkS_Z993k1|sTKOs+h*}W>6ppx$R72B<7j5ej zawY8#OkiHLK4A&rIJmM=v-jiEa#up1f;@oNf`VzcK9t&<2*vP zLXoRXtY!4-6-+j`oKWu);9XoTxGuQ9AU_Rur1j}iDN)BXPnb7JkIL8nbTw}+=~Rzn z#`wf-x_$j)l>4Hcx9dbzlS?x30nC@hWE@mv)TKS8rpP&%)WbQE%jF(KsWEWf${mE@ zJ!5%7o(8|0MYZZBZogAaPmd3U;{*|OOsZ6}OZU2UoJu9O;g|`~IQ(w%1$880j%=ho z&`_EIGc)hRjMI=QGoDFJg1pt~$f|aIM)z9nc^FJtE^)68szdFcFe^*M-8Hzu?b(yb zuzZcDN@1Owmp!aO^M=Q53ZM~l#H8`hAi4JOPAUI9%l22gp4vcY-~CWAp^R(|Hcu!f zwsmGX@eMRfp=S<-o;mjjy6CZ7Ck?$WZFTm%1d6L1X1T8!R}CdLDCB$FCbsQce6%9dj4x8_oG9XV7lkHTvnN% zH@Rp%=ggeTTnw8gWMfD>Zdf2TF}+6L4fXnSIDJDU7XLioa#8{fz8T~t=<<0)U6F?| zlYL@~j-XmXbjryKZR<>|SaRF|sUoj8-63bjoC0c|?gEw>lM5qdMs*VFM`mP|Cq`ye zyR!hnqT5I-^cEc^zlB3LRf@mU$)(Br`LuOP=4h>!YU~k)q3{TeuS-#|!(|U;&tZ1N z!0_f=n2WbznE#$)>`W_!NyUv!DMo>a(=~thKK1SARRbx_XyZ^Tb1}W!!s&>D`!rY zQr|laR2ibJbCfwlfT6Qo5v-#rfT7Hy+%xPig2h2OrPhGnS<6W=ESnw4+bz#_I$`~#C#5jCJT?e(zk_R+M=-5#^dsW-+n z9--8sCKXMVm47#evN0dFLttM$6lhQ< zh2TARHj@7r%Fs6NeKe$8Y%_*XfvjP}M{W&X!*rQ2|290lmCj#4-iIdqZxQs)FEefy z)D>NT4;PHHX+jzEE@!r30DJ(Bg&y+XP`a>+d3sg*si%>TN|C@xhjgV$Ep~d5m}(9MSh& zeHyg)Jy)Lw9r#>%8dPwo_8Zu@O;pbjq|=}R0n~E@bSync>2{@_ux#r<)Z214>JhNU zY!3}E=;^QN2eo+m%c)#I{ugSN_|Q(Rl?%j6QFVORl2khTfX$T!47SX2Qkt;vC6Kt( zNp6OmrB3l5QSs&3$!PvE1wr??qT$ko&v8)0e*^7HozQY0W{7`6@6t;0EmZt)wJkJA z$-;rkanyKdo|6rJzXw`YC5@(5U_Gia=&5^B4Tv?b^g#J4BM85Lh5uu(tO{wl_U+&nBatDQ_1ZHG&8rZ@>AG5pUfHG2&jaAf)3L zBy$Ld`psv>29Nh|aZA^JdIH?J+-9V;6;6@_ffa587_@HYXR5tv@Jb`0+vsy^UAU8h zhWoHI-iK`+F7!t$KT`+Ns{#?y`r(2rJlBHTB@}%9Z z#^Uu()v-$DRHOO7P!y%#sq-R#4g%<8k`MOB!I~d%dp}mQ(Vy&rsw_0lTU$Ld%2jk} zK{O}ag)J(_C9rYmgG`pDa15zsks2p!lYANo!)aOwJ{BDj_sRSo=&%Fr_dw^mFhAo9 ztWo9C+2JAlD&U5d5B|;lXQsJrQ8kB&g|k_=QO)5FVK|NEbUU17J6w3^eNq6eKX&%z z?T)zfHU{|V| zoqrE@tQ|xQ%1&<;7T)UX)0uQJT9k@v543GIQetbhhr9~i)lTt0nM$5lFz#6A1p7Jx zX5%Vchb2o7QlkRVOY>r|W1XQi%*-2&I7HRL3lAGX(2B5xa?f#bv^bby;lc(Zx-{QE z7B}6R8l#r3=qE-k1=`m8T--ZStj2!@YwnI1SeY( zf7}Slk4>io9M#4if@xzbQhF@4Fa4g5+e(zNg*PF&>*g~X@a(DLLt@hhqz)%BcMxL*eopBhBO-nbF3LdV*% zaA3!YMRNFZc1a+|-WPIM1?=RWL2 z_h2WAi+%;eY3`mG48u46bB;SoKU#fGIaFe5j*RT62W$4(`zT%L6x{SURFYB_-cN%? z-`i5k=y3_0jfpV0QGio*E<)g|I^-Z&^h_lo3DB^Y4v2gARw6)>)neB20yX=TQbYvl zkU<95yKu~$Q@@%F2sYFw(Yr9s4L%c6PKL|Rj=|j=`{~`U-n}E?x&0HxL0S=@Yrh+U z9m#zR7dEaTJ{p|4=hhW*y{%m#mgHUHy%wB+I!0@RX9xVeT8zr?9~MZ zb%xG1vwmSTKco}JZH5s3@boifEGE(ZO+RrinH2{(-Q+Me0LR6H<@eZLS7Y&+rm6Ho zfW-v8zvxM$-b!iW4Y7!fzY$Cf4k977^KXFT(B+w-Fr=Es$Dn#=u;{RdY?Qq%1v4epPN-;G64jgHb4jN| z)XyzL@Hw6!LJB}U_8Z+bN-L&j-Ws7hz!K~|A#oq21S55|o-Ko+;@9WXWUECl1+eTl zt23;WcIrQj6BX=ebHaOViO|v}*al%L!-8NLO4!%^l>a~iR9S8)ZNZOc!9WY9u6F2d zrJ1zonEdTD_3LO`NZ(Fj$x*z})`oeQF8p}<$!}+pWXSp5dCXJEN6r&z3X=L&m<%Ky z#ZRS2F@598##MflPC@+mG`sD3*n2cf`ud;xWf(`3hG|00O#M=t_bK2sU4-=YRPkQ( z`B$0+Npyx3DByhX@Ef(#9RQ^Qp!6tCGi71R+j7NWS}Q;UYP`NJS=M?o^t2_SQkjOS zQl-z6QE7g7%;-><^On&#Az=7ck^NG?h@1x^cyV`3nsTy>gC-umy>haP2Wy2#l+SYE zc!I$3O1uftef$G59FDzBz1aLt6(Olm^M{SZ7VO3Uk`ck0_7wVO*B_4%H@!tsV$YB2 zS**a@^Cizxz-c|}Nk(U4R64W@XWA!HI=2_t!*CipoCFu0A3CipQ1Ste>7(F>@0Un1 zV$X=m0gDlPhAc@KPQ!r|BL;LN4jG*x1qwJH%sU~+h&?;Z1$3XlBmD`ytaK9ZgySka zd7DA)XgGg}J^Pi@S?w=l@<&4qpe*XjspsoO1rRbbz#BQMzFN${xVs@-8P5ebLcS^+Ndo(Jd4V`+TY?@)94QvNK z$|d_D@DaV&*zwV7kxecP=^p$`YQ_Y{tU@GB%aDNYGhqjE^j_y+D`z&dZisW4rn1{1 zJ{WVZxWtpddLuec;OOz2BydY`zGTTYOV3F{?$RUp+bjRZ>$(!0S%RAgP3KnQKle%g z*hk)g(vO$BS)Fja9M-gkEt=mm9WT=?J)}SZ=L58e?qW8p2Jl+vh|!ijwQ=yGE){41 zdZvp2wsm+L zaiI#sU|#nO41Cgoy-(C}>xq<7EFwNZ#;@oW~!tU9)3URH(F;4#O8sfwql6SvK@}ifF z-Mz%)old#rIM=NH`b%8}L9{9Hq5-NG1bu}h(IWsisGsVhE zhZ_<|A*oBcj#%~#AYG2UQ&YO$nex%%S2jO&rRK`!HP#n~ANu?2r|!=GV9BZ12a*pG z>fSdKGlduH)(j%TVaIi(Yn1DpdEwCYuRP&R3zk26@7zP5bj`20|NN$3if2mKHeEV2 H?YjR1DW*)j delta 15256 zcmb_Ddt6lKmG>Lw>P&?&;Dg5unW3m7GI|+bfM5W@P!&Z}H$-8Jc1?X@HHj4!8ceGt zl}TefK4Kt>4P6uE*SI@w+$}WLLNu*3@s-#r8k1P*28^!SRU^ip@4Jt=GZ!w5%^!m^ z_nvdU^ZL%~`@D40Sa-^}xsfEag~ScEkTNnBY{Tr}4S9-;gHU4$KOQl%VYAT+)kX_gc?;|} zS_Y>Y@F}Ac$>{i?I($&^0Z_O;XB>;GjwBYc1OH8f4E_PhfQ){N$Ru!;%!C{L7R=71 zE8^R%fHktE=aU1T=ZMdd8-l#Vm~!#k6wYdz!v2jkJr4E#Q}{dzwZ&wGd;Kj?Z9-8@ zS~0#O0~H|v1u8dLNGflzEWy3V5i$@;kUKE*=~9#+8#(6~$Kmt~7l(RY?)TiH zJpZBJ^9ben3iK&PhY*w_8lMwJXC+-4>SC-geVhf7VlB`ZqgAmF>RwDApm+;XO$0}* zRi7Fku7-;U@I2EquyAlCc@{1YuHt{h_}n}MJ$eYbK@@uQ5G|jp6{rp$6iM~kqB03u zt2o+D_%#fMN?fBO%UT6WB{AB>6-hd>~~n;JbsQl=(cHdJRqCA zZSjhxDBD(KxhJ+oO;M?0S?X$L9Wq0rXA!ubsfu0$xg3AZT>Krn)n39joL&> zghZ{!>{M1!@q&EXlI)O##!z`1KCK-o@HGlXhmI%KDo}nDycJ1#1op>RRQndAM*J@S z*v^>{JuPy#Y!_213>~$X;=%b*S|RG#V$=~;%GTI@4-}6sAXVOm(U~Ns+$aUJenxTY z8Re~KOg@a>+mdXjTko>FOxk*sdifZ|lp2GJTaQAW*MSl@9;4;+V^nPE*u#=r^cF`& zw+M(mNr7%*^LLBzH)OXU*Wv4FagZ?nK-?bm^=$Ncj!R~_yx!oT*_ktP4r3;)ADx8T z+%}<*|97U{fE6{`-3wFTJcieo*P2E&V#RCN5(-yU>+! zh#ZE4lS=sCDa@+^`>;S0a9H#V;%HD2)8r9`g{GHW{{*@U#!C&J72$A4a}JEan{a3U zo^FjT@#!!&vyMq0PT=#bRMPCVWmgg27xPpbSYw@EfH8;0ybMPiEXWzjzbrD7gP}VI zeHuT?^D79U2VSaRA!*{CqKQa!r8LfC~9&%GV)6Qbq@tH~` zginpr1eKOm8BF8QzSN+yc}$=K+9-!qtI#!V5y^su)74f~(RT-6ni&1aI$1Z|V2l)r zToh+hvSMihN`UDhJ;9<$Nl{YlIVz?kpLH=MRr0Mp*sgSjKvUI>zN9J@@2EE=RiQR} zsxbbdRkUx zsM!jXH9+0mAlXpF0=x1@!sginr7U|O$I3_3w{QZtDsEAYD~Nd(;rutUcg_=UlYf>7 z9GvqBG-6pNn<#atTen&!$@q+P6ap3=o4#f+jPsG2(t zp&I68^4FQIwNNw${vQ+<<&hguUnHOmXNp*kD=t798;S#aE99r!-YQmk?%!KkmFNDw zl?|V(dn?LW%_fC^jT4By6@^lD;W|)7)qSAF$1umU@aS4bi)ODp1NGml!p_Q7QV8Yq zQ_%uVC58MgjV8Z4KU#zPcc_@3!Y~TVr^E?`X)=T^u#+5cEwJ--WiVArhO1zihD$bBgO{)!lR9+8A|iDRg9c{<{P(o(@aSEL^?9gRUd ze>4dz74@;^1&!6POn~S9En1%&urBKb!hI#^m8q0X!DGEAxT_xmYXYqML4=N!uA>v+ zoGwHuuG|>(%AxN~fUg!tq{(*sm1u3t!9LryxLg45B0c@Lo*516mc{5uSGvTWO=lH! z3O5X=aGB_#`9aHqz7qF0KP(z6#CgtC`Wy}{#{Ie&GxHLx=@x4f#xw%d2%N1|XWR6cM7J61} zKhtOIYw{ATMiy&Aav$8L;fGGB(RB(8O3=7G{M&sX=GrJY|J6?-no*4*-^EIm<3iYU z@;UlGvYu7__?K1v^>Srv3Mj=)614I@uz$}$XOLVNzMzJDnMKl6~Ll3*AIVVKNWr-Wu@Kfi}XEYRmmm# zfz?(hstO+y=u{fjXchuYFyuuru69a|`79(geKi)|_*u4^_8k?g?J&Ixdx+JRUXNEc zd)rp`Cpx*Pt4x5;U(nM{@fra_*6TquAw<%eN8s+7Nd8TxiR86bNLq{2fBZ~etIa$< zsA?Znufn|LZCk4=3^ilOkMvkY?Yb9>#thPdrdR0E#efQLtkQ#MtH{$a0|s^X#-RDi z__0%mCYsj$M$j}V)-N9hYxb62us#WTyVK-7@CSNYr3p1jcWWaJcUd532B~}($DF1l z{8udc9c=vRg0@O0bUd%OGR;lir+a~LKOeYquZ;uM|L%vt!XXT%?VO+JaM9dgY}VzS()p=wprUj-&V<9af2vn}58BY1 z^wn4lC%h2tmXbjb%>jC&`+Gs#4oer9UKu@CPCkF`MaO5w_h=mP06$$^(Xj;&zmxGP z_5fmYDtUJcv~Fy7PZXgd-D1k>LngxdZ18*j()bb`q+GQFW{H zkw48oaDp0gp9vbPyEf}m&{SH_B#fssc)3wK=}!SKGO(i(lQxr=E*U+>O#Hz)`kPK- zWn*`P_Vdvr&9v0Y_7yog;54I+@`vt&M!Wu77- z!4oT&8I<1O$p@u3c=ACtO5>^X)zQ6{2diL^=h`sI&$%czsOBVpr_F#U4J&dPpQP%4`8u!16uI@B!w02u zj$TcZ=FJDeKu5jX@XiyoZj(p7$=hRL`sAOP!UcTQUY5bvQq+qr_Tv2vD>05g@Nl#H&^rua*$P zL+wsF6zge?PR$Un)m+mPf1HksH zc05OH_+>l6M_cO!=|!mW!cHJzZ>sdzB0a8s^BRTs>~or>FlLVQHtky!5-^z`h<7JA zZWO9mUVFo@%W!hu^=r!V!nX_c5{GXd88sXOS|6vbzNui4Ske?T2rN2F{MG@zNlht2 zEY*d;IcKE2q-mrfiype0jnMTU*Ww3KOLANkUasm^_!e)dw?B~$U}^!|!P`^i_|Q*` z4^dOQM>dTMV*HGKR1WtbFBDf1t1>#jqch*P36ygWH;#^Q>y#4$bAnf z6{-8{*&GJN|I;2XS*_=24hw&?f~QA=IC*Q9BhiUwJABw2syTD*k7pnl$<2caJ5i5% z9nol*8v*%^coydMG-9Os06LrUFb-z4$kEc#%#JrRkZO7}jc@dL^RwShB}2gVZaYSu zL5JIkG?Q=~!60}9qbh#Vk5J&yW&z6CH_wq2XANaF`eu)VBqP30jJ_$3&Qx##gCz0b zUG+Y21joiOBAu`_65uCqTE|d2GtyLW0dzPKu4jIzFQ%#aU>oTB zC$h!eU>(*Y2W&T3he?w7-~u=hcY_WckwZo&EKLQM3Uf|MyJ5>Iy!?C;Z)_-FORZ}|AJzMOh=eXO@k@!7{{q7wI_oZ0X| z`yIhOB4~*ymh)k-;P@#$NvWaRgQr_6WM7daQ=*LcJBX&IbcsM-_uBpvPWVKM471K* z>3$_gr4nmY*}K*M>OnDZ~B zgl&}?6!HGifeV;~F5?Zo3wWA)f$~P%6W00%uC1YZ4U88=s`3q&0~av$UBJ}mM~#gD zy3s=Z#Z0mXJQwK=z_yDkc!9~HrBVBdlTVi3S@{tBhS!yl@8cK3BRQjy6(*d+ki{-# z;6>g`nc40TR;JMQoTDu)3E}4Bw8%WhC_X14$qNqS@3GQvypt-z8AZ5pP=9F!84rU# zO(89i|LGzpi}<#;dW^TMYOuXU<84@)3J$LZUKS>?IBwggUCbI zXm{wq+u)9YQEDeZBOUy#K+FKPH)R}CU>#$iin6^aW&jmjz}jL4P`wYN!!n6T2PN~Z zhg^Iv*F#!2@?0*^s|C8v=i~mm0ozqS$hpp|bfMq{m-2W;C>@_RT6aZP*@V`1- z(_W`V8{suvF0NB*8eU}VI1rDv&51JJL)?JCAzVD8rY?FYbxxVVnB==?x4zi>4LE&U zM;SW(oX$LS`r6J)>3(0l_AG84C=3f)YNT|4WTbW&%zVX?W7{Kl}e+8cKK+jOIfO!Vg7{E$vj2L0V`5O=2iwH|jSixu|Q=*~Ng{3{i4%# z)918wmGR;jbN+oy*Y_>kYRDj{yia>e&;2}-31{xNlWb`En*P^_p$`_}HAl|_dP%+E zfn5dL`M@sr+S`(ebsJiDTM>Sy;}j!xTQRZ2GNfG1e$^745^!4=5!{c9vN@*p)pvFj z6GY1j7L65_lA{K@*c5RwU&kmduAFK4&tJ^BJ1Pw1cA`A*GV~Tx4%LQ`bYjLT_83WQKXdfVXY0t0OGa|pwritv=d)W2zBoJLlmDDoaAbXF@|p=btG9m9yxnp4 z&?TOn4cYObnM7>o$w2nyP^+2TdergR@aMOZx@gz@m1lpm%s%k+yYJ7ve)nei@FG4W JGT+lS`5*OCz2*P_ diff --git a/etc/multivm_bootloaders/vm_1_5_0_increased_memory/gas_test.yul/gas_test.yul.zbin b/etc/multivm_bootloaders/vm_1_5_0_increased_memory/gas_test.yul/gas_test.yul.zbin index 57a8573e08eb9df117f50b22c2999d8f6c974e83..9b9739e5ee8265b9dcf8edf78f0ea1834969d8a8 100644 GIT binary patch delta 15422 zcmcgSYj_k@mUTNFx|lR{brVQB-AQ)>p-l*MT7eKq2$4vF35J&hO&~Y|;gR{!g%uYv z!&4chhleK&?iiI(zQL7<42`Ie;h{lLvVsF6NFqLl5s>V_tc9pYoXo)0OMtt6#h5R4Y2 zzE@2}u;cp-TM68IF?oEh0&brg&UCsPI?fQCJ}NqJD|Q1p2X(z%__v{#hr9;O`1eoH z-piBvam+ZXG4n44VGU|b_`LTcTw}4ljdvlpAH#5yhnx#knRXe-#enfAuN!)QVcN^| z^d&TzccB5AY&p~beX0q$0Udp}lbcX)SrvRyCcPMXu^wS%3@DSz1LOOhB;+EP`&akA zY{+J0{{qYUzwWu!jkp57w{x{=#9cO^VAbCZ5~U>w1_O%Gm;NIpqd4EHo})SB=ijNG zOTp*gqeC$|gdm+nd`=jh|6<(T8_B4>ghT|$fW1x!Tz5*)>a^HQVL0GScEKThErSdW z2T}WgV9`?T9;L4q#bEjey#Y@ z_@6KkbCME73REU#qcsD5hl^MVgI1^rnw%o$l9ZI*@#NJ^bZ6h=w zKM4cL8>s}5VB^RHgBXX(+)T{Sl2&e|x-PU$R4kk|&;>&VN>GVcDPAiF-Xu2zwS$8C zQF2+A?+tOtb)$UUk*;38bTHM;{=qp`>K5vCI|eJ)MS-O-Y1HH_2GI(Qo&s_Z+CAG- zWvG04gctx%a2ANcN$ctQq%InzbdFG~mF@(F5s8homm)=bGt zgQn1?lv$+`nkm({usgmkzzWGeEOhrU2fvN(&H z1bL&0Q%zR2YI4|XwKpM^p>AtR7*yR*C2tn^I?IZyYj6WYhK(ZlSoZsLmNsm`pb=9w z34pqGE}X%%a@PAS;?-umSaJ~uvh`K2r!Wx8X%GiNM|L@SYMJj!dLaW3t`oK?Y15Yk zaOX_B(ctFUFqURjj6K6-IR=e)oj|{Cxl4}0bg++@`u`Y*CFE{6H*yIX4@EiEBZ}0* z2^QwOeFdr0c{NJarbuZ7W_e@05Z9UR#e1~c)li7T_Zi?G=;#de{to&C@!hzAJdLWF zKrvv;z%g)k)DEU93xRc`N0H({)94Mv8XlhtC#12tGmpk*OIk9J{7kEjF;t|;G zg`#9wTHvo{{ z2u@RBi7v)T=)Ja58-VXKY>W<;93i-UFzD_L)=3OonY`2)R)VhMANiHh5jsj5(H;w_<$Nk zvM0!Cx16V4>I|t^OtQ4Q$~u`zt4vL51NQ}caT@w+UU9dHS-mhSpo`>;R8(92lx~!b znQ_;TU{UDzvRj4o}}c(0OGDUNQs zG^QLxg0T}aA-lAnyssz&-9K3w=t!8mtrA3=3&u?89Wa-jAjyN!l!cg;1Rkc0bM5&KU((?oU%f$q8y_xM1-N z37*4iBVIH&FO@OO6$RF1O!;~khh{k8L`5EX42(0qDAe$o)DrbG%gH{tJX72KAdg*k zKS{yo>h8x8e6H?(ocLVX{U|t8#|XUov{fNtu=P*Eo19H>e}t6)S|<|1sZvAp*=K1?vZ z54E#gd=3h{(vy>n4 z9lH2+dq%>FpIUWjv?0VrT?pqMukSy(9<7s5DmtO)UN(R8NErRF-pWm{dExBi`qHC( zD-s`&H7L&E=CEAvnhWs`{r6p%vwfb6xS(aeM@K^xCJve()`i(H3`W=3b*Pj*F$|LC zTO2fi`55F3)v0ZoA}KlNxxg_Gdl|gYCvB#W!a(X&AW~}ghG?JX_5Cqw^R?6ryVG<& zYP81rUI5+jFxPnD8(oN6gn+qve$j#u&(-KbU}X6&M9n>or*9VN(QQY%3!sg4xEIp3*|s7X3-C7<@39KEWb;ff_Mz`>6S^_!1Zq+^|Al$yLaq#n+^Bv7fpC5gY~qhHZ|A z2mk2{JsH<{Va%g?VPt;P1#t_d;*nIZf*|kfv>2tKL_>;&l9)x`+a^WS3mqwD*e1!L z6oS*p)h!*aH%142Dxx6cxp^@BW7#LZH@GC08Qf!VuV<1;kE!obGJXnm0NOWr zANqzvb=EaOtjTID^BDELRK)M`Z+A6b{bPD{gL#eD*I&&;4`@=X!T%SmRq4@Uad;Gy z$E6$Zv2K>~H2PT7Gkq9L2LMY1AJS8}9onQ@HL|Vw=Xx%Ud&i`|sp$sIS=Gs&K{gj} zxlM22FR$<2?2z$*yi*X?itkw9m@-ODQOl|LaMUFyEs>u47d=T() zV{|WdJfXLab0wyUHC9Qj6tM(qS6-RY%o#8>##!TPJ+>*G+iUb7uwsYZ>n*T$slA{x&;L|y zsBU)@KG|S9N`4d>y9>G7Hw?RzFBeR-JyMsfjM9~Kc&F?n#fLPyJKdHcGOrjGkT-Oszt2(qsD4MESe7sqcSV)1+GMmRkcoU z4uG8kTwj-vDQ)U;cF4k3r*f@c5K)NhEA$}zYbQjrB#%l79P1L2bcQ0dbNDK11(iMF z_05eMiyD5q28+&?vGmm8(EOy=_e9iKwNH98)~m2+nH9@Ame=WXWzPm-qkupdh;|gv zJ>$3~WW1?jK~GGqk1`IaplSZ+E!I1X8^shbe3lpvqMjv6R_(6;E*PJpjY7v$E}i1G z;ea={g0qDm`mnOZ^cKID6JSD+P2RyN*=*2`Ji|f4rlR2>YDsWV6AscO4^FRdOia~O z!(o~B2N>kP;gfe`r_Y8hN2G07Np(_O87(KUQGy4QX zq}D?|1DaEhgXVgi;p4?;_~)RQQIco)N(xY0j|B!oDln{1QVA1cLhC>qLbW1P+%`Pg z#NQ#?+++ikZ9}?&`fb$&O1Jd|vVAI!`#Tzvp?51L7-jtxmTFkM4XBWH z`V`bR)G)Tot((H+u6o|1k~{GHBjlf9&siaw;I)`_e?R1@d0Jg2(4|FS`hg z|LsY(oZ}^?0S2%&2v9+SSljtSsC)TppyPKY`a*(!uY@}Be+>+Oajt_4_XBX{4IES)Z!u zVxW1ym#mV78PLr2fO|SSY8C6%iw2)>3wzEr`)l=c@z-P=?HfClBW~mO=&XFWAQ$AB zQB>r(t@-q~HKeYw!86ct;7V$@of;V5T9W=8)mY-Ip){u%it@yiear<*j+vqIm}EC0 z1TBPa5cYLR!W1NciP`ivw7-Q1tAVVy@mtfW;6F(7ZQC*V)IRawA}zr)_A^Hu(0UY; zHNEiAe(j-&qybtEUBTS7zv&9$U)3bO5~2c)hq0YIjBO!ar|`Ocn0{4bKH@?meIfTq zCja;(aaRaOBb*V1&q&|~sO|^}Y6RZ>=>v%POhT}hep1c5a-=mJa z^S$MS>;UJ8prz z=*%Z0=_^WSQmz6{Lr36nk@=xsnycgkn(|Y?@L?g3lcY}~a=_vw=@VI!5S)es9w$0< zIERc*pIimpKDhOv{E=4DXCW@Yf7%5bPvd97cm5OwvucD%kzQDf0B0)~8~#|=Vce5R(W(_P|_1x}r@=(WgrLh5@_O%R1t?W7l>0=AAvT=a3S`i>^=kY7G3-MsNV20c0@q4qq zl)efi?}7&8_hBFnY7of0K);68Akr`K%08icdi%v3dx^3ebIw+<)cytTTCKQiwPLx@ z%DOKr8&asa(ky8Zm%`4AoVeVesfgyah7;W%CWl%ZSP-;klR=QxMn9~rYg=Mvj-yMr z^wY%j1B|XhBu&u}gYPpS8#!9i8fO!XM!dzH#BCTS_g&4O78Jf2!-^w17ZK=qgv1DQ zuqzYaGVlJ1k6-z5I3tHU2t}8ckVCNlQVuDB_DePVDAGAAq-hOXtOjw; zqB*)xt^#f!phfz3Rk7s4M%mWG>7ZDl_4dK^FXSylWl^pBjrnq%&X&=2DRAz~0?!|q zR+dJTk8SSGrBuG5xy}%rMn1MF=Q@`K>0n#_=MCg=zY(M_zs0!#;CPeltW!<0EYUO@5R6hyo6ox~A7O)5N^; zYrWJ+4-Sq{l?g)f-X8C)E!Xw(c2>LITSXNb#fpAinu;nk8k(UhG)kz$kKu_lom9; z#R8SnpO&kn-v!)aJRrnRAlW>RRlg~lBJ$1BZOSH|NEC3|K;v+c@faSIo+}}ztr$gNL?M~txes=8T_s3p(aL?M!-`9P=_7U651NL7#aQ6NY z=jWUa9Q`gK2KN5l$gs|QA0Kev-jU)i`uc3rp~I6+X3LmOakuZQxVd}#;>zNm6^YLe L+?`+j*$@8<_p=EG delta 15040 zcmcgTeOy#k+V>1|nIT6R@Pm&Tm_daJMTbd~NDNRD6>LyREb%KfD%hWzzS*m6U{Y*B zsrz8IMdlj2?r){Eu4xG=m|w5*`jNC+u%)i0CcD+hrbg(B4)0R_qlxWQMEPoXT-hJWiq9pn#i2>+gg&QM3f z`H(CsG1D(NZY@fTyAZZalo%hTABEJOhtUQH`BW$}Y}b(vL4U_iUD%%tyO^9VLz8Jc zDxfJcjVhq;d_um5u6~=zU!gXNC%h(&JX)qm&(vy zft3SyI{w}RyBxlc5yhrrcjchWB{y|uii_iPI%K0C{lUc{JOA(*M|F6{|LHSsmdAfY zgJO6HK|IkoP8gnBlsY(VweZpSD;e_REO6aw9;jBD3|4QRN#h1F=?SjDzI#5jN3fB|P!@#nKoLR6i_Jtm z2{jfQ;X@bvso+GRaW6V`L~KtZYn@&e#`4 zx1RKa*1>Mx%mA~7SYYfBGnC+G&JZ&KmJa!e{8cC&DvN^BwIfl+rM3c(C>Zrfxrcg0 zl#xV5u{$Y^kC2z@hRFmYORd9fe5_2SmQXA*RLO8z zD9I{Q<_4jUCZkPQ$#>K?!Z(O<$`}V3lM>%u5pdH=9WArW-A0nqp8ZZv=4eOi{5v62PD(ucrQT?GlgSu+#;5Z=ThVcU!HTmN#kUP!{Yw%Mtjz*liL?`TE zznaF`NMGm}N7b8hpF3z@Qv}B0YT5KdoQzPhiQt~xohbMWc3n#$P@m0K=QRp9tyT<4EMYwzhOS4?bWI4+r&Gi$U3aKjsu^$F+gj3i+ zjEWdKB{YtGW@VitqjSPQet|TjNAoGkU&MJ8ZbS2uPbmJFUqdbvy zx)@ohwiB=dWRbO;pAkTprW_}YxH-LvxC+`)ZgRv$X$DH*GrNsTc}Srsg$gtj)i_lq&Y}`GN1c?;qTTd)1w7b-cb^lgqq97=)!TSwBs-)>+EDRKIu8TJ`?P&;ppww z2MYP&vV0Vkm!Eu6pzVSAWCVq=guLiaM|sQ@atb-Xnx_p&B8gz#mcBp0jmOB zH0~vP3yuKkPA*6=-7TI`h#g52{+$g2W)>pdr8C{VNPwOdJvCWIL7JauQ31xFG#`eV z0w-S?>y4acz{D+71m}pr2EPElACrLTE3#2Q^?VD&$wo zlt}UxilWtXjccHzC=F+n>fK>&VmEI%4yAK#`D7h5&08AtJ~2~IH0;6eqbPG}Ct)uXopHJ@iTER?p)zRq zj4GjJltFve#h_=UJm!QI^P@GWsX>VLM|*-8TigSLYkbhOHNEY0Wd}XW`i|3eBj{O0 zZ;ye87e;8vp$Q@OX+o5}GX_>a67i5nN5)4)&4yp^UWdkE+V8uujLs!CVuPWJ9U62Z zOg61J>F!h_?oMT*HLeI+9-UPq;kDuzjdk*#8yRnC^Fd5QhqxPZhK@t(5(^ApVunWi z2wX5~Q^gEY0U1xnL>5ap*7LSDYO0-yPc+?4J7ik%`sn`jySPP;Q zA#Q0pM{BXuwK8bx(Q#d$2R(~AGc3@ew-X_L(1gf)+zF#JAsQZc4*b%WHiOq9`aBWP zB8%9D_=5uVQfvSov!wvXJJf-_Q(6h z(5$NunTeG&$Az#BzyG1QBHgS@aeKNHw^VtnyA*>5T7IwYQs~Z7GGY_=d~Y8Q+b;Y+ zz{7f95zmP9$bj_t$^9qc(9gn&qev7^Kz1=L;$AIdHyHHBxiE3*O>!7Amf11`rc}B% z3nVOvay&j`l^&idhI1noQFi1crnpH|;Bao4RU=@UmOEkHis&#YJuHNx>Eom!~V>R0WCH>_turh$j@+NmsmA&sP-~#(}c=*YST0E}B z=<#zcr!y_LL7&I56#mbC>9jPZ&On`lIfHQ|lg6}wTtwmf0B z?Is`|wOJaSU|pXCKd$`DwTDuQ)-X%7229rM+5D96Gjb*#5bcG|D(Aw#iBM8mC(p|F zon;#9`)r;lKI7k>%D~#Ew2A}MTBnQ35Gj{v=mkzX>(1MmRqhCOmI#k*iauw@XDnpQ z87g@^(K~tQ40{2SxJwr-89)=|*+;Yt8S}ujAAIr3>MWAT(|Ob-cHM?O_$}7@c6R=^ z*V8=^){Sp{%mS9x(dklvSQ2!7NDG!xngt8;l^qs<>SraYdo(iS9j>p_l8$u^Qc@ma z_7#9}DwM9dGX1bffZ;Hn%hjQWa3Q3Ewyz6FDxQ{ch9kHYn$2>TOCD zp4Cu+HmaShFrDSDiNGk-L-SpVHc}Wg0j-E0Gzp-!cD1&nRZfc4*cHH192zU5hM8aP zwR6`zo1>B8Q!p@E)(QX`QWefp z%_8`WC7*_TP0u@BRYA`xecl=Oyw5CJ0`aUL*hR;CY@K(@P+F~X&-7y?PyWD%5-o1A zgo$hNfu>|;J=6w%#6t$jc*lwuz+K~=u_h3-S3e}R_kT`$-)OtWr}bHqa;b$DBb z6%d9G#b;04ijt{ieH8Sxx9Nq_;>io8;K^^F)C+aOvjcj)I=V;Be}bVk-zItzCKtud zVYu*W=FHx*nYBrb8)@eg_bhwDjZKhsy#r3Xbb&9Ebr;P1p9|LY2Etd~*5v0{CB1LM z8B}Y{MlH1-+UO+BaAV__xVhf;OT3W<*4nhbt2wTP9x92)G!?b%n5M4Q2Cvsjd+c9A z1_PG&*lTeoz83eW@gqXv9y|XFM*esB?mCWJHsOiGCW^tj$w^*-yiGZH1F3cs-ax8` z8?Vp}_^!G*2&)?mu-UFwvav>#MXiO$nuUvjt%w$v(tzuaaLFFH@JP=|8^_uCR9g7r zDMsb1OUX;ZjaS3zEgAi5X*#4Wqb?_6J(fyXJPj)J2%;Kl>xvn9ZhnKzQ^_0A3ZClU zD91B}p3IqA%R=HA`jt2YWp7;- zx_)b*!}{MjO2$(MDwhCB3tuP{X~k zbd@%d2Yue_Y^K;m4q}#K6FG=kMQ>|m&L+*bW$)Z~hv9u)7CjR%zKCUVJZ#%}CZUdM z619vs0J}Q}FisU}cNvH*`>9a>E)A4*@7a>2QtoB3l=GtStI50e*dRnWuPyuOuX#ub zAbTUPUZ=;Z2{oFqQ5&nFLpZeCNy7Bw?5n=x##c!e z?Z_nI7&nX0XryA>?x}l+1yT578ggl;A;hlIK`nIcxsuRhUj+IOmhx{T>14I`#uA9Q|zN0dU!hZxifpk^ONIOu4R&MTXnSt#vj zwn2NdbmIMN;}o(5S{tum4BFjvg?R3hH1EedfBW(3A%5ETQ{aYXEDsORUnvLD99TGW z+0okrZs*XOe96(<#qAsgoT?rW?`A08t9Ly^y?FYjE8vixt4VNg^Fq)4jOJzw+@kb0 zBfX5d&gM-1O^-lr;BGO&nw9}noXA00iw)(&gykb2HICAQT9vLMY(>|1@5SA;a*D7O z#4JVF3Sw5nL9MW5`dI62tL9s*jw1$B>7vEU6&a))o{zUtY7U!coh8_ec}Ld{FdT~y%x}pSh9`1Cfbn#PHjhQvo-eXfOrhJPIBzm z6wkDD1)K^GC&C4$huUMhk`8ulM0YY<^oZEc0#d*{BK9*6Ctf%e1)@i2;1MZgc>1O* z-~_mFQo60Q^%NE-r|`lnei~0vpKU#*m4Gu&qi?rqbzXI+ovz-(I#hqE#e81d zeS>?kOkJDSGF@%=MM~R~a&p^Cw>e#`;S5S)bk@$`<$!7~IjzMh#rw0{!JAzw&hiEs z@i~aBjiHJR7MlJLPWX4}WccnJb_C}zSF~eCaGrWc$9Wsv!jatb@~B^7FL>tKVCQ+0 zG}jMG?B3}L3S54-MG7GAGn$(_KTqpB*{9vfZ^s;T5wC?IZ6)oLHrmO&-`(1NSpNg+ zKNqn|eNlcpX1;dJd_LINfkrn{=xom`&J7rDS>a%vOT%s7bOjt+hDB#p< zC$O~x<6((J#Dko9;gE`pQUdTdqm)Z-jV_@3bl!F;({X@Nvmzi@EJ0gWP_9O#TfJ~9 zu2^DCx2}}&VEg;0D$*>NE}x?9Z^u_Qo#$Gi{VE=oT*YP{KVz@@ci2omV83dE@~b8Z z3U$zMwaURR>&ESsS5cRfEP2N56|F)6htyotN{}>uu?;Sci`&)f^hYl$4Ed&~xHz6l zI4Hb|5;6#C6eVO3vl_n9NFic!8JyU~%z^NZ2AnRs-`Yp8nxI5ndk87=k1w#LM|C;wz-N}Uq7fm{~{?do$j%{ma MZ_NK_Qo*197leMN(EtDd diff --git a/etc/multivm_bootloaders/vm_1_5_0_increased_memory/playground_batch.yul/playground_batch.yul.zbin b/etc/multivm_bootloaders/vm_1_5_0_increased_memory/playground_batch.yul/playground_batch.yul.zbin index e8ca1c721a3006074301b1c538fcb73a54e14b66..51054511ed9accdcc6691bea56928e9fd1b368a0 100644 GIT binary patch delta 15932 zcmcIL4RjRcwexM3Fe{6hSpvzjo9u=FF+Z?b2!xPehzTMPjYu^}@(dJOM1o+eB$Q|n z;iN+PKra#@c@l*dpXRA`dF9juQNW@lEnsNv(^V1h@hCZp#U50GzWaSMyF1@ZGRb;u z&KZ`Sx%Yne@4J8V?ddLSYnOFvJ4t_{!$UHj2$qq|Ko-d*DSjdeErKAd5`;z51c8hu zf{=&b1wpb-5(IGqY_Jp(KOC`?lZoJtsUefVJ;nopnE7Nf*sWD^E@Bipws|)Qf;A2? zra+z518c1kyogt`HO?U#L4q8JBnw2aPDJD^B9SKi%!h(O-;o=kAa*G!gsiID;2*Jz z<`&VV@aat!_K8e77?Z{7{Sw{%8OnWxBM9ddZ^r-45M1I+_URCBfjxtB+0s(xTBcL&+fS<)r-!N-gN8DUxo`wA$^zZCT^4d@pwa%a#a1c4!IbcC zfs(j#i)|tCvagF^k9?FYhiZq1Oo2v+mOYf9+8{x zU=fl~;rDa*rSScg+q7&IR zAV9a%qXijj1mS5460VsJ>zu9-)&5c9^e7hbXRu^=J^4AD8{QzVW>P#Ikpk*QpvR9u zp7ClPfqd5(K!O~I6v#}-CTP;iL=TbIFldchpplo-A^ySu!Ye|8{E_#PwXkR8UT0lQ zwxa#m80JL}$1J2?CO!;HTt{)uEO#0qkHC+T>g9EeY^z3;$_x(-NkwvaWv0fB6(7}u z==3`TpQk^W>Iz{v#Pxa%D4n4tD#7LCMDiHeJ>|}gYWzuzK`Md}hnt`79kBuGJO{}y zp}<=vZ({VCHB7d6J<#lx;22)*cwO{fBAWxjl&~(f5(SHW5#AI%Y9Cjp^1QXDQaz3y zoh$#!ux|Be?Yd~^e>aHAlZ&&6TQFW0l1!)^)0FZgPf>6)sYeL1kS#obQsc%=)2<)| z7LOGP*#^~VY*%v+arvisdPaQ6zd@3>8<^x&(qwqtaRa9k=Ln1hXdLlra)~;Uben3V z9nexb24d39~a~TwRA7*qk|q z44=^&5M{4vL3kgP zVC}?LR1eSwn1UQGj5?d!)zG+qRn+Cabaeopmo#F+WtCbvkh+$|vLg(wsF4*dIg`($h z7h>S{7Q7gXH{muvOfjBJ$%l!BtxPF#1kO&MLXHI7MGZtY#yri&rt!{NOygaFHwhLM zXUJO_KU=lYyBPhv7^62{?RdFTCERm8csG+Kof3&OKtT!aDQGMyi#~esc9L8&ibJE< zQR1b>rhc13Q_K$HWq#W=!z;h7R~qP3%)Fa#kl!&t={FmOTk=QfzS$V9C8(HLo2JCG z#)vX>#z~~6a5TdEhm(r)91*ywJe>F+jFZT7eW)7|p)-`D0~>B>kdHBJvn05D))XZG zb}~@yM(wyw8#yExHrv~ajdW=+6koJ!M!ZI{xhcQYCeSl`DY*%j%<0YWI-;Z0pcN)6 z49D=3E+h!2Y3Tt4{L56MU&mF{U$qpVGQQI zBs|olrqptXf9^-w7!{9$y{rLu*S504F((*!Sb9$P<;FRUd$D- z1#)UE2<&sUoJvFDkuozEk>Huq4A?q%*cipNHT#@*S%JAWY%RvP!}dKcqlSR`O7AKsU9boLErg!C%FIg! zKCesgLHP|%-G;{KD_EVl0p17qd>{D$O6S**kKoAs{p2{*-A&_Z$K8dpVsUM+ZC{}6 zwUy|3NyTVeP$+-Fe8dc+Vu2f$RuquSu&2U@LY=B$S+}x`Ooa`Vg}R;)dF-_(92vgP z_k^zSeZD7j<9%&UsNs`0jsR8 z&=`aEfP3y~z#cHGs+@cYbqjORP90U{@<033@w|nJbOHkFtMV9ZneAO=&LWn8eUXRE zfUHFx`RhLM)d|Wd@f!+)?r~Mer5EqxxJK-O&P5(*zZWCKHRxG%k45|zDu2Av8Jeez z!@0^)RC#EuGajm|ebBxlZWJ{GD^<-wyA~&!5NliRgNhYq5Y^Q)P4Fo*SF6qNORr9b z_kSvz&}jU|=WkThB+o&qFvSl*HpGI(>&#ZByj^_645AHrd+jG?yxDsu!^oe?c_AJD zMlpx9Z@_$3uJ!pZMlD_SGVF+p-Vc%QUgd22O^~mzzLW6{I_x}48**hh;>KQSXuY^z_r}WwYtc&T60k)2LU@TH*7TM~&6E!k03i z#}bWB6A)7vX1I zo}*8>40d=3Uk{|g@(2DeEyy&tsZY&eU=f^-O;mHZLIh5yIl~GcvK21=>;x%*j-PwN zk^AGQBR6gehfP|*+vvm4|A1Y*oY!kF-c85HJEy9uTN#t^;4u&*81S^dNU<<)cVM)&|T}1|C6cYISu3PH6C!S zkzfv9`D-v`8A0ke5Ti6N1cGZ!rD0~SH{%dh3%egQgP<8vYr`n`ZbJ)6&t7$)RGSnck6xzgEwg zMJ>pc*{L`VKb6|u%Vw(MAy}UVn`_PJ(zJB;(S9KO_4<|jZ3XC#d~Aam-JTj8ov)DK zvB%7yXwm5gcdfaHVA$A*lpakChu`<2wi4wy)sz>?Fl@Jh1_=fJ*WIC2B0(9z}FcuXUSGz7Lf=R`F?^?_Hh>9=KpHXnHZH z{c)e)!b1ymqDbd{ebypS{kSikLKQ_4lnFHLYJEKP0CbAlnMEs5t#(c+RPcC*vdOZQ z@2X2Bpa!&+wsv^bxQUw#In*Lr3u2frDRs6ML^ogRjY^w3g8E={VoHDI=R*+R_<6|V zg#zw$pkYwYL5<#4XucC?sArcY#%}jL5=$-wf z;sjAtN;yyZ(sMYhNRu|*Ah*FUj3B&U7^}woKq>evbjbS@p2>pFr_>>DLb4Tt@7Q?XSN7mC} zu@)*}K5e0(u+9ZIc$UVyg=PftrWe2 z1XYkB&0d^7XEm=RVxXltjvkb0Yss~+r7u4-MZON51l?vtnZ$*tNn#Un;Il-BLcw}-XlZ`>}%UapI$#?7#{c#gmGxG z5DWWWs=?8F*2`3gZ7-LbS8w6Reex8z`K27O^@wWm6fx#rCeeo?Q-FIbHDDK26aVO!9 z-jQuKr7}qf6E{>MjsJbc#5yg%^UWR3vyUtB1NOE0HFVF7bqrEXvG+su&Or5kAE{TJ zE&+onHESrp+hl&x@O_8jzM|`4{C(RnGMzRdA;s7n%6D{Qu7t~oGGa%U#&I>?9=15F z43pu|@83yLE!=lTfwtFH%Jd~Tw9=#w-62PCeKQSq`L*1Hqa8p<3nm04MFXH*w^QQc_8GAI=^_Pn2+K z)-g4R3J2bHm#X&op{R2FBUTy|k1ML~L$lhoQr|LbGHIxM;Sc?V%Il7rL1;o{;@7&@b`VsuoK_ZW$R(0K|aiF&2*z6z2H`;g|JB|*-yxNto0kNOJ zqXQ?kzZpNlHu`(5u=_7&TEZj?!%X!^({MV!GVXn5Wwg7J2gd`YbNH|QtmMz+=?qXu zF{X5@t0!kf;cn;_MdwxadvBX*MDEXY)ysV3nZT0&i6di}F5LV2+<&Z*fJ;FS_&&6Q z>%+LQw()d*6BPC`LyO|Dv3Y?O1$vO;)nI&tDr^3=Ai6+cpi0kGefa@xrwW2symHJ$MnNNxj)HOB%O5AotPj?53+~f+^ba|kbDFki)u#)K zCdIHSi4G(LCv}$?VIhVB+hnV9pTuM@I*8wM)$e!^Sb?)Da8scB^h%Nkm7nC2w_w{R zOO=;O?pHO+x1Yfbat1R9UYU3`2U!NeyDtXgEVil8a)utavs;?5Q*sm1+U4YA6z z_^#_LzL~;n?b%Rj;Xpb#5c~zuIkn{BbfI;Lv*)IpCWqeAZ{4RW@tAA(r&Va9(*LbV z%cnL+h1x-bQjz1%KzD2KELr zh0#HW>mzXCepXJ+6g{FN_ctW zf-7vt%#t`q(n{Ry+}r?;e10W7-xL1@^F5kpO1>x~X-tCT#eHg@ah$xEYJXgw22Q7a zfwoS0$xFg?rh@fy1GzEKc=)9*9|u5bBiL56(6$YDuO zT_HIp$+U7UmjCSMxX9+b0XuVNHKLVJtwn`K{h%mnEVkGz1+A|Hg`9Jhwe6OsBNlQc zJv6Aa^cO()pNk>$NYl#eh^=YiAac%~({!AtA6d{y_=`c;nIBlcbRUDutH z-dotUe_G?kw Qf7P{d?o*l5ENy50AGdIH5dZ)H delta 15450 zcmcIL3sh9swf78jaVCyo_$Z$NW(b-If)1l760kr)i9*C*iv|)jnyL|FK2}U2Vj5k% z$mGSi4aUHWB%!rc`r_*Np6eC=k{BahYUITxVkAnQPh};xNf+@K-#+Jl=FYuvVQgR4 znlN+k-uvv|*}rpaI%DiQW8BnAM!&JoPLki~EG8-56p~I7#t|#m$Z_1W9Jg>X$B~hQ z<1+9!$61XNILBEHR2t&uN2pQ3s`Rd|lv5acD=RDj>6a5mE;>~EN98Z-|{=ciMs%_bY%8e)Yy z6N+Neicu&5l_CHIsxnzgCU{J>2{R2$lf$0kxR+6r+ycY1f+h_HCeutvGdsyFC^Os1 zY^XLn6XqClsO~LYB1YFR5rZGbFy=rTV$AgRn7129iPvNKz+isDbco4b?#&M=F_@nu z4)${qG>0A|E1)9GPBOp~W|x@L7~&a8f?Ht^NkAw;et7m%D^Y@6eN3ThW7n;;l$E z2^=vteQJD&5-wEbd8Spccz6x@C3Fw3<<~GiH;q7#9)WHUi5@*d%jb(S)HNRz$@IoX zW)rklS(KgdRSbqo+@K>%wG5?@7;TagQ%PQe=9nGPYlBh+jRprX&!`DnKt0D)1B-3P zaIutFCn4)#Zd?ujYevkGXoKaWk?}+;WF~5ve?@}ghvK&+XhQhD;MPlUP&!4XhOBkR zJIMyH*h`{o#Q+i&gmgGA1h*}9f77c_Z9hmhLYAYL_b@8E9X8nIu);a~oN&->)9JWN zUh{S)$eN;T+mPk{*cLQJp{jgPNT?-|YHH-jbpCaDsj89kQkqS$Nft{%N8=N3V5G|? zDNr_QYr+X&v8b&Gh&&zBe+m5m3t1w#ZBk5`$Y53eK3-cdZ=)+{pfq8VP&h# zaD!837)45X$j-kdv#F<)Z8Fq}hh)_ysT`aefn1|~OmCCx)OD;gL_0M=W6>y>mNXmV zMq`pFLXy^F8s$|Kyda;k$#zIaV<@~0pEizm@$bkO*K|B_yA0(=!CReNKwww2Rk3d| zY9zetAKN(-qGyC{m+WH7gpp%*P&_y{Mk~boY%%JH3T12T-V9}9i^)cB%h+rZz1AoO zvtXmJ^^DTiGo~Iy?`=!9)2-L-t`xT(rCv2oHl@bk!q%fu=X9WijmK#D{1_EmG5(+Q|(_nZJlghwRQQ_IhRC87d zISjY6_L3v8XL31zRAycg*hi^NK#QITjs_JWO|~&CG`;Bhr_fa}UTW}c2!}hGb6^DC zh&%g3x-~W@WWxCDCMJCdflE1)$VcAT+*-o>VxD3HYpnAI81rb%%W}lQ!o1P^W`UVJ z4BdI?)A%`&M?<$I(FH^E>9^Q?J9!nd@^Qz2C%-u0prtT~#ydk%BpS4i69=^{_09yE zTpEajdFPoa4*nBKU8>}gKQ)~{A-_{(1LPTlD`|(GsjA?NZ;A?Php@mE=7BF#?8E~x zZE<-SVIE(E@sB_z7QhtmGyLCkBdD2>8qyi&M+eqFQp^9Daj4B`Wz!0fo5mS-7Rye| zkSig4YMky;XjzfLG!E@c4GNn_s~s?wa!9obx2G>5d9b)pX+;Hnw+hq5=!Z2)y5WXn zq)6f-xmYx0{t(ue+DaM}TLQ3*k7gJIVf3hFjRXpmVsp`?eq$&mPs5d!P zp*H)gFix>mX$({7T(e6~gQd6@cgdFGZ2nWxf-#151R7CX6crb<9I!*)%y|k!*-#Dr zEvqopEE&qCQa2YN8H!lpoubjOX;!$HWq0S<_$c}oPT^L?Evj(^A!Co&5p% zM~T3mxfh@n%Q`Xdxrb3!eASYv@2o9XQ<$~C|5*w4Mnyj_A^#1{`2QTZ{qy2MOvVhN?DF8D@GdY%hbIU^3!K;6(c|Q@2za| zbN}8d7N0A7E6Q2JMwx$&69~N(g;I3kI#8u`gP_GnGsm;?=vqdrX0NP*<|k^gvq~v1 zfvN?Q&;t9)OZZ-mCg&`O(%}98)eF)YMzQ%*VM1Y=0+xk#G8Ix5+WA`=D#(E*O5LVV z=mB?Bk=cRIan@n_5!x5pHEZ96+Y6sCm^mnWa%HqMkQj@DiDRgAX*}YBiVByzOjsba z5UoL5f3yj!74@+m4;ZUuxeH!c6s6A%*p?3f;l2{^%2djO0b_Y?y4?SI4_Fi7SHB3= zk+SI4MEF7%g06fZ;FVKuPK29_Lo+11{Z6p9bg=Fh#!=QGz<$ljny9^DiR zJu4>I^fmjMx(o}FrJATb2)Ai@#t99&PC=E?x+3I(K@dyX;BqeTlZYl&W6&HdRyi(+ z4JcRB_hHSf@NX6i|7NMUHL0pGlL#%pR~P=FNG%De2@S-()3N@O=-lU{GbSUfUw$;Y zti&O_6P7>szs@h2em3?iG3GrkI&34A7+3JYsWhiq;R0LX+ViK#WZ3tDU5>wB1ss3T zv)vVxOO6X58`Hd6SEaY7C`8_>sL4`h(9{9Kny3I4t+`>D6I_{r* z-p1Y>f+o*6Bg)Lx|)x_rr}fVf-$piPRTuko+PZ0N|(aMQ!Hs zLDl)71{9{n+xeodFw~4eztm$Dwd-Ck7&AZzDy-I{ivbnhU!@1pSzVxG1`O)%e+ihc zte5o43^c9#w*k|nSiiX!tXXdkfORq8?M{<-_%HOdYQYSVth=?5hWl4)&J1D!FHAa3 zWAU$0_B+@F)CHY2PPn#KZ)KXByiW}P;eJ`Y@_?-a)&G0nwNdttzq!@>m$Yog{$sps4P8va6fkERh$@P8t#=xD&x?^Jw> z9e~iBioSge+BaNwPZprU+(N<{L>|KGZ1~6i()iLGWMckl#f(&1>(Gg6`#Q#sGyTP% z$RL(RmAKCajMZ0Hb?IKHWU$H(H7WIG9sX4C`T{#3F=>;x`plJ$A^@kpWPEk9PX{D*`IX@Gq;AIJ+2Xza-MOTVM4Jhhnb_GOl_{8dE z2BkNA@8UDSZ}K_x_Zz8xjHIv2@?)tu<^v>OnlVO1{UQ!xr0koEJ0&7n+?#p`a#&a>GXU_I-4M!X|f@e9-W|YWE~wl zE+DCRZG$uY1W%1}InEar224D3|EN9xjNlOgluBuvU2zlquzdYjt}MHrhxnir9x|YP zvb;s$GSHdtn|S#N+TWCBzNz&wFuFbzO6#!{t*7-foB7sfF{t!m-*DVvTEYvn-_&{= z&y)Z&>#^=;@a>&;o@cB(nru94f*_{}FH|&9YHeFx(6H@(Aa6a4m#(tjDksDQjoavW z`1ZDPb^mNOGeWow)V+=2Q(#I5>Y4~Ow84Rkr8KN0_jwx|Lg*Egmd11gKI?v`Ak>03 zM=u!BA_!wPLDqJ9rRw&!I5@n098U-Kxq$3LcvBP$0YIb2=Vd0-+fErTXs6lVz4tuc{_KW zB_zzdr)4`)&F;hTb_K_cLETF%?D_XfoUNyPKw01NL5WUg!RkvISVp=q{0(j_s~8&w zh$W6W1Hhug#)o(7jX6CC@wP4m4no7EB~4=tIrLcGJOony_-z6m%I9)iWI{i}AM<8; zhY-mQrejdFr+1nZJc5Pb5jneWWb;s=#_$o>)D)io=+&`KC0fybc5;LymZx3@Q)_C!7T+BAYPUj+N~bC0@0=>R4p>PHzn z6FLs3i|3rFM{xLX1nX1$6dutIAB3Y)3RUNW!nn2Xh;&}xwcp0G^*0~D`=X5hEl0EY zI8kkOk^~D-d8jl^UZRNtm4^QjBMoh*1!ei^MngQ}L%ps<5$mFE^u1&IC`A>qEm|a?7{@6* zF-C|&{A8Y@j$Cxg4kr+=iv9AODi^)ZdfEm3DE*;~*qZds1zMpV8x) z`pMOR=^|FHc(&~e00NbO60VChc^7{kLU{z6`+y@atmIj< z2WlGK7o7Y=MuYO4+$Hc_*hQO|imvS3^dMGK(4L&5Z7T`l7T^{&PcjP6Nl@y-gZMi` z{Ee4U1vsMs_b~KytwdU7U!{{{u;r^I;%SNFBF5{B7_ae@d68Ikj9I=YK>qj6suuKMeh zcmuQN>vGh1(f?FBS&bK8+;6s^1E{3ceOgvOQQrV{GJ#>+GxcV1?7BKrZ=S0rcdx`J1vuUKK|RaEg6RwG`u^L5N= z=(|FEF21{mI|(=?OJKB=#R8?x$ukkG&4deLS=V;_6C8465AB~DdkWAYyL)PcYo_sq z5EC93ltlm1i>C2~ve{H>6fT-7-mA@FVCGHlF4MdNe+UyF$|n;I;B zk*qScN?2@)Uqn?qCPM+IQY}Yo`Hc9*G9A2Q`&})`@p`^H$^I?R-|Yr*&o}jAgzd!& z?gxypz5VU^rd~VT?X^fysOFR(#466dLtaJAE$b-kJA^7u0f*e&(5vET>dvE@;5d7e z+8EfN;!vQE`oHCw2jRUNdIbqh!UqGUtLQ5N;D%y}eMJCRDK`srqNPXoZP6_~T&mNb z1}uBu9f;*lr8A$>a@6!|d*-Q*8o~AoIP6>R6yU#;i2d<0DFEZ$CFBvPxVt2Mnm;|x z$a--jl5r3~d#inm#e9MOoD3y>#LLBv&vESEX>t^9IflSQu>xRSj$>`Ve6t+jSWEeS zG(!QW-eCe<|MIhbUCGy*-9*nmWmRLxnc0mbWOmM=oxZ&S(WX+}1%#&9VSz4IC@ePE zdel69Yny@eCW&(z&M;8;+}j;Q<`6R$O0TVL{%9T9`jwHy1e>E~Jl{mN=J2FD_MHvR zZO?BhzIyhd3x9m9`0%=()HM_HR&Tj_wBB)JZ%!~d8?@DR9|_%h-AKZPZ@Y&O>)x#U tNWR@M;c@4acc-kMGyPAWe!b`OZQFPK+b6RRjo8~fv)MA|gtzzV{{c*E*FyjR diff --git a/etc/multivm_bootloaders/vm_1_5_0_increased_memory/proved_batch.yul/proved_batch.yul.zbin b/etc/multivm_bootloaders/vm_1_5_0_increased_memory/proved_batch.yul/proved_batch.yul.zbin index 89adea2da47c73b32983732aee74081de5845ec3..f58e3991c2f55ef57bc67435e1014f911878c2d9 100644 GIT binary patch delta 14779 zcmb_DYgkm*wPz2=9OB5FgG6SWfdLT_M21l#5-~_ju1TDG@fnQb1z$CdlPHSu0bfj% zR2xY&E{rd#Nwx8&(r7#0fvYoqU1_TrJ0O zuW;PdVH`(#6OPNp-yA1IKEiRvlW@n7Pfoy~h$8YCR7cDrjc_MoA^8J%B8$fS5upnZ zs>vXIBUY@0b=LR%oa*@(@^geE2xl>#$G@KBY{oC8Z_)S_#C36|U7%30ixZD>T%;MP z*DI-T7JQ!`yBPK!P8gBP!0lJU8Jk1Uu?OjNQ_z7sT~?4*sEl&pXKhp(`2;@2&&zNl zDlPd+#Bi#yZZRD98fuJdjh-uOtV?v{K;-rc3^JyXR&TL!hk<&?t5;%@GD4wG^e9t2k&xOGA zNOUNP4k1X#iqDBer;Eg0#r=#L#aR&`9d_GoaNRCIv)vraYjD7x;DCMj+6U4{3!?M^ z&a9>y8YM=JV&J2o#xQBV-5vpQg>6?w+dU`4*WYCudqSrEZHxo0*S z(OYeE5V4yC&1eSd?FuPldCF2jEDNGkgaES>o+oCg8=VD)#Kl%2LUIg_i;AE=$%_%C z)Mt4SY7&p*yv2?*LSmsRX{i_|k*;LKsqXK9p?#1fj>&z@efWpfASxYGanm8YkIjz~ z%lA;DfN3yGRe+RU77`D6y^5?>Ukb8DAQ_H}xhDq}Z-csC2Z$X!DTQL9L~jYhWn+p1 z8d3zfhvPa9Tkl(>-D^q>D3lc`uMaypT1ZwX3sS29L7IK2LdU1&hz`x%wQ20!NG?eu zu9BSDz$b&dZ$3E&)qU3|(F@liXo`w3!S4U-zRq-#KK^kX$A*m__FKqK)PB8l>CtIN z|%&>Katdd`c?Thme-~-rIQFad-kOfAT5P1dUG?h9+;|)1mU;Xf9UHE7;IZ_7Chm=B#n5)r{s$w(nk3wx>2^k9Q zg|o;xm@#@Jc?_#Fr>Np-xqFRc?GM|5*Duw={og>_`q>!IN)r5t_ z1ML%bkZG{}S(=dBp7ndoGB&SFalqtB0<6MOfrF;pgT%(HQ9Oeea|2y}X+sz2~d%JC|&E^I-l> zc?$k5r2;v+=p!k9wd%QvK8MnkJq`RC=v`7m-iE4@Io5+jAnTE%L->6h`Sb5*90pUV z6YiB-^dVf=Wi~|I7a_FEM>EsX%XojfjYxO-Pxa_#PIW>`NQh=nOiE|wGff|zlB(cLV88o*HALNkd9L#uiE=wu()JE3v>@iAfO0?3LzNDtWVh>-Pra7rTBu~J6FJiDak_4XjaBDy zl10$safq}HFNl4W2^iCh4(R$KwsAQ6y@-pZ7Q_=8q%kx|=1c5Ef~X2RKH6LTl9`Av zXgI8!qmMWnOmpw1pOLlV>&!R-D-pWx@Cg#Vg^a|RWe(_9hFf!GNjkw+QGOu#alVgNOUHto$rMCujqMmJ3=(f*Mlf7cS2L8 zCEC9x%z?UchnOdc{R+!^IkH}ktS>;;%hAwUkh}#fh*q9qP`lvAfMN$MC35Eyqq=G_@j*GFAxG`UQ?n8o8{m58LEINUYMq%YYYMx%?kw_ z=by6^G;0^?6$xk^S8CWaDc0Zz!g?fZtjfg>zrlnBD$RQRnl<<|YeoMEiHk*^(jlqLh6&FM&yO1a*S{JFrL8^LEK8@xCrv96~9VJHlEXQ#?SGL1-&jv zDWtF3ae;p>Y=5Y2a=Km$8_Vs<8o<98HX1d>su_Z7c-WXUh2@8hMdusZCb+W0#;jkJ zG7R_S{RJsMGi(a9yBtv!-&3anMSl|2mG9r-i7GuGq-48S>g5Fr@y&8Q2_7MA`fUl)JRfYWpo zA#r?4Vn=W5%cuoWZhdKrJL74ne&cSgzl`>sCHu?hPE<M;d2?L`i*>LC7oWWV6xQG&T3C$L* zGTZafQ1|9dat3POa`+k+mQlBIGgi~-%=TukHWKj-jTJ*7t^)hoG-z1UDy|J17Z5jS zUK?)EW88&dUN<;N160B#+=(u(!Rt>@SL54>jvvUh8SOQ=!@3bWqjh+$i9_CrE?zfM z!pQ0W8OI%>eVMc)&0?x7Bcg=qFnXhnrIhv#l{ku5!r6C_1FwBO-Wb{ll^f{hcFTqm1i(&clSGx3qIe@KMTa2uK9K7hlW>dNv}q36 z?5*5nmTskN&M`<+H~nIW_zSEbu%hU((kJ*vuy2_q&7J`7Z5beLQHum^Thidj;kbYR zL$}T)uS4C|k+?a3XX`@BGc0-cY4R@Ew_nAh-MaU#5^1_^+mZq=-wV8S5J-7{NZ`c| z-;3HEH)X8N9|W7n54`msoF`4P)E0C!Jwy8fLSg5$!#!p6etR$>_s8ivy* zir;{x<;~<@%Wr%9&@touM6dmKMiS`VCqkz8?$iDp93=;7eAa!CYvpP;NL*9hdiLDa zF%Pmo=D(Ee<4lS!n>VZHP`>YA2N|g*Z`G%2{MPIK$Vry^TACi;%K~B*AT^-;cIBjj z=fBcCmv#NV@;U!L8BQBmzhd}b$-mK$MH&JQtB>#`9CL< zLv|NX{mC40C)JvzIhfqQv=_I&_TuIoj(&Rus}a*3Etl>Q>B2+&GDN^+YCH<%d+~74 zyJs(^w`q7?CJ~mbOUH~`T<^=#mJ1Box_Z1!S8s+3^&&LX<91N}L{bOie}5Hkw&m@= zO452soO~5TQKeZUzE8J&MbqrCTuTs6y>7~I%+xA6QBYr>0EZ4{$OpKVFM~5e`#}fX zJBV^0!iD4zreNu+gaV}a5DOx}&O^Sd5(;U{4?3Y4rKFNBKb)QV8?~BMOwohI^tF3! zKCQ=fqm2i8Xe3R7cyLcOeILcLQ$>8LTk~V$d*f)R)Obx7f=!K-gGs z8uvwU3_VS^bKR#gJn(77>Cv)Z+8$zXTJUW%g+GIVbK38h3Xr@rEC`;;pIMYPMdD8g z5>j~`tyI%(0u8BdxwatOei;9`?iwpKkCEr~T0ZQC3KEe%+YNasKOEQdUg!M=k94ku zjb+02*ZW7^P$+e#`%a7f-01X!xIvQs-%2iYpz%1l+gAtWfXvHI*xZcS1qXInqO`f7$Af`i4w)@7 z!JPiv*+z^dtV&GMatNi(Hg>X9sk3J%Q(>vqic9a;*<=vx`I_DWjl4J~^{Au|Mj#ah z?YvDFE#fgX7PMc)U1wB5ze}_ab6?6YI36KYM|8JD{{M*xt`t)reCux zeZRR#A6%pi_Zc)^nuE=5UTY4S2<5G_dH8(B72FrSf)^HWOuph@QWPMy3J|(u@oFT2HU`QjfW4R2@It82scunjLA<7mKfuT7vG@1ItXQ{I|Cou(b{jH?bq zS{B7jXbWPhEGorKLYw?=M+}^*YLp8-=DqsXx#Sr#oo=}d+MgGuw8#jM>{lYM%>WLnsj&nG?ka*5-xXo2{qBG@2`5L7j1~I=|Zqo zUl>zMRo~zAre>!GHq2)Uor|sVVH)JW7*u;Z9Vq< z<)fwvkDM=U@(%xJe8k$jkrW9=|8Jc4-S#9$(ysBlH=JtNvMcvZ?~=R!>hjNF`IoY; RpWT0WYHB6_!iE9g{~wMTU@!mx delta 14418 zcmbt5eOy%6mG2Hb<`G7CAj-!K42Y2+=rC$Pq85o}*_8PezY-$if)QgHF-FBu0}W=y zV3jn92Q-OPOl51c(wI8@nq48quV@t3kNA}Y62a0n6}qUg>#voxd+vL0-n^MNyqR(T z7+~%_=iGD8_qq47_v66cj|1Pblf!SfW|FqI2a`z~M3PK$5^N-&oU%9K--)LQ&onX& z^D4tEo5e6>JYkqD{LV0Z;G+zqKLdAl+2k}#3n(C+P#3V0{1@B}s32#dEU;kyMTE{l zs7pHGH)2HySeK>oD{kXg#c_lq2p6sY0{?n~G3vh*euwM7f=Jd<-A$n)HpYL-Fo9u6 z{S#LzOf=4?DCU3fHqYXGmSVocbza}2O@9hw@^=Ba%hr-Us0uRU&&Hr+ave_K&p*Im zP;z2_z-%hwQK1a;8j6_d4Sq=!F&i8>6}Q(9)AY%t&t9b8uOr{u10Oo53m(#cBnb8v zv>W!L#@Zt?sm4YX6Y@O_hwdVOhx)K;dBVmwIVWlmR>A-qpKqTt`ZGel1;d!);5)i> zf$VosKIY(jowgiMNemOCkfT>QL;2Y36#+V)uE8)m9c~Xd&FGjohT#HT#!;`*IO{Ub z%i}?4nF1X`kWLJa6M>GNat-HAMm7fjN`ZNCMi?;hW8AdN$#9Sw$HNl*XhN}JzENXC zm2lzit8!2uT}^@^GNzU_2%H{?F+y7m4|%aXbjPUq93?{;5ki6@9d=u6Hmc2DXEYOm zH(}4vX&QMiyg&&hquep+fTFkx5)Li%CW9`1V@yPVU;_*j6hO_78y!$W&667q_3@{0 z!6I`qA(2p%P|c1N2+o^egx!;n`3XF%nxNi5lmm(l!M{@AJi>c|qi&l6l$tR^riScA zj!PynFmqf%j8O_kF#$-2VM6bV9>c{!%eW2_4`oUDY=S_gH^~UyNj!v%=iz=5k5mlf z|3Ut4H#{s$i!PLhERV#tC@l(gzzKzfdL~e5ElSR06Xm52B+E;w>};I8Ed?EwT_l0+ zk!*4b>K@sZIDukByyA#&j7iw;ScYfPnYA?DLHk6rb8GgRlqfJHGotzJ5gp+ODL%_)csUhbg6De&WuIxMg4GTVO(M78Y+e#vnVd_Y+r&G) z*D6Ghh)RbRxT&sLg5i)62$1o(kP1Fshj8U(y1M2=rbP+Bd{ug4>lm%R2Pv@^{CQg6+Wht zlI*ci>GVVul)_(~5=Zt7nFVAKlxBWRo&wYKV)kjrM%=#`Af;;Mp*JVrat^sKCU)f(O)Q3 zn-dCG9eli&EfzRZ2gnn1a#glcBEZtrGh?otppZ`4T#G`!iU6si;EX&9%^Th2D^zA^ z?UM)(@w4M#^ArC}Eek8&qELXoCVVs<@=CgWLiSy6Zll-!|uXIAq8T|%)LNmBFGHeIk**_L{>q~Qx)Vz z7=CI$DTU^zX&mi;+F=+k6=J+tign&L9<~<>aTFuw776ZBK{orkAZ5>RwNUd+F4+oQ z&scCr!_QDT7cI`mowh7?ZwzQb@2N3}mB(Eh1EW0d+8CH{T-g{<&Q=x5J5ZUJ*cMQz zPM@Gsm-s?!yAw)faU66lsl}FHQBeWxTRI&zP!^a!>WbKKbK6w%tXvwcqOl!XiZT(i zXKBF`R~$MO8Y6}=ia7`65D|!tmR@eMrTHM7&%#-0p8L6KMbz{%Hw)t46j$NiLhKv~ z8@-O9^*2)E-gXV9pC#x*l9%iK}*@OXHLf@AO~OaVXh}k#;LqX85Vxs;bQN z-^fsHPAIFJm-^rvrvAzBx6&95y&6i)#0<6-$r>Si!Vjdmc`rm%@Zu*%8_Gv1a2CF~$O_y>U4Rs~)K~76xgON-M z^rB68um!GyE`k;l8^rxY_)`LW5Oa7f8IpdiC2w1q#d_QCUA2^1plw+w{HZL0eMsOj zVKpA~tj6T|A`dfGs|=iTLRI<%)$J413|viGG0}^&a3S`(7sCi!CbQeN#&_h^V0h_X z+yzlk(h&~BWA#FF7H1Y{&R&cC&|2(=*5PMuf`)(9ug#P?*;|M+fH+3P30X%gFw;6S zr+u4t9k5wa`*-W`7`T`Bpiy zUydPd1G2wCt#v0<9zsY^UbmGEjT`=vb4(O=SfwarOcO$ae}1AIsc>6 zv^UC?yDGsM>(~gy#0!~qSlO%%o1*s;e?63W=$}?0bUL-=!?qgNn_*R17@S$JRcSb& zKCkiuh1t3ERV|OE8QcVOE0blrTrY}5jx?W(B8>0Bd(Lzm#mY}?VMI&k3c>K(c+hP+ zJzq*7`U`k7hX;lX6F@f6*0_YE;mo0Ihxj@sv5+Lw>PTOU2~OJOj|u@9+<@OI`W zwi;e`tDvRWt?K+xrp40xu@orThBr@zVH25{ASR#~O~Omo<3gb2jUjRY8h>t#A+Eq-*Zm4>Po>TX{Q>@Z; zqaYz%1y;R_O{~b322`g6HSlf%E@pUd4f%z=>b)@G8OQES9gdy&MQ(T#CU#8qW4B6s z*$t*WD+LbX;Qc*Q*u4_>@ZFwhNNvJaP~bhSshZS6OA|d{zuQ!S#LD&-kY9qS`37F1 zw!D9X;86WOi!`xMo-h+g`qgx4_ycLUasLp7ulpcbZsQKv+dsHU$iLa^4>S?C>zvU{ zIQrZql)Qt5`rlOG8NcB}%6a*R1sXXI%V5X3XH*DUh;L`QigQmtv8d8>7{(8*!DSf` zdr&KH+n&vUS2Q6E%QGSzOX`p6X48&_dk^cpp~M!Ep|Rh4-aJ=mHyzRwSr3JfX218O zBYp;n9u_ru1mrzp>FFe{DmBYm?`dmi{=aKWj0<;P!)pyX|)tQZ4m% zWB(#<5YxHP4RXJ7T~r?5uNoI+{cG28?$=~C?Is<9;r5H)(Tv5@0I5cw=tpUdnaQf1 znUK1h{F{YR|Cj%9I?-#X4|V^!hW!nd8YCRXkaZZ(eDE{lFt2)NpvT)4TKjxYgm(r} z|B6WHSNfAsei(1`?5&3}w3Xs(lX!TgAq9hHQM)6^9%+w-!|mZP(2kdq?KCP5wyz`~ z!lF-Z;OnoMzrR7|3vVi-zm)HC+;6n$9a@TF-s8hS#e4@$J0`uxi2h2Z+5xRcGNl_< z{-_Z`j^eu?{G=XL9~)T(sZgj@PAFu(@u=gS!jX0(EAR!q?f5oK*jV|oZ1$iePcun@ z*(g<%rYgbG2cxt@Kno0{F%B=xsT5s=rlx-PxK?qkhb-EnThu$F34u`$wtcEa18eZ`DO3k2UAdZr)|18fZX@#4Rq_!Go}w0;_E`lXhoJd% zHL=^rpQ$FK)!y8R58qnt?Oh#&{hgr4y=U<);#oYUJ%?|7&Z_N1u-qNz@T~;`r6Q2= z9JTPYb7nYzBTIyDW#@_|v%7_m0|-@l9#1RJtI3IGN1^f%LV`kiRp)Ex3(sSWyll?y zPD0<0r6}e-I*DQ)-ai!}xphS;x99+}YkGMklwr^|4gJ8jT7rgLn{po|y&8ZTxoRL8M?ne&BctWPw z=YD|~H%BQl-0F7J`RDu05Y}T*73jxgxFGxsUo4FPcU*!q!%(*Yy89wMQWF|*VO1Au zswW$zaOo@BwwSsdnRin+Uhj4DZ~#BMyQTJq6Jg8PNJQeE=Ew%^LQU0O?NS#5c*TaC88a=a6e6&#BjF zTVuPHopU-sC_CtBg7`8&fGNS_67Ec(I8Fl6mv!LxPU$-nD8U7aa9z-KZ4Le>$;{qN zQV8X}E5*yN9eo(MdoghLVc_ng0xIjaz>+>*C62RDg-Tq{Mk-Z>@I8I`QfQxd9fS6D zEOGF&>iS5bokAUOLQx9W9TkOIU9Eq}*QlgDXS$;PY*su+Ins}>Eb+8*06*RRLgCd< zUx69^SWC{^>;HI;_KBr8%(|7rTj#j`5mSp`c#3(CsYNmGb|k?GX)UfFUSQ)Ur6}OM z(!qKQPdINbV};}gy*IJax{0ZC0AJzXq&qSUXr(Y3#iV~3itF<^pWuNu92oExj}}lv zW*9%{Drzl1v7}nd4=kb98q}(jXoq=56GEu9{;WlV%2#S@{NT;A-9`>ou$P43@X-+Z z$Pn7?ok%!0WS~AWluItd_**x~RWRIMNxpz`{P`vH+@^19hi{t|uru$NrJLOIKJLz+o9L1(t9~SuoQOc2NqpR_}4XM zr7LkPUj(_ Date: Mon, 26 Aug 2024 12:12:07 -0300 Subject: [PATCH 3/6] Update hashes --- etc/env/base/chain.toml | 6 +++--- etc/env/base/contracts.toml | 4 ++-- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/etc/env/base/chain.toml b/etc/env/base/chain.toml index aca6f4f7f68c..46bbab1736ba 100644 --- a/etc/env/base/chain.toml +++ b/etc/env/base/chain.toml @@ -90,9 +90,9 @@ fee_model_version = "V2" validation_computational_gas_limit = 300000 save_call_traces = true -bootloader_hash = "0x010008dfcd3aa2beca1745f437e42b55a1657712bc063e2d52aeb2dee138c399" -default_aa_hash = "0x0100058d8dede04786d92d2dd62bbbf8b696f62c5db1d4b2601ac6276f5dcad9" -evm_simulator_hash = "0x01000f19ffd06646d0e66ed6f38d889c329dbabd347b52e3ff93563878a9874d" +bootloader_hash = "0x010008dd3f208e44f99d60a553ae18400866c23632ea0a1cab5d25a0a07693fe" +default_aa_hash = "0x0100058d58d325234b3d7e5b8f7da9048313ba4abad0477689f7351f1edafe88" +evm_simulator_hash = "0x01000f196acd122635a752fcb275be0cc95fd3bba348c1d0908a517fe316418e" protective_reads_persistence_enabled = false diff --git a/etc/env/base/contracts.toml b/etc/env/base/contracts.toml index 7e7b5cf3ca51..ee72c21fc345 100644 --- a/etc/env/base/contracts.toml +++ b/etc/env/base/contracts.toml @@ -26,8 +26,8 @@ RECURSION_NODE_LEVEL_VK_HASH = "0x1186ec268d49f1905f8d9c1e9d39fc33e98c74f91d91a2 RECURSION_LEAF_LEVEL_VK_HASH = "0x101e08b00193e529145ee09823378ef51a3bc8966504064f1f6ba3f1ba863210" RECURSION_CIRCUITS_SET_VKS_HASH = "0x18c1639094f58177409186e8c48d9f577c9410901d2f1d486b3e7d6cf553ae4c" GENESIS_TX_HASH = "0xb99ebfea46cbe05a21cd80fe5597d97b204befc52a16303f579c607dc1ac2e2e" -GENESIS_ROOT = "0x45f206478fac785d68ae8217999e8caf66c4e67fea1db90139422e5c4eb5cc51" -GENESIS_BATCH_COMMITMENT = "0x9e598e2b5784e62dec66ce37d92bfa4407d7441fb77c003d09856221e286eb95" +GENESIS_ROOT = "0x5ab472e5873302cdc149a041e71c79c55cd41fd1098f7336980f7c9a492bfd38" +GENESIS_BATCH_COMMITMENT = "0x113d5bcd38d813d2afcf0ac95ad268039ab2a6264d165241e834a970586975fb" PRIORITY_TX_MAX_GAS_LIMIT = 72000000 DEPLOY_L2_BRIDGE_COUNTERPART_GAS_LIMIT = 10000000 GENESIS_ROLLUP_LEAF_INDEX = "56" From 75c286dd606848761d144ee2524b9b91ec7249e5 Mon Sep 17 00:00:00 2001 From: Gianbelinche <39842759+gianbelinche@users.noreply.github.com> Date: Mon, 26 Aug 2024 12:16:06 -0300 Subject: [PATCH 4/6] Delete Storage.sol --- Storage.sol | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100644 Storage.sol diff --git a/Storage.sol b/Storage.sol deleted file mode 100644 index 85eda3f34da3..000000000000 --- a/Storage.sol +++ /dev/null @@ -1,14 +0,0 @@ -// Storage.sol -pragma solidity ^0.8.0; - -contract SimpleStorage { - uint256 private storedData; - - function set(uint256 value) public { - storedData = value; - } - - function get() public view returns (uint256) { - return storedData; - } -} From d73bb430d1b3902594f4fb8c9069771eb9f9a3f4 Mon Sep 17 00:00:00 2001 From: Gianbelinche <39842759+gianbelinche@users.noreply.github.com> Date: Mon, 26 Aug 2024 12:36:23 -0300 Subject: [PATCH 5/6] Update hashes --- etc/env/base/chain.toml | 2 +- etc/env/base/contracts.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/etc/env/base/chain.toml b/etc/env/base/chain.toml index 6eb1557a56c2..b987cc75623d 100644 --- a/etc/env/base/chain.toml +++ b/etc/env/base/chain.toml @@ -91,7 +91,7 @@ validation_computational_gas_limit = 300000 save_call_traces = true bootloader_hash = "0x010008ddf6824c3f8778b86a85d568ddfb45c29bf23b604fad20b91e6d8d458b" -default_aa_hash = "0x0100058d7a6e6d8f0ba29e37f30a89475ae789f5058004af7df75868f46b7705" +default_aa_hash = "0x0100058d69da9a1ba9e97d8d26a67967a39e1a9d50d55a4b6aace7d98877a485" evm_simulator_hash = "0x01000f196acd122635a752fcb275be0cc95fd3bba348c1d0908a517fe316418e" protective_reads_persistence_enabled = false diff --git a/etc/env/base/contracts.toml b/etc/env/base/contracts.toml index b34ca5046b84..21614ee63125 100644 --- a/etc/env/base/contracts.toml +++ b/etc/env/base/contracts.toml @@ -27,7 +27,7 @@ RECURSION_LEAF_LEVEL_VK_HASH = "0x101e08b00193e529145ee09823378ef51a3bc896650406 RECURSION_CIRCUITS_SET_VKS_HASH = "0x18c1639094f58177409186e8c48d9f577c9410901d2f1d486b3e7d6cf553ae4c" GENESIS_TX_HASH = "0xb99ebfea46cbe05a21cd80fe5597d97b204befc52a16303f579c607dc1ac2e2e" GENESIS_ROOT = "0xcb36c2f9065392206dd4aa019208c0b36484a35ce5a77af13054c51526c7714f" -GENESIS_BATCH_COMMITMENT = "0xb4a4e83cc5264fec1f41762433c59f3b8f57da49bc222d4214cbdf7cee8f852d" +GENESIS_BATCH_COMMITMENT = "0x45d4f53e451df9bcb5dc00a86f64bd6b4e8ab991d970919b6127e214f5d38550" PRIORITY_TX_MAX_GAS_LIMIT = 72000000 DEPLOY_L2_BRIDGE_COUNTERPART_GAS_LIMIT = 10000000 GENESIS_ROLLUP_LEAF_INDEX = "56" From 318e7320d60869a13d33a71118ec746e13636673 Mon Sep 17 00:00:00 2001 From: Gianbelinche <39842759+gianbelinche@users.noreply.github.com> Date: Fri, 30 Aug 2024 18:57:35 -0300 Subject: [PATCH 6/6] Change hashes --- etc/env/base/chain.toml | 6 +++--- etc/env/base/contracts.toml | 4 ++-- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/etc/env/base/chain.toml b/etc/env/base/chain.toml index b987cc75623d..106ad503e7f5 100644 --- a/etc/env/base/chain.toml +++ b/etc/env/base/chain.toml @@ -90,9 +90,9 @@ fee_model_version = "V2" validation_computational_gas_limit = 300000 save_call_traces = true -bootloader_hash = "0x010008ddf6824c3f8778b86a85d568ddfb45c29bf23b604fad20b91e6d8d458b" -default_aa_hash = "0x0100058d69da9a1ba9e97d8d26a67967a39e1a9d50d55a4b6aace7d98877a485" -evm_simulator_hash = "0x01000f196acd122635a752fcb275be0cc95fd3bba348c1d0908a517fe316418e" +bootloader_hash = "0x010008bbde6fc402ea3a3d6cb15cb97e70245d3d4e48fb74362d4961b74c16b1" +default_aa_hash = "0x0100058d9eee51f4b9e9a9ecb7fd7e8301e90bef018c2bd913ed36e583fec8c2" +evm_simulator_hash = "0x01000e53aa35d9d19fa99341c2e2901cf93b3668f01569dd5c6ca409c7696b91" protective_reads_persistence_enabled = false diff --git a/etc/env/base/contracts.toml b/etc/env/base/contracts.toml index 21614ee63125..46492304b3d0 100644 --- a/etc/env/base/contracts.toml +++ b/etc/env/base/contracts.toml @@ -26,8 +26,8 @@ RECURSION_NODE_LEVEL_VK_HASH = "0x1186ec268d49f1905f8d9c1e9d39fc33e98c74f91d91a2 RECURSION_LEAF_LEVEL_VK_HASH = "0x101e08b00193e529145ee09823378ef51a3bc8966504064f1f6ba3f1ba863210" RECURSION_CIRCUITS_SET_VKS_HASH = "0x18c1639094f58177409186e8c48d9f577c9410901d2f1d486b3e7d6cf553ae4c" GENESIS_TX_HASH = "0xb99ebfea46cbe05a21cd80fe5597d97b204befc52a16303f579c607dc1ac2e2e" -GENESIS_ROOT = "0xcb36c2f9065392206dd4aa019208c0b36484a35ce5a77af13054c51526c7714f" -GENESIS_BATCH_COMMITMENT = "0x45d4f53e451df9bcb5dc00a86f64bd6b4e8ab991d970919b6127e214f5d38550" +GENESIS_ROOT = "0xadcaa4f5e2230c8b77973034975c6d541551f2831d58317550528e7761a6960a" +GENESIS_BATCH_COMMITMENT = "0x94f1ef45aa30f5c10be838bb91a1dd9ee2d03445a10aeaac4c611c1228930368" PRIORITY_TX_MAX_GAS_LIMIT = 72000000 DEPLOY_L2_BRIDGE_COUNTERPART_GAS_LIMIT = 10000000 GENESIS_ROLLUP_LEAF_INDEX = "56"