From 58226fd0f7f7da204c66affdd72a14a4dc6388e3 Mon Sep 17 00:00:00 2001
From: Sergio Chouhy <sergio.chouhy@gmail.com>
Date: Fri, 15 May 2026 18:54:20 -0300
Subject: [PATCH] fix test

---
 .../faucet_chain_caller.bin                   | Bin 401332 -> 401352 bytes
 nssa/src/state.rs                             |   1 -
 sequencer/core/src/lib.rs                     |  37 +++++++++++++-----
 .../guest/src/bin/faucet_chain_caller.rs      |   4 +-
 4 files changed, 30 insertions(+), 12 deletions(-)

diff --git a/artifacts/test_program_methods/faucet_chain_caller.bin b/artifacts/test_program_methods/faucet_chain_caller.bin
index d9686f9cdf26777520df81491d7341de3fe3c6b5..6311ad4bbe99bec8dcd6c4bc5966fb69e29957b1 100644
GIT binary patch
delta 10967
zcmai)e|(Ph`oORIxu1v8hOufG-S=b3kB!YX8)srtAvD@4Wf-k<)@h1Tp>a>GlR^kR
zoCtk=Q?JPC$h~t?oOAfT<fxodM|}yA6w~}jQ^WUtKhNjceLJtU?;l>gKR>SP`dpvu
zx;~%J{n)fMap%^=g-M#Rs6!{MWOm-udD=U9zE$JmJBvtj{**l!ls^2OWS<`Adt=dr
zzkem-k2R#!C*t#Ia^RrI<Q9gk)g%1wA(4dEhOAaxcvxi9)rJ^>NdHB6Z#zTE{1IOD
zwMhPThU`(}^X!W?zW#x{b4NvtPKFH7BIBO>Mr8d1K}p0G&F7P}Z;=CME1m*xhg&Ir
zJ2dmW?>g()aglkR<{Q2fNxs35B!)TW&xcDq+~a$Z3b;h6T?ZT84M|k&J0Wtiiy_O@
z{ONE-S3{~4?|^f=8G`kW{9e-Rq)26{Ygfk_6k<@20nR!W!dKBhNb$ey;XnDTfc3%w
zk(9~q`aXk`;OP1i*@xFWJnN81O&>$1MHI`EM?}iu$%@~HtMc51H^;)gaE$7I4PN2)
zTe1klr`>Ewnp$~WHHP;!q)=^q>M4;eQ-abR0nS1u!|UOwfq#YvKkRbx4=C{TuY*rM
z<ZkGA9I+n*62b=Et4W*FB84;<;Ra3q3YU4f;~9}I2#6}Ig9m%~#<L<jJ-i*R@^F(-
z>Lns%-Z^#{vB^r!Q|ED{hil=4fv)4m|0I$IcTwX%f=7G$e^V<m6^=&GJMjLS+=xlN
zK>r{^{1LxevW|vW>}rWX$C2N`?cu8wcmG)=$J0Lv9u1FG{TtzXiG)Fl&%k%#=$jO0
z{UY)$JVEg^_yIPiX_(vi<XsvbrXfxZxMYvL?CY<M%)TfxY`7uY)sCOLB(k=CqEE6!
zlf)s0>{Jo*Ao+A?s3C(Df2V8m2II;6@WTH2PPN`sw|XF^{1H#!z?0$VKE4gNn(A_i
zrb(-OLyjx4I%3nPN`57FY7<RTJp4#gO=?HF8}v17jH-9IPqx}C{rW?im3^6jxfA>K
zNG;gGdY0V5M5X8!6t%j?kQFF$YDEfLwjMsNcw{q8wiFmLPmMp_T$7?l-H6V(N|QNo
zv_w4$PlMG$M~O{?|FQZ8xd1O2<Az#MtR|Hn{t(^`mnem|#%Yo{)(x$i(19kpmHs8`
zsu<_itX?gc#;_`7_W`)rqqbvcepCIj`8j^hnP5nflAg<QR*W~qP}4SsHpJ++YafIz
z#^~eYO9Gly6&n((dduxe&2Xxz;gq!d+*w<(F&~bkwI==Ti_P_xnzqD_i`82OtZ{9T
z^9MtwDmkyhF_Vn2lN_g?h7&!U+fI`%a8&QJaHfYphX=s9N}kbPlgSSnvR?6Xa2fr>
zB5cWC8g|m~ni_Cpk|y(}ySq3WUhCoQaMD9=VQtfa@o=)rl09(340lu8bkt-j9D{r(
zz3+r8r*J}q-JGGxIvR341CA4aTTpnXn$W$gCdu?CDt<6DytV%EgbOqmK2CjBcIS1|
z<S@gUs9{gR-@>Q~>)intd(xz7cTFmYf~Z|X-~q@>Qt}qrGu!B^d{(z>HQ7Ji6HT26
zi`lN;WpF9%$Z<BT4xS1ditkI-<S2486~72q!O{L5@RHf?{GQieA>WdvG<X$UfV~PP
zb|ylmxe6A;UIl-Ly$VupARV4C<d8CG96YGpP5Tw_`Z7cE!~K>fpU^ODraPfI8+2}l
zA^VhoTsYP;BnMYJ9+&~w)eB&^;gnhK{Ea=3hrv~9e*d0?=o4<l6maAw!$auT?B&<$
zdcaD*PLq>m?ruE-51#4Hd67B0XS=7^HR+lZJn8Cu1<rg5oyx|~;1cFXPw&KDl%iR#
zyfJWs%a*)M!)TAf!|*u|ClkphE66+I&vC-*a6VPta27$>$Mq(S=DD@%AY93UoIG{<
z&1~es1&WK|#mFxTGpE!@+*=phDI7<d&o8gr8#?Gceb!@K&1x2MAyrj;bEYQymf;D-
z=~=|n5)9+Ka13kOhpIfEBC7iH;Qdxmx+=v_!n@&CivIz}l)LQjOM1Hfmi(QD#MwcK
zR}=idVFDZ#a0^`UxXW|kLJS(fc*meXt|lQA#H#tX!fQPWpM@u)@NU(=3(ls$D9nDJ
z#P$n)W$5o)V{m!F8U(9KG@>7I`Ldf?>)`}=fLeL08?W4=k#H-|mc0Py&URzuQ#b{V
zE-azH6La<KlPz|Kpx)AF?J_hu{<@puStc&`@XK%k94!eS!-;SVD{?$?3Et@$e}7Pu
z*F5|QY{1d^IwhwS921!zdLvms9N(L`@Vfo2(8}xe@xEp`_ND9fO9Aa=`(k%}RZM!!
zO|0@QCacVt30G9Q*|`fYda8bvGCcHQroJ&gb`VMHX<lH@&(b$))^7%~_O}fgq&DGw
zcs*>WwUypXI5IDqcyGe<JaTH_lnPf}uUl|3^P^>XBb@S%A+<_=t6Q(wM4#MYzn87A
zicg=EPn<sI9vd6sl)0|p;!&FHrT<P0a}w}Xd;So8m1fNtM$~-l9>Ck-Bsf7W;752T
za-!kddpHN`r|$W%2p;w?9wN%0yWzcz@22#`jiB7lbL|)b7q~o87Sd4VG4x;X_D|dm
z>2N!h!<``G;VFzCq!g@%FM0SdT+H}zIc1@pLUF^msoZYQ9HuYOMlK)8@$jV~3zb6!
zzr=pd`j!0|aMHis^&f=O;9`|Ux8Ff9&Ue?-&mKEMw|wcd3fP!xLv|~_oq?B~beD1C
zZ}G!Icb;X(jnoeYtmYHYcZyr3nzy)^<<}Z=Qt_wo>P7CntM6m{3+~Bq7rdW-CmEc5
zT@F`XFl4Wq{{_6zGr#@sI9}mSk@2l%EDe=3L^o_zXy#q|4<m<;M{iuG@O?w`1!N(-
z;uork^4ojx0PKiXhs$s>++Nv{SER`v=HpiE3P{L)Z?wMAZ*9X5`!C{OB`5Aq>iK2&
zmVFPrPt5vP#X8vVnf3RcGjKV25|y6JyYRcG--1g#{eOeY-F{1AM>D}QU<6#rfb|G;
zs*!#-_u|E_LvMixz|n<13m599B&dLS7oO~Qxf-qrxP09`1VR&2)`sO<n!HIvZd0?q
zob?-n02qgb4cHCu#K5*{g)IxY>A}&=9R+(0KK>tUjlHt}nsFZXv%*TddYs-;&pXV{
z*EKVxMk&@y*s>T?ij^lmzn@D4{bh=;`U7*}VT${P`c0%X{&X)Fv?Z>Cy4n{f>f?F%
z(Y}TDXk<=-w>|CNP&dIfo_QZVKxD?6>LSM3RmyxgO{tp)@AE`d%Sn`4=C`2ViTqJ;
zNxUiLk@3Ccfd@%l&jI%)yqyUtYQkyQGeI)#xZhJLCfwopp^Yge5kb-uKdf(UO0x3P
zbMSE#ZCCw|KST*!>N=nbF8A;SSm0<y>T4e;(O2mc{y7<YJmX@gu<=)$vR}y^0<XQs
zlnRw9pTGs4D}BPl*v0&-)p~vlAM!Y8rG21O-x`~~fD&`Gy;=W8>cqOYz+IG{C$J;G
zgUj1OA5PZ~#(yx83edx>|0H*_{oV|HYg21R9iRC6nv$cY7a+c%mswxI%9xkX!p;0X
zRIubM`c(ye`}brt{gJo`$V%KjEscy<^6q_<N||m-sp3`BsnE;o<EWP$q9K8XXhyD?
zaplwI2wb%+C>;>s1V*x*`jl?P#2+L1%5E|x)*nf<HTHXR^#uVf-yXh5KiEG0z9%@F
zi%r?7{Jq@nw}C6CR%=h%sDJFw%YTwP?^|vhyaBiRvl|CppCT?Q&G5<ORFX3I=zqI*
zzHiUm#FZpoDl|Dy`%Y!w8oPS4{!mk`&K~=|etR=(;M45SaZ@DfusI}#1nUb%|7Ynx
zVaiDrkG<!yf1bE_93H>k{SZ?H*Is0Q)%fxA*?`NY7>Z+_r@|rM$qVeZyYJLT2CP4!
z<pNT0M%ar7;98hTVK$!A<QEU$3)gwZzY6b#qlNl7eBRUFeXb^#J@X%gFS%^VTQvOO
znQ#`?Hn;}lW46!3`xmf1jK^zX13NC%<gAB_;L{#?ufXD&{|&sSc~I3Gd&Wn4YpOE7
zO6eS|Klawa^Ew6Pobp|Tz2P(cW8GTp_%JmnHEPfHz;#`@r6|5`u_j-<<9c%<ycP~B
zW7oo|o885I3-^Gdi|MumJ3Rf9;B>ctpj6V3=^1bq-j9N4lJs7Rci>c|a5|jC_-KDy
zyWf}kLjf!91umeT_VX`tTJ;Im2g{(4Cc$@u;VSJU*B{}B;UEricqhDM3-2q%&6km^
zRY4i8^bUhd;XR6<hjafDlw*<cKG|cZ9@4k^2JRpW>IMa6s`B*sKT>7icMU!P7sBn7
zpsCOBf`p?Nkoe_xk0bhxnzqQEbX4EkMB8Pjp3pby+GhK}DX#8XnmxZp{~@3a;im&`
z!tL!2Kk1h>EBS!PvWbxkRBNJrE<A57U!bTO4v+at<mljF_*8WGd3Y~Xz^SGVPdLbT
z=($F?iaUJgQNG-7=fbS||M?9c(#J=>P&xgn$0(;IhEzuSEqQ~6;`<FLVByYy%;Wqt
z@Rljtlz?e)GT$vHE57g@3aZU;`a0upJ1KJRv?-Np{+en&qz{gK*L3<%!IiggQ&s)v
zPw@r(w#d`GwNN8d_*7rVijtLr@8PNhGkisM1dKV22e$E{nBa7{=nP+UH$*Nl4u{}E
zawJX7FFy;v$!|W2e>f+y?>zNKc{J-sk!^S=*6Ftp@FyC!{7>W&<OnQ0kBbkQ;Usi8
zj}z!MRuH2Eu7=ap!57c>=VS1a|Kic4`m5m;|2FHl;Ozh>QkCoB-c2~LH%8=Hj)KiJ
z3_@T&0vv%S;4Xiy-y<oEVZ!x6s%FFk-!?<w0YePsky$OMu$#>A&qj{C@hz#HKS!>7
z4zGhVeUUf4!(YOC*}@_bE9}xXtvK_VP&}!=&VYP4IVLEpmBQy?ZxEe=2OVNX_|O^u
zOgx`&w8$gL;l1$5A0t;ghp%eQ)dP7XUwHh@a3QsCD*D3>JDmp49(Heo5%0JwnhPKI
z@CkTMFc^MzI0}X*a0Yukupai#Z*ldN^C!b8$4pshsTHrHVeMIN1&Y6M2K-`%-&c-;
zlxr}Zs2!|4ayL8}E>(O1-a9mMs5#@GzLqau(<5K;9R2_<NsrVehxJ4}&X!nRlz>Va
zHhF^PG+g&t<e}_L_#Gd9mpo$B@A>x~oy_6%S1#Rl9fhtY^5MxDUkgwBiyK4J4X(fI
z4cVmhecGKu`L$_<zic@ZVp9<KF5el|01Mtn5Edw|c9<_@PMXH^^GMHB415U#mB&7V
zD?AHm*Mp$lY=(c|aOBT`mwceo4*mu9Pq$nb&F;y=q=x&aTG388f0rR!RNi(-<AR8Q
zN@dWA41$nv7cq*{Gg$y>6*YKW79JQL3>)kiu&g&(aLTMt({<Uzki`VjH4>G5u~_A$
zGvT-WaT!|>E)?)Zc-d<PqlI$}>jz*dsTt*K;3cFn_J-5=Znz6K&q#kj#=*-x{olh@
z%CMjeQ!DPA$BNIJ^`(`c%cYhebaXfdeFSeKh>{h@3}l5_kvosmUqdjI;gM)1?0hqa
zZk}5=mflJ~@(Z!Z8UNL-nkCyPEYT>=8+_%St$|li38OLbGn^I|x!OAd(uQCOSG`&#
zuo(8{`ARq;)(oG<&iIS)Zc4AA7BF$Bg#rr4WF_DqLn$0P+|z2(ZMclm>;#=7pe?TQ
zo^Ge}NxQTB{{R&u3-8e6&wmSYH*mJVCx>9~VfDoXJa${S@`dHKv?j7gZQV3#$7|uJ
zXOD)%vFu@VPc68WhigiBz9*Pct_-~Y4_6kR4`6TMdf)-lw4E6?&{>dmb17e@Jqq{1
z6)ny14>-<%rIR@EhD7cq4j+RH`vzsZa$)tu1l=%GCMzEL2p%QsOI2DnnR=x`C9uaJ
zOLoy9$)=z;?2=1xc{fv%6lXq4(4~=<YK5=Bt2?_Z{tC|R<(_uQkD>4e-qC9Qn{as-
zo;hlM#^Y4Zu9V&|v;UPe?4x0-8qj+hH!lpxR9p$K=uXtC6`h1@Q(XfRc%K=$rWk7c
zR9M&|CvBb6)Z~3unI3sCIvza3yQ|>$Tv(i#anAoaWn895(ZCF6K()gN%vA!jW|B5=
zvErHVA$YXn9dJ%R_e$1s77OwO*%Y{l{$*<XR=5^E1c%T6Gc@F|hta&eAFu4Y5f`cn
ze}ZHBn=(i7q;k%RJXWM!d>9^ZlWTDLY!-E^8Gao&3z`V$=LTiBvtoD!Y{1Bmoc~|Y
z(1k*huN1U>k}T-Od9GYOkeckhU>t$H$L*6`o|9~zrb@x}e<VmLJge0OWet4jT~o?h
zL<~rMhW=f6EKZ&On`v11B|)eRh@HdX;^88=<bU1%<_m~=j?eANz=z?{fnfdVmbM6w
zZQ%AEh}40{V7ZE0bX>%Mf52slLFqEMX{2Gq3%IoYR;tMnxU@@97AhBSSxU8|^hPV;
zm=`e^kF8fLyu<#`?|=M2LV8wadUl`mtgJp6**Q7s8JRiR*`d3>_OHCUp&kjn73c39
z>T$#$(^&sx`WuvN&pqNF+q6xu-su?`y|c12GW+CY=kTwzEW7S||6;A7p3sDo{u|o$
z?onF$*rXl}%#8H+X}mu)qT1h}-WN~%GeRq>{Tmuo{pL0P+|cq<{%afTogE*zyTOk1
zAN(&h*fHgqz|c^)8vmmW_U_3D1Vf+IG^`CnA8BwF%C5CvKJEWmYh+70^va1i=+}2O
zDI@*YhlJvX2Cfekobyj>L`hP5S|bw7AN>;>T!493piO9HMIbI@|LE`E;E-?#q-Xrv
z9*4{pft*mqdH=RXtP9Qh$=|fWs0=Op$-k?Sne7|#T{wQetM&J9WPVacBLYH(7U<Hx
zS0j$wdcl8tgLd2I&;B2^2D?Jh$W3h1P=YV0^N(qG9x;7SgHuMn>Msh7XdP(UVDE%$
z{o_IdF8P}@EVU@cU)28Bml!E4NsYu`WJIHG3j6W@)uHOhuctxi;^jt*+tU7l#%f=O
zj7D-mtusRvtA>n-ghL}ToB=%>_VVAfK$1O63v_(herZ);rlyUu+pY<`H0%EW(hylf

delta 10944
zcmaKy33L@j)_`xnevd>+fIyG{0lQx!1PGXf5EjFxs3<`KA|iV*BT<7OqJRcEU|iXU
z=)(hu{xav_7$i7C#}Nc)7>99i`9~ZXhD}981q{O$Fu?!yd-c-IKZ%}$oUf|xQnzm1
zs;<Yb?Md%$Pg<6&#Vv1_qK%wC@R@<y=7GMo6B1HI<XZleJQ9@N{N2VrHNp4R@`4Wz
ziumIUDfWr@e4700kjV5VhOE;gY#$a$Y;MSFibsDf@@`8*j6kIS0=%b<Atn9@ulhzL
z|9V3{SL6HIm#TgJ0|Tp%h!`n`4A3Iup8Zaw;^Ckq;fv<;N!Rbu1NT%s4c-YiQ@klO
z_nhx~>-%FOi#*Mpeh^9RXh<@{9QT*OMIO%jQKSqmQf4b)ql+O)ier8fIi6<7N+oZ>
zWt|MEQoI|^?Q96%JNmPv*>RD|V%IOT8iP0#WPme|a=0=5gB1VM9(vwq1+3)<MAE0b
z^ZNo$hNJUq$vUj}@RNr{s(TwUJ7QSoeJfH5Pgnd$xN4v~@kV&K2aZ+!>)_RHza_8W
z`0QH^$xt(Ic>>4#7&1;Re2<eNTOSQd7Zf-XnFUwCQ3v0H2hVW%!JjeU>3<78KFwXw
z`w7H;97qg1biXF8Pl=49!3Z~KvI8#haLRu~(ohgJD5o*#;eqfj4}Sz#c{nE2^)eZ<
z@C+-A+Eis`{y75a;j?h!&2Hevo)^i0)71FC!J|F>J!(W|!qE(R8{U75n=v<Bpns4d
z{zzOcd6kAZ{A!9qCy<BWws2#`#zm1{p8f)OG(2AQ{||gWnJ`H45%^vLeT(7_zleMf
z7bq@*A7)`<!ra0qzo%ga4e@HgaeMp~Uw>_Q>Lro9p@!^KEB^Imk#%)~K2lhdq&p1R
zr7~nJ`|0qVh74BxPhFF@7|+fRPpoS53H?UhYKxlE$K1pj4^M}q>$nzfHq+&MG)<c2
z8*)skt;S3SRmrc^7Btc%-NTb&G^rWxF3@MNF`_QuKB=(R`1NU;m3oDQ8HN9Pq!zrx
ze9G@eP#Nlu|INl2vKm89t!T}XRlvs-_q#@uts@Otq{bh-R+CAOyBTdX*5r9OTB0Vy
zvtc#S5wea3{}Xi$auhBf>!#Y!I87=&{6}~<T%-(U$7_;3-c79op#zO{EAy|+t89W>
zv#xJ~7{jWR-yg$;9<z-@i(~XF=AVgkuL46RDeaw@&gzMV7)oq)XhW<%OxqH=6su26
zxF?`VRiPnqs&}eA^%{a|o{VL6e&b42;A1`<+19L-ed$`gsiw`h<Ky(E0c%KW^gLw9
zOr>W996Qwr2gwQgK{(07o!V%U21o5a0cU&o&+q^^SLusytI70745?5&3ofBQFT$35
zNW(4~)~f+sk~LX0$6duo;B_9}1Sd~(3#+taJe;a_$u>CgNq14Dy(Tl^SoAyF`xdzJ
zQBH_(n7gy$G~{{)d`bRo#o#C<kkm<&RQi(?j|~lNu76f=l;&}>sL#spZk;vxnqiI9
zu<7vkFlNGb-+>D~+vE&fMixZ<%IQMj(3h<A&9mpW(AWB`R;@JIKgW|zDWt`G*X}cL
zG3@AZ7VHOjCTu7kk*diN^kyr58m@w){qMl#^IiGm8?MrC$pRX@29CmB1H(FyA+ucr
zrLfn)M%Zhhbw{?tQ-&N?4h?|^mAc#h1-PQbko<7JrO9?0^5(h%=ixI?8nRa@=){7>
zS%&l?)J_DZz_oP>G+6_u&vWHhcS9czS1I}Q8%fcp+>9B>k(&zNLBD3d(n{9@R{QHU
zIbPzf)+BiFTvz64WOmPYPcc1HlaUKtn@i#Br?IJg{1aS+eDw4VWKoLdx%vjfi7s2R
zkcQD7gP+1@Je)u#A1`Cyk$+AQUWW6j>V`83(*9x(w$UQDR_)GV8!#bfpE~_bdZG^=
zsdzZN0{xT1%qi86@Ycqqg!4%A`Q>GMLp%LOpLIW1v+8ABNL3YoBU_WbD~W{S_84AW
zj$@n`j$>!g^Za6psOs<5oBXzd(n%Sf2JeQODXxTLOI<z%Z*}`E+1Q8tn;(<}C2$Ik
zg`*0(-^5bPa`|z191aa&yyMV+;1CAllzetBk@6UP0-lV)`&7RT_oRPPnEgJvkQ+K^
z=pR^v3Hiv^QLHM_O?}DBSKXcU3Y-WJP&2;-dzYwRKh8VPl38%>d^bmS!0B*wVp@ME
z=jzxeZ`$pGdQ+ce8=4$@)7|1hlaPCOAv_X}mV~Wv5**8noQV7c@A8Zv71U(ChquE9
z9F?zzo58UW`OsUb`qv35<b^lvuZGs#pilIj>uF!ULBAZ(7TTA(=xbv$&)&=|HzBNc
z#zVJI7c1S}X~UDAuA8Ow34M~SZ%nvA^K?&hiM_aozEQK%P<QMdLk6iucnhw84K=s>
zZY3R&i*CGC@FI_%18{noYwr5n2r}}~vb-8j-)u;Y(tio|ETT^a*xP#QYZEfZ<ddf_
zy2r+9IDMh3c=!lS_Rv2H$D9qg!d`rbzE-oQ<dHR>xd-qjI2le<6Zi(+g`Q}-rVQmk
z{lYyT=D~UY%ZG@H=X>xT#&=eBF2aKrxqjSq7whEmWSL7tmB-N!;GO?)7v$PuR1Q}_
z^591qKS&u^3}5!}r*I+T!{wBTHVeh)aZ|~)=jQ24wc*bW=Xls>$TAhs6L8!=nZNSi
zAWq3&x%1x*XTXJO7v<hfGA?%K)7c(>mu~qoA0ElVoG@g!irXQ0<#Bf!UG5<c%Uro)
zJASx+C}5qRguRp8DwSMmA=9rh<hbG;@N3ImIp1#>|6BKD7zFR9-`Nb#x;_h6UNB^j
zlK%)^=8=zmfa4WTiHvV9chXQvLv+Cwh34L?|2(|sMC`_=gzp=gFCcT_)xS_pRNQ_K
z55SLTbvO>E!fllw-I&+s$P-rl3P_o~ZM448Z*3qB`!5k+rRO4CeZ{?H-#&_ZE@s_V
zMLBHv%({EeA-EJfNy?6SFLC$u7sExK{<q;$x8ITrj(}&tO{1AV11eDHRHJIR*9teF
z-S1<faCD+iz~gjN5>>*iho}2p-UpWjT#g$<A~Z5(U0A=R$toIhW6Zj8)_E)nU;-9)
z;5~R34z^Y^tcAaZqdT|%xT_uh^8a!1_^bQ%2_E({!!`Da33^j~;HRv7?KP%UE5p@O
zSh84C3RNWj{2-SI`b!koz?E>G;*O!dlPQfy?&pG5?gr>O`_g26A|HOVZ>2q&nG@h0
z&$u_#*Wqf9-1`rcnQ^ANh-sn~BM)aNb93Omo{Xx6E0AwOzmxg>r?T=1rj$m;XUXVC
z*t(trZWX)}fpjHs5cUX&X~$2YQWOj*A`UG~DT*kPWaeGb+!SuE;RTunAH&d2)n7P`
z68MrEfZxHT9zF^S9IZ$l?E^*nTD_oZI{tXZU4VDBG-bcioAW3)gX>HwQ(I*_JkoQe
z*Jj`s@-5YTZiWwg0`#JNpjh7?mswK4mAtK4_l?wyd2fZ&l$|2%=C^ZsL+Fz^`k{m^
zlc@mR%(^GJEPLCN`t}%WN-a-(eN5@4#0R2&WR_W1!5%~|v5C9$J5a$=d(f{c=vvau
zpg)oq0eO*d&(2`SD}DKoQz<h|DOS8_4i);9x;)B~PiRP_A-W@%JbCq}&F65{%AmAE
zfs+^scGstMD>mT^Hebmtro{Op>$t?;woqRh(E8d#m+ObxCX9HBv$@ceT`Jzs+I=^0
z<<!2jr*70g^AGI1fIIIdHxE|A&Hmu#!F5lQ7nNrCWO6FWgYc2xxqiN7&wZCGNx})*
z&(Xe1`M1PAu|=O2qy1oy|3DvhjdkNQtj{r1BpR^i*%%V6D;Vi7(EpPu$5lS2EMomU
zc~J;YtZ*M<eh1fFVtv*4yu~cQ6;lkwXW;?pclHH-+g*0)!vofHSh;`}f)S45$8Zgd
zP?+Oi)Z`Zr=fkz0@hjjxaI{c=37_-yCoR<EibsAdeA#6l%4qo6BXAhjHn<M-U80H4
z!+%@K@-UvLg&l0XOq0_d9txlG=vxYlNB$r1=hp^Ry|JJCRBs+*o*;JV9fEboUOBN^
zloFIPDt3?B8@|*()2&jR8PGK-)oRVQ!L^;Zr6`VD!Q1&}H=4uXb#PEQyBzMi#hu(9
zxEmauOsjJI@br&?Gu{51WepA4o&ks9{TPUDl9ZQ-4%}54d;m^ne6+uj-FKfpEnr<-
z&IQ!d{_V@0R=tCD$&wk;B=~+XT&11O^%y(@4iXTDH^b#y`My$o9!{(Z%4lV`_ezo(
z{#@}>aPE6SIT{)7lWlg_!}@mL&F`=aY6k^nriyglvsBp+T!;6<<KQ+*QNeS3LBi1s
z$mNxGw{P`+nl{g#dPLveNVDy(Kj|BF?G5|DNv`f%J9}}p{&PUf;im&`!m)O{^ZFId
zN;x31a&qJX)tqd95ni;87bvQR!}lH(IWjmHJ{80L@E)pwQ%xNne~5SJg+{oFJ3QhD
zFZVmSFsuGu-|>(>G4ev?^mjf=IW01zGSY9!dKwBJG-M<bcLwx0#!myAOxd9n%z;yR
zx16r{(hnFoVTQM_Gyd-5B4<vSQmN$MJi$Zy;K;kC(|-=Gyp5Zx>i^{=FW^HWpXSYl
z8kxyceJwLeRR&JLRf%T!itH#TI7I|@@K8*0I$Zc4UUWA^E-((Sg2%B(GL-y+)9~B;
z<`dO-Mr7|f>W_+O_p>59h)|r<Z=ql%4O>5od;~cP$DAX?hs^LMbhsNQ(0XPNs}wGV
zGt|MC!29zTaQPd2G^zf5@anJ3x+Pc};6$o&Bb?HR1AAjcpXC^MgN8vU%twKva4($p
z$GSC=J7N*IAxPDXL}1S~C_G?@p(65d6DsVxX830#M_*o3YUjnsmCxaFINKNbrg!+S
z@E(?Ml86-!sT1qCMift~uQQ-8oEjUH*ObAhU~dxr8y<9+84*Kg{LBQNZ?woqlEWXu
z$InKtb`ICTJJHAH3y;rg&Ss+a&BT7VVYAcVS;M3joH3i-8O?@|d3Z1Ud@vaP>~IY9
zN#qRnMBo+JEB_1Zl^@@d`gYWmWtN)pA{y46=2oEiAI^YZ%<%V>W1#hQxK7p%RuQ=k
z9t;;NJ__%-Gjgao<7c$u#cNLF70=-<a8YKYE;(Ec$FU?<no_VPNt1UyNpldc{W9{Q
z><HZ5j&*#@s9W=|+T-BQoc=1L8?L9&RYxA4oblhmv)^-b=m7(x6^6X4?Ct16q5Q_Q
z!Y^Bnzy%u8-{+lC4Jc0M{!0>$RJ_k&UdWtnn!wK^$z5@96%MM1{RuAfOdzHkNxQ`i
z|Gweqp8}WvO>H~)80?>8xgmPwMm|icxqqq|ZHDtdHe{>Xx7TKHK}12Na%gXNl90EH
zSjFwLnE=}=>Tr1vA}}-<cGz*?nH+Y(NwaR7miHuwECkrDk*w^4$7)|X0yp<3WGq3r
zP{2RJE7u#07S1tFcR2j8qgWrn4B5u`8{WpZ!D-w)o&TD#t%txXJ^f$7R(f7g^3;r5
z3}nXV%(~J#1Fj(n+5TY%--maQM9!Ci<KS6%c8|!N$KeAcLkSUyR>Bsya_A0p>&AlH
z=|}%K9CF70{dUcg9Tb*m7Izzb^_ne#S5pb2Iq^N55g)nQI||y}fhSz`YLvp^uy>!o
z2q(sw;nUa||0BGc(rc&*47=090EJ_^Qc!s(h2t;oX*FgDA)_=qN#`hNM5w%{+rfOc
z-D&=PfXb1%cWd&84};tdoF(wdC$RUh`lx`24GCAiu)bQ0hP2l1Hj3eE;fQCA`oM9l
zVRTK4;btB_P{ikZqA8`y!BG!gU3j*@-oi8bVYX=-Gwh%<AuFqxM`Mq{zrbZp&F~L6
z&VU6|HJNlr<X+<N7x1_~LD{K7xNinYmuJd!#XTP*qGWxs+LotbZza5E=2Z?^V$&e0
zreHT5lAqwx&ZZ<QHXkSHGT4@ChD+hsI=D0bJDi*4o^}aOV6Y?K(Mo<5T$;vbj*>TK
zQ8_zNdc(~6uc2Wt4Kvk%l-ZnMIFPM)4ZOMwS*vFBFSw?w>ww1hnUQOXp~e@$!V)>#
z);Ud^@O@U98TnvzB6x`Ju8~u?usAv6od1uPaG4%K0}{@FeGa2AS1An6W!u1oiXVax
z!=n|y1NZ9dUdd|Vy`ChSFpnjqf2A5<0oTBX;qdu?h=yLQVRT=PA}V|PMV=xYhn|CD
z`<wE-QZS~Jvtl4KQX&2n9&n56aQpdGw%g6{*MTEH49?FD%5G=I@C&d3Qzs(l|3@^W
zQAqNYfkq411zDWuD&#j(lf4&=&tdOzJB`b8vdyQdGSK{4l9a;pn!2DYfe*iLN=cK5
z18tt8|6?K+ug?EBXjrz7BvcMufNMQG^m&fYf4lwXmyq=wpF5R<6PI!U2?Xm-w|2{k
z*amLzfk+*=AC|`4qT?eDRKg`mK}j1N6KS~Vw}iCrR?3$dT$~n^Wh%sPzC`7t^hPV;
z;Focjh*hW=4zNG*`)3_!(K9EjSNGmoy?gb_>XGIAFEb}J`Wye6dOHeE`#Xj*zV*j8
z*xNR<N4MhQC#H6*N3Xr~TmSf&#LTQ53}$BJ<Yag6k&}^~(=(^LedS003aw>*UGnlZ
z{tn4G5v>gl2*sc9$22S-x{L05Er&J@4zvixo$?!@RVVx#>L2s=b^hE?QLR6zMLoWU
zK0N8auYNh}l)qJI(9iy|`nxA22Zn??RQqSv-;HO%&}Y^DRt<KC9iLQhw~g%tUqkDZ
z)}~j3%M=Q)a+5Ru*u;7kQ9=cu_*;bfo$<fWkn)agGcy|2-u|qAa`XRQ$58*VftI1l
zvOs+34`==T8(hkcp|0l|T1s<4pl4{_Isc9ZJ!{jwVaLkP`#)|_uyup+3T?WN1ZsTB
zZ-&0F@%L{~L)-2Rs>lh4ylr+?!_Muv;2&0>YCGkk|EyMDPbiwSt?KRldyM~{)(zWp
zaysF^mOpeQAy8DWx`I~z3BRJQ;IjXL`sJu7Z8977gIrAeHNB2_cEjSYU-5Tq&~Dqz
zUy*bSzjRk1ra|eKmIZ#L40i9`uv5<dYMcElTO=~zSE5q7-=AzR*8=TdwJX;KN;Iv%
L-Szdrs(Jqhoy}!s

diff --git a/nssa/src/state.rs b/nssa/src/state.rs
index eea5fa85..e9f2058f 100644
--- a/nssa/src/state.rs
+++ b/nssa/src/state.rs
@@ -3646,7 +3646,6 @@ pub mod tests {
         );
 
         // Assert - should fail because the malicious program tries to manipulate is_authorized
-        println!("result: {:?}", result);
         assert!(matches!(result, Err(NssaError::CircuitProvingError(_))));
     }
 
diff --git a/sequencer/core/src/lib.rs b/sequencer/core/src/lib.rs
index cb0802b4..fa151d9c 100644
--- a/sequencer/core/src/lib.rs
+++ b/sequencer/core/src/lib.rs
@@ -437,6 +437,8 @@ mod tests {
     };
     use logos_blockchain_core::mantle::ops::channel::ChannelId;
     use mempool::MemPoolHandle;
+    use nssa::{EphemeralPublicKey, SharedSecretKey};
+    use nssa_core::{NullifierPublicKey, account::AccountId, encryption::ViewingPublicKey};
     use tempfile::tempdir;
     use testnet_initial_state::{initial_accounts, initial_pub_accounts_private_keys};
 
@@ -1082,8 +1084,7 @@ mod tests {
         let attacker_id = initial_accounts()[0].account_id;
         let faucet_program_id = nssa::program::Program::faucet().id();
         let vault_program_id = nssa::program::Program::vault().id();
-        let attacker_vault_id =
-            vault_core::compute_vault_account_id(vault_program_id, attacker_id);
+        let attacker_vault_id = vault_core::compute_vault_account_id(vault_program_id, attacker_id);
         let amount: u128 = 1;
 
         let faucet_chain_caller_id =
@@ -1139,10 +1140,19 @@ mod tests {
         let attacker_id = initial_accounts()[0].account_id;
         let faucet_program_id = nssa::program::Program::faucet().id();
         let vault_program_id = nssa::program::Program::vault().id();
-        let auth_transfer_program_id = nssa::program::Program::authenticated_transfer_program().id();
-        let attacker_vault_id =
-            vault_core::compute_vault_account_id(vault_program_id, attacker_id);
-        let amount: u128 = 1_000;
+        let auth_transfer_program_id =
+            nssa::program::Program::authenticated_transfer_program().id();
+        let nsk = [3; 32];
+        let npk = NullifierPublicKey::from(&nsk);
+        let vsk = [4; 32];
+        let vpk = ViewingPublicKey::from_scalar(vsk);
+        let ssk = SharedSecretKey::new([55; 32], &vpk);
+        let epk = EphemeralPublicKey::from_scalar([55; 32]);
+        let attacker_vault_id = {
+            let seed = vault_core::compute_vault_seed(attacker_id);
+            AccountId::for_private_pda(&vault_program_id, &seed, &npk, 1337)
+        };
+        let amount: u128 = 1;
 
         let faucet_pre = AccountWithMetadata::new(
             sequencer.state.get_account_by_id(faucet_account_id),
@@ -1163,7 +1173,10 @@ mod tests {
             [
                 (faucet_program_id, nssa::program::Program::faucet()),
                 (vault_program_id, nssa::program::Program::vault()),
-                (auth_transfer_program_id, nssa::program::Program::authenticated_transfer_program()),
+                (
+                    auth_transfer_program_id,
+                    nssa::program::Program::authenticated_transfer_program(),
+                ),
             ]
             .into(),
         );
@@ -1181,16 +1194,20 @@ mod tests {
             instruction,
             vec![
                 InputAccountIdentity::Public,
-                InputAccountIdentity::Public,
+                InputAccountIdentity::PrivatePdaInit {
+                    npk,
+                    ssk,
+                    identifier: 1337,
+                },
             ],
             &program_with_deps,
         )
         .unwrap();
 
         let message = nssa::privacy_preserving_transaction::Message::try_from_circuit_output(
-            vec![faucet_account_id, attacker_vault_id],
+            vec![faucet_account_id],
             vec![], // no public signers
-            vec![],
+            vec![(npk, vpk, epk)],
             output,
         )
         .unwrap();
diff --git a/test_program_methods/guest/src/bin/faucet_chain_caller.rs b/test_program_methods/guest/src/bin/faucet_chain_caller.rs
index ca2e851b..2e02982d 100644
--- a/test_program_methods/guest/src/bin/faucet_chain_caller.rs
+++ b/test_program_methods/guest/src/bin/faucet_chain_caller.rs
@@ -1,6 +1,8 @@
 use nssa_core::{
     account::AccountId,
-    program::{AccountPostState, ChainedCall, ProgramId, ProgramInput, ProgramOutput, read_nssa_inputs},
+    program::{
+        AccountPostState, ChainedCall, ProgramId, ProgramInput, ProgramOutput, read_nssa_inputs,
+    },
 };
 use risc0_zkvm::serde::to_vec;