From 3e188aed12bbf8bd7fa85a49226b20416b2df9c2 Mon Sep 17 00:00:00 2001
From: x-mass <36629999+x-mass@users.noreply.github.com>
Date: Mon, 20 Jan 2025 11:22:29 +0000
Subject: [PATCH] feat(proof-producer): enable exp traces after fix

---
 .../nil/blueprint/zkevm_bbf/opcodes/logx.hpp    |  15 +++++++++++++++
 .../zkevm_bbf/opcodes/zkevm_opcodes.hpp         |   8 ++++++++
 .../proof-generator/assigner/trace_parser.hpp   |   1 -
 .../nil/proof-generator/assigner/zkevm.hpp      |  13 ++++++-------
 .../resources/traces/exp/exp.bc.bin             | Bin 0 -> 883 bytes
 .../resources/traces/exp/exp.copy.bin           | Bin 0 -> 128 bytes
 .../resources/traces/exp/exp.exp.bin            | Bin 0 -> 105 bytes
 .../resources/traces/exp/exp.mpt.bin            | Bin 0 -> 1889 bytes
 .../resources/traces/exp/exp.rw.bin             | Bin 0 -> 9100 bytes
 .../resources/traces/exp/exp.zkevm.bin          | Bin 0 -> 37358 bytes
 .../resources/traces/increment_simple.msg.bin   | Bin 2 -> 0 bytes
 .../proof-producer/test_zkevm_bbf_circuits.cpp  |   7 +++++++
 12 files changed, 36 insertions(+), 8 deletions(-)
 create mode 100644 crypto3/libs/blueprint/include/nil/blueprint/zkevm_bbf/opcodes/logx.hpp
 create mode 100644 proof-producer/tests/bin/proof-producer/resources/traces/exp/exp.bc.bin
 create mode 100644 proof-producer/tests/bin/proof-producer/resources/traces/exp/exp.copy.bin
 create mode 100644 proof-producer/tests/bin/proof-producer/resources/traces/exp/exp.exp.bin
 create mode 100644 proof-producer/tests/bin/proof-producer/resources/traces/exp/exp.mpt.bin
 create mode 100644 proof-producer/tests/bin/proof-producer/resources/traces/exp/exp.rw.bin
 create mode 100644 proof-producer/tests/bin/proof-producer/resources/traces/exp/exp.zkevm.bin
 delete mode 100644 proof-producer/tests/bin/proof-producer/resources/traces/increment_simple.msg.bin

diff --git a/crypto3/libs/blueprint/include/nil/blueprint/zkevm_bbf/opcodes/logx.hpp b/crypto3/libs/blueprint/include/nil/blueprint/zkevm_bbf/opcodes/logx.hpp
new file mode 100644
index 0000000000..2a628ef0ae
--- /dev/null
+++ b/crypto3/libs/blueprint/include/nil/blueprint/zkevm_bbf/opcodes/logx.hpp
@@ -0,0 +1,15 @@
+#pragma once
+
+#include <nil/blueprint/zkevm/zkevm_word.hpp>
+#include <nil/blueprint/zkevm_bbf/types/opcode.hpp>
+#include <nil/blueprint/zkevm_bbf/opcodes/dummy.hpp>
+
+namespace nil {
+    namespace blueprint {
+        namespace bbf{
+
+            template<typename FieldType>
+            using zkevm_logx_operation = zkevm_dummy_operation<FieldType>;
+        } // namespace bbf
+    }   // namespace blueprint
+}   // namespace nil
diff --git a/crypto3/libs/blueprint/include/nil/blueprint/zkevm_bbf/opcodes/zkevm_opcodes.hpp b/crypto3/libs/blueprint/include/nil/blueprint/zkevm_bbf/opcodes/zkevm_opcodes.hpp
index 612f9f7767..39b368e893 100644
--- a/crypto3/libs/blueprint/include/nil/blueprint/zkevm_bbf/opcodes/zkevm_opcodes.hpp
+++ b/crypto3/libs/blueprint/include/nil/blueprint/zkevm_bbf/opcodes/zkevm_opcodes.hpp
@@ -81,6 +81,7 @@
 #include <nil/blueprint/zkevm_bbf/opcodes/call.hpp>
 #include <nil/blueprint/zkevm_bbf/opcodes/staticcall.hpp>
 #include <nil/blueprint/zkevm_bbf/opcodes/gas.hpp>
+#include "nil/blueprint/zkevm_bbf/opcodes/logx.hpp"
 
 namespace nil {
     namespace blueprint {
@@ -733,6 +734,13 @@ namespace nil {
                 opcodes[zkevm_opcode::SWAP15] = std::make_shared<zkevm_swapx_operation<BlueprintFieldType>>(15);
                 opcodes[zkevm_opcode::SWAP16] = std::make_shared<zkevm_swapx_operation<BlueprintFieldType>>(16);
 
+                // // LOG
+                opcodes[zkevm_opcode::LOG0] = std::make_shared<zkevm_logx_operation<BlueprintFieldType>>();
+                opcodes[zkevm_opcode::LOG1] = std::make_shared<zkevm_logx_operation<BlueprintFieldType>>();
+                opcodes[zkevm_opcode::LOG2] = std::make_shared<zkevm_logx_operation<BlueprintFieldType>>();
+                opcodes[zkevm_opcode::LOG3] = std::make_shared<zkevm_logx_operation<BlueprintFieldType>>();
+                opcodes[zkevm_opcode::LOG4] = std::make_shared<zkevm_logx_operation<BlueprintFieldType>>();
+
                 // // fake opcodes for errors and padding
                 opcodes[zkevm_opcode::err0] = std::make_shared<zkevm_err0_operation<BlueprintFieldType>>();
                 opcodes[zkevm_opcode::err1] = std::make_shared<zkevm_err1_operation<BlueprintFieldType>>();
diff --git a/proof-producer/libs/assigner/include/nil/proof-generator/assigner/trace_parser.hpp b/proof-producer/libs/assigner/include/nil/proof-generator/assigner/trace_parser.hpp
index 7706cbc84a..744d053fcf 100644
--- a/proof-producer/libs/assigner/include/nil/proof-generator/assigner/trace_parser.hpp
+++ b/proof-producer/libs/assigner/include/nil/proof-generator/assigner/trace_parser.hpp
@@ -387,7 +387,6 @@ namespace nil {
             std::vector<exp_input> exps;
             exps.reserve(pb_traces->exp_ops_size());
             for (const auto& pb_exp_op : pb_traces->exp_ops()) {
-                BOOST_LOG_TRIVIAL(trace) << "base: " << proto_uint256_to_zkevm_word(pb_exp_op.base()) << " , exponent: " << proto_uint256_to_zkevm_word(pb_exp_op.exponent()) << std::endl;
                 exps.emplace_back(
                     proto_uint256_to_zkevm_word(pb_exp_op.base()),
                     proto_uint256_to_zkevm_word(pb_exp_op.exponent())
diff --git a/proof-producer/libs/assigner/include/nil/proof-generator/assigner/zkevm.hpp b/proof-producer/libs/assigner/include/nil/proof-generator/assigner/zkevm.hpp
index dad2f928f9..649f764510 100644
--- a/proof-producer/libs/assigner/include/nil/proof-generator/assigner/zkevm.hpp
+++ b/proof-producer/libs/assigner/include/nil/proof-generator/assigner/zkevm.hpp
@@ -62,13 +62,12 @@ namespace nil {
             }
             input.copy_events = std::move(copy_events->value);
 
-            // TODO: fix assignment table filling
-            // const auto exp_trace_path = get_exp_trace_path(trace_base_path);
-            // const auto exp_operations = deserialize_exp_traces_from_file(exp_trace_path, options, contract_bytecodes->index);
-            // if (!exp_operations) {
-            //     return "can't read exp operations from file: " + exp_trace_path.string();
-            // }
-            // input.exponentiations = std::move(exp_operations->value);
+            const auto exp_trace_path = get_exp_trace_path(trace_base_path);
+            const auto exp_operations = deserialize_exp_traces_from_file(exp_trace_path, options, contract_bytecodes->index);
+            if (!exp_operations) {
+                return "can't read exp operations from file: " + exp_trace_path.string();
+            }
+            input.exponentiations = std::move(exp_operations->value);
 
             ComponentType instance(
                 context_object,
diff --git a/proof-producer/tests/bin/proof-producer/resources/traces/exp/exp.bc.bin b/proof-producer/tests/bin/proof-producer/resources/traces/exp/exp.bc.bin
new file mode 100644
index 0000000000000000000000000000000000000000..2141665c9c0473f4ddee4c291ed654cce4e1ae67
GIT binary patch
literal 883
zcmb7DO=#3W6wZvThgC3@b_MC7f}m8yY&J<ZAi4;G_*16Knjk}&d7EtzK|!e^w$S`l
zr3FdaURxB47wgf3;K4&d)Jwf6^kS7>L_8?!t=5@r>qStU%Y5(Ud*7S)O{Orvwa}|w
z*EFrvu&uJ8^%;h4T772IulP;dw}&j#^qRV6G%C<6@BH4*1758eK^G`HT*lTY;cb=*
zis3SouXG3A((KAaCnyy+@Rsi$yd&T-mr5ciRZvblR1xSTD032V#8?#7K^e?aKzkfI
zMM#*QC1cY+FWRHSYhS9plUG(p&JP@FSKmIFIJNld-G%4s<l%Fy&Z`5U%*Zm&p&|&f
zE$KanvN{uT3nGsnis*mD-v22UrX)*=L&y40j9ga!vRI9G@U|M?D+XnN4n&}Qa%e^X
zS#b`hNED%z1W`v9pnez78Bo4Clul(t=mQ!Ib6QlBA>%!g4Coq*Q39wgjLCT{<fwb&
zOv1U0#3>Obj!V(kZg8_Ll<1L=UuemTZ$*)L>IM<c2n|9kWnYd18g=N5fSKH8gzd6z
z1n8s7WoJC^&=AlMmu&_dg`I%6yBy2C=mI`2d`IF~Ihn5~qBY(x^7~q?V~z_MN#wxz
zs7N1arCW5udtwz(IaZ6jKT-L%L@n+T#2aoD6;cw*Iq+3cHQcJodjP(bBnd}=Zp%L<
zC1H{ejOPS#wnYr(gmijiAi$4*-voZPc@uy?kFEb>CBpV)ho&SqUVZW5!JEbVUzaZJ
zu2!JzgKjk%mMxw}+17Q>C|g6GVQG5VG)&(%8l|RJ(tWD}pf|wx!M62^3BCuqUHSzj
CMnYTw

literal 0
HcmV?d00001

diff --git a/proof-producer/tests/bin/proof-producer/resources/traces/exp/exp.copy.bin b/proof-producer/tests/bin/proof-producer/resources/traces/exp/exp.copy.bin
new file mode 100644
index 0000000000000000000000000000000000000000..ab8fe93edfd7386161423dd08e36ab182d70926c
GIT binary patch
literal 128
zcmd-w;$qckU=&~wV&PyGV363)tfatzAFv3Ve6;M^k;R`b<ViVLBpRnB8kr>}nOT~e
zCL3EC86}$-o24e3m>C!uo0^!WS(+pnrX(90rI}eICK@FrrlloXS{hlHCZ;7P8d(|w
E06`fWE&u=k

literal 0
HcmV?d00001

diff --git a/proof-producer/tests/bin/proof-producer/resources/traces/exp/exp.exp.bin b/proof-producer/tests/bin/proof-producer/resources/traces/exp/exp.exp.bin
new file mode 100644
index 0000000000000000000000000000000000000000..32f254712de5ad538c0feb8ccead85a249d23e3d
GIT binary patch
literal 105
zcmd;*=3?VwVParl5Q5TDK$-=}S6IU$aPrZzYeyD;x{xR3V3BB?mS|*_lw@XUYMN|p
zX=IdaVr-V0Y+`0$WNd0;nr3N|WSEj{Xq0AVk(g+dl$e&5XlZF=VVanhoM>ce2mq=<
B8b|;D

literal 0
HcmV?d00001

diff --git a/proof-producer/tests/bin/proof-producer/resources/traces/exp/exp.mpt.bin b/proof-producer/tests/bin/proof-producer/resources/traces/exp/exp.mpt.bin
new file mode 100644
index 0000000000000000000000000000000000000000..dabe9c31dc803486c9fa15f2c59141232ce423ab
GIT binary patch
literal 1889
zcmd5-U5Hgx6rOwMGLu)LnL$EFDY?+grEKrD|NUby9|8*{YG57)UHea>p{ImKktD;v
zOcBwFf`-JYrd|~#BsDW9u+d2ztk4)LbWBkT!Vqa4p9FQH8mJGxv)OC27W;hXTkBLe
zHdgEGWyToyP7BG5l%TXxG20wnc1bH0A~5MKM$z_dxjIs=F1VFJN&g&eRD&C|!UzM&
zupBk&AQdN=WC4RW0hkFX%k0pl%sgrv(ExLTf;!lCssX`jk)q8aCliC<Aer`Bc#X((
z0;hBi*~pMU$|R!@&I=Vn@>)u%Wv!`NDK|7U)M>5I3cV$I&LobD(&FOyKH@B5Q?dC=
z6y?W5+q%gUr7ZZQoU_t+6@2ub%gmWHf@JcfkaCP02P|5KE(l>+gbb1kYn2Zs<w995
zP-9Bj`y8TlI-yRHF_&YM+JX`2JfOhLJrfjG=#=1wjyOsKp?0+VcdXS;AD~dDHUZ|U
zPk_0gxQEe!Gv^Sch&%w07#3Bu4n10yeN0J+B(0$?0nV8bOfyGv0cOeb><M_6j!ON%
z6_Un*=FD2bt<<2UNC}L0WQz!1J53D+h1sIE<gZMEG3r02AsS4Kng5TFu)A_+bC>pq
zj+Yj6t~j^#%=Mq2J3e#Krf(YOkq=8nbI%~&rMXKp-U}7JcI=hkx2fkx=S-XW^sYC@
zo|^wv|Mu_puGz9<$%R46D;EWh5j%*>h->b_K8oMYgS5Y$wLORb5Fhm5v%LfBk4!mV
zI{V9w<)`{;vzN4v^bWNjt+f8ycV(#c{-s^l-}q?pVBfjV2e0fNdI;N|?748PyYlK!
zjW6^cSLL&v3-`3ooqH1w3=B=1vSZc$Lt~r2Sa@}0`l9leTfW}8Z}qI^uF}Z|ubyan
zbl=j~zkh$y*ui<j7rQ?hzIci5b8FN+OlzS=Y0@2%HQYtUBJE${k=(L@zvkoo(N*t!
zHoSLd=e4f4POsg1qh)evdTiwn&CNY6Zx1|i^6=xIZtC9n@rMr_xGa8LpPp%LX3O3^
zRsXHH?zp(uK%P1{+JE}Uu4^Y=taVrv89{q;I{gTR0|-*+6r^S#lvLSC&tu?_wM7Jv
NIiqu673P58_@CmhzRv&v

literal 0
HcmV?d00001

diff --git a/proof-producer/tests/bin/proof-producer/resources/traces/exp/exp.rw.bin b/proof-producer/tests/bin/proof-producer/resources/traces/exp/exp.rw.bin
new file mode 100644
index 0000000000000000000000000000000000000000..1b1c80a6842af6588c0f82d183a9d0685d8fb1e5
GIT binary patch
literal 9100
zcmcJUcbrw#5y$u5_Z}=4kY&ZT27NJTR#F(2g)FHn_TGETf|70$OJe#`q)YF;_ud3S
z0YMZ21?e5>y{UkrlHZvh=brNx{d_`V_8;c^V`k2rGk0#;jVk1ok5Z*UR#sMYUQUo#
zE=m@|PKOdiIoW}yBqfZhWCyW(Iw^^$k_mu+Ryrj$qVw?ImdnYNHlhB1Il0OuRHeLp
z+j^Mg)8!=}9GVPO3}?&L8sU_RQq$$on2Pcp)?kWASC#MDjLPTB_nf~f)#UrO$}?Qc
z+e0-G8((PhT_Ckxyebz<fsKblR{CP8<HcVhg&F^wCv~F>@~T9Y;aZBHt&`d=TOXwJ
zq+V17CyRsMs=K&Ueh^jF!;YouQWRZ;<2)<4y3~(y@}ela{f5$2CULsD{4mOetFK)q
zKZ<g(M5gv*Xra;C%sbIsV=tGVMAfizrdmUOs%mC@4f&Zp9o>5kDYpG8GId-j*SLPE
zk}nP1`DskPTzginSIc#0)q1sDZ)=VBSyOIswZ>{Kx$#SCttB_vTJ?l$$<4Ob2Bub#
zTU@QG)R9|Vtr}BDZnHUVF)`Q5?PyzQ+SXqkZjd{)ZJu<q+^Ifx3I+sn*BKux4GiRN
z>l2#15blMLh(~8oAoppIlLiNJzxB}|2oFX%IZ0E^SgmGAAP<?d^|j%FJnWX&KuC`u
zP-|u&lt+;}Y1X$ck7<;XMg;P>D@nZ|J&{oogeNodK=?V9N|_qRq|8=F22!FmdfJ#k
z8X_zeZ+~n`8X>Hl37e*2<5KcenSv&!<Y`2ekBf%T7*W|KYQG-Hq?G(Z7xT2KDfuPB
zvg5@L1oA6Q?J^w<<k#@25T}Ol8})J0p+J7ClFJ0?cQ&;i5QJxJ9&A1<4dM4LNPUh3
z@&~Qa+by&|BCcG#K7?oO)_5RLo^xBHb~KRZ%j^Ww3kWRlP7=zWGKz%oXU*g}eHh4#
zn#q+gJtcop$z2kV{)$u?!rwCLhR5G+Bj;)(XQbpGnntf|J%L#%`6r^>@k97mRMl_f
z?39!S(fPQvy-v<aNfSJxGF#a+II|afDWi4GjF;;il;-qu8XEHwwTyPQi1XWiwv2Px
zhPLwJY)4zOSZyiyjefN;q3%GTv<>VwW2biBHYuV%FPGgEwDu-eTNb-@$gCDl9huE@
zLuWfNo2z7AN;*?>O@Y?Mq{~pcX6^t!-Aom_&4b$B`6=lhM1?4<W|V*0{sh)I{iRlV
zVM=<GEns&_dS>niN-ui3D{fCpdK)j-Nhp0xQIWai*C))>?M+Ev9)u?zNJ&2v8O1k(
z4GHPb{CW*&FE=J+fbpsrk0O+TCVwT9f3N1>l#oHp?}=LzGML$1EVLoiT)q1eGBk4q
zD8u3vj_V5h6EfUef#RWrj3~PTw2@_3IFXQ1nJYjUZ4`ZX(>vwKgp4Vh>(hjcHC~nD
zy+avCFQ=VK$arcl8?*^=ew`C26V09~n^SA2FJ7M|WD@t}iKi1X*~_M}(5A%Mv@4}a
znOe5mrb(HWSuK?5WvgwLlvlj`nhn~FIKQ3-l$mk0-L=~0NqN<)mSW4K%<{5nEVS8i
z_fD(SBPp-Z&0Sc%lJa_HxlrbmEw^`4=6Zc+I*9Y)di8{$yy4ZMTA!rMkG-@EC=23U
zjnrNBP0E|zt|$&j%0e%j#zK3m>=s5P<?VO{JxM5wGB-6kDesis)Yzmf_VQ~av?Xya
zEe*<2&r7v&NqLu=n_6h^nMhTv*RnX5o&|iC2T?sdKF;mFG$ASPo4Z-1bGn-$YK2#&
z)-*9GE8~-~$|`#4EU7jrDXUrMxvhw}HJLkxver92J%!0hSr>b0SD~zruZTHX!jz<J
z@U94o)048%%cil=HksIpW}=7c&3|4}HZ#@}7bIm%+0z)7lC5;~9vu)rFy-lUNo#?!
z%`BmJZ9ZQhZD*t>4o}IB|E9f&+iCLa<B|Cx?J^yY&Z*;w+RduGRHIX}hZ}c0I+T*V
z)ZEK1w0&mZs_4F<?2k`ETL<NU7pGoFQgV=sdT;U&51CN?VzzFF%_jAIo3HzDI>Ja#
zJercDT*5u_p&c`^3DaZ7Li#YSR!0}gN6hBAeUy@qjhp7;3<h$X`CV<}136*5^m(q;
zLODq<r%edt6R$GO2JO>0zeYki73Z=(pLw}dn;6LFUM`J<_C*jC;LP%)tJa+y+x+O-
z^@kS+3wn%Na;o=&rnQzYJ2+(gp~2mXkDgkwy~l_?r@I8{$$^xH8T(riNRv?CJ>8yH
z2GTV4(zT#8H;V4A7$v1w;mwnAPFoX5ixB6o-*%-sZjeS8Njvs|N^1id8R|>1CvFI2
zlvjo>3T?EB)&4LR(il^RyXc^dWuVhG1~QH-c$GjLA8$ePLzxiQ#&RJ|G?LEucD+tE
z1u}`rJaKCvlT9)m5$({9P^K6~KL^t0gm#89)!Qc**d59=vw(gN#L{&7dE%Z>Ug5S}
zLTEEgtPblyJxfS48S9CALwS|4t~_Y7;*BvD((Jfm-2;@@;suWD?)QiCx^eP8FG87f
z*0v6ZGS@`9-^ryR&7+?u9tq_QmgW*dn{Q&h-9uVHH#bg4LwVCwqOYLZKPU@Lpx#nf
zYPrWkd5epB;>V%99s6xkzg3|u;sP$++ECsx3+Q{VE&ye*3DnnPewwcfWeFGX#EqdW
zHIeRjiugExm-$^be80VCyxemW$})O64PSK2skv;>-jDNZWl&bcxwLmsR(f&jg-^9r
z-f3{_5LcT}_u>I%O}x$6X|1<Siuf>FS9Vj-)|*&;a>i~OGOLBtMrQNe@I|+YqSyG%
zp=^%RaXcVx@q#IC31urwaod3Q0UdP~c>Qh*rD;NMHafk$@=t`)jG}jIf!I8Oov0N1
zy<{W}<qZg4ExddbPlnPmq4!XCxk77YV)YIbyR}Z><lS=>PHmXYb2}AETjS>LtJ?x;
z=jAUpcb6UbypHqpP#}%>vQgZLo1F2}du=RDq@O45!flSCcK{G4n_!g~3~5T7Z=l|U
zAWil1QQRHKw6ltVI6dB4+H3>LE8f;r+Y`tPuN1Beai$5?r<8Sjwaf{?Y1Ubb?hRx%
zmvFJrUQ0xU`upSm{OO6P*O^KGTA;sM-51D~L~ezg;=CXWe^^MuyoP29W&@h#U|vhJ
zJk0B8X2ZOmW(Alx(2QW-NV6i$n`l;oc{9z*FmIuG9?V;5R)KjN%^aAw)2s^f4w|_z
z@1%J?%)4k-gLya23t-+u^Fo;S(!2=feKaqIc|XldU_L-I59Wh3FNOIK&2PYbm}YgD
zkI=jf=A$$(hxr)IG|b0oeiP;sG_Qd9WL{8;L;Y56WpqkU81EA;Lq$DhU@M}YG_W;M
zPaD{Vs3#6=OVm>bwj=7v179ZU=>yvnwFAHoMC}5wBT+j6>_pUV06P=4Bfu_1?Fz6f
zQ9A?dM%3;AyA!oTz#c^H60j#xI|b}T)NTQL6SZT&K1A&rurE<N2kb}G?g9G~wS&L`
zMC~GQAW=IB97NP^0tXYdqrf3V?J966Q9BD9M%3;Chljb9a!Lc!cHG0a8ERr_yP>9*
zb{J}AX{Vv)mUbC>$<l5^EiCOZ)Y8&kL#-_BGt}DBenV|69Wd0^(m_M*EFCiRvZcd@
z+FLqesDq`WhB{h0W~h^;4-Iv;^pT-1mOeJr)zWc8-7K9j)ZNlaLp>~gVyLI3PYw05
zbjna~OP?9)W9f54eJy=qsGp_NhWcA7O@Ib~lBQ!#5^g^63~Eoj#`F`|fvEEd>`2u4
z1a>0od;&WYbv}Vzh&rFZu0)+rU^k-9C$KwF=M&h2sPhTzN!0lS_9E(h0(%p6K7oCR
zI-kJ4M4eAyKcdbjus>1f6F7jV^9dYC)cFJsBI<ks2NQKZfkTKopTMC+oloE}qRuC9
zI8o;lID)A22^>k(`2>z4>U;u66Lmg;V~9GRz_CP~PvE#jF8)4#W<v1{oI~b}g6EPs
zrQmsF&MEi}GA9*0pUhbWFCcST!Ecf|ui%AbPAvE>GG`Y2HknfkUPR{Hg5M!?a>0wq
zoL%q|GN%{3l+5`Bzf0x>gWn@_hQZ6ooMP~DGUpilKADpYUP0z8gIAI{&EQpJ&NFy5
znG+3OL*`6_*OEEa;B{oqHF!OllMUWL=4^vEk~!VrO=QkDcyl7}x$GdffxIaH<B$D~
z{1s>Z%9TGbD7vS?g;BMvU}mG@=Nmlm!j=x}KG}8u()6uuR{Y-<9UK%r@Rf@``*rQp
ze1VyL;-9Sii9yln;49aB{_8tkyQ=v&e`QeAEc~if(~GtZU%g<+v1QNHEG{ak)3~Id
zUc-j<>esE?s80QYf<}dP>OI}4u$~musasgLas9%EwV!HKyP$EsqLPw=h9!*~m(;Ic
PP*k_1aifxg`nCTJIW`MC

literal 0
HcmV?d00001

diff --git a/proof-producer/tests/bin/proof-producer/resources/traces/exp/exp.zkevm.bin b/proof-producer/tests/bin/proof-producer/resources/traces/exp/exp.zkevm.bin
new file mode 100644
index 0000000000000000000000000000000000000000..d60b775ead6c5e621dd93b10442742505df9bb40
GIT binary patch
literal 37358
zcmcJYd2rR$703Dg-tPzav)0(^jJ4bOL)+-IHOb5Nrqd2as}ZZBb*;7Xvb?rTr_<^5
z58Ij6kOWa#WRJ3iMIk^~!lK9`y9<IMi)G&gAwU8F2}r8++;e}wcW(lybiQGndms4&
zKj+-D-Fwfw32L06DC_C0tgP(3lCrX_obuALtb)>bDp6Qi9?wn`l;<W=$-?}C{QT@h
zX?}irc0pmPAQ3MtFG(g!Qw8x<UU{M<Nrzhf9R7Fm%E}A!<JqZHBD<_4UKY>FEy>A>
z7nUTFiFip#c4<~BKPNYyC@afJrOI>5lDT>L1@Y3dlKezLRv{x4_Acrc_!Ul<E?t7L
z5VGrCI?(E8Iv~2Pf!BlKik)C42G65?jORk|9xP%!rt4Dd_KDQkCnQFx)2A)Wdn1H5
zH{$KpJD7@5XII+9csD`tDx8R~*y+_<DN^Y+n1UhgMjM#)#}Lx%(x9#dIvxYsoz^qx
z%@EL}0=-%+l-GO~2JlK+%Ye5)03S_jGNv`DLXlc}1s#AidNnO);GaN%pGX6<jiPKb
zgO<Snd)a_#CjtfcYiKD9w6_9PF3x%cE%di(5##+7ve5aq9#O7yEiGigpFsdK(tu$Q
zQo2+Nu4a@*ucHMFoDBh%V3f;nD!ijKdOgi$z#Ism2}V{}R~l8&sD%C<s$<|>2=G&p
z3E)D}4K#)E@*sG55nj7|UW>^>-=)b6S^xo+DtNC-Jz|;*F@)cz2~1cBA^cuimC7`)
z4z6O>3jVXVVZes%j;cNdKbV0*{{f9-^q)h}JCt=n(0%ZZiY-cjU=oJ*hcudLe*vK_
zEn>hIR-CC;fW@rr;57{7ja0*szl1<uo3;j3HCY-}pCfow3b=_zF!*f{a7h7$k!C^l
zXeJG1z#<5sNdaL!%B+%96*S7bZl?YWd<O)$^S$d9s%F|dA++LMk^3XP>sIQ^kas~K
zztp=Tc$9Z#(HE!v%$^W%@vb7Ucg3lV0q=nTUf^BPZcjm@G+IP0416yHxczPqv`e|2
zPQU<V$$P3LS2Z=Lw7Qd;81O!b29xT5alDjPDw%?go$jV1On5(p@R4@OG@?c6a=b(P
z8MPM#)tIBwC1|y49oh#YOz%h}xW9oZohCT6hY25m=<uO-%gviRcAhT(%m~6y-{RTj
zpP;lm(V@0a{mh3T>_)p>odh85PIBloCVUt|Xte8@lhKQ4cLK&TCOb5e*&l<jOQ@=s
zP{r^l^-ghU7$ZIoK^*F&t=HH3Rko^*C}if~CH%o0jC!X!^dhrA31J`drR)L7BI+C(
z$jC_uvRK3npH*DU>JI8KTAkt0^Nd&mK{VN`D;oqGfZ(E{*9@QfGHNLV)nqTFOi=c!
z_o)I#XyU6P1X<)vpT0QdXO=;9C>FUuERxq76{F_()W(SA5X4I3=iS=JDE6Z+%0z`9
zrQQag&NBNSAnc;vqmlx;;~ajzPp292j}S!T@K<Pu7hIG(9d)RQQU3%%H4d+o33B*j
z4jqFL8i!Yepsd;C&=Dr=1JPk$<4tP4qf8%Gt0?4VhYm6FpCQOrq7O8(IDS-EgSLRj
z9Xi0se}y2MOH+#&6<ts877#{iRe+)YOEk3&L$)ssm|CTUw_eQtcZilP!?0~Roe@Bm
zanhlk%=|Qj*;s~!jH(1rIkX){Y7zs-GLvROVRwN~8yWQ<5T%;Lz!gFOx^8>Trw?I-
zmYZFyhylm4*L`}Q(f<WeuCZ8)993;C^l2T8RI07z>0)*TCS)!4>0L(rH$<6LCjDC4
zw4-fQ)QTLzM2rkee0qyzsKB&QcBpEnVHlVBw2B$~Vi-;I3e%b{Ye9Q3E^8MvYbA!&
zgfCS!f)Kf`U4%nyU)X|*0WNG8GGY}*i(gUMf|$9oUBJx!Fw9m3V-<=~I6##JT-wfM
z=I1fYCLdVH!6Hl$;M#T$4%N!KVHA+48tFHhgSi-ZE^cQs{2+{;E!(h4MOBFD)Brj?
z<mz@hLl4D38{@E;15k$G^0p3#YBEGv-)gmj!tZjQCNS$Tj9N{GPz5fiuvy_#Ee>(m
z*Q;!zN*83kD}5TvGK|8g*;ubtoS|y4RX&Zzp-K(bl&*DGV<OmFKGiT|4Mv^M6x|YJ
zo{#=G(TDRF{Zy<hyBQ<KA)iLD7%ySOs5X|ZB1LGy_8ishvL1adLui!1hkY8#0*{6Z
zY(;S;@c%7nq%D*)HTpD|1s;nLSe$8ljHN5)ng*4wj`=iz8OLE5O}e^LAIAtUYPYaG
zMpeu@9>Z$Vl~N}tqwa`NB@WSSXcQu-^<ig>Dj2aAqebiDOD*{&;ttBAcE#xPlYZtz
z47+$#qj=OeSihjn*WMVNW5!7sM$<ibm8D*;uZ0_Bwv915!OX8<n2l$#NubnvBu2+^
zh}J&5gW0O=fil;lF*?S~Q!r{3b8SVNYjcbmnQ<zH@sj2$+$eKxjnN)vo`zxW6mvZj
zqun^fuP|3o@;V!%9n3rfqgMH<qjVJjgX_5%ZDquI45Fo0JGycbQ{1R~=C&AZVdhyF
zX49zuO`Q-FYLs_Tf$P69+Q`Ta7-R`t165sK%xXp@g!3`_fEnjv7){^`)ylNew<FxB
zz*XVV8fKo4VHOWl7vIG|53BTOB_l4tAYR(T<iZ}*d{X7nGG=}q!+e2<Nt<a{*`hqG
z+M^|mya<CV9ySW?Vf{UNgBcfN7%%WJ30z#s3OCBbMtL-wnU`XiO=+M!40O*~<IyY}
zqI`|_d^*pr#T-t(?9mKnd=sNa>u{<=o{d~fqHVN!WSbCyP?=)1M|CXBa*Qz7q`T2o
zrifV685neCJjSC}nRyk4*}UBn>R;&_WzS<hn#8DUFsKsB>d>LA)}vZxd<(;P$xtTT
zs8Ckt(MV=~2gBSxl!0z%rg=01hiLVkaJY>;%AV~ofl~8ykA|`gYcXmzHJK`PLG?|&
zM}ryhJq%*dE`UWrH>z(yr;IZ_+SuY}zK=n+?#QhGW?O~|7^qf+Sss1B>>Dxc=DyBC
z51KG}dbUUFai~_FRt|U>cSQD5L^)k8N%Zqz7e?MW9<610H)EE@I=l|o#%8`8`Gd_E
z`5HWWo8|imBVYSc<uaEO=}~h%TFqi@!-&<X)yzDPRxs)g460N!%akgSM<1_w^d>Xz
z#4uj6nh|bPnqB76d}iK_VQyc|fNJjL9?iocnz(NjGpL$-g+~oIRI$=mq)$WL*nm2r
zR`WiW8TVjT+*~ayb@H}Lcv05*iceFRbuWh1Sf^4as9)q&pI*fw4mbTG>H>`QdD(p-
zQEs<qNgAJEa^V!8Cb7T=Fl%D9ekp-3GZ{uTjm(j<f^`@{r*e-Q3wjtMsEIq5DJQCY
zuJdVJXNVJa@~S03p-%H@OlP249Z9HYI^Cz2ai}JmhJB^t{itZ##GPKu+K4e|6HQh3
z9jHsA*{2~mM5_%tY|3OKmCX;biazesAZBjDsMW*?3prSc327&|tqg~1#qRLI2YK<s
zPCQY77JY;I{9Al_j)iE!=-WEOP(pM#cTpKwKVt$aW>5OmkKs>a;El0Z?5HSw%BQN%
zK($_rK}F$D`E3v!s)@qt;h?kyfZ93g`HiC!er7Ai0!$QE&oF@yXF7BihiKX*6(T56
z%yOue5zk<>Xx)d0Z$+tqrGkM<7{Mw`^quX{DQ5l*!)ztD(4!QqVph->dFKjr7B<JB
z6D-B&7%3i3pL&Nv*oxOesGq2((3E%=5epQU8~Cv%7OMjD>o`nc4&QE7^r$R8*P$11
zsLvE-20z+%w!XS$>-OXCIjd`?t!o>-y7JZ!H#AM2)jVlrkCwJgAJ<GBbAGrZ59xto
z%qEBWvk-kT`feX%K!wI;hx##MB?j?pJVz%+0@CjmhbA89FPmcE<^HS(+i<aZj;_%S
z0KYis`u{jIo)MqLAU@DBk|^B2dEM{IP~-hF-Xr7hWPDP_-^+N1jJL`7sEm)vc%O{F
zmGM_HJ|N?rGCnBd<1+q6#=B)KlCh_ZkH~ntjJ;$mma&J7zn1X{86T4IULO7KPi0g%
z4E=BhtQ%mfLt|Libr@aC$>cuiZc(q3Eym=>9S*(3jMFfT7Z&!)y;M0Tzhg>$5D8G<
z;N8jZKQjGH484`z!@ZTJ4%0j8z<L+I2+7b57-%tzkJX;9n4wX{{a$|gks0S=7)^1n
z_Sb9#!i%b$KX$1<v(Ce?n&Mum6O<SZxb!Rz(Ij3V;z5_H8F4;Fi;}xY8KpX?0@VhG
zT<Xh+3owY*jdytPm-cq%mZDw>fZ9AAcIk^|Zp_8Nn=6a(d{v>Q<18w?HoDZt%!@G0
zR(K7+m&?ooJwatP)Dg-Nm(DWun;2-bsj!$)nc%2PtvFQ41g(+@l+%GiSF=l}m~k0K
zohEd#Is?$R;E%i1!idW;h*s;J@-4e|5j#~s5iO^WDnQ38CtPY~F;-&4FcBiWEQ*{>
zqFk^ZQ$Du1bd;IbV3@6@t1zrxP(F58f@pP69(mHG!z|C+7<t4aH;YHAZ!LqG2~N9o
zkQv{>Fq+ydy!;kkRP@;F(k^Cw7sG05Go?<@cM!I?v=fIYOTH_;<e-;|wz{;98P{Ue
zXq~*OH4nEpDy|7QO0nBq`iP;|VW35^`e|nFdO`WpPM0<@<9ZCE@g>zm$@)Y;V)q`i
zzK>xwzNFL%Di-(=yR|q(Q!FS%P?qIK?A~F-4=`G^T&Y9btV*{iW`4wO4Ksg;VYcdU
z`wO1YDF^6mpC7SX$;?|Y%%%*tkWu?ee#CA$4%IpX3!{KU)pVGR^bAT3{D|FBhTn$K
zvt=8$J*QIx$T;{ByG0DW3j=M8!(v8d2!6zFAr94Kh_H22XIxPD-R068X5EcZtH}^t
zC7^t5w@b5eh}IcSSiQ>b<^o>><&Hfr)ieBFjD8<XU!Eviu&OY<Lj&y=_PR8gnJZ(E
z_mGXN1-&LX5p*yevzy%K(!|bSy+X03w~8Rx{VvtwU`=4?9>U5Q1F9Bpb*YA7t1wnz
zB11QZ4c1^*|BOqcaEw-?oPt!#FIP{I&8F=^eUMXyU<pQ!vn~y1Ir?LCZIu%uN5?pk
z77Uf}K67aZ;}5{#n}A`{qXNb`mj-tRYuC;Q7;P>M#KD??;oIho3K;tws%F@M7%MOV
z!&3nRbaJ!bp(-4s-EP5*M=<>s2OO$k#z7c8+Wi(f{r2E(CU-69mIvJgp&KG}lZ9@4
z&}|gD*+Dm4=td0PQlVNi((Mnr6GQh`=za{{r@?Iz{J+s16uKWn_gCnC4BhXcyDwBX
zh1Xqoedt~b-OHi-I&|NK?#j^p8{8#=`o-D@9s0b<&zy}>w)LyEBNx+^*-}iN_{5=e
zOxu8=wemz1y(Fu(%X6B49)|yrLuZ(O0fs-8u7)Fgfi>9~M19zyPnmilhT7UMx3dvd
zWso`nS{j42Z8bX7!qiJJ)Dz9+kWhc^X2eLWv{7;3sBt8I)H)d+|LrCHx99XUUQaLU
zX^fu6>8Vmr!}K&lPcQ0eu%3qKsX|ZB>uIQ-hU;mhp2q5_ub!&(G+Iy9dU{q*gY@)*
zo<`}Zzn%u@sh^$(@`Ng?j&Q2_gueiaSwEBeU6uRU*3_>6M;+q!q_%^+$;F_W%<rho
z&;KF181JETFvN7+QGky*8Sn0&^3m$aCpY}%h8~5<cq*BbUs95v$jd8@CvtL1bL08t
srMdZ8Iq|&Qyi_8$B)hCMJ13Q2m`vuBBvYwmB9T*=mrRu=a}wGA0}%Hy9RL6T

literal 0
HcmV?d00001

diff --git a/proof-producer/tests/bin/proof-producer/resources/traces/increment_simple.msg.bin b/proof-producer/tests/bin/proof-producer/resources/traces/increment_simple.msg.bin
deleted file mode 100644
index 59f144ee093d5bcf17b6de64d11c2ba0b53eacec..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 2
Jcmd;L0000M01E&B

diff --git a/proof-producer/tests/bin/proof-producer/test_zkevm_bbf_circuits.cpp b/proof-producer/tests/bin/proof-producer/test_zkevm_bbf_circuits.cpp
index a3fea0181b..fa5c493c6f 100644
--- a/proof-producer/tests/bin/proof-producer/test_zkevm_bbf_circuits.cpp
+++ b/proof-producer/tests/bin/proof-producer/test_zkevm_bbf_circuits.cpp
@@ -78,6 +78,13 @@ INSTANTIATE_TEST_SUITE_P(MultiTxBytecode, ProverTests, :: testing::Values(Input{
 INSTANTIATE_TEST_SUITE_P(MultiTxCopy, ProverTests, ::testing::Values(Input{MultiTxIncrement,  COPY}));
 INSTANTIATE_TEST_SUITE_P(MultiTxZkevm, ProverTests, ::testing::Values(Input{MultiTxIncrement,  ZKEVM}));
 
+// Single call of exp operation
+const std::string SimpleExp = "exp/exp";
+INSTANTIATE_TEST_SUITE_P(SimpleExpRw, ProverTests, ::testing::Values(Input{SimpleExp, RW}));
+INSTANTIATE_TEST_SUITE_P(SimpleExpBytecode, ProverTests, :: testing::Values(Input{SimpleExp, BYTECODE}));
+INSTANTIATE_TEST_SUITE_P(SimpleExpCopy, ProverTests, ::testing::Values(Input{SimpleExp, COPY}));
+INSTANTIATE_TEST_SUITE_P(SimpleExpZkevm, ProverTests, ::testing::Values(Input{SimpleExp, ZKEVM}));
+
 // RW trace is picked from another trace set and has different trace_idx
 TEST(ProverTest, TraceIndexMismatch) {
     const std::string trace_base_path = std::string(TEST_DATA_DIR) + "/broken_index/increment_simple.pb";