diff --git a/src/config/setup-13.txt b/src/config/setup-13.txt index c8b0af032..99f04eba8 100644 --- a/src/config/setup-13.txt +++ b/src/config/setup-13.txt @@ -1,26 +1,26 @@ c8ceea75f0aa05fdbdb20ac41b224355fde07a0dbeecd6649ff8c2636b9a759c build/c12a.starkstruct.json -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/dependencies.txt -d152aa8f3b82f5517fde6f7b658c65c0413304abbf7bc39da5b72c3f7d095667 build/final.fflonk.verifier.sol -f2bf86d1f2762664a3fca0060273114283a974e8b6b772f2a911dc663e0878f5 build/final.r1cs +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/dependencies.txt +659dbaab8a5874446f717288db62cd4cf48282ef9a357bdb7d5187f12c2010a8 build/final.fflonk.verifier.sol +d0607abf583a12c9dce6273bd53a7c272dcefdbf022bd75fbb92372044e0e94c build/final.r1cs 66d090bedc8a30f43e6127522bd06fc357e0b5180e7f52149f215c9056aa5803 build/final.sym cd50862af51322cd6447a5382b1a7aec16f6847d09b2e9dfe58baf42410bf30e build/final_cpp/Makefile 3b2a847cd01a06391f3d3ccd37ae0deda4c61b40b6ec01726c21dd6993be64b0 build/final_cpp/calcwit.cpp 9ffa8ad709695d44857e24b08eb4c5fc3465c198f8de06431db1fcbf505d1ae4 build/final_cpp/calcwit.hpp 46e657f0ce98a5878e0610242c2327cc20f6117b46aa2c55353bf3dace70a6c8 build/final_cpp/circom.hpp c3245815c810ef6c71d0ee1e671c87e98b0f4267a29e5a6df4d0e882e8681848 build/final_cpp/final.cpp -81dc2dc6f26ac0a0e0e56e90ae34298fb5ca78f46b74fc52dcd45925397c9303 build/final_cpp/final.dat +ff8f879392a5375d9aade10cd461a920ec4cbb3b3a25ad0cbacffc434c140b67 build/final_cpp/final.dat 8d261723a9d05668dcb2b5f4e53e84498476b3cfeb17d84834bd434b246780c1 build/final_cpp/fr.asm 4078f766e2ec8311a663ca0abfc5148319c4225074ccc85f789102fb26e39c54 build/final_cpp/fr.cpp 42339e6a440b40fba7befcb2bb8b2b1c702a30bbfb7947e131130eeb7a0eff44 build/final_cpp/fr.hpp 2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2 build/final_cpp/main.cpp -43a26fad8bf7cc59980e775485bf80b175a58198c032cb00e6212efd78d7b4cb build/final_js/final.wasm +9445dc4c6ce5eb0e747e75e1ddfa0f865df9b18cc18292a3406d52e1b0ee4d5a build/final_js/final.wasm e9f90211859797466368231b5f02afeb84afa497c3ccd04129e0a57a5c5a3eff build/final_js/generate_witness.js 2bf018b05cb6dc399e72f57721d0f7b236b1a4a2d438d8b1c6763e9cd38ac8a8 build/final_js/witness_calculator.js -d1a063b6b52c95d4d32e1e30318bd583e4c8180c1aa0e47be97c1d3f3420b33e build/package-lock.json -999f377a5229ce4d38e8db85ae1ed6f9efbba738f5f53dfa93b2182f3853bc36 build/package.json +3968136c8e72a293a07decc34ccd3ed0ad023dba27f3e9c2a33f71d91ecdbebc build/package-lock.json +55706faf7d6a57cb0f40db247ed95dc329072f7ddb476f095016f19f97521528 build/package.json 8bc8b44a7e493e447af7c04d1a362c2198f3e9b29e425248b7646c36b67fd02c build/recursive.starkstruct.json -799986872dc4d828b5a6b949bee8c9a25af1e7405457fc3754e81e7a2b724b2c build/recursive1.r1cs -5c0c91bdc8fdacf7c5f3d6c4123f7eaee8707f542200c8d8deefedadc499606b build/recursive1.sym +b0da4c7881e651b0559daa56e2bfa3a3525a6e02e5a79230a766d4f948a08c36 build/recursive1.r1cs +c5725120612ee5d8d8e1fe89df9955854646093c6b90ec611a8cf1ff67a31420 build/recursive1.sym 510b26e6202b989da992ab7ec1c602259174236966c2b3c720f2402b7e5b8f0c build/recursive1_cpp/Makefile 3b2a847cd01a06391f3d3ccd37ae0deda4c61b40b6ec01726c21dd6993be64b0 build/recursive1_cpp/calcwit.cpp 9ffa8ad709695d44857e24b08eb4c5fc3465c198f8de06431db1fcbf505d1ae4 build/recursive1_cpp/calcwit.hpp @@ -29,12 +29,12 @@ e0d14dabd9d604d8ac5fe13a69db712f1c02634a35647ee6831d77d991618a3b build/recursiv 4078f766e2ec8311a663ca0abfc5148319c4225074ccc85f789102fb26e39c54 build/recursive1_cpp/fr.cpp 3cc9d2064f68184316663175602f6a476a191e9403483d21d073e560ca83d4c7 build/recursive1_cpp/fr.hpp 2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2 build/recursive1_cpp/main.cpp -6d16273c1f16b4703d27f23f123b9da2ab10e32214a4753924f410d86b557916 build/recursive1_cpp/recursive1.cpp -5ed3d441ef2fb96e48ea8c17bc89cce6c6c0a80d15fbc66a222f89d26220e025 build/recursive1_cpp/recursive1.dat +862bf866348751d61041ef4122419584b5b4aee624b344ce1d54b35f2b03d111 build/recursive1_cpp/recursive1.cpp +2b9ba01d9b19d4381c5320930b94d19629e9ac613d6833da7ea911ae0048bfe0 build/recursive1_cpp/recursive1.dat e9f90211859797466368231b5f02afeb84afa497c3ccd04129e0a57a5c5a3eff build/recursive1_js/generate_witness.js -6544934411088602e5b4426d7144672f7743ad7095e8f0e0ab5ef6fb13d590b7 build/recursive1_js/recursive1.wasm +0bcc12b99dd06f66d053178c5e98176e5c921d281c0b35ac69023c05e3d0c886 build/recursive1_js/recursive1.wasm 2bf018b05cb6dc399e72f57721d0f7b236b1a4a2d438d8b1c6763e9cd38ac8a8 build/recursive1_js/witness_calculator.js -0cb3f8a4f8c1ada311eb20ee446da72ec18663c4cce387043f6bc44f19d6c629 build/recursive2.r1cs +cab0f9e8f9ac528b14687e693b28e2263525964df6a3ea54e6bad2d5f8bfe93f build/recursive2.r1cs 02d222e72be5ff927f759382c4950ba4af9ba36a6535e5a85fd23284d33ed54c build/recursive2.sym 2114d97ae95b5ffb890d0d8391d0b23335b7bf393837fe042c902d459e2ba424 build/recursive2_cpp/Makefile 3b2a847cd01a06391f3d3ccd37ae0deda4c61b40b6ec01726c21dd6993be64b0 build/recursive2_cpp/calcwit.cpp @@ -45,11 +45,11 @@ e0d14dabd9d604d8ac5fe13a69db712f1c02634a35647ee6831d77d991618a3b build/recursiv 3cc9d2064f68184316663175602f6a476a191e9403483d21d073e560ca83d4c7 build/recursive2_cpp/fr.hpp 2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2 build/recursive2_cpp/main.cpp 481ede9860ec9e05099b33a38bcee595f22e1310e1557530a182473b534734c8 build/recursive2_cpp/recursive2.cpp -37e8a53b1ee820a973ded7a4f9be6dbb1a3e3ca7132fc5f9556ed9764b999890 build/recursive2_cpp/recursive2.dat +3b7828150f69bb663b6339b5a91eecfa72a847d2658c55610c5028ba7ddc9f9f build/recursive2_cpp/recursive2.dat e9f90211859797466368231b5f02afeb84afa497c3ccd04129e0a57a5c5a3eff build/recursive2_js/generate_witness.js -344331996244507331474977612c2220f429b787c5b75cb49e44fed22f7dbc08 build/recursive2_js/recursive2.wasm +008344e710d76eede5a1616d0a9191c379b49fa28bacbf1c800e142764bc9fa8 build/recursive2_js/recursive2.wasm 2bf018b05cb6dc399e72f57721d0f7b236b1a4a2d438d8b1c6763e9cd38ac8a8 build/recursive2_js/witness_calculator.js -3fd764a577129d50391ce2aad8b135770e47fbf8e67e4c8679275a9c78ffd97e build/recursivef.r1cs +49bfbb5ef6c54c25151f5253e75e87b3e7033d50dd10ac1327dca5b4b4d91fc5 build/recursivef.r1cs ba99ad986178db98b1a867bb9d8592fa6ba5c29d9233fd939d01424425ce6cba build/recursivef.starkstruct.json dc222486289156d8a0a60611afd7988252e6eb450111ab95041e923a8f68cce4 build/recursivef.sym 275df6dfc94d6c5fa080dc66d3d5b0572692ff687dbfbd8d339d6b564bb4c4f6 build/recursivef_cpp/Makefile @@ -61,60 +61,60 @@ e0d14dabd9d604d8ac5fe13a69db712f1c02634a35647ee6831d77d991618a3b build/recursiv 3cc9d2064f68184316663175602f6a476a191e9403483d21d073e560ca83d4c7 build/recursivef_cpp/fr.hpp 2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2 build/recursivef_cpp/main.cpp a3a0185749d741fb1c9bc4f153f81d4f4f81cbc588b6073d1abaf3bfceba7deb build/recursivef_cpp/recursivef.cpp -249784a7c0edc31b2d4ea01156b9c06eb7ebce83d048102779b441805757d6e7 build/recursivef_cpp/recursivef.dat +4bfe1a6e02912ff76c09142a8e74dc7f3d670dcbbf020030badbb92365beddf6 build/recursivef_cpp/recursivef.dat e9f90211859797466368231b5f02afeb84afa497c3ccd04129e0a57a5c5a3eff build/recursivef_js/generate_witness.js -3dd12ba92160a07e5ae68b4915ee840c33acc4da0aa4768da8f81db7a8eb8044 build/recursivef_js/recursivef.wasm +680758a2f1bf60c449cdbad280ccd6f6acf501ce65ce41db3e7af62cc16e681a build/recursivef_js/recursivef.wasm 2bf018b05cb6dc399e72f57721d0f7b236b1a4a2d438d8b1c6763e9cd38ac8a8 build/recursivef_js/witness_calculator.js -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/buildchelpers -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/buildconstants -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/buildconstanttree -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/buildpil -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/buildrom -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/buildstoragerom -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/c12a_buildchelpers -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/c12a_buildconstanttree -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/c12a_buildstarkinfo -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/c12a_gencircom -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/c12a_setup -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/calculateimpols -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/compilecircom -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/fflonk_evk -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/fflonk_setup -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/fflonk_solidity -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/final_compile -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/final_gencircom -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/gencircom -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/genpilcode -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/preparepil -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/recursive1_buildchelpers -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/recursive1_buildconstanttree -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/recursive1_buildstarkinfo -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/recursive1_compile -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/recursive1_gencircom -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/recursive1_setup -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/recursive1_verifier_gencircom -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/recursive2_buildchelpers -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/recursive2_buildconstanttree -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/recursive2_buildstarkinfo -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/recursive2_compile -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/recursive2_gencircom -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/recursive2_setup -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/recursive2_verifier_gencircom -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/recursive_pil_check -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/recursive_verifier_check -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/recursivef_buildchelpers -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/recursivef_buildconstanttree -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/recursivef_buildstarkinfo -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/recursivef_compile -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/recursivef_gencircom -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/recursivef_setup -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/recursivef_verifier_gencircom -ce9a541a1410be5bc4185c8eab4e603d832e78035476c8b1aee8f4084187d0d9 build/steps/sha256 +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/buildchelpers +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/buildconstants +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/buildconstanttree +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/buildpil +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/buildrom +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/buildstoragerom +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/c12a_buildchelpers +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/c12a_buildconstanttree +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/c12a_buildstarkinfo +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/c12a_gencircom +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/c12a_setup +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/calculateimpols +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/compilecircom +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/fflonk_evk +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/fflonk_setup +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/fflonk_solidity +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/final_compile +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/final_gencircom +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/gencircom +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/genpilcode +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/preparepil +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/recursive1_buildchelpers +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/recursive1_buildconstanttree +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/recursive1_buildstarkinfo +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/recursive1_compile +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/recursive1_gencircom +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/recursive1_setup +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/recursive1_verifier_gencircom +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/recursive2_buildchelpers +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/recursive2_buildconstanttree +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/recursive2_buildstarkinfo +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/recursive2_compile +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/recursive2_gencircom +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/recursive2_setup +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/recursive2_verifier_gencircom +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/recursive_pil_check +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/recursive_verifier_check +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/recursivef_buildchelpers +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/recursivef_buildconstanttree +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/recursivef_buildstarkinfo +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/recursivef_compile +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/recursivef_gencircom +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/recursivef_setup +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/recursivef_verifier_gencircom +79d9d7260a7da919708b139fcea1d33c70e4feb71fc35a1daeec806f6104f620 build/steps/sha256 e33f9dc88135a4e624b9033e27fe4ed7707054a89a3969ea86afe07eee44d67b build/zkevm.impols.json 62f6cea266b7ff7bbebe16c48282daa31ec6239c6ea5cc9bef98d61cc386ab4b build/zkevm.infopil.json 2917a7ba83aeeb2cacd8b626a0cd06952cbec815e071fbfadf416d75513cfd07 build/zkevm.starkstruct.json -1ef36df9e601b019915cf79a57e973009dca5ea92e5c69c35d5515d2ca862357 build/zkevm.verifier.r1cs -d663f4d5093e1ca068e771ee6beb414606acce992e4541e5b8c574ac9173e0c6 build/zkevm.verifier.sym +884d644db643037993a43830cff3c622e0093fedffb403be25d24ed1f62000dd build/zkevm.verifier.r1cs +e4513439616b9d4c7d7fd0abaec2f9235b52f48f01157ae00797316ba5d9f8fb build/zkevm.verifier.sym ba88f146ff134bb9aeb8f9b2e056f698c56c2e25a834c78f1b5e7fc89b81b59d build/zkevm.verifier_cpp/Makefile 3b2a847cd01a06391f3d3ccd37ae0deda4c61b40b6ec01726c21dd6993be64b0 build/zkevm.verifier_cpp/calcwit.cpp 9ffa8ad709695d44857e24b08eb4c5fc3465c198f8de06431db1fcbf505d1ae4 build/zkevm.verifier_cpp/calcwit.hpp @@ -123,18 +123,19 @@ e0d14dabd9d604d8ac5fe13a69db712f1c02634a35647ee6831d77d991618a3b build/zkevm.ve 4078f766e2ec8311a663ca0abfc5148319c4225074ccc85f789102fb26e39c54 build/zkevm.verifier_cpp/fr.cpp 3cc9d2064f68184316663175602f6a476a191e9403483d21d073e560ca83d4c7 build/zkevm.verifier_cpp/fr.hpp 2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2 build/zkevm.verifier_cpp/main.cpp -1974ee1fc9c6c1c1e0d79e0219119e6294bbef63f9e85b6311a9ee2d3a0a2279 build/zkevm.verifier_cpp/zkevm.verifier.cpp -d041aefa540024c3d3434a07e3241d44424426efb441b4a46af7fd5604493c91 build/zkevm.verifier_cpp/zkevm.verifier.dat +6ee35bc2e010ccce9a43c5df78514faf985cbbabe0be6f672352e865d60ad95f build/zkevm.verifier_cpp/zkevm.verifier.cpp +8c9745671c3c9a57400210fd5f5aa77dff44caf7df6e9eeff20d991bb1d0d7ee build/zkevm.verifier_cpp/zkevm.verifier.dat e9f90211859797466368231b5f02afeb84afa497c3ccd04129e0a57a5c5a3eff build/zkevm.verifier_js/generate_witness.js 2bf018b05cb6dc399e72f57721d0f7b236b1a4a2d438d8b1c6763e9cd38ac8a8 build/zkevm.verifier_js/witness_calculator.js -746d4eb2df9349e539a7697c501eab74e961fcf87ca837194677fa651569e7a1 build/zkevm.verifier_js/zkevm.verifier.wasm +0105a055bf60ffdf5dc338aebf4d49f258c69f2f7ad3e4721e57cad89c53611e build/zkevm.verifier_js/zkevm.verifier.wasm +622008fc66feab96da1db9e12f16b9787b1ac8b8dc5c843cfdf88d9bfe3cdbc9 buildsetup.log 3a0007a3e93a69d8babf108cf4a805f936ca46cfd4336ac73f6b97a943aa36aa c_files/c12a.chelpers/C12aSteps.hpp cd50862af51322cd6447a5382b1a7aec16f6847d09b2e9dfe58baf42410bf30e c_files/final_cpp/Makefile 3b2a847cd01a06391f3d3ccd37ae0deda4c61b40b6ec01726c21dd6993be64b0 c_files/final_cpp/calcwit.cpp 9ffa8ad709695d44857e24b08eb4c5fc3465c198f8de06431db1fcbf505d1ae4 c_files/final_cpp/calcwit.hpp 46e657f0ce98a5878e0610242c2327cc20f6117b46aa2c55353bf3dace70a6c8 c_files/final_cpp/circom.hpp c3245815c810ef6c71d0ee1e671c87e98b0f4267a29e5a6df4d0e882e8681848 c_files/final_cpp/final.cpp -81dc2dc6f26ac0a0e0e56e90ae34298fb5ca78f46b74fc52dcd45925397c9303 c_files/final_cpp/final.dat +ff8f879392a5375d9aade10cd461a920ec4cbb3b3a25ad0cbacffc434c140b67 c_files/final_cpp/final.dat 8d261723a9d05668dcb2b5f4e53e84498476b3cfeb17d84834bd434b246780c1 c_files/final_cpp/fr.asm 4078f766e2ec8311a663ca0abfc5148319c4225074ccc85f789102fb26e39c54 c_files/final_cpp/fr.cpp 42339e6a440b40fba7befcb2bb8b2b1c702a30bbfb7947e131130eeb7a0eff44 c_files/final_cpp/fr.hpp @@ -148,8 +149,8 @@ e0d14dabd9d604d8ac5fe13a69db712f1c02634a35647ee6831d77d991618a3b c_files/recurs 4078f766e2ec8311a663ca0abfc5148319c4225074ccc85f789102fb26e39c54 c_files/recursive1_cpp/fr.cpp 3cc9d2064f68184316663175602f6a476a191e9403483d21d073e560ca83d4c7 c_files/recursive1_cpp/fr.hpp 2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2 c_files/recursive1_cpp/main.cpp -6d16273c1f16b4703d27f23f123b9da2ab10e32214a4753924f410d86b557916 c_files/recursive1_cpp/recursive1.cpp -5ed3d441ef2fb96e48ea8c17bc89cce6c6c0a80d15fbc66a222f89d26220e025 c_files/recursive1_cpp/recursive1.dat +862bf866348751d61041ef4122419584b5b4aee624b344ce1d54b35f2b03d111 c_files/recursive1_cpp/recursive1.cpp +2b9ba01d9b19d4381c5320930b94d19629e9ac613d6833da7ea911ae0048bfe0 c_files/recursive1_cpp/recursive1.dat e5f1247710c478f825f15bcd6063dd8d708dc1c361d899aad447f3dee0a84baf c_files/recursive2.chelpers/Recursive2Steps.hpp 2114d97ae95b5ffb890d0d8391d0b23335b7bf393837fe042c902d459e2ba424 c_files/recursive2_cpp/Makefile 3b2a847cd01a06391f3d3ccd37ae0deda4c61b40b6ec01726c21dd6993be64b0 c_files/recursive2_cpp/calcwit.cpp @@ -160,7 +161,7 @@ e0d14dabd9d604d8ac5fe13a69db712f1c02634a35647ee6831d77d991618a3b c_files/recurs 3cc9d2064f68184316663175602f6a476a191e9403483d21d073e560ca83d4c7 c_files/recursive2_cpp/fr.hpp 2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2 c_files/recursive2_cpp/main.cpp 481ede9860ec9e05099b33a38bcee595f22e1310e1557530a182473b534734c8 c_files/recursive2_cpp/recursive2.cpp -37e8a53b1ee820a973ded7a4f9be6dbb1a3e3ca7132fc5f9556ed9764b999890 c_files/recursive2_cpp/recursive2.dat +3b7828150f69bb663b6339b5a91eecfa72a847d2658c55610c5028ba7ddc9f9f c_files/recursive2_cpp/recursive2.dat d7944bedaaa0a79bc279d74e94becb00f1c3e9dcb6e32acd54f3fa46b0f5c4b2 c_files/recursivef.chelpers/RecursiveFSteps.hpp 275df6dfc94d6c5fa080dc66d3d5b0572692ff687dbfbd8d339d6b564bb4c4f6 c_files/recursivef_cpp/Makefile 3b2a847cd01a06391f3d3ccd37ae0deda4c61b40b6ec01726c21dd6993be64b0 c_files/recursivef_cpp/calcwit.cpp @@ -171,7 +172,7 @@ e0d14dabd9d604d8ac5fe13a69db712f1c02634a35647ee6831d77d991618a3b c_files/recurs 3cc9d2064f68184316663175602f6a476a191e9403483d21d073e560ca83d4c7 c_files/recursivef_cpp/fr.hpp 2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2 c_files/recursivef_cpp/main.cpp a3a0185749d741fb1c9bc4f153f81d4f4f81cbc588b6073d1abaf3bfceba7deb c_files/recursivef_cpp/recursivef.cpp -249784a7c0edc31b2d4ea01156b9c06eb7ebce83d048102779b441805757d6e7 c_files/recursivef_cpp/recursivef.dat +4bfe1a6e02912ff76c09142a8e74dc7f3d670dcbbf020030badbb92365beddf6 c_files/recursivef_cpp/recursivef.dat 9a25476e3f7ee7dd1b0837bca3fe81fbfeb89e8306c2021a21b6cec3f6998146 c_files/zkevm.chelpers/ZkevmSteps.hpp ba88f146ff134bb9aeb8f9b2e056f698c56c2e25a834c78f1b5e7fc89b81b59d c_files/zkevm.verifier_cpp/Makefile 3b2a847cd01a06391f3d3ccd37ae0deda4c61b40b6ec01726c21dd6993be64b0 c_files/zkevm.verifier_cpp/calcwit.cpp @@ -181,65 +182,65 @@ e0d14dabd9d604d8ac5fe13a69db712f1c02634a35647ee6831d77d991618a3b c_files/zkevm. 4078f766e2ec8311a663ca0abfc5148319c4225074ccc85f789102fb26e39c54 c_files/zkevm.verifier_cpp/fr.cpp 3cc9d2064f68184316663175602f6a476a191e9403483d21d073e560ca83d4c7 c_files/zkevm.verifier_cpp/fr.hpp 2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2 c_files/zkevm.verifier_cpp/main.cpp -1974ee1fc9c6c1c1e0d79e0219119e6294bbef63f9e85b6311a9ee2d3a0a2279 c_files/zkevm.verifier_cpp/zkevm.verifier.cpp -d041aefa540024c3d3434a07e3241d44424426efb441b4a46af7fd5604493c91 c_files/zkevm.verifier_cpp/zkevm.verifier.dat -b92cc5ebad3ba17e80f3af1877b061f5be292bb323c50ce26369564ee15f54f7 circom/c12a.verifier.circom +6ee35bc2e010ccce9a43c5df78514faf985cbbabe0be6f672352e865d60ad95f c_files/zkevm.verifier_cpp/zkevm.verifier.cpp +8c9745671c3c9a57400210fd5f5aa77dff44caf7df6e9eeff20d991bb1d0d7ee c_files/zkevm.verifier_cpp/zkevm.verifier.dat +53b42e0e55b68f5fbc222e485d8fefd576aad889d921bb2d36246e8f895ecc4f circom/c12a.verifier.circom 74a06304ce73b282a520c358baead152dad790b0aa6b7031f6ba8c00166be459 circom/final.circom 83543e99e0a1f660761fa8a06310dfd9b69d0c0a358a73b6baec55d9587234e5 circom/recursive1.circom 4efe368b5ef6ff5444a912870d481ed2ee82a2305a8954baee28ffe830f11cd2 circom/recursive1.verifier.circom -6b2fded38db46c077a1e7e97bfbabb232a4a8b83be2bb806412d899a4d7f4d45 circom/recursive2.circom +6d7611f634678bde8458d124c62c5f7c71cf885534e744502f9120ec8e69796a circom/recursive2.circom 4efe368b5ef6ff5444a912870d481ed2ee82a2305a8954baee28ffe830f11cd2 circom/recursive2.verifier.circom -a896da4393ed1f92db2737080b40be88c7b8c5b151f41d7e49de4926f283ded1 circom/recursivef.circom -93b62ba6c3a9b3e65d0096db800f10c2c80a34c7cd8936a5d008af08ea16cede circom/recursivef.verifier.circom -9519cc08420623632c4953d0abfa63a7dd0fec6208bb7a7d18f64bf8d0742b3a circom/zkevm.verifier.circom +c526a7564e8df2a633925e3aac9e8150530c2c16004803db917ea25151be8a79 circom/recursivef.circom +cf1b13f240a56287e191544ee37c9eb66d983a325e89d2585abec5fdf7c7eff1 circom/recursivef.verifier.circom +d777f13cb381f5acd5557f477715f9793efc64777eee4952402c2e778b21560e circom/zkevm.verifier.circom 3337432b4b9de283593a135628c0984dc5cd51b09502a1b97ca6ff6c67de0a1b config/c12a/c12a.chelpers.bin 529737dbc001bb5376e0521118d373674274e9c66919ea9284260eb4d2d02319 config/c12a/c12a.chelpers_generic.bin -429061b292773a5ef64491addde6c81daa07e131c92eac421592ed6ca94474ce config/c12a/c12a.const +acdf61ae6b141d7624cb7c5c90241c1d86a00d79a037be4b2af27bf8465dfe77 config/c12a/c12a.const 7da09215a20fdf776be55589e67a1f20bf8ab9d683c0bceb83d059a409749861 config/c12a/c12a.exec 7322ea8530b020ff269d3f7805357a387f94d41b38a5e174d5ecfa3c6af0148b config/c12a/c12a.starkinfo.json -79ba78d488b01a1013b1872c0b2ccedd6d814d49b810220cf3b7ca64cb8697ee config/c12a/c12a.verkey.json -8bebb6c02088203adee406d2d9577253974f1aadf0a569035f43a0eb1fbbc9dd config/final/final.fflonk.verkey.json -b463a58a93de17766088dd30603a2fde48cf36e77be096704dad7577a3e753ad config/final/final.fflonk.zkey -81dc2dc6f26ac0a0e0e56e90ae34298fb5ca78f46b74fc52dcd45925397c9303 config/final/final.verifier.dat +ae196b845e3c6fc0c9d01ffd0010ec43f0c425db67c41c3edd4f81c686f483ee config/c12a/c12a.verkey.json +7d9ff75f0334182914c10b87ec12f923aa1bdbe94e362ecc4034a36517bc1225 config/final/final.fflonk.verkey.json +f2a4f5f119af0450c4969c01791b2da1d55e2c82078098a8e4796ef1fa21a071 config/final/final.fflonk.zkey +ff8f879392a5375d9aade10cd461a920ec4cbb3b3a25ad0cbacffc434c140b67 config/final/final.verifier.dat 9456b3dc79f596bd208bbc056565a3ab22f638b840ee11cdc0294bbf94e89836 config/recursive1/recursive1.chelpers.bin 6ffc64073f9f2d856c40cf556dccb35f3bc9489a60421bf09bfe44eae0e3b579 config/recursive1/recursive1.chelpers_generic.bin -55a50b2e9a08facfa3954c40d22d04d883de945ab26e136b6ff783dcd739619a config/recursive1/recursive1.const +489bf2fc13b10a86aec9a36dda122c13238fdd3cf59c1c1146013df865c712c8 config/recursive1/recursive1.const 9c9e3f44b4740a4a694509b24441ebbefdb1a08713d783b3aad7b4ca52eaa0be config/recursive1/recursive1.exec d7e92de911ae2ba54565f044a8566f712c539f1c95f18ef575a6a152a9fded63 config/recursive1/recursive1.starkinfo.json -5ed3d441ef2fb96e48ea8c17bc89cce6c6c0a80d15fbc66a222f89d26220e025 config/recursive1/recursive1.verifier.dat -dcf1539a5be7d08478126d47ef655f3ca544fd775d0379983a517bac9b5bca8e config/recursive1/recursive1.verkey.json +2b9ba01d9b19d4381c5320930b94d19629e9ac613d6833da7ea911ae0048bfe0 config/recursive1/recursive1.verifier.dat +a2f070cd5934a842973e1069acdcdf34e5767b6fad788b275dd3a49581fa1cdc config/recursive1/recursive1.verkey.json 9456b3dc79f596bd208bbc056565a3ab22f638b840ee11cdc0294bbf94e89836 config/recursive2/recursive2.chelpers.bin 6ffc64073f9f2d856c40cf556dccb35f3bc9489a60421bf09bfe44eae0e3b579 config/recursive2/recursive2.chelpers_generic.bin -eda114c9a20f584d83b1e7bd53dd7c4a59ab2bd12b6bc67dfc4e3a76b7d17e41 config/recursive2/recursive2.const +3783a4989145a00aceb141f1426a89a17d43b49b3545c88eafe3ce6c2b19f443 config/recursive2/recursive2.const 8e54e6994f95dddf12f0fbe53c9f59cc37d6a3759be9c9533d00c1e35792e1e4 config/recursive2/recursive2.exec d7e92de911ae2ba54565f044a8566f712c539f1c95f18ef575a6a152a9fded63 config/recursive2/recursive2.starkinfo.json -37e8a53b1ee820a973ded7a4f9be6dbb1a3e3ca7132fc5f9556ed9764b999890 config/recursive2/recursive2.verifier.dat -a978054d23e81e7498c06829ea6b66f7c85ecaf5b33be69085d118bad54452b1 config/recursive2/recursive2.verkey.json +3b7828150f69bb663b6339b5a91eecfa72a847d2658c55610c5028ba7ddc9f9f config/recursive2/recursive2.verifier.dat +316d81e85cab70700a47ea7f9876e63cbe5d1e03459a7c4f8a8c60545489d65b config/recursive2/recursive2.verkey.json 8c3a3e5a6b1cc2aa5d8879c3b0a3997cf290c78dea5b11ad31e27af8db8986f7 config/recursivef/recursivef.chelpers.bin e8f078653969cee14c5097101d8967bfaec7a9606daca248bb281b32549a3895 config/recursivef/recursivef.chelpers_generic.bin -8f131f0d5bfebcef51ac39f069e77ef6730ee94892f250f5f57ffecb9972ba1f config/recursivef/recursivef.const +e6234e80504540f967d0b9417bcd9edac7f5a4106abab9d463d4a15a100df9d6 config/recursivef/recursivef.const 9f4e5c4b20a55a28d7c9753ca41226b7116eea28d24e65e47fd7d1331a13d721 config/recursivef/recursivef.exec 5d2a3e02a0e5ea64f04d6ad8a8fc3f29edb4c959acde2460de11e21fb17c02c7 config/recursivef/recursivef.starkinfo.json -249784a7c0edc31b2d4ea01156b9c06eb7ebce83d048102779b441805757d6e7 config/recursivef/recursivef.verifier.dat -0681c3c66cb0ecc52af12909dac42875d70e0d50797a11ccd44ff11149c7cb61 config/recursivef/recursivef.verkey.json +4bfe1a6e02912ff76c09142a8e74dc7f3d670dcbbf020030badbb92365beddf6 config/recursivef/recursivef.verifier.dat +f489c0ee3c6454e72d215fcf404ad433b6e0dcbe48cc837e15ebff5738d3ffa2 config/recursivef/recursivef.verkey.json a4acd44d7811f08643d3e5d65898b8a067001593d765a71c39cd1512ef6fd032 config/scripts/keccak_connections.json 3ebed8bfd38adcd524ac09c79541fe6041aab4b1dc83c242218b1d4b2154d913 config/scripts/keccak_script.json -0b2dea9dc9f4fe37c2cd7ef66f268c91f36fdcc7caee25e514819f83f206c645 config/scripts/metadata-rom.txt -8240a86801e436314a23de405ab478bd1806706e9b94ee36cde1c566e93e00e9 config/scripts/rom.json +1dbdc5118ee706d8baaafe914fd1155278fb97ff00aacce59236dec211ccd055 config/scripts/metadata-rom.txt +4e77faca7d217a17a3aadd4012bbd2b41d9adc714a6fb67e3410ca808fb17f35 config/scripts/rom.json 1e86011196524678d36686771f21b6fcee4bc11e08e3d1599f042737e8330b07 config/scripts/sha256_gates.json af04418178fa53d097e207927f993d6c5c4bf37c3b8220621e5d9d99b51f9453 config/scripts/sha256_script.json 676c3f58263fc284bc53ef949dd1acedcfb090f3287ee080b2a277ed2157894a config/scripts/storage_sm_rom.json 46a501e8093de17e327712a8fb55b928923151856dbfe44451c8bb79efb794e3 config/zkevm/zkevm.chelpers.bin acc0feb2f2d27392871631048e9601cdddbd21d1d9c448650c8881fab3101219 config/zkevm/zkevm.chelpers_generic.bin -732fefd44f3b9c652511c7b0274e1f2ec2856cb59de874cd7ec17ac8c046eb0f config/zkevm/zkevm.const +4cda6f86ca2c082b1e72ddd9cb65a127bf6c6333951ea911b264e8118e98cb9e config/zkevm/zkevm.const 531d36cf10e3c080ac82ec8481927e0be7059af4aa42d5c2bbf49dfb74f09fdd config/zkevm/zkevm.starkinfo.json -d041aefa540024c3d3434a07e3241d44424426efb441b4a46af7fd5604493c91 config/zkevm/zkevm.verifier.dat -4ab504c285f08a326ca049f55145bd53ef77b6d6f98c1358cef08e403a813bcc config/zkevm/zkevm.verkey.json +8c9745671c3c9a57400210fd5f5aa77dff44caf7df6e9eeff20d991bb1d0d7ee config/zkevm/zkevm.verifier.dat +212344a0c32a865b7971e69cc490ad3f73b80eebcf6070c37885d8cbb7fdb9a7 config/zkevm/zkevm.verkey.json 13b74f6e33dcbfcb9aa1a5eb7a93691635f51f33aa91e7c867dec11509c93f4d pil/c12a.pil 94ea2856942dd0745e2d6443c6988a4fdc65ac2c3173633e897e02b6d7eaad8b pil/recursive1.pil 94ea2856942dd0745e2d6443c6988a4fdc65ac2c3173633e897e02b6d7eaad8b pil/recursive2.pil 62527bfc12f535e8fa3a6dd7055bc595b27fc491f7203987108ee3d13283dbfe pil/recursivef.pil -cf019604dfb41121abf3e0b0961f51f09920caef3b06455a24d6cbb7848cb4af pil/zkevm/arith.pil +337e009542dbe029d784843221b16812274dc5911c5826c6d8ae961a4b09c4ee pil/zkevm/arith.pil 24802bc7c92a21c855277a59ad7001de77695e26b2cf477f7770f39b7da666a3 pil/zkevm/binary.pil 47e7e801eeffaa1d4ebdabbe047f01605f51a6a5bc03d7dc37d2efb1ccec022c pil/zkevm/bits2field.pil 0730f313e8df163305ce7c128bf25a71e56c57696496f82ba15531b62f66ccaf pil/zkevm/bits2field_sha256.pil diff --git a/src/main_sm/fork_10/scripts/metadata-rom_10.txt b/src/main_sm/fork_10/scripts/metadata-rom_10.txt index ac47b5a10..39104602a 100644 --- a/src/main_sm/fork_10/scripts/metadata-rom_10.txt +++ b/src/main_sm/fork_10/scripts/metadata-rom_10.txt @@ -1,2 +1,2 @@ -COMMIT=1c9fde8c31d2d8a5bbe54e429d1bd54f801533f0 -SHA256SUM=75217d596342164e7af3d05c1d5ab5b7a6355ef44e3cc6e8a5b8cddcd338b67c ./build/rom.json +COMMIT=8935587cc0720b029dd35a1641eb7a41f0bbe923 +SHA256SUM=422b8a64daf7b83f5b18f5f2bc41c7411b828b2b61cf02988ea851afd81a22df ./build/rom.json diff --git a/src/main_sm/fork_10/scripts/metadata-rom_11.txt b/src/main_sm/fork_10/scripts/metadata-rom_11.txt index c15a53a4b..469d5e23e 100644 --- a/src/main_sm/fork_10/scripts/metadata-rom_11.txt +++ b/src/main_sm/fork_10/scripts/metadata-rom_11.txt @@ -1,2 +1,2 @@ -COMMIT=77ec1913cebb3a6d72ca15c5df391369d716a27b -SHA256SUM=8b90c18bfc0bcf05d97b99f476b41408a5058623f7fbfbd61077ceba3a02b622 ./build/rom.json +COMMIT=85e64b4bf0c3c21d7166f0fba44bca115c358bf8 +SHA256SUM=9863e165dc81dc005f33a00694b2c2136deabde4199b3d85986e93f6fd3e5095 ./build/rom.json diff --git a/src/main_sm/fork_10/scripts/rom_10.json b/src/main_sm/fork_10/scripts/rom_10.json index f6cbc36df..91c869012 100644 --- a/src/main_sm/fork_10/scripts/rom_10.json +++ b/src/main_sm/fork_10/scripts/rom_10.json @@ -23264,6 +23264,21 @@ "fileName": "opcodes/stack-operations.zkasm", "lineStr": " %MAX_CNT_STEPS - STEP - 100 :JMPN(outOfCountersStep)" }, + { + "inGAS": "1", + "CONST": "-3", + "setGAS": 1, + "JMPN": 1, + "useJmpAddr": 1, + "jmpAddr": 12391, + "useElseAddr": 1, + "elseAddr": 1630, + "line": 131, + "jmpAddrLabel": "outOfGas", + "elseAddrLabel": "next", + "fileName": "opcodes/stack-operations.zkasm", + "lineStr": " GAS - %GAS_FASTEST_STEP => GAS :JMPN(outOfGas)" + }, { "freeInTag": { "op": "" @@ -23274,7 +23289,7 @@ "offset": 34, "mOp": 1, "mWR": 0, - "line": 131, + "line": 133, "offsetLabel": "bytecodeLength", "useCTX": 1, "fileName": "opcodes/stack-operations.zkasm", @@ -23286,10 +23301,10 @@ "inB": "-1", "JMPN": 1, "useJmpAddr": 1, - "jmpAddr": 1632, + "jmpAddr": 1633, "useElseAddr": 1, - "elseAddr": 1631, - "line": 132, + "elseAddr": 1632, + "line": 134, "jmpAddrLabel": "opAuxPUSHA2", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23299,24 +23314,17 @@ "inB": "1", "inPC": "-1", "setD": 1, - "line": 133, - "fileName": "opcodes/stack-operations.zkasm", - "lineStr": " B - PC => D" - }, - { - "inGAS": "1", - "CONST": "-3", - "setGAS": 1, - "JMPN": 1, + "setE": 1, + "JMPZ": 1, "useJmpAddr": 1, - "jmpAddr": 12391, + "jmpAddr": 1634, "useElseAddr": 1, "elseAddr": 1633, - "line": 137, - "jmpAddrLabel": "outOfGas", + "line": 135, + "jmpAddrLabel": "lastOpcodeIsPush", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", - "lineStr": " GAS - %GAS_FASTEST_STEP => GAS :JMPN(outOfGas)" + "lineStr": " B - PC => D,E :JMPZ(lastOpcodeIsPush)" }, { "inD": "1", @@ -23343,7 +23351,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 141, + "line": 142, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " E :MSTORE(SP++); [pushed_value(E) => SP]" }, @@ -23355,7 +23363,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 1636, - "line": 143, + "line": 144, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23368,7 +23376,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 145, + "line": 146, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " PC + D => PC :JMP(readCode)" @@ -23381,7 +23389,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1638, - "line": 149, + "line": 150, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23402,7 +23410,7 @@ "jmpAddr": 1639, "useElseAddr": 1, "elseAddr": 1657, - "line": 151, + "line": 152, "offsetLabel": "isCreate", "useCTX": 1, "jmpAddrLabel": "next", @@ -23420,7 +23428,7 @@ "offset": 16, "mOp": 1, "mWR": 0, - "line": 152, + "line": 153, "offsetLabel": "txCalldataLen", "useCTX": 1, "fileName": "opcodes/stack-operations.zkasm", @@ -23435,7 +23443,7 @@ "jmpAddr": 1642, "useElseAddr": 1, "elseAddr": 1641, - "line": 153, + "line": 154, "jmpAddrLabel": "opAuxPUSHB2", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23445,14 +23453,14 @@ "inB": "1", "inPC": "-1", "setD": 1, - "line": 154, + "line": 155, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B - PC => D" }, { "CONST": "0", "setA": 1, - "line": 158, + "line": 159, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " 0 => A" }, @@ -23465,7 +23473,7 @@ "jmpAddr": 1654, "useElseAddr": 1, "elseAddr": 1644, - "line": 159, + "line": 160, "jmpAddrLabel": "opAuxPUSHBend", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23479,7 +23487,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1645, - "line": 164, + "line": 165, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23495,7 +23503,7 @@ "offset": 45, "mOp": 1, "mWR": 0, - "line": 166, + "line": 167, "offsetLabel": "dataStarts", "useCTX": 1, "fileName": "opcodes/stack-operations.zkasm", @@ -23505,7 +23513,7 @@ "inHASHPOS": "1", "inPC": "1", "setHASHPOS": 1, - "line": 168, + "line": 169, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " HASHPOS + PC => HASHPOS" }, @@ -23513,7 +23521,7 @@ "inPC": "1", "CONST": "1", "setPC": 1, - "line": 169, + "line": 170, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " PC + 1 => PC" }, @@ -23527,7 +23535,7 @@ "offset": 23, "mOp": 1, "mWR": 0, - "line": 171, + "line": 172, "offsetLabel": "batchHashDataId", "useCTX": 0, "fileName": "opcodes/stack-operations.zkasm", @@ -23544,7 +23552,7 @@ "indRR": 0, "offset": 0, "hashK1": 1, - "line": 172, + "line": 173, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :HASHK1(E)" }, @@ -23552,7 +23560,7 @@ "inA": "1", "inB": "1", "setA": 1, - "line": 174, + "line": 175, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A + B => A" }, @@ -23565,7 +23573,7 @@ "jmpAddr": 1654, "useElseAddr": 1, "elseAddr": 1652, - "line": 176, + "line": 177, "jmpAddrLabel": "opAuxPUSHBend", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23580,7 +23588,7 @@ "useJmpAddr": 1, "jmpAddr": 12333, "call": 1, - "line": 177, + "line": 178, "jmpAddrLabel": "SHLarith", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " 1 => D :CALL(SHLarith); in: [A: value, D: #bytes to left shift] out: [A: shifted result]" @@ -23589,7 +23597,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 1644, - "line": 178, + "line": 179, "jmpAddrLabel": "opAuxPUSHBloop", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " :JMP(opAuxPUSHBloop)" @@ -23603,7 +23611,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1655, - "line": 182, + "line": 183, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23620,7 +23628,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 184, + "line": 185, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++); [pushed_value(E) => SP]" }, @@ -23632,7 +23640,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 186, + "line": 187, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -23648,7 +23656,7 @@ "offset": 16, "mOp": 1, "mWR": 0, - "line": 190, + "line": 191, "offsetLabel": "txCalldataLen", "useCTX": 1, "fileName": "opcodes/stack-operations.zkasm", @@ -23664,7 +23672,7 @@ "offset": 36, "mOp": 1, "mWR": 0, - "line": 193, + "line": 194, "offsetLabel": "originCTX", "useCTX": 1, "fileName": "opcodes/stack-operations.zkasm", @@ -23680,7 +23688,7 @@ "offset": 33, "mOp": 1, "mWR": 0, - "line": 195, + "line": 196, "offsetLabel": "argsOffsetCall", "useCTX": 1, "fileName": "opcodes/stack-operations.zkasm", @@ -23690,14 +23698,14 @@ "inE": "1", "inPC": "1", "setE": 1, - "line": 197, + "line": 198, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " E + PC => E" }, { "inD": "1", "setC": 1, - "line": 198, + "line": 199, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " D => C" }, @@ -23710,7 +23718,7 @@ "jmpAddr": 1665, "useElseAddr": 1, "elseAddr": 1663, - "line": 199, + "line": 200, "jmpAddrLabel": "opAuxPUSHBcreate2", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23719,7 +23727,7 @@ { "CONST": "0", "setA": 1, - "line": 200, + "line": 201, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " 0 => A" }, @@ -23732,7 +23740,7 @@ "jmpAddr": 1668, "useElseAddr": 1, "elseAddr": 1665, - "line": 201, + "line": 202, "jmpAddrLabel": "opfinalPUSHBcreate", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23745,7 +23753,7 @@ "useJmpAddr": 1, "jmpAddr": 12088, "call": 1, - "line": 205, + "line": 206, "jmpAddrLabel": "MLOADX", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " :CALL(MLOADX); in: [E: offset, C: length] out: [A: value, E: new offset]" @@ -23754,7 +23762,7 @@ "inPC": "1", "inD": "1", "setPC": 1, - "line": 207, + "line": 208, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " PC + D => PC" }, @@ -23768,7 +23776,7 @@ "useJmpAddr": 1, "jmpAddr": 12294, "call": 1, - "line": 209, + "line": 210, "jmpAddrLabel": "SHRarith", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " 32 - D => D :CALL(SHRarith); in: [A: value, D: #bytes to right shift] out: [A: shifted result]" @@ -23786,7 +23794,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 1654, - "line": 213, + "line": 214, "offsetLabel": "currentCTX", "useCTX": 0, "jmpAddrLabel": "opAuxPUSHBend", @@ -23801,7 +23809,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1670, - "line": 225, + "line": 226, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23815,7 +23823,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1671, - "line": 228, + "line": 229, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23830,7 +23838,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1672, - "line": 231, + "line": 232, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23852,7 +23860,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 233, + "line": 234, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1); [value => A]" }, @@ -23867,7 +23875,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 236, + "line": 237, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++); [duplicated_value(A) => SP]" }, @@ -23879,7 +23887,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 239, + "line": 240, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -23893,7 +23901,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1676, - "line": 243, + "line": 244, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23907,7 +23915,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1677, - "line": 245, + "line": 246, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23922,7 +23930,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1678, - "line": 247, + "line": 248, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23944,7 +23952,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 249, + "line": 250, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-2)" }, @@ -23959,7 +23967,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 250, + "line": 251, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -23971,7 +23979,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 251, + "line": 252, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -23985,7 +23993,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1682, - "line": 255, + "line": 256, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23999,7 +24007,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1683, - "line": 257, + "line": 258, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24014,7 +24022,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1684, - "line": 259, + "line": 260, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24036,7 +24044,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 261, + "line": 262, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-3)" }, @@ -24051,7 +24059,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 262, + "line": 263, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -24063,7 +24071,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 263, + "line": 264, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -24077,7 +24085,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1688, - "line": 267, + "line": 268, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24091,7 +24099,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1689, - "line": 269, + "line": 270, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24106,7 +24114,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1690, - "line": 271, + "line": 272, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24128,7 +24136,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 273, + "line": 274, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-4)" }, @@ -24143,7 +24151,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 274, + "line": 275, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -24155,7 +24163,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 275, + "line": 276, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -24169,7 +24177,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1694, - "line": 279, + "line": 280, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24183,7 +24191,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1695, - "line": 281, + "line": 282, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24198,7 +24206,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1696, - "line": 283, + "line": 284, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24220,7 +24228,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 285, + "line": 286, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-5)" }, @@ -24235,7 +24243,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 286, + "line": 287, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -24247,7 +24255,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 287, + "line": 288, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -24261,7 +24269,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1700, - "line": 291, + "line": 292, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24275,7 +24283,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1701, - "line": 293, + "line": 294, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24290,7 +24298,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1702, - "line": 295, + "line": 296, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24312,7 +24320,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 297, + "line": 298, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-6)" }, @@ -24327,7 +24335,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 298, + "line": 299, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -24339,7 +24347,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 299, + "line": 300, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -24353,7 +24361,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1706, - "line": 303, + "line": 304, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24367,7 +24375,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1707, - "line": 305, + "line": 306, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24382,7 +24390,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1708, - "line": 307, + "line": 308, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24404,7 +24412,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 309, + "line": 310, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-7)" }, @@ -24419,7 +24427,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 310, + "line": 311, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -24431,7 +24439,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 311, + "line": 312, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -24445,7 +24453,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1712, - "line": 315, + "line": 316, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24459,7 +24467,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1713, - "line": 317, + "line": 318, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24474,7 +24482,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1714, - "line": 319, + "line": 320, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24496,7 +24504,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 321, + "line": 322, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-8)" }, @@ -24511,7 +24519,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 322, + "line": 323, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -24523,7 +24531,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 323, + "line": 324, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -24537,7 +24545,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1718, - "line": 327, + "line": 328, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24551,7 +24559,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1719, - "line": 329, + "line": 330, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24566,7 +24574,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1720, - "line": 331, + "line": 332, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24588,7 +24596,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 333, + "line": 334, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-9)" }, @@ -24603,7 +24611,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 334, + "line": 335, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -24615,7 +24623,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 335, + "line": 336, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -24629,7 +24637,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1724, - "line": 339, + "line": 340, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24643,7 +24651,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1725, - "line": 341, + "line": 342, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24658,7 +24666,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1726, - "line": 343, + "line": 344, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24680,7 +24688,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 345, + "line": 346, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-10)" }, @@ -24695,7 +24703,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 346, + "line": 347, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -24707,7 +24715,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 347, + "line": 348, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -24721,7 +24729,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1730, - "line": 351, + "line": 352, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24735,7 +24743,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1731, - "line": 353, + "line": 354, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24750,7 +24758,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1732, - "line": 355, + "line": 356, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24772,7 +24780,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 357, + "line": 358, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-11)" }, @@ -24787,7 +24795,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 358, + "line": 359, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -24799,7 +24807,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 359, + "line": 360, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -24813,7 +24821,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1736, - "line": 363, + "line": 364, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24827,7 +24835,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1737, - "line": 365, + "line": 366, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24842,7 +24850,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1738, - "line": 367, + "line": 368, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24864,7 +24872,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 369, + "line": 370, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-12)" }, @@ -24879,7 +24887,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 370, + "line": 371, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -24891,7 +24899,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 371, + "line": 372, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -24905,7 +24913,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1742, - "line": 375, + "line": 376, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24919,7 +24927,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1743, - "line": 377, + "line": 378, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24934,7 +24942,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1744, - "line": 379, + "line": 380, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24956,7 +24964,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 381, + "line": 382, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-13)" }, @@ -24971,7 +24979,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 382, + "line": 383, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -24983,7 +24991,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 383, + "line": 384, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -24997,7 +25005,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1748, - "line": 387, + "line": 388, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25011,7 +25019,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1749, - "line": 389, + "line": 390, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25026,7 +25034,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1750, - "line": 391, + "line": 392, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25048,7 +25056,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 393, + "line": 394, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-14)" }, @@ -25063,7 +25071,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 394, + "line": 395, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -25075,7 +25083,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 395, + "line": 396, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -25089,7 +25097,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1754, - "line": 399, + "line": 400, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25103,7 +25111,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1755, - "line": 401, + "line": 402, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25118,7 +25126,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1756, - "line": 403, + "line": 404, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25140,7 +25148,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 405, + "line": 406, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-15)" }, @@ -25155,7 +25163,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 406, + "line": 407, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -25167,7 +25175,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 407, + "line": 408, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -25181,7 +25189,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1760, - "line": 411, + "line": 412, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25195,7 +25203,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1761, - "line": 413, + "line": 414, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25210,7 +25218,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1762, - "line": 415, + "line": 416, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25232,7 +25240,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 417, + "line": 418, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-16)" }, @@ -25247,7 +25255,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 418, + "line": 419, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -25259,7 +25267,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 419, + "line": 420, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -25273,7 +25281,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1766, - "line": 431, + "line": 432, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25287,7 +25295,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1767, - "line": 434, + "line": 435, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25302,7 +25310,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1768, - "line": 437, + "line": 438, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25324,7 +25332,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 440, + "line": 441, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1); [value_to_swap_a => A]" }, @@ -25344,7 +25352,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 441, + "line": 442, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-2); [value_to_swap_b => B]" }, @@ -25359,7 +25367,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 443, + "line": 444, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-2); [swapped_value_a => SP]" }, @@ -25377,7 +25385,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 445, + "line": 446, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode); [swapped_value_b => SP]" @@ -25390,7 +25398,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1773, - "line": 449, + "line": 450, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25404,7 +25412,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1774, - "line": 451, + "line": 452, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25419,7 +25427,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1775, - "line": 453, + "line": 454, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25441,7 +25449,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 455, + "line": 456, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -25461,7 +25469,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 456, + "line": 457, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-3)" }, @@ -25476,7 +25484,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 457, + "line": 458, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-3)" }, @@ -25494,7 +25502,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 458, + "line": 459, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -25507,7 +25515,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1780, - "line": 462, + "line": 463, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25521,7 +25529,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1781, - "line": 464, + "line": 465, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25536,7 +25544,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1782, - "line": 466, + "line": 467, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25558,7 +25566,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 468, + "line": 469, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -25578,7 +25586,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 469, + "line": 470, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-4)" }, @@ -25593,7 +25601,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 470, + "line": 471, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-4)" }, @@ -25611,7 +25619,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 471, + "line": 472, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -25624,7 +25632,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1787, - "line": 475, + "line": 476, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25638,7 +25646,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1788, - "line": 477, + "line": 478, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25653,7 +25661,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1789, - "line": 479, + "line": 480, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25675,7 +25683,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 481, + "line": 482, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -25695,7 +25703,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 482, + "line": 483, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-5)" }, @@ -25710,7 +25718,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 483, + "line": 484, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-5)" }, @@ -25728,7 +25736,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 484, + "line": 485, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -25741,7 +25749,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1794, - "line": 488, + "line": 489, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25755,7 +25763,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1795, - "line": 490, + "line": 491, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25770,7 +25778,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1796, - "line": 492, + "line": 493, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25792,7 +25800,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 494, + "line": 495, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -25812,7 +25820,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 495, + "line": 496, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-6)" }, @@ -25827,7 +25835,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 496, + "line": 497, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-6)" }, @@ -25845,7 +25853,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 497, + "line": 498, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -25858,7 +25866,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1801, - "line": 501, + "line": 502, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25872,7 +25880,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1802, - "line": 503, + "line": 504, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25887,7 +25895,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1803, - "line": 505, + "line": 506, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25909,7 +25917,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 507, + "line": 508, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -25929,7 +25937,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 508, + "line": 509, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-7)" }, @@ -25944,7 +25952,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 509, + "line": 510, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-7)" }, @@ -25962,7 +25970,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 510, + "line": 511, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -25975,7 +25983,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1808, - "line": 514, + "line": 515, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25989,7 +25997,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1809, - "line": 516, + "line": 517, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26004,7 +26012,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1810, - "line": 518, + "line": 519, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26026,7 +26034,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 520, + "line": 521, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -26046,7 +26054,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 521, + "line": 522, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-8)" }, @@ -26061,7 +26069,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 522, + "line": 523, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-8)" }, @@ -26079,7 +26087,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 523, + "line": 524, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -26092,7 +26100,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1815, - "line": 527, + "line": 528, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26106,7 +26114,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1816, - "line": 529, + "line": 530, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26121,7 +26129,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1817, - "line": 531, + "line": 532, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26143,7 +26151,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 533, + "line": 534, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -26163,7 +26171,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 534, + "line": 535, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-9)" }, @@ -26178,7 +26186,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 535, + "line": 536, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-9)" }, @@ -26196,7 +26204,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 536, + "line": 537, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -26209,7 +26217,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1822, - "line": 540, + "line": 541, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26223,7 +26231,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1823, - "line": 542, + "line": 543, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26238,7 +26246,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1824, - "line": 544, + "line": 545, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26260,7 +26268,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 546, + "line": 547, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -26280,7 +26288,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 547, + "line": 548, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-10)" }, @@ -26295,7 +26303,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 548, + "line": 549, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-10)" }, @@ -26313,7 +26321,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 549, + "line": 550, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -26326,7 +26334,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1829, - "line": 553, + "line": 554, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26340,7 +26348,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1830, - "line": 555, + "line": 556, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26355,7 +26363,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1831, - "line": 557, + "line": 558, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26377,7 +26385,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 559, + "line": 560, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -26397,7 +26405,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 560, + "line": 561, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-11)" }, @@ -26412,7 +26420,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 561, + "line": 562, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-11)" }, @@ -26430,7 +26438,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 562, + "line": 563, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -26443,7 +26451,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1836, - "line": 566, + "line": 567, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26457,7 +26465,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1837, - "line": 568, + "line": 569, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26472,7 +26480,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1838, - "line": 570, + "line": 571, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26494,7 +26502,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 572, + "line": 573, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -26514,7 +26522,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 573, + "line": 574, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-12)" }, @@ -26529,7 +26537,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 574, + "line": 575, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-12)" }, @@ -26547,7 +26555,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 575, + "line": 576, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -26560,7 +26568,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1843, - "line": 579, + "line": 580, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26574,7 +26582,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1844, - "line": 581, + "line": 582, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26589,7 +26597,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1845, - "line": 583, + "line": 584, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26611,7 +26619,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 585, + "line": 586, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -26631,7 +26639,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 586, + "line": 587, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-13)" }, @@ -26646,7 +26654,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 587, + "line": 588, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-13)" }, @@ -26664,7 +26672,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 588, + "line": 589, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -26677,7 +26685,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1850, - "line": 592, + "line": 593, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26691,7 +26699,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1851, - "line": 594, + "line": 595, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26706,7 +26714,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1852, - "line": 596, + "line": 597, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26728,7 +26736,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 598, + "line": 599, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -26748,7 +26756,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 599, + "line": 600, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-14)" }, @@ -26763,7 +26771,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 600, + "line": 601, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-14)" }, @@ -26781,7 +26789,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 601, + "line": 602, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -26794,7 +26802,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1857, - "line": 605, + "line": 606, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26808,7 +26816,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1858, - "line": 607, + "line": 608, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26823,7 +26831,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1859, - "line": 609, + "line": 610, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26845,7 +26853,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 611, + "line": 612, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -26865,7 +26873,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 612, + "line": 613, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-15)" }, @@ -26880,7 +26888,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 613, + "line": 614, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-15)" }, @@ -26898,7 +26906,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 614, + "line": 615, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -26911,7 +26919,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1864, - "line": 618, + "line": 619, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26925,7 +26933,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1865, - "line": 620, + "line": 621, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26940,7 +26948,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1866, - "line": 622, + "line": 623, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26962,7 +26970,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 624, + "line": 625, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -26982,7 +26990,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 625, + "line": 626, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-16)" }, @@ -26997,7 +27005,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 626, + "line": 627, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-16)" }, @@ -27015,7 +27023,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 627, + "line": 628, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -27028,7 +27036,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1871, - "line": 631, + "line": 632, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -27042,7 +27050,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1872, - "line": 633, + "line": 634, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -27057,7 +27065,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1873, - "line": 635, + "line": 636, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -27079,7 +27087,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 637, + "line": 638, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -27099,7 +27107,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 638, + "line": 639, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-17)" }, @@ -27114,7 +27122,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 639, + "line": 640, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-17)" }, @@ -27132,7 +27140,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 640, + "line": 641, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -27145,7 +27153,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1878, - "line": 652, + "line": 653, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -27160,7 +27168,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1879, - "line": 655, + "line": 656, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -27175,7 +27183,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 11785, - "line": 658, + "line": 659, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -183836,7 +183844,8 @@ "opPUSH31": 1626, "opPUSH32": 1627, "opAuxPUSHA": 1628, - "opAuxPUSHA2": 1632, + "opAuxPUSHA2": 1633, + "lastOpcodeIsPush": 1634, "opAuxPUSHB": 1637, "opAuxPUSHB2": 1642, "opAuxPUSHBloop": 1644, @@ -185290,7 +185299,7 @@ "fileName": "constants.zkasm" }, "MAX_CNT_POSEIDON_G_LIMIT": { - "value": "559240", + "value": "541200", "type": "CONST", "line": 114, "fileName": "constants.zkasm" diff --git a/src/main_sm/fork_10/scripts/rom_11.json b/src/main_sm/fork_10/scripts/rom_11.json index 9de890f9d..5ec47ea11 100644 --- a/src/main_sm/fork_10/scripts/rom_11.json +++ b/src/main_sm/fork_10/scripts/rom_11.json @@ -23264,6 +23264,21 @@ "fileName": "opcodes/stack-operations.zkasm", "lineStr": " %MAX_CNT_STEPS - STEP - 100 :JMPN(outOfCountersStep)" }, + { + "inGAS": "1", + "CONST": "-3", + "setGAS": 1, + "JMPN": 1, + "useJmpAddr": 1, + "jmpAddr": 12391, + "useElseAddr": 1, + "elseAddr": 1630, + "line": 131, + "jmpAddrLabel": "outOfGas", + "elseAddrLabel": "next", + "fileName": "opcodes/stack-operations.zkasm", + "lineStr": " GAS - %GAS_FASTEST_STEP => GAS :JMPN(outOfGas)" + }, { "freeInTag": { "op": "" @@ -23274,7 +23289,7 @@ "offset": 34, "mOp": 1, "mWR": 0, - "line": 131, + "line": 133, "offsetLabel": "bytecodeLength", "useCTX": 1, "fileName": "opcodes/stack-operations.zkasm", @@ -23286,10 +23301,10 @@ "inB": "-1", "JMPN": 1, "useJmpAddr": 1, - "jmpAddr": 1632, + "jmpAddr": 1633, "useElseAddr": 1, - "elseAddr": 1631, - "line": 132, + "elseAddr": 1632, + "line": 134, "jmpAddrLabel": "opAuxPUSHA2", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23299,24 +23314,17 @@ "inB": "1", "inPC": "-1", "setD": 1, - "line": 133, - "fileName": "opcodes/stack-operations.zkasm", - "lineStr": " B - PC => D" - }, - { - "inGAS": "1", - "CONST": "-3", - "setGAS": 1, - "JMPN": 1, + "setE": 1, + "JMPZ": 1, "useJmpAddr": 1, - "jmpAddr": 12391, + "jmpAddr": 1634, "useElseAddr": 1, "elseAddr": 1633, - "line": 137, - "jmpAddrLabel": "outOfGas", + "line": 135, + "jmpAddrLabel": "lastOpcodeIsPush", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", - "lineStr": " GAS - %GAS_FASTEST_STEP => GAS :JMPN(outOfGas)" + "lineStr": " B - PC => D,E :JMPZ(lastOpcodeIsPush)" }, { "inD": "1", @@ -23343,7 +23351,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 141, + "line": 142, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " E :MSTORE(SP++); [pushed_value(E) => SP]" }, @@ -23355,7 +23363,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 1636, - "line": 143, + "line": 144, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23368,7 +23376,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 145, + "line": 146, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " PC + D => PC :JMP(readCode)" @@ -23381,7 +23389,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1638, - "line": 149, + "line": 150, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23402,7 +23410,7 @@ "jmpAddr": 1639, "useElseAddr": 1, "elseAddr": 1657, - "line": 151, + "line": 152, "offsetLabel": "isCreate", "useCTX": 1, "jmpAddrLabel": "next", @@ -23420,7 +23428,7 @@ "offset": 16, "mOp": 1, "mWR": 0, - "line": 152, + "line": 153, "offsetLabel": "txCalldataLen", "useCTX": 1, "fileName": "opcodes/stack-operations.zkasm", @@ -23435,7 +23443,7 @@ "jmpAddr": 1642, "useElseAddr": 1, "elseAddr": 1641, - "line": 153, + "line": 154, "jmpAddrLabel": "opAuxPUSHB2", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23445,14 +23453,14 @@ "inB": "1", "inPC": "-1", "setD": 1, - "line": 154, + "line": 155, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B - PC => D" }, { "CONST": "0", "setA": 1, - "line": 158, + "line": 159, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " 0 => A" }, @@ -23465,7 +23473,7 @@ "jmpAddr": 1654, "useElseAddr": 1, "elseAddr": 1644, - "line": 159, + "line": 160, "jmpAddrLabel": "opAuxPUSHBend", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23479,7 +23487,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1645, - "line": 164, + "line": 165, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23495,7 +23503,7 @@ "offset": 45, "mOp": 1, "mWR": 0, - "line": 166, + "line": 167, "offsetLabel": "dataStarts", "useCTX": 1, "fileName": "opcodes/stack-operations.zkasm", @@ -23505,7 +23513,7 @@ "inHASHPOS": "1", "inPC": "1", "setHASHPOS": 1, - "line": 168, + "line": 169, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " HASHPOS + PC => HASHPOS" }, @@ -23513,7 +23521,7 @@ "inPC": "1", "CONST": "1", "setPC": 1, - "line": 169, + "line": 170, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " PC + 1 => PC" }, @@ -23527,7 +23535,7 @@ "offset": 23, "mOp": 1, "mWR": 0, - "line": 171, + "line": 172, "offsetLabel": "batchHashDataId", "useCTX": 0, "fileName": "opcodes/stack-operations.zkasm", @@ -23544,7 +23552,7 @@ "indRR": 0, "offset": 0, "hashK1": 1, - "line": 172, + "line": 173, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :HASHK1(E)" }, @@ -23552,7 +23560,7 @@ "inA": "1", "inB": "1", "setA": 1, - "line": 174, + "line": 175, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A + B => A" }, @@ -23565,7 +23573,7 @@ "jmpAddr": 1654, "useElseAddr": 1, "elseAddr": 1652, - "line": 176, + "line": 177, "jmpAddrLabel": "opAuxPUSHBend", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23580,7 +23588,7 @@ "useJmpAddr": 1, "jmpAddr": 12333, "call": 1, - "line": 177, + "line": 178, "jmpAddrLabel": "SHLarith", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " 1 => D :CALL(SHLarith); in: [A: value, D: #bytes to left shift] out: [A: shifted result]" @@ -23589,7 +23597,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 1644, - "line": 178, + "line": 179, "jmpAddrLabel": "opAuxPUSHBloop", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " :JMP(opAuxPUSHBloop)" @@ -23603,7 +23611,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1655, - "line": 182, + "line": 183, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23620,7 +23628,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 184, + "line": 185, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++); [pushed_value(E) => SP]" }, @@ -23632,7 +23640,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 186, + "line": 187, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -23648,7 +23656,7 @@ "offset": 16, "mOp": 1, "mWR": 0, - "line": 190, + "line": 191, "offsetLabel": "txCalldataLen", "useCTX": 1, "fileName": "opcodes/stack-operations.zkasm", @@ -23664,7 +23672,7 @@ "offset": 36, "mOp": 1, "mWR": 0, - "line": 193, + "line": 194, "offsetLabel": "originCTX", "useCTX": 1, "fileName": "opcodes/stack-operations.zkasm", @@ -23680,7 +23688,7 @@ "offset": 33, "mOp": 1, "mWR": 0, - "line": 195, + "line": 196, "offsetLabel": "argsOffsetCall", "useCTX": 1, "fileName": "opcodes/stack-operations.zkasm", @@ -23690,14 +23698,14 @@ "inE": "1", "inPC": "1", "setE": 1, - "line": 197, + "line": 198, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " E + PC => E" }, { "inD": "1", "setC": 1, - "line": 198, + "line": 199, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " D => C" }, @@ -23710,7 +23718,7 @@ "jmpAddr": 1665, "useElseAddr": 1, "elseAddr": 1663, - "line": 199, + "line": 200, "jmpAddrLabel": "opAuxPUSHBcreate2", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23719,7 +23727,7 @@ { "CONST": "0", "setA": 1, - "line": 200, + "line": 201, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " 0 => A" }, @@ -23732,7 +23740,7 @@ "jmpAddr": 1668, "useElseAddr": 1, "elseAddr": 1665, - "line": 201, + "line": 202, "jmpAddrLabel": "opfinalPUSHBcreate", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23745,7 +23753,7 @@ "useJmpAddr": 1, "jmpAddr": 12088, "call": 1, - "line": 205, + "line": 206, "jmpAddrLabel": "MLOADX", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " :CALL(MLOADX); in: [E: offset, C: length] out: [A: value, E: new offset]" @@ -23754,7 +23762,7 @@ "inPC": "1", "inD": "1", "setPC": 1, - "line": 207, + "line": 208, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " PC + D => PC" }, @@ -23768,7 +23776,7 @@ "useJmpAddr": 1, "jmpAddr": 12294, "call": 1, - "line": 209, + "line": 210, "jmpAddrLabel": "SHRarith", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " 32 - D => D :CALL(SHRarith); in: [A: value, D: #bytes to right shift] out: [A: shifted result]" @@ -23786,7 +23794,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 1654, - "line": 213, + "line": 214, "offsetLabel": "currentCTX", "useCTX": 0, "jmpAddrLabel": "opAuxPUSHBend", @@ -23801,7 +23809,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1670, - "line": 225, + "line": 226, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23815,7 +23823,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1671, - "line": 228, + "line": 229, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23830,7 +23838,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1672, - "line": 231, + "line": 232, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23852,7 +23860,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 233, + "line": 234, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1); [value => A]" }, @@ -23867,7 +23875,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 236, + "line": 237, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++); [duplicated_value(A) => SP]" }, @@ -23879,7 +23887,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 239, + "line": 240, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -23893,7 +23901,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1676, - "line": 243, + "line": 244, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23907,7 +23915,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1677, - "line": 245, + "line": 246, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23922,7 +23930,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1678, - "line": 247, + "line": 248, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23944,7 +23952,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 249, + "line": 250, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-2)" }, @@ -23959,7 +23967,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 250, + "line": 251, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -23971,7 +23979,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 251, + "line": 252, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -23985,7 +23993,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1682, - "line": 255, + "line": 256, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -23999,7 +24007,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1683, - "line": 257, + "line": 258, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24014,7 +24022,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1684, - "line": 259, + "line": 260, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24036,7 +24044,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 261, + "line": 262, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-3)" }, @@ -24051,7 +24059,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 262, + "line": 263, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -24063,7 +24071,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 263, + "line": 264, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -24077,7 +24085,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1688, - "line": 267, + "line": 268, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24091,7 +24099,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1689, - "line": 269, + "line": 270, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24106,7 +24114,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1690, - "line": 271, + "line": 272, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24128,7 +24136,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 273, + "line": 274, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-4)" }, @@ -24143,7 +24151,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 274, + "line": 275, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -24155,7 +24163,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 275, + "line": 276, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -24169,7 +24177,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1694, - "line": 279, + "line": 280, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24183,7 +24191,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1695, - "line": 281, + "line": 282, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24198,7 +24206,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1696, - "line": 283, + "line": 284, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24220,7 +24228,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 285, + "line": 286, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-5)" }, @@ -24235,7 +24243,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 286, + "line": 287, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -24247,7 +24255,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 287, + "line": 288, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -24261,7 +24269,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1700, - "line": 291, + "line": 292, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24275,7 +24283,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1701, - "line": 293, + "line": 294, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24290,7 +24298,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1702, - "line": 295, + "line": 296, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24312,7 +24320,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 297, + "line": 298, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-6)" }, @@ -24327,7 +24335,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 298, + "line": 299, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -24339,7 +24347,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 299, + "line": 300, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -24353,7 +24361,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1706, - "line": 303, + "line": 304, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24367,7 +24375,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1707, - "line": 305, + "line": 306, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24382,7 +24390,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1708, - "line": 307, + "line": 308, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24404,7 +24412,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 309, + "line": 310, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-7)" }, @@ -24419,7 +24427,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 310, + "line": 311, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -24431,7 +24439,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 311, + "line": 312, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -24445,7 +24453,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1712, - "line": 315, + "line": 316, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24459,7 +24467,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1713, - "line": 317, + "line": 318, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24474,7 +24482,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1714, - "line": 319, + "line": 320, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24496,7 +24504,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 321, + "line": 322, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-8)" }, @@ -24511,7 +24519,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 322, + "line": 323, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -24523,7 +24531,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 323, + "line": 324, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -24537,7 +24545,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1718, - "line": 327, + "line": 328, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24551,7 +24559,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1719, - "line": 329, + "line": 330, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24566,7 +24574,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1720, - "line": 331, + "line": 332, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24588,7 +24596,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 333, + "line": 334, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-9)" }, @@ -24603,7 +24611,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 334, + "line": 335, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -24615,7 +24623,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 335, + "line": 336, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -24629,7 +24637,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1724, - "line": 339, + "line": 340, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24643,7 +24651,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1725, - "line": 341, + "line": 342, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24658,7 +24666,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1726, - "line": 343, + "line": 344, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24680,7 +24688,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 345, + "line": 346, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-10)" }, @@ -24695,7 +24703,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 346, + "line": 347, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -24707,7 +24715,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 347, + "line": 348, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -24721,7 +24729,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1730, - "line": 351, + "line": 352, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24735,7 +24743,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1731, - "line": 353, + "line": 354, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24750,7 +24758,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1732, - "line": 355, + "line": 356, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24772,7 +24780,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 357, + "line": 358, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-11)" }, @@ -24787,7 +24795,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 358, + "line": 359, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -24799,7 +24807,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 359, + "line": 360, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -24813,7 +24821,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1736, - "line": 363, + "line": 364, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24827,7 +24835,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1737, - "line": 365, + "line": 366, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24842,7 +24850,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1738, - "line": 367, + "line": 368, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24864,7 +24872,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 369, + "line": 370, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-12)" }, @@ -24879,7 +24887,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 370, + "line": 371, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -24891,7 +24899,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 371, + "line": 372, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -24905,7 +24913,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1742, - "line": 375, + "line": 376, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24919,7 +24927,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1743, - "line": 377, + "line": 378, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24934,7 +24942,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1744, - "line": 379, + "line": 380, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -24956,7 +24964,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 381, + "line": 382, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-13)" }, @@ -24971,7 +24979,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 382, + "line": 383, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -24983,7 +24991,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 383, + "line": 384, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -24997,7 +25005,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1748, - "line": 387, + "line": 388, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25011,7 +25019,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1749, - "line": 389, + "line": 390, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25026,7 +25034,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1750, - "line": 391, + "line": 392, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25048,7 +25056,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 393, + "line": 394, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-14)" }, @@ -25063,7 +25071,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 394, + "line": 395, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -25075,7 +25083,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 395, + "line": 396, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -25089,7 +25097,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1754, - "line": 399, + "line": 400, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25103,7 +25111,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1755, - "line": 401, + "line": 402, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25118,7 +25126,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1756, - "line": 403, + "line": 404, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25140,7 +25148,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 405, + "line": 406, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-15)" }, @@ -25155,7 +25163,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 406, + "line": 407, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -25167,7 +25175,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 407, + "line": 408, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -25181,7 +25189,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1760, - "line": 411, + "line": 412, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25195,7 +25203,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1761, - "line": 413, + "line": 414, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25210,7 +25218,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1762, - "line": 415, + "line": 416, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25232,7 +25240,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 417, + "line": 418, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-16)" }, @@ -25247,7 +25255,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 418, + "line": 419, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP++)" }, @@ -25259,7 +25267,7 @@ "jmpAddr": 12395, "useElseAddr": 1, "elseAddr": 11785, - "line": 419, + "line": 420, "jmpAddrLabel": "stackOverflow", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -25273,7 +25281,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1766, - "line": 431, + "line": 432, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25287,7 +25295,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1767, - "line": 434, + "line": 435, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25302,7 +25310,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1768, - "line": 437, + "line": 438, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25324,7 +25332,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 440, + "line": 441, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1); [value_to_swap_a => A]" }, @@ -25344,7 +25352,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 441, + "line": 442, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-2); [value_to_swap_b => B]" }, @@ -25359,7 +25367,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 443, + "line": 444, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-2); [swapped_value_a => SP]" }, @@ -25377,7 +25385,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 445, + "line": 446, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode); [swapped_value_b => SP]" @@ -25390,7 +25398,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1773, - "line": 449, + "line": 450, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25404,7 +25412,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1774, - "line": 451, + "line": 452, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25419,7 +25427,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1775, - "line": 453, + "line": 454, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25441,7 +25449,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 455, + "line": 456, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -25461,7 +25469,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 456, + "line": 457, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-3)" }, @@ -25476,7 +25484,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 457, + "line": 458, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-3)" }, @@ -25494,7 +25502,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 458, + "line": 459, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -25507,7 +25515,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1780, - "line": 462, + "line": 463, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25521,7 +25529,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1781, - "line": 464, + "line": 465, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25536,7 +25544,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1782, - "line": 466, + "line": 467, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25558,7 +25566,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 468, + "line": 469, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -25578,7 +25586,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 469, + "line": 470, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-4)" }, @@ -25593,7 +25601,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 470, + "line": 471, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-4)" }, @@ -25611,7 +25619,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 471, + "line": 472, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -25624,7 +25632,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1787, - "line": 475, + "line": 476, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25638,7 +25646,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1788, - "line": 477, + "line": 478, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25653,7 +25661,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1789, - "line": 479, + "line": 480, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25675,7 +25683,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 481, + "line": 482, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -25695,7 +25703,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 482, + "line": 483, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-5)" }, @@ -25710,7 +25718,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 483, + "line": 484, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-5)" }, @@ -25728,7 +25736,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 484, + "line": 485, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -25741,7 +25749,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1794, - "line": 488, + "line": 489, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25755,7 +25763,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1795, - "line": 490, + "line": 491, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25770,7 +25778,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1796, - "line": 492, + "line": 493, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25792,7 +25800,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 494, + "line": 495, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -25812,7 +25820,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 495, + "line": 496, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-6)" }, @@ -25827,7 +25835,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 496, + "line": 497, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-6)" }, @@ -25845,7 +25853,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 497, + "line": 498, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -25858,7 +25866,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1801, - "line": 501, + "line": 502, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25872,7 +25880,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1802, - "line": 503, + "line": 504, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25887,7 +25895,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1803, - "line": 505, + "line": 506, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25909,7 +25917,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 507, + "line": 508, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -25929,7 +25937,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 508, + "line": 509, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-7)" }, @@ -25944,7 +25952,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 509, + "line": 510, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-7)" }, @@ -25962,7 +25970,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 510, + "line": 511, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -25975,7 +25983,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1808, - "line": 514, + "line": 515, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -25989,7 +25997,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1809, - "line": 516, + "line": 517, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26004,7 +26012,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1810, - "line": 518, + "line": 519, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26026,7 +26034,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 520, + "line": 521, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -26046,7 +26054,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 521, + "line": 522, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-8)" }, @@ -26061,7 +26069,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 522, + "line": 523, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-8)" }, @@ -26079,7 +26087,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 523, + "line": 524, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -26092,7 +26100,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1815, - "line": 527, + "line": 528, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26106,7 +26114,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1816, - "line": 529, + "line": 530, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26121,7 +26129,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1817, - "line": 531, + "line": 532, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26143,7 +26151,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 533, + "line": 534, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -26163,7 +26171,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 534, + "line": 535, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-9)" }, @@ -26178,7 +26186,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 535, + "line": 536, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-9)" }, @@ -26196,7 +26204,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 536, + "line": 537, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -26209,7 +26217,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1822, - "line": 540, + "line": 541, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26223,7 +26231,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1823, - "line": 542, + "line": 543, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26238,7 +26246,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1824, - "line": 544, + "line": 545, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26260,7 +26268,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 546, + "line": 547, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -26280,7 +26288,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 547, + "line": 548, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-10)" }, @@ -26295,7 +26303,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 548, + "line": 549, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-10)" }, @@ -26313,7 +26321,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 549, + "line": 550, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -26326,7 +26334,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1829, - "line": 553, + "line": 554, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26340,7 +26348,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1830, - "line": 555, + "line": 556, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26355,7 +26363,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1831, - "line": 557, + "line": 558, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26377,7 +26385,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 559, + "line": 560, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -26397,7 +26405,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 560, + "line": 561, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-11)" }, @@ -26412,7 +26420,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 561, + "line": 562, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-11)" }, @@ -26430,7 +26438,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 562, + "line": 563, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -26443,7 +26451,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1836, - "line": 566, + "line": 567, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26457,7 +26465,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1837, - "line": 568, + "line": 569, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26472,7 +26480,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1838, - "line": 570, + "line": 571, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26494,7 +26502,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 572, + "line": 573, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -26514,7 +26522,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 573, + "line": 574, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-12)" }, @@ -26529,7 +26537,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 574, + "line": 575, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-12)" }, @@ -26547,7 +26555,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 575, + "line": 576, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -26560,7 +26568,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1843, - "line": 579, + "line": 580, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26574,7 +26582,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1844, - "line": 581, + "line": 582, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26589,7 +26597,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1845, - "line": 583, + "line": 584, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26611,7 +26619,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 585, + "line": 586, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -26631,7 +26639,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 586, + "line": 587, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-13)" }, @@ -26646,7 +26654,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 587, + "line": 588, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-13)" }, @@ -26664,7 +26672,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 588, + "line": 589, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -26677,7 +26685,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1850, - "line": 592, + "line": 593, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26691,7 +26699,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1851, - "line": 594, + "line": 595, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26706,7 +26714,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1852, - "line": 596, + "line": 597, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26728,7 +26736,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 598, + "line": 599, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -26748,7 +26756,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 599, + "line": 600, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-14)" }, @@ -26763,7 +26771,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 600, + "line": 601, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-14)" }, @@ -26781,7 +26789,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 601, + "line": 602, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -26794,7 +26802,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1857, - "line": 605, + "line": 606, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26808,7 +26816,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1858, - "line": 607, + "line": 608, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26823,7 +26831,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1859, - "line": 609, + "line": 610, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26845,7 +26853,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 611, + "line": 612, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -26865,7 +26873,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 612, + "line": 613, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-15)" }, @@ -26880,7 +26888,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 613, + "line": 614, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-15)" }, @@ -26898,7 +26906,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 614, + "line": 615, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -26911,7 +26919,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1864, - "line": 618, + "line": 619, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26925,7 +26933,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1865, - "line": 620, + "line": 621, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26940,7 +26948,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1866, - "line": 622, + "line": 623, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -26962,7 +26970,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 624, + "line": 625, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -26982,7 +26990,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 625, + "line": 626, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-16)" }, @@ -26997,7 +27005,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 626, + "line": 627, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-16)" }, @@ -27015,7 +27023,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 627, + "line": 628, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -27028,7 +27036,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1871, - "line": 631, + "line": 632, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -27042,7 +27050,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1872, - "line": 633, + "line": 634, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -27057,7 +27065,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 1873, - "line": 635, + "line": 636, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -27079,7 +27087,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 637, + "line": 638, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => A :MLOAD(SP-1)" }, @@ -27099,7 +27107,7 @@ "useCTX": 1, "mOp": 1, "mWR": 0, - "line": 638, + "line": 639, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " $ => B :MLOAD(SP-17)" }, @@ -27114,7 +27122,7 @@ "useCTX": 1, "mOp": 1, "mWR": 1, - "line": 639, + "line": 640, "fileName": "opcodes/stack-operations.zkasm", "lineStr": " A :MSTORE(SP-17)" }, @@ -27132,7 +27140,7 @@ "JMP": 1, "useJmpAddr": 1, "jmpAddr": 11785, - "line": 640, + "line": 641, "jmpAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", "lineStr": " B :MSTORE(SP-1), JMP(readCode)" @@ -27145,7 +27153,7 @@ "jmpAddr": 12380, "useElseAddr": 1, "elseAddr": 1878, - "line": 652, + "line": 653, "jmpAddrLabel": "outOfCountersStep", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -27160,7 +27168,7 @@ "jmpAddr": 12394, "useElseAddr": 1, "elseAddr": 1879, - "line": 655, + "line": 656, "jmpAddrLabel": "stackUnderflow", "elseAddrLabel": "next", "fileName": "opcodes/stack-operations.zkasm", @@ -27175,7 +27183,7 @@ "jmpAddr": 12391, "useElseAddr": 1, "elseAddr": 11785, - "line": 658, + "line": 659, "jmpAddrLabel": "outOfGas", "elseAddrLabel": "readCode", "fileName": "opcodes/stack-operations.zkasm", @@ -183836,7 +183844,8 @@ "opPUSH31": 1626, "opPUSH32": 1627, "opAuxPUSHA": 1628, - "opAuxPUSHA2": 1632, + "opAuxPUSHA2": 1633, + "lastOpcodeIsPush": 1634, "opAuxPUSHB": 1637, "opAuxPUSHB2": 1642, "opAuxPUSHBloop": 1644, @@ -185290,7 +185299,7 @@ "fileName": "constants.zkasm" }, "MAX_CNT_POSEIDON_G_LIMIT": { - "value": "1118481", + "value": "1082401", "type": "CONST", "line": 114, "fileName": "constants.zkasm" diff --git a/src/main_sm/fork_12/scripts/rom_12.json b/src/main_sm/fork_12/scripts/rom_12.json index b8a8a04ea..635b3e6dc 100644 --- a/src/main_sm/fork_12/scripts/rom_12.json +++ b/src/main_sm/fork_12/scripts/rom_12.json @@ -185313,7 +185313,7 @@ "fileName": "constants.zkasm" }, "MAX_CNT_POSEIDON_G_LIMIT": { - "value": "1118481", + "value": "1082401", "type": "CONST", "line": 114, "fileName": "constants.zkasm" diff --git a/src/main_sm/fork_13/scripts/metadata-rom_13.txt b/src/main_sm/fork_13/scripts/metadata-rom_13.txt index 19cafc868..9f932b8e9 100644 --- a/src/main_sm/fork_13/scripts/metadata-rom_13.txt +++ b/src/main_sm/fork_13/scripts/metadata-rom_13.txt @@ -1,2 +1,2 @@ -COMMIT=d81a97e68e5fb475242ee59bb14620d22c20d2c3 -SHA256SUM=8240a86801e436314a23de405ab478bd1806706e9b94ee36cde1c566e93e00e9 ./build/rom.json +COMMIT=c94abf0783b0039658203ee28702715d99f3a25c +SHA256SUM=4e77faca7d217a17a3aadd4012bbd2b41d9adc714a6fb67e3410ca808fb17f35 ./build/rom.json diff --git a/src/main_sm/fork_13/scripts/rom_13.json b/src/main_sm/fork_13/scripts/rom_13.json index d155d3069..c5c975788 100644 --- a/src/main_sm/fork_13/scripts/rom_13.json +++ b/src/main_sm/fork_13/scripts/rom_13.json @@ -8690,7 +8690,7 @@ "lineStr": " D :MSTORE(SP++), JMP(readCode); [D => SP]" }, { - "CONST": "1103982", + "CONST": "1068353", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -11593,7 +11593,7 @@ "lineStr": " %MAX_STACK_SIZE - SP :JMPN(stackOverflow, readCode)" }, { - "CONST": "1103982", + "CONST": "1068353", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -11703,7 +11703,7 @@ "lineStr": " %MAX_STACK_SIZE - SP :JMPN(stackOverflow, readCode)" }, { - "CONST": "1103982", + "CONST": "1068353", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -12454,7 +12454,7 @@ "lineStr": " %MAX_CNT_BINARY - CNT_BINARY - 4 :JMPN(outOfCountersBinary)" }, { - "CONST": "1102946", + "CONST": "1067317", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -15973,7 +15973,7 @@ "lineStr": " %MAX_CNT_STEPS - STEP - 400 :JMPN(outOfCountersStep)" }, { - "CONST": "1103464", + "CONST": "1067835", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -17114,7 +17114,7 @@ "lineStr": " %MAX_CNT_BINARY - CNT_BINARY - 5 :JMPN(outOfCountersBinary)" }, { - "CONST": "1103464", + "CONST": "1067835", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -19434,7 +19434,7 @@ "lineStr": " %MAX_CNT_BINARY - CNT_BINARY - 4 :JMPN(outOfCountersBinary)" }, { - "CONST": "1102428", + "CONST": "1066799", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -22723,7 +22723,7 @@ "lineStr": " $ => B :MLOAD(arithRes1)" }, { - "CONST": "1104496", + "CONST": "1068867", "inCntPoseidonG": "-1", "inB": "-1", "JMPN": 1, @@ -29043,7 +29043,7 @@ "lineStr": " %MAX_CNT_STEPS - STEP - 100 :JMPN(outOfCountersStep)" }, { - "CONST": "1103982", + "CONST": "1068353", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -29218,7 +29218,7 @@ "lineStr": " %MAX_CNT_BINARY - CNT_BINARY - 10 :JMPN(outOfCountersBinary)" }, { - "CONST": "1102946", + "CONST": "1067317", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -31687,7 +31687,7 @@ "lineStr": " :JMP(readCode)" }, { - "CONST": "1103982", + "CONST": "1068353", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -32731,7 +32731,7 @@ "lineStr": " %MAX_CNT_STEPS - STEP - 100 :JMPN(outOfCountersStep)" }, { - "CONST": "1103982", + "CONST": "1068353", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -33317,7 +33317,7 @@ "lineStr": " E :MSTORE(remainingBytes), JMP(opCODECOPYloopInit)" }, { - "CONST": "1103982", + "CONST": "1068353", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -33454,7 +33454,7 @@ "lineStr": " $ => B :MLOAD(arithRes1)" }, { - "CONST": "1103981", + "CONST": "1068352", "inCntPoseidonG": "-1", "inB": "-1", "JMPN": 1, @@ -34460,7 +34460,7 @@ "lineStr": " %MAX_CNT_STEPS - STEP - 100 :JMPN(outOfCountersStep)" }, { - "CONST": "1103982", + "CONST": "1068353", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -184700,7 +184700,7 @@ "lineStr": " %MAX_CNT_BINARY - CNT_BINARY - 2 :JMPN(outOfCountersBinary)" }, { - "CONST": "1103464", + "CONST": "1067835", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -185071,7 +185071,7 @@ "lineStr": " %MAX_CNT_STEPS - STEP - 100 :JMPN(outOfCountersStep)" }, { - "CONST": "1103464", + "CONST": "1067835", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -190728,7 +190728,7 @@ "lineStr": " %MAX_CNT_STEPS - STEP - 200 :JMPN(outOfCountersStep)" }, { - "CONST": "1102946", + "CONST": "1067317", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -191511,7 +191511,7 @@ "lineStr": " $ => B :MLOAD(arithRes1)" }, { - "CONST": "1104499", + "CONST": "1068870", "inCntPoseidonG": "-1", "inB": "-1", "JMPN": 1, @@ -191801,7 +191801,7 @@ "lineStr": " %MAX_CNT_STEPS - STEP - 400 :JMPN(outOfCountersStep)" }, { - "CONST": "1103464", + "CONST": "1067835", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -192038,7 +192038,7 @@ "lineStr": " %MAX_CNT_STEPS - STEP - 200 :JMPN(outOfCountersStep)" }, { - "CONST": "1102428", + "CONST": "1066799", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -192857,7 +192857,7 @@ "lineStr": " $${eventLog(onOpcode(0))} :JMP(opSTOP)" }, { - "CONST": "1101392", + "CONST": "1065763", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -196519,7 +196519,7 @@ "lineStr": " %MAX_CNT_BINARY - CNT_BINARY - 3 :JMPN(outOfCountersBinary)" }, { - "CONST": "1102946", + "CONST": "1067317", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -200937,7 +200937,7 @@ "lineStr": " %MAX_CNT_BINARY - CNT_BINARY - 5 :JMPN(outOfCountersBinary)" }, { - "CONST": "1102428", + "CONST": "1066799", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -204477,7 +204477,7 @@ "lineStr": " $ => B :MLOAD(arithRes1)" }, { - "CONST": "1104499", + "CONST": "1068870", "inCntPoseidonG": "-1", "inB": "-1", "JMPN": 1, @@ -212016,7 +212016,7 @@ "lineStr": " %MAX_CNT_STEPS - STEP - 50 :JMPN(outOfCountersStep)" }, { - "CONST": "1100874", + "CONST": "1065245", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -212461,7 +212461,7 @@ "lineStr": " %MAX_CNT_STEPS - STEP - 50 :JMPN(outOfCountersStep)" }, { - "CONST": "1102428", + "CONST": "1066799", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -212755,7 +212755,7 @@ "lineStr": " %MAX_CNT_STEPS - STEP - 20 :JMPN(outOfCountersStep)" }, { - "CONST": "1103464", + "CONST": "1067835", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -212977,7 +212977,7 @@ "lineStr": " %MAX_CNT_STEPS - STEP - 20 :JMPN(outOfCountersStep)" }, { - "CONST": "1103982", + "CONST": "1068353", "inCntPoseidonG": "-1", "JMPN": 1, "useJmpAddr": 1, @@ -214889,7 +214889,7 @@ "fileName": "constants.zkasm" }, "MAX_CNT_POSEIDON_G_LIMIT": { - "value": "1118481", + "value": "1082401", "type": "CONST", "line": 116, "fileName": "constants.zkasm" @@ -214943,7 +214943,7 @@ "fileName": "constants.zkasm" }, "MAX_CNT_POSEIDON_G": { - "value": "1104500", + "value": "1068871", "type": "CONST", "line": 127, "fileName": "constants.zkasm" diff --git a/src/starkpil/starkRecursive1/witness/fork_13/recursive1.verifier.cpp b/src/starkpil/starkRecursive1/witness/fork_13/recursive1.verifier.cpp index 99fb2d707..2942e98e1 100644 --- a/src/starkpil/starkRecursive1/witness/fork_13/recursive1.verifier.cpp +++ b/src/starkpil/starkRecursive1/witness/fork_13/recursive1.verifier.cpp @@ -151121,7 +151121,7 @@ uint aux_create = 0; int aux_cmp_num = 0+ctx_index+1; uint csoffset = mySignalStart+59502; for (uint i = 0; i < 1; i++) { -std::string new_cmp_name = "Transcript_5358_454611"; +std::string new_cmp_name = "Transcript_5358_454610"; Transcript_7_create(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 29886 ; @@ -151133,7 +151133,7 @@ uint aux_create = 1; int aux_cmp_num = 304+ctx_index+1; uint csoffset = mySignalStart+89388; for (uint i = 0; i < 1; i++) { -std::string new_cmp_name = "VerifyEvaluations_5365_454812"; +std::string new_cmp_name = "VerifyEvaluations_5365_454811"; VerifyEvaluations_9_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 17646 ; @@ -151145,7 +151145,7 @@ uint aux_create = 2; int aux_cmp_num = 8183+ctx_index+1; uint csoffset = mySignalStart+407962; for (uint i = 0; i < 1; i++) { -std::string new_cmp_name = "VerifyFinalPol_5501_460263"; +std::string new_cmp_name = "VerifyFinalPol_5501_460262"; VerifyFinalPol_81_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 3073 ; @@ -151158,7 +151158,7 @@ int aux_cmp_num = 1015+ctx_index+1; uint csoffset = mySignalStart+107034; uint aux_dimensions[1] = {64}; for (uint i = 0; i < 64; i++) { -std::string new_cmp_name = "VerifyFRI_5483_459499"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyFRI_5483_459498"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyFRI_55_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 1047 ; @@ -151171,7 +151171,7 @@ int aux_cmp_num = 2551+ctx_index+1; uint csoffset = mySignalStart+174042; uint aux_dimensions[1] = {64}; for (uint i = 0; i < 64; i++) { -std::string new_cmp_name = "VerifyFRI_5488_459718"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyFRI_5488_459717"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyFRI_56_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 1039 ; @@ -151184,7 +151184,7 @@ int aux_cmp_num = 4087+ctx_index+1; uint csoffset = mySignalStart+240538; uint aux_dimensions[1] = {64}; for (uint i = 0; i < 64; i++) { -std::string new_cmp_name = "VerifyFRI_5493_459938"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyFRI_5493_459937"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyFRI_57_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 1031 ; @@ -151197,7 +151197,7 @@ int aux_cmp_num = 5623+ctx_index+1; uint csoffset = mySignalStart+306522; uint aux_dimensions[1] = {64}; for (uint i = 0; i < 64; i++) { -std::string new_cmp_name = "VerifyFRI_5498_460155"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyFRI_5498_460154"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyFRI_59_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 1585 ; @@ -151210,7 +151210,7 @@ int aux_cmp_num = 8236+ctx_index+1; uint csoffset = mySignalStart+411035; uint aux_dimensions[1] = {64}; for (uint i = 0; i < 64; i++) { -std::string new_cmp_name = "VerifyMerkleHash_5423_456754"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyMerkleHash_5423_456753"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyMerkleHash_16_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 3981 ; @@ -151223,7 +151223,7 @@ int aux_cmp_num = 11692+ctx_index+1; uint csoffset = mySignalStart+665819; uint aux_dimensions[1] = {64}; for (uint i = 0; i < 64; i++) { -std::string new_cmp_name = "VerifyMerkleHash_5426_456887"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyMerkleHash_5426_456886"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyMerkleHash_19_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 5197 ; @@ -151236,7 +151236,7 @@ int aux_cmp_num = 16044+ctx_index+1; uint csoffset = mySignalStart+998427; uint aux_dimensions[1] = {64}; for (uint i = 0; i < 64; i++) { -std::string new_cmp_name = "VerifyMerkleHash_5429_457020"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyMerkleHash_5429_457019"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyMerkleHash_22_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 3815 ; @@ -151249,7 +151249,7 @@ int aux_cmp_num = 19372+ctx_index+1; uint csoffset = mySignalStart+1242587; uint aux_dimensions[1] = {64}; for (uint i = 0; i < 64; i++) { -std::string new_cmp_name = "VerifyMerkleHash_5433_457154"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyMerkleHash_5433_457153"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyMerkleHash_25_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 4675 ; @@ -151262,7 +151262,7 @@ int aux_cmp_num = 23340+ctx_index+1; uint csoffset = mySignalStart+1541787; uint aux_dimensions[1] = {64}; for (uint i = 0; i < 64; i++) { -std::string new_cmp_name = "VerifyMerkleHash_5439_457470"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyMerkleHash_5439_457469"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyMerkleHash_29_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 3887 ; @@ -151275,7 +151275,7 @@ int aux_cmp_num = 26668+ctx_index+1; uint csoffset = mySignalStart+1790555; uint aux_dimensions[1] = {64}; for (uint i = 0; i < 64; i++) { -std::string new_cmp_name = "VerifyMerkleHash_5445_457758"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyMerkleHash_5445_457757"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyMerkleHash_32_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 3259 ; @@ -151288,7 +151288,7 @@ int aux_cmp_num = 29484+ctx_index+1; uint csoffset = mySignalStart+1999131; uint aux_dimensions[1] = {64}; for (uint i = 0; i < 64; i++) { -std::string new_cmp_name = "VerifyMerkleHash_5451_458045"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyMerkleHash_5451_458044"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyMerkleHash_35_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 2631 ; @@ -151301,7 +151301,7 @@ int aux_cmp_num = 31788+ctx_index+1; uint csoffset = mySignalStart+2167515; uint aux_dimensions[1] = {64}; for (uint i = 0; i < 64; i++) { -std::string new_cmp_name = "VerifyMerkleHash_5457_458329"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyMerkleHash_5457_458328"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyMerkleHash_38_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 2003 ; @@ -151314,7 +151314,7 @@ int aux_cmp_num = 33580+ctx_index+1; uint csoffset = mySignalStart+2295707; uint aux_dimensions[1] = {64}; for (uint i = 0; i < 64; i++) { -std::string new_cmp_name = "VerifyQuery_5471_458931"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyQuery_5471_458930"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyQuery_43_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 4965 ; diff --git a/src/starkpil/zkevm/witness/fork_13/zkevm.verifier.cpp b/src/starkpil/zkevm/witness/fork_13/zkevm.verifier.cpp index eb3d9e144..026f1a2bb 100644 --- a/src/starkpil/zkevm/witness/fork_13/zkevm.verifier.cpp +++ b/src/starkpil/zkevm/witness/fork_13/zkevm.verifier.cpp @@ -1303091,7 +1303091,7 @@ uint aux_create = 0; int aux_cmp_num = 0+ctx_index+1; uint csoffset = mySignalStart+333747; for (uint i = 0; i < 1; i++) { -std::string new_cmp_name = "Transcript_46687_3943425"; +std::string new_cmp_name = "Transcript_46687_3943424"; Transcript_7_create(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 164917 ; @@ -1303103,7 +1303103,7 @@ uint aux_create = 1; int aux_cmp_num = 1790+ctx_index+1; uint csoffset = mySignalStart+498664; for (uint i = 0; i < 1; i++) { -std::string new_cmp_name = "VerifyEvaluations_46694_3943634"; +std::string new_cmp_name = "VerifyEvaluations_46694_3943633"; VerifyEvaluations_9_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 203982 ; @@ -1303115,7 +1303115,7 @@ uint aux_create = 2; int aux_cmp_num = 30458+ctx_index+1; uint csoffset = mySignalStart+1439542; for (uint i = 0; i < 1; i++) { -std::string new_cmp_name = "VerifyFinalPol_46852_3950077"; +std::string new_cmp_name = "VerifyFinalPol_46852_3950076"; VerifyFinalPol_88_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 3073 ; @@ -1303128,7 +1303128,7 @@ int aux_cmp_num = 13050+ctx_index+1; uint csoffset = mySignalStart+702646; uint aux_dimensions[1] = {128}; for (uint i = 0; i < 128; i++) { -std::string new_cmp_name = "VerifyFRI_46829_3949093"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyFRI_46829_3949092"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyFRI_61_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 1055 ; @@ -1303141,7 +1303141,7 @@ int aux_cmp_num = 16122+ctx_index+1; uint csoffset = mySignalStart+837686; uint aux_dimensions[1] = {128}; for (uint i = 0; i < 128; i++) { -std::string new_cmp_name = "VerifyFRI_46834_3949312"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyFRI_46834_3949311"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyFRI_62_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 1047 ; @@ -1303154,7 +1303154,7 @@ int aux_cmp_num = 19194+ctx_index+1; uint csoffset = mySignalStart+971702; uint aux_dimensions[1] = {128}; for (uint i = 0; i < 128; i++) { -std::string new_cmp_name = "VerifyFRI_46839_3949532"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyFRI_46839_3949531"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyFRI_63_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 1039 ; @@ -1303167,7 +1303167,7 @@ int aux_cmp_num = 22266+ctx_index+1; uint csoffset = mySignalStart+1104694; uint aux_dimensions[1] = {128}; for (uint i = 0; i < 128; i++) { -std::string new_cmp_name = "VerifyFRI_46844_3949752"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyFRI_46844_3949751"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyFRI_64_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 1031 ; @@ -1303180,7 +1303180,7 @@ int aux_cmp_num = 25338+ctx_index+1; uint csoffset = mySignalStart+1236662; uint aux_dimensions[1] = {128}; for (uint i = 0; i < 128; i++) { -std::string new_cmp_name = "VerifyFRI_46849_3949967"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyFRI_46849_3949966"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyFRI_66_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 1585 ; @@ -1303193,7 +1303193,7 @@ int aux_cmp_num = 30511+ctx_index+1; uint csoffset = mySignalStart+1442615; uint aux_dimensions[1] = {128}; for (uint i = 0; i < 128; i++) { -std::string new_cmp_name = "VerifyMerkleHash_46760_3945895"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyMerkleHash_46760_3945894"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyMerkleHash_16_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 20436 ; @@ -1303206,7 +1303206,7 @@ int aux_cmp_num = 61999+ctx_index+1; uint csoffset = mySignalStart+4058423; uint aux_dimensions[1] = {128}; for (uint i = 0; i < 128; i++) { -std::string new_cmp_name = "VerifyMerkleHash_46763_3946031"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyMerkleHash_46763_3946030"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyMerkleHash_19_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 7723 ; @@ -1303219,7 +1303219,7 @@ int aux_cmp_num = 74543+ctx_index+1; uint csoffset = mySignalStart+5046967; uint aux_dimensions[1] = {128}; for (uint i = 0; i < 128; i++) { -std::string new_cmp_name = "VerifyMerkleHash_46766_3946167"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyMerkleHash_46766_3946166"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyMerkleHash_22_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 11317 ; @@ -1303232,7 +1303232,7 @@ int aux_cmp_num = 92463+ctx_index+1; uint csoffset = mySignalStart+6495543; uint aux_dimensions[1] = {128}; for (uint i = 0; i < 128; i++) { -std::string new_cmp_name = "VerifyMerkleHash_46769_3946303"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyMerkleHash_46769_3946302"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyMerkleHash_25_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 4277 ; @@ -1303245,7 +1303245,7 @@ int aux_cmp_num = 99887+ctx_index+1; uint csoffset = mySignalStart+7042999; uint aux_dimensions[1] = {128}; for (uint i = 0; i < 128; i++) { -std::string new_cmp_name = "VerifyMerkleHash_46773_3946438"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyMerkleHash_46773_3946437"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyMerkleHash_28_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 9256 ; @@ -1303258,7 +1303258,7 @@ int aux_cmp_num = 114735+ctx_index+1; uint csoffset = mySignalStart+8227767; uint aux_dimensions[1] = {128}; for (uint i = 0; i < 128; i++) { -std::string new_cmp_name = "VerifyMerkleHash_46779_3946757"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyMerkleHash_46779_3946756"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyMerkleHash_32_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 4515 ; @@ -1303271,7 +1303271,7 @@ int aux_cmp_num = 122415+ctx_index+1; uint csoffset = mySignalStart+8805687; uint aux_dimensions[1] = {128}; for (uint i = 0; i < 128; i++) { -std::string new_cmp_name = "VerifyMerkleHash_46785_3947047"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyMerkleHash_46785_3947046"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyMerkleHash_35_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 3887 ; @@ -1303284,7 +1303284,7 @@ int aux_cmp_num = 129071+ctx_index+1; uint csoffset = mySignalStart+9303223; uint aux_dimensions[1] = {128}; for (uint i = 0; i < 128; i++) { -std::string new_cmp_name = "VerifyMerkleHash_46791_3947336"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyMerkleHash_46791_3947335"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyMerkleHash_38_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 3259 ; @@ -1303297,7 +1303297,7 @@ int aux_cmp_num = 134703+ctx_index+1; uint csoffset = mySignalStart+9720375; uint aux_dimensions[1] = {128}; for (uint i = 0; i < 128; i++) { -std::string new_cmp_name = "VerifyMerkleHash_46797_3947624"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyMerkleHash_46797_3947623"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyMerkleHash_41_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 2631 ; @@ -1303310,7 +1303310,7 @@ int aux_cmp_num = 139311+ctx_index+1; uint csoffset = mySignalStart+10057143; uint aux_dimensions[1] = {128}; for (uint i = 0; i < 128; i++) { -std::string new_cmp_name = "VerifyMerkleHash_46803_3947909"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyMerkleHash_46803_3947908"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyMerkleHash_44_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 2003 ; @@ -1303323,7 +1303323,7 @@ int aux_cmp_num = 142895+ctx_index+1; uint csoffset = mySignalStart+10313527; uint aux_dimensions[1] = {128}; for (uint i = 0; i < 128; i++) { -std::string new_cmp_name = "VerifyQuery_46817_3948512"+ctx->generate_position_array(aux_dimensions, 1, i); +std::string new_cmp_name = "VerifyQuery_46817_3948511"+ctx->generate_position_array(aux_dimensions, 1, i); VerifyQuery_49_create_parallel(csoffset,aux_cmp_num,ctx,new_cmp_name,myId); mySubcomponents[aux_create+i] = aux_cmp_num; csoffset += 59324 ; diff --git a/tools/copy_generate_files.sh b/tools/copy_generate_files.sh index 21f75e2a8..4ccaf5f07 100755 --- a/tools/copy_generate_files.sh +++ b/tools/copy_generate_files.sh @@ -1,6 +1,6 @@ #!/bin/bash -x -VERSION=v9.0.0-rc.2-fork.13 +VERSION=v9.0.0-rc.3-fork.13 FORK_VERSION=$(sed -e 's/.*-fork.//g' <<< ${VERSION}) FORK_ID=fork_$FORK_VERSION PARENT_FORK_ID=fork_13 diff --git a/tools/download_archive.sh b/tools/download_archive.sh index 106152869..2fe6958f3 100755 --- a/tools/download_archive.sh +++ b/tools/download_archive.sh @@ -5,7 +5,7 @@ echo "Please ensure that you run this script from the root of the zkevm-prover r echo "Press Enter to continue..." read -ARCHIVE_NAME="v9.0.0-rc.2-fork.13" +ARCHIVE_NAME="v9.0.0-rc.3-fork.13" ARCHIVE_EXTENSION=".tgz" ARCHIVE_URL="https://storage.googleapis.com/zkevm/zkproverc/${ARCHIVE_NAME}${ARCHIVE_EXTENSION}"