From 2d46f57c8cfd3b6d01baff607395d03674710886 Mon Sep 17 00:00:00 2001
From: RogerTaule <roger.taulee@gmail.com>
Date: Thu, 11 Jul 2024 11:06:59 +0000
Subject: [PATCH 1/2] Adding check for circom files

---
 src/config/setup-10.txt                    | 260 +++++++++++++++++++++
 src/config/setup-11.txt                    | 260 +++++++++++++++++++++
 src/prover/prover.cpp                      |   7 +
 src/utils/utils.cpp                        |  54 +++++
 src/utils/utils.hpp                        |   3 +
 testvectors/config_runFile_BatchProof.json |   4 +-
 tools/copy_generate_files.sh               |   3 +
 7 files changed, 589 insertions(+), 2 deletions(-)
 create mode 100644 src/config/setup-10.txt
 create mode 100644 src/config/setup-11.txt

diff --git a/src/config/setup-10.txt b/src/config/setup-10.txt
new file mode 100644
index 000000000..a88eb6b72
--- /dev/null
+++ b/src/config/setup-10.txt
@@ -0,0 +1,260 @@
+c8ceea75f0aa05fdbdb20ac41b224355fde07a0dbeecd6649ff8c2636b9a759c  build/c12a.starkstruct.json
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/dependencies.txt
+da4f38f914620c7b4555beb78fc7e3bd485c7f69b0d818c07e595d5b24d54641  build/final.fflonk.verifier.sol
+a814550e55b7233eb91196bc4e5f4b01a92fca44cc0f3281f4717e6b54112c38  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
+f3fbe65563d18a5c51ec854ca163be36d2abdc0dc3589d35e7a505f39adfa79f  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
+76923751c0bd00d30a55d4fb6886f63ea86763101ea3c0a9f4f73d4b56870bc0  build/final_js/final.wasm
+e9f90211859797466368231b5f02afeb84afa497c3ccd04129e0a57a5c5a3eff  build/final_js/generate_witness.js
+2bf018b05cb6dc399e72f57721d0f7b236b1a4a2d438d8b1c6763e9cd38ac8a8  build/final_js/witness_calculator.js
+e40e41e054ff65dc59337121fb5325687720b634bd5545d43ff488f9d9b70b31  build/package-lock.json
+a4d4b0980c107b114be491567596d8cb3aee3ea702916caad6725e629ab7afd4  build/package.json
+8bc8b44a7e493e447af7c04d1a362c2198f3e9b29e425248b7646c36b67fd02c  build/recursive.starkstruct.json
+072697590722b725f6511f6d03e0e46d3b073636750ee31ddc8d6b3f2b53f08a  build/recursive1.r1cs
+5c0c91bdc8fdacf7c5f3d6c4123f7eaee8707f542200c8d8deefedadc499606b  build/recursive1.sym
+510b26e6202b989da992ab7ec1c602259174236966c2b3c720f2402b7e5b8f0c  build/recursive1_cpp/Makefile
+3b2a847cd01a06391f3d3ccd37ae0deda4c61b40b6ec01726c21dd6993be64b0  build/recursive1_cpp/calcwit.cpp
+9ffa8ad709695d44857e24b08eb4c5fc3465c198f8de06431db1fcbf505d1ae4  build/recursive1_cpp/calcwit.hpp
+46e657f0ce98a5878e0610242c2327cc20f6117b46aa2c55353bf3dace70a6c8  build/recursive1_cpp/circom.hpp
+e0d14dabd9d604d8ac5fe13a69db712f1c02634a35647ee6831d77d991618a3b  build/recursive1_cpp/fr.asm
+4078f766e2ec8311a663ca0abfc5148319c4225074ccc85f789102fb26e39c54  build/recursive1_cpp/fr.cpp
+3cc9d2064f68184316663175602f6a476a191e9403483d21d073e560ca83d4c7  build/recursive1_cpp/fr.hpp
+2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2  build/recursive1_cpp/main.cpp
+6d16273c1f16b4703d27f23f123b9da2ab10e32214a4753924f410d86b557916  build/recursive1_cpp/recursive1.cpp
+a28204589d159c07a6f6928d1d46a46e1e5b3e867d776f5d5911608ec24680f1  build/recursive1_cpp/recursive1.dat
+e9f90211859797466368231b5f02afeb84afa497c3ccd04129e0a57a5c5a3eff  build/recursive1_js/generate_witness.js
+c11d335d25b1180a74ca2546f48699ff21324a814be5409f242c4f8ca0a525f3  build/recursive1_js/recursive1.wasm
+2bf018b05cb6dc399e72f57721d0f7b236b1a4a2d438d8b1c6763e9cd38ac8a8  build/recursive1_js/witness_calculator.js
+72b2cc527abdec1653b1ccdae2caad0c6b333555ff29dfadb8873b8137c3a019  build/recursive2.r1cs
+02d222e72be5ff927f759382c4950ba4af9ba36a6535e5a85fd23284d33ed54c  build/recursive2.sym
+2114d97ae95b5ffb890d0d8391d0b23335b7bf393837fe042c902d459e2ba424  build/recursive2_cpp/Makefile
+3b2a847cd01a06391f3d3ccd37ae0deda4c61b40b6ec01726c21dd6993be64b0  build/recursive2_cpp/calcwit.cpp
+9ffa8ad709695d44857e24b08eb4c5fc3465c198f8de06431db1fcbf505d1ae4  build/recursive2_cpp/calcwit.hpp
+46e657f0ce98a5878e0610242c2327cc20f6117b46aa2c55353bf3dace70a6c8  build/recursive2_cpp/circom.hpp
+e0d14dabd9d604d8ac5fe13a69db712f1c02634a35647ee6831d77d991618a3b  build/recursive2_cpp/fr.asm
+4078f766e2ec8311a663ca0abfc5148319c4225074ccc85f789102fb26e39c54  build/recursive2_cpp/fr.cpp
+3cc9d2064f68184316663175602f6a476a191e9403483d21d073e560ca83d4c7  build/recursive2_cpp/fr.hpp
+2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2  build/recursive2_cpp/main.cpp
+481ede9860ec9e05099b33a38bcee595f22e1310e1557530a182473b534734c8  build/recursive2_cpp/recursive2.cpp
+2b2c82a0246d1177161276bd3172f09c467c22b31ea65c89b03bb88ca34d54e6  build/recursive2_cpp/recursive2.dat
+e9f90211859797466368231b5f02afeb84afa497c3ccd04129e0a57a5c5a3eff  build/recursive2_js/generate_witness.js
+69d455c6946c25806ae0d3c955d557a636932776ca7a30a37f09be54afc40705  build/recursive2_js/recursive2.wasm
+2bf018b05cb6dc399e72f57721d0f7b236b1a4a2d438d8b1c6763e9cd38ac8a8  build/recursive2_js/witness_calculator.js
+66c23d5871f2c874e51d3f4bb9c4e9d2275afe724160e5bbd2da70ae3b1a050c  build/recursivef.r1cs
+ba99ad986178db98b1a867bb9d8592fa6ba5c29d9233fd939d01424425ce6cba  build/recursivef.starkstruct.json
+dc222486289156d8a0a60611afd7988252e6eb450111ab95041e923a8f68cce4  build/recursivef.sym
+275df6dfc94d6c5fa080dc66d3d5b0572692ff687dbfbd8d339d6b564bb4c4f6  build/recursivef_cpp/Makefile
+3b2a847cd01a06391f3d3ccd37ae0deda4c61b40b6ec01726c21dd6993be64b0  build/recursivef_cpp/calcwit.cpp
+9ffa8ad709695d44857e24b08eb4c5fc3465c198f8de06431db1fcbf505d1ae4  build/recursivef_cpp/calcwit.hpp
+46e657f0ce98a5878e0610242c2327cc20f6117b46aa2c55353bf3dace70a6c8  build/recursivef_cpp/circom.hpp
+e0d14dabd9d604d8ac5fe13a69db712f1c02634a35647ee6831d77d991618a3b  build/recursivef_cpp/fr.asm
+4078f766e2ec8311a663ca0abfc5148319c4225074ccc85f789102fb26e39c54  build/recursivef_cpp/fr.cpp
+3cc9d2064f68184316663175602f6a476a191e9403483d21d073e560ca83d4c7  build/recursivef_cpp/fr.hpp
+2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2  build/recursivef_cpp/main.cpp
+a3a0185749d741fb1c9bc4f153f81d4f4f81cbc588b6073d1abaf3bfceba7deb  build/recursivef_cpp/recursivef.cpp
+88ea2bf7167fca54e55b6a1897b7d5ba8049d14200a7a9a36b54d5a535f57a13  build/recursivef_cpp/recursivef.dat
+e9f90211859797466368231b5f02afeb84afa497c3ccd04129e0a57a5c5a3eff  build/recursivef_js/generate_witness.js
+3f51f3e56d8a7a0451ab867a5b9507628c2f21bbd16637ca4253ced190fe6803  build/recursivef_js/recursivef.wasm
+2bf018b05cb6dc399e72f57721d0f7b236b1a4a2d438d8b1c6763e9cd38ac8a8  build/recursivef_js/witness_calculator.js
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/buildchelpers
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/buildconstants
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/buildconstanttree
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/buildpil
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/buildrom
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/buildstoragerom
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/c12a_buildchelpers
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/c12a_buildconstanttree
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/c12a_buildstarkinfo
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/c12a_gencircom
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/c12a_setup
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/calculateimpols
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/compilecircom
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/fflonk_evk
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/fflonk_setup
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/fflonk_solidity
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/final_compile
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/final_gencircom
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/gencircom
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/genpilcode
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/preparepil
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive1_buildchelpers
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive1_buildconstanttree
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive1_buildstarkinfo
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive1_compile
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive1_gencircom
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive1_setup
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive1_verifier_gencircom
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive2_buildchelpers
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive2_buildconstanttree
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive2_buildstarkinfo
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive2_compile
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive2_gencircom
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive2_setup
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive2_verifier_gencircom
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive_pil_check
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive_verifier_check
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursivef_buildchelpers
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursivef_buildconstanttree
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursivef_buildstarkinfo
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursivef_compile
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursivef_gencircom
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursivef_setup
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursivef_verifier_gencircom
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/sha256
+8a74b5606e7f05080fe81cfde6e90f91d4f9ad2cf0fdad778ea4db02db94fdb5  build/zkevm.impols.json
+e7fd805bf154395f80db02caccd8b3f39ecd96d07e2eb34a4ba186ffc64af9d3  build/zkevm.infopil.json
+6f30f597cb42536adbe8ba73c128b9b91fbff2fc608f0afba7bda15c2f6a7442  build/zkevm.starkstruct.json
+11e0fbdde47eb1fdff280901ae2bf7ced845e4abdbddf558eeedf1816d27167e  build/zkevm.verifier.r1cs
+bacddbdf2c876716c61bbbce6a6863c87f5c813a6a2723e9437ebbecee78bb68  build/zkevm.verifier.sym
+ba88f146ff134bb9aeb8f9b2e056f698c56c2e25a834c78f1b5e7fc89b81b59d  build/zkevm.verifier_cpp/Makefile
+3b2a847cd01a06391f3d3ccd37ae0deda4c61b40b6ec01726c21dd6993be64b0  build/zkevm.verifier_cpp/calcwit.cpp
+9ffa8ad709695d44857e24b08eb4c5fc3465c198f8de06431db1fcbf505d1ae4  build/zkevm.verifier_cpp/calcwit.hpp
+46e657f0ce98a5878e0610242c2327cc20f6117b46aa2c55353bf3dace70a6c8  build/zkevm.verifier_cpp/circom.hpp
+e0d14dabd9d604d8ac5fe13a69db712f1c02634a35647ee6831d77d991618a3b  build/zkevm.verifier_cpp/fr.asm
+4078f766e2ec8311a663ca0abfc5148319c4225074ccc85f789102fb26e39c54  build/zkevm.verifier_cpp/fr.cpp
+3cc9d2064f68184316663175602f6a476a191e9403483d21d073e560ca83d4c7  build/zkevm.verifier_cpp/fr.hpp
+2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2  build/zkevm.verifier_cpp/main.cpp
+9e2b096a2c5d34356b530a962c9f26827543b46fb4a3817da0ce19e02495fdc6  build/zkevm.verifier_cpp/zkevm.verifier.cpp
+0dc117cc96882523cac83f1bab9dc9091bae3662cff9e4c3926e7fc33cb42b89  build/zkevm.verifier_cpp/zkevm.verifier.dat
+e9f90211859797466368231b5f02afeb84afa497c3ccd04129e0a57a5c5a3eff  build/zkevm.verifier_js/generate_witness.js
+2bf018b05cb6dc399e72f57721d0f7b236b1a4a2d438d8b1c6763e9cd38ac8a8  build/zkevm.verifier_js/witness_calculator.js
+54b9f102121015ed5ea9345427b0f0b56bf046107e890e16703fdbcb58969de5  build/zkevm.verifier_js/zkevm.verifier.wasm
+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
+f3fbe65563d18a5c51ec854ca163be36d2abdc0dc3589d35e7a505f39adfa79f  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
+2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2  c_files/final_cpp/main.cpp
+bcb6885a8fd72c866633b54d79bfc1fc035617daecb2f4633651ea183f51bd59  c_files/recursive1.chelpers/Recursive1Steps.hpp
+510b26e6202b989da992ab7ec1c602259174236966c2b3c720f2402b7e5b8f0c  c_files/recursive1_cpp/Makefile
+3b2a847cd01a06391f3d3ccd37ae0deda4c61b40b6ec01726c21dd6993be64b0  c_files/recursive1_cpp/calcwit.cpp
+9ffa8ad709695d44857e24b08eb4c5fc3465c198f8de06431db1fcbf505d1ae4  c_files/recursive1_cpp/calcwit.hpp
+46e657f0ce98a5878e0610242c2327cc20f6117b46aa2c55353bf3dace70a6c8  c_files/recursive1_cpp/circom.hpp
+e0d14dabd9d604d8ac5fe13a69db712f1c02634a35647ee6831d77d991618a3b  c_files/recursive1_cpp/fr.asm
+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
+a28204589d159c07a6f6928d1d46a46e1e5b3e867d776f5d5911608ec24680f1  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
+9ffa8ad709695d44857e24b08eb4c5fc3465c198f8de06431db1fcbf505d1ae4  c_files/recursive2_cpp/calcwit.hpp
+46e657f0ce98a5878e0610242c2327cc20f6117b46aa2c55353bf3dace70a6c8  c_files/recursive2_cpp/circom.hpp
+e0d14dabd9d604d8ac5fe13a69db712f1c02634a35647ee6831d77d991618a3b  c_files/recursive2_cpp/fr.asm
+4078f766e2ec8311a663ca0abfc5148319c4225074ccc85f789102fb26e39c54  c_files/recursive2_cpp/fr.cpp
+3cc9d2064f68184316663175602f6a476a191e9403483d21d073e560ca83d4c7  c_files/recursive2_cpp/fr.hpp
+2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2  c_files/recursive2_cpp/main.cpp
+481ede9860ec9e05099b33a38bcee595f22e1310e1557530a182473b534734c8  c_files/recursive2_cpp/recursive2.cpp
+2b2c82a0246d1177161276bd3172f09c467c22b31ea65c89b03bb88ca34d54e6  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
+9ffa8ad709695d44857e24b08eb4c5fc3465c198f8de06431db1fcbf505d1ae4  c_files/recursivef_cpp/calcwit.hpp
+46e657f0ce98a5878e0610242c2327cc20f6117b46aa2c55353bf3dace70a6c8  c_files/recursivef_cpp/circom.hpp
+e0d14dabd9d604d8ac5fe13a69db712f1c02634a35647ee6831d77d991618a3b  c_files/recursivef_cpp/fr.asm
+4078f766e2ec8311a663ca0abfc5148319c4225074ccc85f789102fb26e39c54  c_files/recursivef_cpp/fr.cpp
+3cc9d2064f68184316663175602f6a476a191e9403483d21d073e560ca83d4c7  c_files/recursivef_cpp/fr.hpp
+2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2  c_files/recursivef_cpp/main.cpp
+a3a0185749d741fb1c9bc4f153f81d4f4f81cbc588b6073d1abaf3bfceba7deb  c_files/recursivef_cpp/recursivef.cpp
+88ea2bf7167fca54e55b6a1897b7d5ba8049d14200a7a9a36b54d5a535f57a13  c_files/recursivef_cpp/recursivef.dat
+a0c089caadf743f2eac6dc4973f39629f623ead8e3e04355e0ef0771a462959d  c_files/zkevm.chelpers/ZkevmSteps.hpp
+ba88f146ff134bb9aeb8f9b2e056f698c56c2e25a834c78f1b5e7fc89b81b59d  c_files/zkevm.verifier_cpp/Makefile
+3b2a847cd01a06391f3d3ccd37ae0deda4c61b40b6ec01726c21dd6993be64b0  c_files/zkevm.verifier_cpp/calcwit.cpp
+9ffa8ad709695d44857e24b08eb4c5fc3465c198f8de06431db1fcbf505d1ae4  c_files/zkevm.verifier_cpp/calcwit.hpp
+46e657f0ce98a5878e0610242c2327cc20f6117b46aa2c55353bf3dace70a6c8  c_files/zkevm.verifier_cpp/circom.hpp
+e0d14dabd9d604d8ac5fe13a69db712f1c02634a35647ee6831d77d991618a3b  c_files/zkevm.verifier_cpp/fr.asm
+4078f766e2ec8311a663ca0abfc5148319c4225074ccc85f789102fb26e39c54  c_files/zkevm.verifier_cpp/fr.cpp
+3cc9d2064f68184316663175602f6a476a191e9403483d21d073e560ca83d4c7  c_files/zkevm.verifier_cpp/fr.hpp
+2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2  c_files/zkevm.verifier_cpp/main.cpp
+9e2b096a2c5d34356b530a962c9f26827543b46fb4a3817da0ce19e02495fdc6  c_files/zkevm.verifier_cpp/zkevm.verifier.cpp
+0dc117cc96882523cac83f1bab9dc9091bae3662cff9e4c3926e7fc33cb42b89  c_files/zkevm.verifier_cpp/zkevm.verifier.dat
+87d315c64641a6b4156974cbe0fec413fafe593d4ddf760151838c02bf669f2a  circom/c12a.verifier.circom
+74a06304ce73b282a520c358baead152dad790b0aa6b7031f6ba8c00166be459  circom/final.circom
+83543e99e0a1f660761fa8a06310dfd9b69d0c0a358a73b6baec55d9587234e5  circom/recursive1.circom
+4efe368b5ef6ff5444a912870d481ed2ee82a2305a8954baee28ffe830f11cd2  circom/recursive1.verifier.circom
+72959b38475ddaefa608b039ebf3999938d6be3f23d0139390c491ef452fbf20  circom/recursive2.circom
+4efe368b5ef6ff5444a912870d481ed2ee82a2305a8954baee28ffe830f11cd2  circom/recursive2.verifier.circom
+4856e2da44006f4731fc1f0a2d8b421ab2da0149ae2709300f16a755f5661e0e  circom/recursivef.circom
+3152ab9959ce805bfef9aa77a45bff8a29fab9a9ab8826a5b8d4a416df17c95a  circom/recursivef.verifier.circom
+5ef90acd7685fb9050d1832de9006f182b2e163169f2051aa4d55137b54347eb  circom/zkevm.verifier.circom
+3337432b4b9de283593a135628c0984dc5cd51b09502a1b97ca6ff6c67de0a1b  config/c12a/c12a.chelpers.bin
+529737dbc001bb5376e0521118d373674274e9c66919ea9284260eb4d2d02319  config/c12a/c12a.chelpers_generic.bin
+266d77e9485556405d28ff1a4156717ac21f1feb7b40c864a908843e56fb6dbc  config/c12a/c12a.const
+e29ffa5a85754a99d3a281ba91ef6a72f469531f5e871eba81e7f785a91aa20a  config/c12a/c12a.exec
+7322ea8530b020ff269d3f7805357a387f94d41b38a5e174d5ecfa3c6af0148b  config/c12a/c12a.starkinfo.json
+8017de42dd545a2e80da3e3bc4ea2d0b9199fb5a0d62bbf51e2a0214c758c4b7  config/c12a/c12a.verkey.json
+39451f7afda57236b183b0f6ffc70ce53cb5ab92af54706bc82b10fe80e08a94  config/final/final.fflonk.verkey.json
+8526d0b772c60ae9396accd56cc2497403f76ffb72837f47e526713c6eaf3780  config/final/final.fflonk.zkey
+f3fbe65563d18a5c51ec854ca163be36d2abdc0dc3589d35e7a505f39adfa79f  config/final/final.verifier.dat
+9456b3dc79f596bd208bbc056565a3ab22f638b840ee11cdc0294bbf94e89836  config/recursive1/recursive1.chelpers.bin
+6ffc64073f9f2d856c40cf556dccb35f3bc9489a60421bf09bfe44eae0e3b579  config/recursive1/recursive1.chelpers_generic.bin
+4f2a823ddde0de80a9b9beaf606e5db53e4cda2626d862400ccc1202c7b67676  config/recursive1/recursive1.const
+9c9e3f44b4740a4a694509b24441ebbefdb1a08713d783b3aad7b4ca52eaa0be  config/recursive1/recursive1.exec
+d7e92de911ae2ba54565f044a8566f712c539f1c95f18ef575a6a152a9fded63  config/recursive1/recursive1.starkinfo.json
+a28204589d159c07a6f6928d1d46a46e1e5b3e867d776f5d5911608ec24680f1  config/recursive1/recursive1.verifier.dat
+ec42b4a472e6497505c552df74403ff5357516e602616d1ca447a469059ebbe2  config/recursive1/recursive1.verkey.json
+9456b3dc79f596bd208bbc056565a3ab22f638b840ee11cdc0294bbf94e89836  config/recursive2/recursive2.chelpers.bin
+6ffc64073f9f2d856c40cf556dccb35f3bc9489a60421bf09bfe44eae0e3b579  config/recursive2/recursive2.chelpers_generic.bin
+d943429750cd15e0d2595da0dcce5e69bcffd279ee7904a8a7ee3cbaaf4314ac  config/recursive2/recursive2.const
+8e54e6994f95dddf12f0fbe53c9f59cc37d6a3759be9c9533d00c1e35792e1e4  config/recursive2/recursive2.exec
+d7e92de911ae2ba54565f044a8566f712c539f1c95f18ef575a6a152a9fded63  config/recursive2/recursive2.starkinfo.json
+2b2c82a0246d1177161276bd3172f09c467c22b31ea65c89b03bb88ca34d54e6  config/recursive2/recursive2.verifier.dat
+cf23b24a30f228c21c32c13e3011c2ac927d3b894696a46449b0b824b08a04f8  config/recursive2/recursive2.verkey.json
+8c3a3e5a6b1cc2aa5d8879c3b0a3997cf290c78dea5b11ad31e27af8db8986f7  config/recursivef/recursivef.chelpers.bin
+e8f078653969cee14c5097101d8967bfaec7a9606daca248bb281b32549a3895  config/recursivef/recursivef.chelpers_generic.bin
+737cbe52ea1e8f3f0fda65b86164f670caffc67ad68d46ffd5eacd6c44eb54aa  config/recursivef/recursivef.const
+9f4e5c4b20a55a28d7c9753ca41226b7116eea28d24e65e47fd7d1331a13d721  config/recursivef/recursivef.exec
+5d2a3e02a0e5ea64f04d6ad8a8fc3f29edb4c959acde2460de11e21fb17c02c7  config/recursivef/recursivef.starkinfo.json
+88ea2bf7167fca54e55b6a1897b7d5ba8049d14200a7a9a36b54d5a535f57a13  config/recursivef/recursivef.verifier.dat
+781120af58850a2a55064d2d94d6c21198c660bf6e3255a7a66a68272c0ac1eb  config/recursivef/recursivef.verkey.json
+a4acd44d7811f08643d3e5d65898b8a067001593d765a71c39cd1512ef6fd032  config/scripts/keccak_connections.json
+3ebed8bfd38adcd524ac09c79541fe6041aab4b1dc83c242218b1d4b2154d913  config/scripts/keccak_script.json
+475ce1fe0638d0fa5d3205bcac422965abd493130625d78e91e0d95e3d00354b  config/scripts/metadata-rom.txt
+75217d596342164e7af3d05c1d5ab5b7a6355ef44e3cc6e8a5b8cddcd338b67c  config/scripts/rom.json
+1e86011196524678d36686771f21b6fcee4bc11e08e3d1599f042737e8330b07  config/scripts/sha256_gates.json
+af04418178fa53d097e207927f993d6c5c4bf37c3b8220621e5d9d99b51f9453  config/scripts/sha256_script.json
+676c3f58263fc284bc53ef949dd1acedcfb090f3287ee080b2a277ed2157894a  config/scripts/storage_sm_rom.json
+4b2771e907b1b5f23df8bd846edf8eb6467ace9f929c1e16b06a13dd74643d90  config/zkevm/zkevm.chelpers.bin
+18d28b1ff6d2463b8e8f42d5771cc9780b3ead5fbe45b1b44b6d785768a08c7e  config/zkevm/zkevm.chelpers_generic.bin
+8a6051847e055f85ecbcc7d99d889c439ef10ceee05fae35257b8e6d566375bd  config/zkevm/zkevm.const
+2034230c2ba49963e59237c8cb9ceb89f60ccd56bba46a1ba16b9c6338e829ea  config/zkevm/zkevm.starkinfo.json
+0dc117cc96882523cac83f1bab9dc9091bae3662cff9e4c3926e7fc33cb42b89  config/zkevm/zkevm.verifier.dat
+858385fbd81578709e14a157e5010c70583429aca87cca9e90a56da0689c0b4c  config/zkevm/zkevm.verkey.json
+13b74f6e33dcbfcb9aa1a5eb7a93691635f51f33aa91e7c867dec11509c93f4d  pil/c12a.pil
+94ea2856942dd0745e2d6443c6988a4fdc65ac2c3173633e897e02b6d7eaad8b  pil/recursive1.pil
+94ea2856942dd0745e2d6443c6988a4fdc65ac2c3173633e897e02b6d7eaad8b  pil/recursive2.pil
+62527bfc12f535e8fa3a6dd7055bc595b27fc491f7203987108ee3d13283dbfe  pil/recursivef.pil
+e2c88c1ac15a5508988b7ef46d0b9fe0d541bc6fe5a8b82dc35f0473e448f477  pil/zkevm/arith.pil
+24802bc7c92a21c855277a59ad7001de77695e26b2cf477f7770f39b7da666a3  pil/zkevm/binary.pil
+47e7e801eeffaa1d4ebdabbe047f01605f51a6a5bc03d7dc37d2efb1ccec022c  pil/zkevm/bits2field.pil
+0730f313e8df163305ce7c128bf25a71e56c57696496f82ba15531b62f66ccaf  pil/zkevm/bits2field_sha256.pil
+b20af23ed3deb6354d7181b58b8538a8a4fd107ca434c61c3ac17aff333cb8c3  pil/zkevm/climb_key.pil
+642f30d3de07c05fdd610c211f70ed277b810412bf5480cace5a04601bc8f34d  pil/zkevm/keccakf.pil
+7525d892ec7e31c4a0f2d9b0d4016d7a150700558c04dfc934291eb1adc446dc  pil/zkevm/main.pil
+edff777e975691a9248a0ebb11fb1c00f452bb92f9b7e89c8250343c2be6d99a  pil/zkevm/main.pil.json
+ebd045a0dd8d32153d6d64cc93fdbb834ff799d98e598ca8ece96ca553e0ce14  pil/zkevm/main_common.pil
+60e98f80ef0dec6abc58b46c5dba54d5065f673eb671478c147f852802549338  pil/zkevm/mem.pil
+ef0422585240b2f26bddf33db570cd144f1a130c2607190495aefed98291ca97  pil/zkevm/mem_align.pil
+92211ea025ad7a782a9f0a21a4101d31475e8733e7c6ae53fffd5f401d599964  pil/zkevm/padding_kk.pil
+6c18762cc1ff63cf6e2d741a3ba88c41e262c054602e2d9c83fe9940aca54d05  pil/zkevm/padding_kkbit.pil
+75b4966082f3772a8f6845ea00a563eb58643829a517a2be60790353d3905272  pil/zkevm/padding_pg.pil
+efdf8b62c3b51bc9514f276c1d6237a04e7e3be728c8581512c7f4be7101b627  pil/zkevm/padding_sha256.pil
+a1fac08a65caafcc3517c70fa347632234e4ab6a211065a3d501422a4ac8849b  pil/zkevm/padding_sha256bit.pil
+37c46c836f2ae41d170229b61d0724aaf3ff6d356cb78437c0950201784e6ad0  pil/zkevm/poseidong.pil
+b44aedc058f875fbf87a88272f92cf6d523b2ff17d597d1bd96c29bc01410ca6  pil/zkevm/sha256f.pil
+ca7aaf245a28a38f3851da532fda9dbe611bc643d2cd1c9df78e81f93cfd3bd1  pil/zkevm/storage.pil
\ No newline at end of file
diff --git a/src/config/setup-11.txt b/src/config/setup-11.txt
new file mode 100644
index 000000000..08c30c8df
--- /dev/null
+++ b/src/config/setup-11.txt
@@ -0,0 +1,260 @@
+c8ceea75f0aa05fdbdb20ac41b224355fde07a0dbeecd6649ff8c2636b9a759c  build/c12a.starkstruct.json
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/dependencies.txt
+97930c7ceda1227e57458f3ddd76b5c385f2e1f3f7dc8b405e2c22a484e05859  build/final.fflonk.verifier.sol
+81a4ebfb256aa6e77905cbab15ef4d200b7e64f37bc633b574e6d4fa7f508a49  build/final.r1cs
+df4e27d025b52579326413f66a8350edeb3e0e1a1346ac52bb90872bd847168e  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
+aac65fe8ce1bec291c1bab8edf9f8895aca800e42794e01e33ffb3f2cb9b9aff  build/final_cpp/final.cpp
+cee691f0bb45d33f1de608bc9b67ee7a019f20cb16f5758b962c576da181a911  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
+d1c37b54dd8b346bca178cadc800352f43a428c9763fb52cb67b79ed4f6c2a16  build/final_js/final.wasm
+e9f90211859797466368231b5f02afeb84afa497c3ccd04129e0a57a5c5a3eff  build/final_js/generate_witness.js
+2bf018b05cb6dc399e72f57721d0f7b236b1a4a2d438d8b1c6763e9cd38ac8a8  build/final_js/witness_calculator.js
+e40e41e054ff65dc59337121fb5325687720b634bd5545d43ff488f9d9b70b31  build/package-lock.json
+a4d4b0980c107b114be491567596d8cb3aee3ea702916caad6725e629ab7afd4  build/package.json
+8bc8b44a7e493e447af7c04d1a362c2198f3e9b29e425248b7646c36b67fd02c  build/recursive.starkstruct.json
+9cc6369ce242a65e190766c37aed1dd3e2724182ad929520e2c252fed9aa405d  build/recursive1.r1cs
+c5725120612ee5d8d8e1fe89df9955854646093c6b90ec611a8cf1ff67a31420  build/recursive1.sym
+510b26e6202b989da992ab7ec1c602259174236966c2b3c720f2402b7e5b8f0c  build/recursive1_cpp/Makefile
+3b2a847cd01a06391f3d3ccd37ae0deda4c61b40b6ec01726c21dd6993be64b0  build/recursive1_cpp/calcwit.cpp
+9ffa8ad709695d44857e24b08eb4c5fc3465c198f8de06431db1fcbf505d1ae4  build/recursive1_cpp/calcwit.hpp
+46e657f0ce98a5878e0610242c2327cc20f6117b46aa2c55353bf3dace70a6c8  build/recursive1_cpp/circom.hpp
+e0d14dabd9d604d8ac5fe13a69db712f1c02634a35647ee6831d77d991618a3b  build/recursive1_cpp/fr.asm
+4078f766e2ec8311a663ca0abfc5148319c4225074ccc85f789102fb26e39c54  build/recursive1_cpp/fr.cpp
+3cc9d2064f68184316663175602f6a476a191e9403483d21d073e560ca83d4c7  build/recursive1_cpp/fr.hpp
+2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2  build/recursive1_cpp/main.cpp
+862bf866348751d61041ef4122419584b5b4aee624b344ce1d54b35f2b03d111  build/recursive1_cpp/recursive1.cpp
+fcd3e82dd47024a6a4d4bdef3558474ea5667af6a4f08452e79a4a8111ab5590  build/recursive1_cpp/recursive1.dat
+e9f90211859797466368231b5f02afeb84afa497c3ccd04129e0a57a5c5a3eff  build/recursive1_js/generate_witness.js
+2df2bcb4cf9e813e9443456adf4361683125166e52226e667c43016f02fb899e  build/recursive1_js/recursive1.wasm
+2bf018b05cb6dc399e72f57721d0f7b236b1a4a2d438d8b1c6763e9cd38ac8a8  build/recursive1_js/witness_calculator.js
+a2b4968d79ad2ffad3050c9c00cc9bea9eaaf030006fd972b86dcba1b1ba6616  build/recursive2.r1cs
+02d222e72be5ff927f759382c4950ba4af9ba36a6535e5a85fd23284d33ed54c  build/recursive2.sym
+2114d97ae95b5ffb890d0d8391d0b23335b7bf393837fe042c902d459e2ba424  build/recursive2_cpp/Makefile
+3b2a847cd01a06391f3d3ccd37ae0deda4c61b40b6ec01726c21dd6993be64b0  build/recursive2_cpp/calcwit.cpp
+9ffa8ad709695d44857e24b08eb4c5fc3465c198f8de06431db1fcbf505d1ae4  build/recursive2_cpp/calcwit.hpp
+46e657f0ce98a5878e0610242c2327cc20f6117b46aa2c55353bf3dace70a6c8  build/recursive2_cpp/circom.hpp
+e0d14dabd9d604d8ac5fe13a69db712f1c02634a35647ee6831d77d991618a3b  build/recursive2_cpp/fr.asm
+4078f766e2ec8311a663ca0abfc5148319c4225074ccc85f789102fb26e39c54  build/recursive2_cpp/fr.cpp
+3cc9d2064f68184316663175602f6a476a191e9403483d21d073e560ca83d4c7  build/recursive2_cpp/fr.hpp
+2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2  build/recursive2_cpp/main.cpp
+481ede9860ec9e05099b33a38bcee595f22e1310e1557530a182473b534734c8  build/recursive2_cpp/recursive2.cpp
+0beab8371e33d6a000e7baaf4c2e4f358529c2a4906557c3243d9192b970636c  build/recursive2_cpp/recursive2.dat
+e9f90211859797466368231b5f02afeb84afa497c3ccd04129e0a57a5c5a3eff  build/recursive2_js/generate_witness.js
+ebdbfa88ae64078c776fd62ba6b5a2778dfc776aa37d2050cf654d3577e03167  build/recursive2_js/recursive2.wasm
+2bf018b05cb6dc399e72f57721d0f7b236b1a4a2d438d8b1c6763e9cd38ac8a8  build/recursive2_js/witness_calculator.js
+f93d98b2d822ff73adb523aca704775183aaa9962bd671843968c0fcfda98667  build/recursivef.r1cs
+ba99ad986178db98b1a867bb9d8592fa6ba5c29d9233fd939d01424425ce6cba  build/recursivef.starkstruct.json
+dc222486289156d8a0a60611afd7988252e6eb450111ab95041e923a8f68cce4  build/recursivef.sym
+275df6dfc94d6c5fa080dc66d3d5b0572692ff687dbfbd8d339d6b564bb4c4f6  build/recursivef_cpp/Makefile
+3b2a847cd01a06391f3d3ccd37ae0deda4c61b40b6ec01726c21dd6993be64b0  build/recursivef_cpp/calcwit.cpp
+9ffa8ad709695d44857e24b08eb4c5fc3465c198f8de06431db1fcbf505d1ae4  build/recursivef_cpp/calcwit.hpp
+46e657f0ce98a5878e0610242c2327cc20f6117b46aa2c55353bf3dace70a6c8  build/recursivef_cpp/circom.hpp
+e0d14dabd9d604d8ac5fe13a69db712f1c02634a35647ee6831d77d991618a3b  build/recursivef_cpp/fr.asm
+4078f766e2ec8311a663ca0abfc5148319c4225074ccc85f789102fb26e39c54  build/recursivef_cpp/fr.cpp
+3cc9d2064f68184316663175602f6a476a191e9403483d21d073e560ca83d4c7  build/recursivef_cpp/fr.hpp
+2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2  build/recursivef_cpp/main.cpp
+a3a0185749d741fb1c9bc4f153f81d4f4f81cbc588b6073d1abaf3bfceba7deb  build/recursivef_cpp/recursivef.cpp
+094d57bcef0956fa151d922da022fbf904fde4097bfeba82e4aa42d4c92caad1  build/recursivef_cpp/recursivef.dat
+e9f90211859797466368231b5f02afeb84afa497c3ccd04129e0a57a5c5a3eff  build/recursivef_js/generate_witness.js
+007bff966018480e375e161f9486cb6cfa0c7e154ce53494797bed855418b475  build/recursivef_js/recursivef.wasm
+2bf018b05cb6dc399e72f57721d0f7b236b1a4a2d438d8b1c6763e9cd38ac8a8  build/recursivef_js/witness_calculator.js
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/buildchelpers
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/buildconstants
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/buildconstanttree
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/buildpil
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/buildrom
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/buildstoragerom
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/c12a_buildchelpers
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/c12a_buildconstanttree
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/c12a_buildstarkinfo
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/c12a_gencircom
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/c12a_setup
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/calculateimpols
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/compilecircom
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/fflonk_evk
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/fflonk_setup
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/fflonk_solidity
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/final_compile
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/final_gencircom
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/gencircom
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/genpilcode
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/preparepil
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive1_buildchelpers
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive1_buildconstanttree
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive1_buildstarkinfo
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive1_compile
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive1_gencircom
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive1_setup
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive1_verifier_gencircom
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive2_buildchelpers
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive2_buildconstanttree
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive2_buildstarkinfo
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive2_compile
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive2_gencircom
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive2_setup
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive2_verifier_gencircom
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive_pil_check
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursive_verifier_check
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursivef_buildchelpers
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursivef_buildconstanttree
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursivef_buildstarkinfo
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursivef_compile
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursivef_gencircom
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursivef_setup
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/recursivef_verifier_gencircom
+7358d724a8bcbb8877132f561d3324b743fa799e2a4aaf564d9fb9cc16a6f474  build/steps/sha256
+c2338decb4de6a11e30e7a4d10e7f02e55de48a9975ad1c2ad83f903651d141e  build/zkevm.impols.json
+34b460f276326a93f91dbd2b80a019da5aa6125ebcd4570fd2ce92461333be00  build/zkevm.infopil.json
+9e2d94d76396a430d95d305340e5cf62e03fcaf18d6d3d2058bef6a4f8c50e8e  build/zkevm.starkstruct.json
+8c4b2daf4c6cb0c41376ed73b0a13ae293423577b5a2be9d940ae9f6d304fecc  build/zkevm.verifier.r1cs
+5f2ba8617894d4b88e68e37e5333e7a654f0838028a5ce44bed7097ed5288f02  build/zkevm.verifier.sym
+ba88f146ff134bb9aeb8f9b2e056f698c56c2e25a834c78f1b5e7fc89b81b59d  build/zkevm.verifier_cpp/Makefile
+3b2a847cd01a06391f3d3ccd37ae0deda4c61b40b6ec01726c21dd6993be64b0  build/zkevm.verifier_cpp/calcwit.cpp
+9ffa8ad709695d44857e24b08eb4c5fc3465c198f8de06431db1fcbf505d1ae4  build/zkevm.verifier_cpp/calcwit.hpp
+46e657f0ce98a5878e0610242c2327cc20f6117b46aa2c55353bf3dace70a6c8  build/zkevm.verifier_cpp/circom.hpp
+e0d14dabd9d604d8ac5fe13a69db712f1c02634a35647ee6831d77d991618a3b  build/zkevm.verifier_cpp/fr.asm
+4078f766e2ec8311a663ca0abfc5148319c4225074ccc85f789102fb26e39c54  build/zkevm.verifier_cpp/fr.cpp
+3cc9d2064f68184316663175602f6a476a191e9403483d21d073e560ca83d4c7  build/zkevm.verifier_cpp/fr.hpp
+2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2  build/zkevm.verifier_cpp/main.cpp
+3317696a3f2e7e67f343d03d250ee02c180b6583d2651e7caa4a4ed8755dc78f  build/zkevm.verifier_cpp/zkevm.verifier.cpp
+e33d1b5b2c745fa04293e98ebb815248307bb18b0c9166246949f2b700569cc2  build/zkevm.verifier_cpp/zkevm.verifier.dat
+e9f90211859797466368231b5f02afeb84afa497c3ccd04129e0a57a5c5a3eff  build/zkevm.verifier_js/generate_witness.js
+2bf018b05cb6dc399e72f57721d0f7b236b1a4a2d438d8b1c6763e9cd38ac8a8  build/zkevm.verifier_js/witness_calculator.js
+a17589b8aed440668cae72bcb4ae0ed57df34063f14f5fe942a6ebfce48f371e  build/zkevm.verifier_js/zkevm.verifier.wasm
+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
+aac65fe8ce1bec291c1bab8edf9f8895aca800e42794e01e33ffb3f2cb9b9aff  c_files/final_cpp/final.cpp
+cee691f0bb45d33f1de608bc9b67ee7a019f20cb16f5758b962c576da181a911  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
+2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2  c_files/final_cpp/main.cpp
+bcb6885a8fd72c866633b54d79bfc1fc035617daecb2f4633651ea183f51bd59  c_files/recursive1.chelpers/Recursive1Steps.hpp
+510b26e6202b989da992ab7ec1c602259174236966c2b3c720f2402b7e5b8f0c  c_files/recursive1_cpp/Makefile
+3b2a847cd01a06391f3d3ccd37ae0deda4c61b40b6ec01726c21dd6993be64b0  c_files/recursive1_cpp/calcwit.cpp
+9ffa8ad709695d44857e24b08eb4c5fc3465c198f8de06431db1fcbf505d1ae4  c_files/recursive1_cpp/calcwit.hpp
+46e657f0ce98a5878e0610242c2327cc20f6117b46aa2c55353bf3dace70a6c8  c_files/recursive1_cpp/circom.hpp
+e0d14dabd9d604d8ac5fe13a69db712f1c02634a35647ee6831d77d991618a3b  c_files/recursive1_cpp/fr.asm
+4078f766e2ec8311a663ca0abfc5148319c4225074ccc85f789102fb26e39c54  c_files/recursive1_cpp/fr.cpp
+3cc9d2064f68184316663175602f6a476a191e9403483d21d073e560ca83d4c7  c_files/recursive1_cpp/fr.hpp
+2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2  c_files/recursive1_cpp/main.cpp
+862bf866348751d61041ef4122419584b5b4aee624b344ce1d54b35f2b03d111  c_files/recursive1_cpp/recursive1.cpp
+fcd3e82dd47024a6a4d4bdef3558474ea5667af6a4f08452e79a4a8111ab5590  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
+9ffa8ad709695d44857e24b08eb4c5fc3465c198f8de06431db1fcbf505d1ae4  c_files/recursive2_cpp/calcwit.hpp
+46e657f0ce98a5878e0610242c2327cc20f6117b46aa2c55353bf3dace70a6c8  c_files/recursive2_cpp/circom.hpp
+e0d14dabd9d604d8ac5fe13a69db712f1c02634a35647ee6831d77d991618a3b  c_files/recursive2_cpp/fr.asm
+4078f766e2ec8311a663ca0abfc5148319c4225074ccc85f789102fb26e39c54  c_files/recursive2_cpp/fr.cpp
+3cc9d2064f68184316663175602f6a476a191e9403483d21d073e560ca83d4c7  c_files/recursive2_cpp/fr.hpp
+2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2  c_files/recursive2_cpp/main.cpp
+481ede9860ec9e05099b33a38bcee595f22e1310e1557530a182473b534734c8  c_files/recursive2_cpp/recursive2.cpp
+0beab8371e33d6a000e7baaf4c2e4f358529c2a4906557c3243d9192b970636c  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
+9ffa8ad709695d44857e24b08eb4c5fc3465c198f8de06431db1fcbf505d1ae4  c_files/recursivef_cpp/calcwit.hpp
+46e657f0ce98a5878e0610242c2327cc20f6117b46aa2c55353bf3dace70a6c8  c_files/recursivef_cpp/circom.hpp
+e0d14dabd9d604d8ac5fe13a69db712f1c02634a35647ee6831d77d991618a3b  c_files/recursivef_cpp/fr.asm
+4078f766e2ec8311a663ca0abfc5148319c4225074ccc85f789102fb26e39c54  c_files/recursivef_cpp/fr.cpp
+3cc9d2064f68184316663175602f6a476a191e9403483d21d073e560ca83d4c7  c_files/recursivef_cpp/fr.hpp
+2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2  c_files/recursivef_cpp/main.cpp
+a3a0185749d741fb1c9bc4f153f81d4f4f81cbc588b6073d1abaf3bfceba7deb  c_files/recursivef_cpp/recursivef.cpp
+094d57bcef0956fa151d922da022fbf904fde4097bfeba82e4aa42d4c92caad1  c_files/recursivef_cpp/recursivef.dat
+a0c089caadf743f2eac6dc4973f39629f623ead8e3e04355e0ef0771a462959d  c_files/zkevm.chelpers/ZkevmSteps.hpp
+ba88f146ff134bb9aeb8f9b2e056f698c56c2e25a834c78f1b5e7fc89b81b59d  c_files/zkevm.verifier_cpp/Makefile
+3b2a847cd01a06391f3d3ccd37ae0deda4c61b40b6ec01726c21dd6993be64b0  c_files/zkevm.verifier_cpp/calcwit.cpp
+9ffa8ad709695d44857e24b08eb4c5fc3465c198f8de06431db1fcbf505d1ae4  c_files/zkevm.verifier_cpp/calcwit.hpp
+46e657f0ce98a5878e0610242c2327cc20f6117b46aa2c55353bf3dace70a6c8  c_files/zkevm.verifier_cpp/circom.hpp
+e0d14dabd9d604d8ac5fe13a69db712f1c02634a35647ee6831d77d991618a3b  c_files/zkevm.verifier_cpp/fr.asm
+4078f766e2ec8311a663ca0abfc5148319c4225074ccc85f789102fb26e39c54  c_files/zkevm.verifier_cpp/fr.cpp
+3cc9d2064f68184316663175602f6a476a191e9403483d21d073e560ca83d4c7  c_files/zkevm.verifier_cpp/fr.hpp
+2af134571f5ee048d5d91fd72f1f90de8a33f568cb02ec65f2239b388d0015a2  c_files/zkevm.verifier_cpp/main.cpp
+3317696a3f2e7e67f343d03d250ee02c180b6583d2651e7caa4a4ed8755dc78f  c_files/zkevm.verifier_cpp/zkevm.verifier.cpp
+e33d1b5b2c745fa04293e98ebb815248307bb18b0c9166246949f2b700569cc2  c_files/zkevm.verifier_cpp/zkevm.verifier.dat
+b6c84788d416f95de78736e163fe601aa02aafb267102aa48f8bac668ccc1d7d  circom/c12a.verifier.circom
+74a06304ce73b282a520c358baead152dad790b0aa6b7031f6ba8c00166be459  circom/final.circom
+83543e99e0a1f660761fa8a06310dfd9b69d0c0a358a73b6baec55d9587234e5  circom/recursive1.circom
+4efe368b5ef6ff5444a912870d481ed2ee82a2305a8954baee28ffe830f11cd2  circom/recursive1.verifier.circom
+93eb17f4e39945e58847675ed46f7f4bf3d2dfdbdd117d22c410562ba1917e94  circom/recursive2.circom
+4efe368b5ef6ff5444a912870d481ed2ee82a2305a8954baee28ffe830f11cd2  circom/recursive2.verifier.circom
+45fbfdaa93a0a68d6f6a7902871b9e250a4717b4c0f3a61d68e108492ea3a309  circom/recursivef.circom
+44e18146475a9a13e750494c72d012ba3f89c55b70d2e5748a7d277c3ee759b0  circom/recursivef.verifier.circom
+e678a5e1cda71890be920be8973ebd0842cc83a582e8cf9202d9e45486aa4a16  circom/zkevm.verifier.circom
+3337432b4b9de283593a135628c0984dc5cd51b09502a1b97ca6ff6c67de0a1b  config/c12a/c12a.chelpers.bin
+529737dbc001bb5376e0521118d373674274e9c66919ea9284260eb4d2d02319  config/c12a/c12a.chelpers_generic.bin
+5bfe405972dbd32a49a0fcf59b3eb2726cb12fd8d0d284e19920d70ca312c3ef  config/c12a/c12a.const
+63485493e7f028bfd90063d6c53d7f82a2bd4711f05c0f398af758b04b9489e6  config/c12a/c12a.exec
+7322ea8530b020ff269d3f7805357a387f94d41b38a5e174d5ecfa3c6af0148b  config/c12a/c12a.starkinfo.json
+656a9781612af032df60a7778a515a57c9fa61d5040e99629fca261b26ec042f  config/c12a/c12a.verkey.json
+cab0bf0843292274f20005ca25604c236de76feb8d0abae95cdf23b1c032bcf9  config/final/final.fflonk.verkey.json
+1d1d8aa1a730456513e57336c4b7d41a41001be883e42ca816d9f79f832c4fb6  config/final/final.fflonk.zkey
+cee691f0bb45d33f1de608bc9b67ee7a019f20cb16f5758b962c576da181a911  config/final/final.verifier.dat
+9456b3dc79f596bd208bbc056565a3ab22f638b840ee11cdc0294bbf94e89836  config/recursive1/recursive1.chelpers.bin
+6ffc64073f9f2d856c40cf556dccb35f3bc9489a60421bf09bfe44eae0e3b579  config/recursive1/recursive1.chelpers_generic.bin
+d5f2fb4d63751aa9bc20fe5ad4233b0844bf1a7946f22262a597def4504b4d77  config/recursive1/recursive1.const
+9c9e3f44b4740a4a694509b24441ebbefdb1a08713d783b3aad7b4ca52eaa0be  config/recursive1/recursive1.exec
+d7e92de911ae2ba54565f044a8566f712c539f1c95f18ef575a6a152a9fded63  config/recursive1/recursive1.starkinfo.json
+fcd3e82dd47024a6a4d4bdef3558474ea5667af6a4f08452e79a4a8111ab5590  config/recursive1/recursive1.verifier.dat
+5619646174bd8adc5024bf0187c31a84061c9212a1c063ac62eb420dec9f7870  config/recursive1/recursive1.verkey.json
+9456b3dc79f596bd208bbc056565a3ab22f638b840ee11cdc0294bbf94e89836  config/recursive2/recursive2.chelpers.bin
+6ffc64073f9f2d856c40cf556dccb35f3bc9489a60421bf09bfe44eae0e3b579  config/recursive2/recursive2.chelpers_generic.bin
+0af4d145bcdb3f1c8e29223e91e7178df1023f36127c9b4080a37be443162b1b  config/recursive2/recursive2.const
+8e54e6994f95dddf12f0fbe53c9f59cc37d6a3759be9c9533d00c1e35792e1e4  config/recursive2/recursive2.exec
+d7e92de911ae2ba54565f044a8566f712c539f1c95f18ef575a6a152a9fded63  config/recursive2/recursive2.starkinfo.json
+0beab8371e33d6a000e7baaf4c2e4f358529c2a4906557c3243d9192b970636c  config/recursive2/recursive2.verifier.dat
+8f35781ae3c9505badaa811b7f331453e58f88dd39ff449ac334f43648c673ea  config/recursive2/recursive2.verkey.json
+8c3a3e5a6b1cc2aa5d8879c3b0a3997cf290c78dea5b11ad31e27af8db8986f7  config/recursivef/recursivef.chelpers.bin
+e8f078653969cee14c5097101d8967bfaec7a9606daca248bb281b32549a3895  config/recursivef/recursivef.chelpers_generic.bin
+6422a3efb1d4e14509e9865bff463e66c00a400f8941f9fb07b0e9404a1cf4a9  config/recursivef/recursivef.const
+9f4e5c4b20a55a28d7c9753ca41226b7116eea28d24e65e47fd7d1331a13d721  config/recursivef/recursivef.exec
+5d2a3e02a0e5ea64f04d6ad8a8fc3f29edb4c959acde2460de11e21fb17c02c7  config/recursivef/recursivef.starkinfo.json
+094d57bcef0956fa151d922da022fbf904fde4097bfeba82e4aa42d4c92caad1  config/recursivef/recursivef.verifier.dat
+91d48a5c5a71481570cd3f3d967dccc7df41c4f73e6c0de4e5d3e6abbac44a65  config/recursivef/recursivef.verkey.json
+a4acd44d7811f08643d3e5d65898b8a067001593d765a71c39cd1512ef6fd032  config/scripts/keccak_connections.json
+3ebed8bfd38adcd524ac09c79541fe6041aab4b1dc83c242218b1d4b2154d913  config/scripts/keccak_script.json
+80ca9524b38e8c24dd2f8d1a50e930908481c27b17b40b0d038b8b47ced8142e  config/scripts/metadata-rom.txt
+8b90c18bfc0bcf05d97b99f476b41408a5058623f7fbfbd61077ceba3a02b622  config/scripts/rom.json
+1e86011196524678d36686771f21b6fcee4bc11e08e3d1599f042737e8330b07  config/scripts/sha256_gates.json
+af04418178fa53d097e207927f993d6c5c4bf37c3b8220621e5d9d99b51f9453  config/scripts/sha256_script.json
+676c3f58263fc284bc53ef949dd1acedcfb090f3287ee080b2a277ed2157894a  config/scripts/storage_sm_rom.json
+ad207907e58624fa80ea8f7297c790a0de89032a7c1175a3720ebf006f5bb1de  config/zkevm/zkevm.chelpers.bin
+7d79dac4a538da63c30af8d24710a59fa955208ff25f9f26aeee7505d629554e  config/zkevm/zkevm.chelpers_generic.bin
+85e76aa5da62e4d976f557865ef968efdf1bdaa9ba973f4f5823837233bd1ffc  config/zkevm/zkevm.const
+5d777c79b68570e51979e1c50aaa11d54375a028dd4221f468dd31b944748dce  config/zkevm/zkevm.starkinfo.json
+e33d1b5b2c745fa04293e98ebb815248307bb18b0c9166246949f2b700569cc2  config/zkevm/zkevm.verifier.dat
+60952df9c9449124110ef9cd8bcebf2f0c220cd2b5e534f9304158c401e46617  config/zkevm/zkevm.verkey.json
+13b74f6e33dcbfcb9aa1a5eb7a93691635f51f33aa91e7c867dec11509c93f4d  pil/c12a.pil
+94ea2856942dd0745e2d6443c6988a4fdc65ac2c3173633e897e02b6d7eaad8b  pil/recursive1.pil
+94ea2856942dd0745e2d6443c6988a4fdc65ac2c3173633e897e02b6d7eaad8b  pil/recursive2.pil
+62527bfc12f535e8fa3a6dd7055bc595b27fc491f7203987108ee3d13283dbfe  pil/recursivef.pil
+e2c88c1ac15a5508988b7ef46d0b9fe0d541bc6fe5a8b82dc35f0473e448f477  pil/zkevm/arith.pil
+24802bc7c92a21c855277a59ad7001de77695e26b2cf477f7770f39b7da666a3  pil/zkevm/binary.pil
+47e7e801eeffaa1d4ebdabbe047f01605f51a6a5bc03d7dc37d2efb1ccec022c  pil/zkevm/bits2field.pil
+0730f313e8df163305ce7c128bf25a71e56c57696496f82ba15531b62f66ccaf  pil/zkevm/bits2field_sha256.pil
+b20af23ed3deb6354d7181b58b8538a8a4fd107ca434c61c3ac17aff333cb8c3  pil/zkevm/climb_key.pil
+642f30d3de07c05fdd610c211f70ed277b810412bf5480cace5a04601bc8f34d  pil/zkevm/keccakf.pil
+8b3894aeb17bd1cd375063105c200c3f85148fd783c42f22903ba85c8ff85efe  pil/zkevm/main.pil.json
+e1fd2b1c3bda5e7e032b2bcceaa604ad5493a34e296541d25c306d1d418bfa48  pil/zkevm/main_2_25.pil
+ebd045a0dd8d32153d6d64cc93fdbb834ff799d98e598ca8ece96ca553e0ce14  pil/zkevm/main_common.pil
+60e98f80ef0dec6abc58b46c5dba54d5065f673eb671478c147f852802549338  pil/zkevm/mem.pil
+ef0422585240b2f26bddf33db570cd144f1a130c2607190495aefed98291ca97  pil/zkevm/mem_align.pil
+92211ea025ad7a782a9f0a21a4101d31475e8733e7c6ae53fffd5f401d599964  pil/zkevm/padding_kk.pil
+6c18762cc1ff63cf6e2d741a3ba88c41e262c054602e2d9c83fe9940aca54d05  pil/zkevm/padding_kkbit.pil
+75b4966082f3772a8f6845ea00a563eb58643829a517a2be60790353d3905272  pil/zkevm/padding_pg.pil
+efdf8b62c3b51bc9514f276c1d6237a04e7e3be728c8581512c7f4be7101b627  pil/zkevm/padding_sha256.pil
+a1fac08a65caafcc3517c70fa347632234e4ab6a211065a3d501422a4ac8849b  pil/zkevm/padding_sha256bit.pil
+37c46c836f2ae41d170229b61d0724aaf3ff6d356cb78437c0950201784e6ad0  pil/zkevm/poseidong.pil
+b44aedc058f875fbf87a88272f92cf6d523b2ff17d597d1bd96c29bc01410ca6  pil/zkevm/sha256f.pil
+ca7aaf245a28a38f3851da532fda9dbe611bc643d2cd1c9df78e81f93cfd3bd1  pil/zkevm/storage.pil
\ No newline at end of file
diff --git a/src/prover/prover.cpp b/src/prover/prover.cpp
index 9e1cdb52a..a5c3055ed 100644
--- a/src/prover/prover.cpp
+++ b/src/prover/prover.cpp
@@ -94,6 +94,13 @@ Prover::Prover(Goldilocks &fr,
         if (config.generateProof())
         {
             TimerStart(PROVER_INIT);
+
+            checkSetupHash("config/zkevm/zkevm.verifier.dat");
+            checkSetupHash("config/recursive1/recursive1.verifier.dat");
+            checkSetupHash("config/recursive2/recursive2.verifier.dat");
+            checkSetupHash("config/recursivef/recursivef.verifier.dat");
+            checkSetupHash("config/final/final.verifier.dat");
+
             lastComputedRequestEndTime = 0;
 
             sem_init(&pendingRequestSem, 0, 0);
diff --git a/src/utils/utils.cpp b/src/utils/utils.cpp
index 7b609046c..737e48308 100644
--- a/src/utils/utils.cpp
+++ b/src/utils/utils.cpp
@@ -759,4 +759,58 @@ void poseidonLinearHash (const vector<uint8_t> &_data, Goldilocks::Element (&res
 
     // Free allocated memory
     delete[] pBuffer;
+}
+
+void checkSetupHash(std::string datFileName) {
+    int fd;
+    struct stat sb;
+
+    fd = open(datFileName.c_str(), O_RDONLY);
+    if (fd == -1)
+    {
+      std::cout << ".dat file not found: " << datFileName << "\n";
+      throw std::system_error(errno, std::generic_category(), "open");
+    }
+
+    if (fstat(fd, &sb) == -1)
+    {
+      throw std::system_error(errno, std::generic_category(), "fstat");
+    }
+
+
+    uint8_t *bdata = (uint8_t *)mmap(NULL, sb.st_size, PROT_READ, MAP_PRIVATE, fd, 0);
+
+    string hash;
+    SHA256(bdata, sb.st_size, hash);
+
+    string hashFormatted = hash.substr(2);
+    if(hash.size() % 2 != 0) hashFormatted = "0" + hashFormatted;
+
+    std::string setupFile = "src/config/setup-" + to_string(PROVER_FORK_ID) + ".txt";
+    std::ifstream file(setupFile);
+    if (!file.is_open()) {
+        std::cerr << "Error opening file: " << setupFile << std::endl;
+        exit(1);
+    }
+
+    std::string line;
+    std::string setupHash;
+    while (std::getline(file, line)) {
+        if (line.find(datFileName) != std::string::npos) {
+            std::istringstream iss(line);
+            iss >> setupHash;
+        }
+    }
+    
+    if(setupHash == "") {
+        std::cerr << "Hash not found in setup file" << endl;
+        exit(1);
+    }
+
+    if(hashFormatted != setupHash) {
+        std::cerr << datFileName + "hash is different in setup file: " + setupHash + " than the actual hash " + hashFormatted << endl;
+        exit(1);
+    } else {
+        std::cout << datFileName + " config file is correct" << endl;
+    }
 }
\ No newline at end of file
diff --git a/src/utils/utils.hpp b/src/utils/utils.hpp
index 0754271eb..6a947b2f7 100644
--- a/src/utils/utils.hpp
+++ b/src/utils/utils.hpp
@@ -7,6 +7,7 @@
 #include "input.hpp"
 #include "proof_fflonk.hpp"
 #include "definitions.hpp"
+#include "sha256.hpp"
 
 using json = nlohmann::json;
 using ordered_json = nlohmann::ordered_json;
@@ -108,4 +109,6 @@ extern string emptyString;
 // Calculates the Poseidon linear hash of a buffer
 void poseidonLinearHash (const vector<uint8_t> &_data, Goldilocks::Element (&result)[4]);
 
+void checkSetupHash (std::string datFilename);
+
 #endif
\ No newline at end of file
diff --git a/testvectors/config_runFile_BatchProof.json b/testvectors/config_runFile_BatchProof.json
index 3f19def88..65b7a43f1 100644
--- a/testvectors/config_runFile_BatchProof.json
+++ b/testvectors/config_runFile_BatchProof.json
@@ -59,8 +59,8 @@
     "mapConstPolsFile": false,
     "mapConstantsTreeFile": false,
 
-    "inputFile": "testvectors/collection/fork_9/input_executor_3.json",
-    "inputFile2": "testvectors/collection/fork_9/input_executor_1.json",
+    "inputFile": "testvectors/collection/fork_10/input_executor_3.json",
+    "inputFile2": "testvectors/collection/fork_10/input_executor_1.json",
 
     "outputPath": "runtime/output",
     "configPath": "config",
diff --git a/tools/copy_generate_files.sh b/tools/copy_generate_files.sh
index 67ac044f5..46397def3 100755
--- a/tools/copy_generate_files.sh
+++ b/tools/copy_generate_files.sh
@@ -30,6 +30,9 @@ rsync -avz --progress ${EXCLUDE_OPTION} ${CONFIG_DIR}/ config/
 rm config/scripts/rom.json
 rm config/scripts/metadata-rom.txt
 
+# Copy setup files
+cp ${CONFIG_DIR}/../build/sha256.txt src/config/setup-${FORK_VERSION}.txt
+
 #Uncomment the following line if you want to generate source code the first time after the release files generation
 
 #Copy the chelpers files

From 72c8b590bbe32fbd998709d292994eeafcd15841 Mon Sep 17 00:00:00 2001
From: RogerTaule <roger.taulee@gmail.com>
Date: Thu, 11 Jul 2024 11:09:38 +0000
Subject: [PATCH 2/2] Minor fix

---
 src/prover/prover.cpp | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/prover/prover.cpp b/src/prover/prover.cpp
index a5c3055ed..2dfa937e1 100644
--- a/src/prover/prover.cpp
+++ b/src/prover/prover.cpp
@@ -95,11 +95,11 @@ Prover::Prover(Goldilocks &fr,
         {
             TimerStart(PROVER_INIT);
 
-            checkSetupHash("config/zkevm/zkevm.verifier.dat");
-            checkSetupHash("config/recursive1/recursive1.verifier.dat");
-            checkSetupHash("config/recursive2/recursive2.verifier.dat");
-            checkSetupHash("config/recursivef/recursivef.verifier.dat");
-            checkSetupHash("config/final/final.verifier.dat");
+            checkSetupHash(config.zkevmVerifier);
+            checkSetupHash(config.recursive1Verifier);
+            checkSetupHash(config.recursive2Verifier);
+            checkSetupHash(config.recursivefVerifier);
+            checkSetupHash(config.finalVerifier);
 
             lastComputedRequestEndTime = 0;