From 8ba491b6b475f34caa141b5c6edebd508be11a8a Mon Sep 17 00:00:00 2001 From: Steven Allen Date: Wed, 21 Feb 2024 12:20:00 -0800 Subject: [PATCH] feat: api: improve the correctness of Eth's trace_block (#11609) * Improve the correctness of Eth's trace_block - Improve encoding/decoding of parameters and return values: - Encode "native" parameters and return values with Solidity ABI. - Correctly decode parameters to "create" calls. - Use the correct (ish) output for "create" calls. - Handle all forms of "create". - Make robust with respect to reverts: - Use the actor ID/address from the trace instead of looking it up in the state-tree (may not exist in the state-tree due to a revert). - Gracefully handle failed actor/contract creation. - Improve performance: - We avoid looking anything up in the state-tree when translating the trace, which should significantly improve performance. - Improve code readability: - Remove all "backtracking" logic. - Use an "environment" struct to store temporary state instead of attaching it to the trace. - Fix random bugs: - Fix an allocation bug in the "address" logic (need to set the capacity before modifying the slice). - Improved error checking/handling. - Use correct types for `trace_block` action/results (create, call, etc.). - And use the correct types for Result/Action structs instead of reusing the same "Call" action every time. - Improve error messages. --- CHANGELOG.md | 17 + api/api_full.go | 19 +- build/openrpc/full.json | 172 +---- build/openrpc/full.json.gz | Bin 0 -> 34654 bytes build/openrpc/gateway.json | 170 +---- build/openrpc/gateway.json.gz | Bin 0 -> 11862 bytes chain/actors/builtin/evm/actor.go.template | 14 + chain/actors/builtin/evm/evm.go | 13 + chain/types/ethtypes/eth_types.go | 58 +- documentation/en/api-v1-unstable-methods.md | 52 +- node/impl/full/eth.go | 61 +- node/impl/full/eth_test.go | 40 + node/impl/full/eth_trace.go | 761 ++++++++++++++------ node/impl/full/eth_utils.go | 33 +- 14 files changed, 809 insertions(+), 601 deletions(-) create mode 100644 build/openrpc/full.json.gz create mode 100644 build/openrpc/gateway.json.gz diff --git a/CHANGELOG.md b/CHANGELOG.md index c18f2f6a4..21943bc6a 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -50,6 +50,23 @@ Replace the `CodeCid` field in the message trace (added in 1.23.4) with an `Invo This means the trace now contains an accurate "snapshot" of the actor at the time of the call, information that may not be present in the final state-tree (e.g., due to reverts). This will hopefully improve the performance and accuracy of indexing services. +### Ethereum Tracing API (`trace_block` and `trace_replayBlockTransactions`) + +For those with the Ethereum JSON-RPC API enabled, the experimental Ethereum Tracing API has been improved significantly and should be considered "functional". However, it's still new and should be tested extensively before relying on it. This API translates FVM traces to Ethereum-style traces, implementing the OpenEthereum `trace_block` and `trace_replayBlockTransactions` APIs. + +This release fixes numerous bugs with this API and now ABI-encodes non-EVM inputs/outputs as if they were explicit EVM calls to [`handle_filecoin_method`][handlefilecoinmethod] for better block explorer compatibility. + +However, there are some _significant_ limitations: + +1. The Geth APIs are not implemented, only the OpenEthereum (Erigon, etc.) APIs. +2. Block rewards are not (yet) included in the trace. +3. Selfdestruct operations are not included in the trace. +4. EVM smart contract "create" events always specify `0xfe` as the "code" for newly created EVM smart contracts. + +Additionally, Filecoin is not Ethereum no matter how much we try to provide API/tooling compatibility. This API attempts to translate Filecoin semantics into Ethereum semantics as accurately as possible, but it's hardly the best source of data unless you _need_ Filecoin to look like an Ethereum compatible chain. If you're trying to build a new integration with Filecoin, please use the native `StateCompute` method instead. + +[handlefilecoinmethod]: https://fips.filecoin.io/FIPS/fip-0054.html#handlefilecoinmethod-general-handler-for-method-numbers--1024 + # v1.25.2 / 2024-01-11 This is an optional but **highly recommended feature release** of Lotus, as it includes fixes for synchronizations issues that users have experienced. The feature release also introduces `Lotus-Provider` in its alpha testing phase, as well as the ability to call external PC2-binaries during the sealing process. diff --git a/api/api_full.go b/api/api_full.go index 3dc7f8bb2..a9adb1c4b 100644 --- a/api/api_full.go +++ b/api/api_full.go @@ -868,9 +868,26 @@ type FullNode interface { Web3ClientVersion(ctx context.Context) (string, error) //perm:read // TraceAPI related methods + + // Returns an OpenEthereum-compatible trace of the given block (implementing `trace_block`), + // translating Filecoin semantics into Ethereum semantics and tracing both EVM and FVM calls. // - // Returns traces created at given block + // Features: + // + // - FVM actor create events, calls, etc. show up as if they were EVM smart contract events. + // - Native FVM call inputs are ABI-encoded (Solidity ABI) as if they were calls to a + // `handle_filecoin_method(uint64 method, uint64 codec, bytes params)` function + // (where `codec` is the IPLD codec of `params`). + // - Native FVM call outputs (return values) are ABI-encoded as `(uint32 exit_code, uint64 + // codec, bytes output)` where `codec` is the IPLD codec of `output`. + // + // Limitations (for now): + // + // 1. Block rewards are not included in the trace. + // 2. SELFDESTRUCT operations are not included in the trace. + // 3. EVM smart contract "create" events always specify `0xfe` as the "code" for newly created EVM smart contracts. EthTraceBlock(ctx context.Context, blkNum string) ([]*ethtypes.EthTraceBlock, error) //perm:read + // Replays all transactions in a block returning the requested traces for each transaction EthTraceReplayBlockTransactions(ctx context.Context, blkNum string, traceTypes []string) ([]*ethtypes.EthTraceReplayBlockTransaction, error) //perm:read diff --git a/build/openrpc/full.json b/build/openrpc/full.json index 5f70ce52a..54d241a48 100644 --- a/build/openrpc/full.json +++ b/build/openrpc/full.json @@ -8359,7 +8359,7 @@ { "name": "Filecoin.EthTraceBlock", "description": "```go\nfunc (s *FullNodeStruct) EthTraceBlock(p0 context.Context, p1 string) ([]*ethtypes.EthTraceBlock, error) {\n\tif s.Internal.EthTraceBlock == nil {\n\t\treturn *new([]*ethtypes.EthTraceBlock), ErrNotSupported\n\t}\n\treturn s.Internal.EthTraceBlock(p0, p1)\n}\n```", - "summary": "TraceAPI related methods\n\nReturns traces created at given block\n", + "summary": "Returns an OpenEthereum-compatible trace of the given block (implementing `trace_block`),\ntranslating Filecoin semantics into Ethereum semantics and tracing both EVM and FVM calls.\n\nFeatures:\n\n- FVM actor create events, calls, etc. show up as if they were EVM smart contract events.\n- Native FVM call inputs are ABI-encoded (Solidity ABI) as if they were calls to a\n `handle_filecoin_method(uint64 method, uint64 codec, bytes params)` function\n (where `codec` is the IPLD codec of `params`).\n- Native FVM call outputs (return values) are ABI-encoded as `(uint32 exit_code, uint64\n codec, bytes output)` where `codec` is the IPLD codec of `output`.\n\nLimitations (for now):\n\n1. Block rewards are not included in the trace.\n2. SELFDESTRUCT operations are not included in the trace.\n3. EVM smart contract \"create\" events always specify `0xfe` as the \"code\" for newly created EVM smart contracts.\n", "paramStructure": "by-position", "params": [ { @@ -8386,23 +8386,14 @@ "examples": [ [ { - "action": { - "callType": "string value", - "from": "0x5cbeecf99d3fdb3f25e309cc264f240bb0664031", - "to": "0x5cbeecf99d3fdb3f25e309cc264f240bb0664031", - "gas": "0x5", - "input": "0x07", - "value": "0x0" - }, - "result": { - "gasUsed": "0x5", - "output": "0x07" - }, + "type": "string value", + "error": "string value", "subtraces": 123, "traceAddress": [ 123 ], - "Type": "string value", + "action": {}, + "result": {}, "blockHash": "0x37690cfec6c1bf4c3b9288c7a5d783e98731e90b0a4c177c2a374c7a9427355e", "blockNumber": 9, "transactionHash": "0x37690cfec6c1bf4c3b9288c7a5d783e98731e90b0a4c177c2a374c7a9427355e", @@ -8414,52 +8405,8 @@ { "additionalProperties": false, "properties": { - "Type": { - "type": "string" - }, "action": { - "additionalProperties": false, - "properties": { - "callType": { - "type": "string" - }, - "from": { - "items": { - "description": "Number is a number", - "title": "number", - "type": "number" - }, - "maxItems": 20, - "minItems": 20, - "type": "array" - }, - "gas": { - "title": "number", - "type": "number" - }, - "input": { - "items": { - "description": "Number is a number", - "title": "number", - "type": "number" - }, - "type": "array" - }, - "to": { - "items": { - "description": "Number is a number", - "title": "number", - "type": "number" - }, - "maxItems": 20, - "minItems": 20, - "type": "array" - }, - "value": { - "additionalProperties": false, - "type": "object" - } - }, + "additionalProperties": true, "type": "object" }, "blockHash": { @@ -8476,22 +8423,11 @@ "title": "number", "type": "number" }, + "error": { + "type": "string" + }, "result": { - "additionalProperties": false, - "properties": { - "gasUsed": { - "title": "number", - "type": "number" - }, - "output": { - "items": { - "description": "Number is a number", - "title": "number", - "type": "number" - }, - "type": "array" - } - }, + "additionalProperties": true, "type": "object" }, "subtraces": { @@ -8519,6 +8455,9 @@ "transactionPosition": { "title": "number", "type": "number" + }, + "type": { + "type": "string" } }, "type": [ @@ -8597,23 +8536,14 @@ "stateDiff": "string value", "trace": [ { - "action": { - "callType": "string value", - "from": "0x5cbeecf99d3fdb3f25e309cc264f240bb0664031", - "to": "0x5cbeecf99d3fdb3f25e309cc264f240bb0664031", - "gas": "0x5", - "input": "0x07", - "value": "0x0" - }, - "result": { - "gasUsed": "0x5", - "output": "0x07" - }, + "type": "string value", + "error": "string value", "subtraces": 123, "traceAddress": [ 123 ], - "Type": "string value" + "action": {}, + "result": {} } ], "transactionHash": "0x37690cfec6c1bf4c3b9288c7a5d783e98731e90b0a4c177c2a374c7a9427355e", @@ -8640,70 +8570,15 @@ "items": { "additionalProperties": false, "properties": { - "Type": { - "type": "string" - }, "action": { - "additionalProperties": false, - "properties": { - "callType": { - "type": "string" - }, - "from": { - "items": { - "description": "Number is a number", - "title": "number", - "type": "number" - }, - "maxItems": 20, - "minItems": 20, - "type": "array" - }, - "gas": { - "title": "number", - "type": "number" - }, - "input": { - "items": { - "description": "Number is a number", - "title": "number", - "type": "number" - }, - "type": "array" - }, - "to": { - "items": { - "description": "Number is a number", - "title": "number", - "type": "number" - }, - "maxItems": 20, - "minItems": 20, - "type": "array" - }, - "value": { - "additionalProperties": false, - "type": "object" - } - }, + "additionalProperties": true, "type": "object" }, + "error": { + "type": "string" + }, "result": { - "additionalProperties": false, - "properties": { - "gasUsed": { - "title": "number", - "type": "number" - }, - "output": { - "items": { - "description": "Number is a number", - "title": "number", - "type": "number" - }, - "type": "array" - } - }, + "additionalProperties": true, "type": "object" }, "subtraces": { @@ -8717,6 +8592,9 @@ "type": "number" }, "type": "array" + }, + "type": { + "type": "string" } }, "type": "object" diff --git a/build/openrpc/full.json.gz b/build/openrpc/full.json.gz new file mode 100644 index 0000000000000000000000000000000000000000..09793ae3323bbc5d6740bb52e230c346936074de GIT binary patch literal 34654 zcma%?Q*b6x+pd#LY)vw;ZQHi3iEZ1qZF^$AG2Ymo*tYf0_x)A7_Q|f=ebBX5AM`=5 z)lWV5y04oc8XDxk*Y^d$(|M!45$a7%(aS%FwA907OlD7`Tz^;wbvt=@ z5h5Bx6%ZcKEla)q`4i(RS}>~76w6tDN|Q7VGUDpXwRrAjtr(QpaOVNhYeQ$S7NFl7 zJ{IzX==a2V#D9kOz^}w_zVmSb-Oa;u`RL6-X_A4eX6$bLur9^{F!aliRA zkMGN@c*B1O7G~Jsc_Jr^e@D%gYOBDG2Xj-{$c(s8XeBTnPkKtS*{t+{c{7WPZkC0!7GuVh36nB9O z>aWOe+?6h3fFDBuQBEaHZulNt?6m<@is38FgY_+h|ARM?k#l}@Xn}y)>mRuMhDJ?h z;@iR7S@@{sIlLSQe&ut>xZJJ&Cx?ggaKfAfBp=9s&&1<;@h#FEk*VdE;{_@7ZQ@ zC1qPn^zZwd9WNANmO`>)?6i6Qd{ns2bK;o;b+Oa7UDgOp6EW|VW3}%_6sA6To5J*Y z+E^{$-!@BdME`>P@u7n}-}U~TP29*<`aM&AnG3*UDuYGjxl3@)rA>9CO|vdZ86~Ar zb5gDgbyBwi(u!4CwUa3b1_<}#!V7}w3%V)bGL(c&ugUBXoj4GRKmvzr;EM zo8U>qu;<`Lo*OT6+9@BdnKHp>mv7-w=rbLxEyLcKpFamE7Lm}tBGoxi81kOhx3+7w zHb#LGxW0JbOLl6bOESyO1mGKe{a4Ek@W^Mx$VD)) zD2_=#xrR9+0*V**#o-w99)EW+_Ip`XnR- z_#2qtt!_FJ6pgzH>9UE;6s8-nzuekK1(gBXKWWv6{86|gNg(JTs&^28*@o}N8xR>i z42$VIdBi^&=kd-RFwN$)uMhs*4W7^r5;Rkk0+rdebZ)*hZ*R15g#vcfjt$}d$QRZ{K}UL;U8;`<|2S~DSKn#*UOP#oVzCNv&=oHF4Znj@Km^SJ7+Ju0{n%UMM7u2%YCz=vOew1i zG9u@>K_ZqBygbA^8m6QkzVdkKMZ%-6XxZN%#zXcf%3k>pKoqBupA~%o;v(|!RZP5T zENJ1gX*{6`HKee(aQlL9FKl5xot>PdW<7_Jlz?5PCjRZ=u30 zMkbujB)E~;4#*t+L@MG4LpI1OqA=yp2*-Go3^r&SImc_)fzzI2#A9p$tT--SdPc zP4=wa;zSEb@;}Rcmzjx)l?C`$lu4gogrO6ii9{Ep4Wi4)fEjh6{3HmQI4Wl(l3u;i zloeDdW#u)RUW+i|B=>8Yd(3)5-(O1%)0=zJwzbx9R{z!bZw<>Q>Ngw~=57d?@%0XsMal@q3>kmGhD6s?<6X|wwl@|irSwv5FTZQ z-K4W63Yy*>78?2!qF3_2n$x^+{!HKC9BXpzpVKP-8{g~7E+1xW8ixaLMi@5R@Pxu==rM(59;U5(tm*hbWBsXPw62|MKgqJ<9hiKCJr63Q|T&+*+mW^Uigt5+gLzj2T zUJQ&1Du>z5n$p%!B275n)ohFzQ}&t$rc4PIy6y2U^zG3v+*CCgnhT7EU7B9o^|CPr z7{9iq5aG5M{YEw)$H5s?3cZTmLq820ag>!YAsy{;=t#T-%XxN}f%7_#(oJMYDgNQW zjRGMI{yQRN7Usi(L3c4MU_XFp3o7F~7?i+(m4207Tc17XXs4Kri6O2Z>40`}KAD%jfg%w6}j3=H+wm;8*vz7b1U- zu6~~1D+qtSu5S0cgA=HHZ-D#G-o?Sm!{;dq=f}h2i9ylue*MnGii{G&!o{J+oN(vU zT={mqLYx{)dbv3!MY_g;dzg_r@WgBxO1dAYbczhKGs`F{&rC)i)susp_gHLGK~So{ zjG>?XqJZd|7O?VfpZbdi1`kYjmsrk>zb8!3_x3_Bt3iAReBoNI^g{vpcd^v%Qjih= z5+~4*V-rotQ#U?k1U_k?k$@kECJE7v7U0j`66K>}IDWi{x~u>g36If2_)VwlJURF4 zy6Yf+1>lX_-UooA3(JeeYs!A~YLl&d!w_I#WW|txrfWV@>n~~2{Hij0EoCe@2Fb!8 zI%=>3-G#@jrE)FdHP`kd&x(w-MN`?jP)rR_CL3VqmB@BUr5#WHX#vSNu;pdj=BhV) zL^8*_)~-zo(&_k6QTjD$yO=X%JL*D3WUIB*cy?ElH5YV#9pdY^_3zKv`uAx`_yTM< z5v$&e{0E;2to)VJI2<`D!mOvuO|)(NXvyT>jlzS=$N_lqi^Uzxz{od*E#Dq+qSC*1 zK>KE*Of8>Ks_9;~s1Tk^!)c{eo>hE!$WMJQ^A7-0d5!y@?dwmt&Cw*}zmk#L*JD~U z>xyJJ+sr+3#$ng7Ca$uXkw-dC?n?2)B@}!#IBLwt&YHS0qNAtgevI5m)b~Y z87+O2t9P$1zOSFQSBMy1i0rWPmx$+>J|@3g^lmzP97T)i?Hk`*=j1i~g|Cd@e?Afr zpGeChe^2LMO1s&_$;a>GCD0VbA(NW_r0ZMP3`o`6Qfs93v?ZR*3)Jb%#9VoEtuZi< z+($UCDt;Ch=g!Jal7Zg3ohxjy~EU@%qIg>7uAQOO&J!Z!=T?Vq;-S~o50hRNp}P$~1u<9G%y`2{!fbfDsb*znk3rj? zY(L0Diz{{MMa_(V?rr_{PZU1bLbXcpmMJk)jk+ZXx=MtKtV96g%?6)u?sk)71i`l$ApZFZudb5nB~LqeR8LVXM3 zSfoLn2)lZT1wRKZKPXRJ_O?KVGHNZcv&sXXV0Dhmnokd>^ z0s<>^{>9GQOM@W(ei{e8JK@**Pl32Ya9>x9kI!A{0$GS8U%aUB-R&mYgB9jt^ieMvO*E)$ao2f&@ zu@uH9o>gF^p~>op(MjkeZq_j)~}_ z6E+D{@C6f^K&!(Sv$5M;h*9~a3;Zp2;-O+Qe32jt-+Dox@~|aQw^8(3ZHIE45OBg@ zZ>!^0G}W~=e%g&*ZCA+05Z8WWg4i*g-<9Wihlif< zJ1_xK^S%LBj54kAmoP2nO$}5SwuWYpgTqFW4=F|DoihiPa7lp9!3F{p7o8{+@J)L8 zfM~bQV9Ts3?hc|i8J_2&dxkuZ!XUKNp+6G6`F&?w^*riNiFZg6bm?ss+NGq26ZN3x z(RPc;5Ih|s3`ORN>M3}g=uCo<@i1TvBeS_hH)Jmk=$lOEN_9of-v)%qbL5y4dobo?%q%vgSAS%?qR~RdKaQJPb`2$M z(Wt7lP2*G-l_z$wrJ1^E`}On6f4w1~lIM>z#CWLk9xzCsMT_YoM9@Y|77@XP0(Py(@OGkxhNu?m~+S&jLf?Q?RE9Nkyqhhn=pw0Z+5ER7nG{+!yZ>vl!$1T{`3g zcMrCPN3hyVOi8-gq(2;=t2+)(M3MkH-*f7OFjpZX%!syU_|x$bP@~6nt+wSzFL_EG z!hj-qvV*)yU(iAn^M-m!&lEoJO}ZPN1tj z7bv{%N2C_I?|3GY69T9Db#vB0VrDPtj`clbkD|{PL<;DC8eKP$X|GK({h&=X8w4ZM z29milmi>=`*%V_j22bdiTwb2>1_aqnp=++oU)R@a5bCeLQ2fAsk0Ykd%%@BxTEF&E92!?&gODR_ ziZ{Wf(V=Tm5IVl_PI#ORgh7aq7DaxJW&t5@4Y|?a&l8pC-_(Z*;}&ty0%lG1gP}of zkivKnl*GGIAZLC$Txf(UT3!(%-o+DzrxTIdCX#c_TeMM{Yr8ZUDeEkx4**gj9|9!?o{$Hj=3bI7*sKWX{QSIVW05m; z1*fIWnJbOnG%z0cwWa#H^eN4XT)jPb-!MzJ`9FN0pL@TKd+ldOzxVpX0q(RPp8|-v z_U;5o+XnCgjc9MXck~}0r$+|g!xWdkM=)!}5>ZFZ{38k*@Ag$e=gPERaUKzK2oLcn zwA1ov{ppsK(s!Xsg;?}@RBL<>6w&7?|S6NAE<#0-2iH4L`FwbNNr&87{d31q@9iO^Ad(EHF zG+G}A@)5CV0}5(&sJ>^HTv?I~nJ3S#6@H|rASM5W0G4y*s#asJ2-9xr!&S<8y4?cmKYC&9$EtFX%ppfodHT1=To zv+3>S%GgN^{r&W$3XGa1{PD~tRi_`1VbvA?zgMeFYox);vVT??p4BhCvrU^_OgfS4P*V#x0nrvqDME0wvUZAmxCr-puv6JTA%cnwBV-Dom7reWG$>gQQH1^%$%vI zx-^95TD1)poYJ;LKUL4Omat5Z<RqsQbTuNiToC1`PJ0D1w0E<=@0c^Zoxjg)VX_Sg-xiU^8|3|k0PX_$@~U|T zqsZcfNsk^-Ct9I``=6{|zbE>41i!xhL$om4qv3puRK$)cxappZXNT$udi^BZW$gcC zw>-xYg$v6Nd|Zez^&h&E*Y??5xqzCqiiGogZgF*|QUwzyziB)}TCD5G+rXqs>8|aM z?IDxx(Pib%DKa3*N`01p{|H6R7VF0LEha%i4SL7}QuX7Cv;Y?8Sp_6$3q)&U)8wGF z#d{Z{qGr%b(o%iuf4NQ{kj;lDxW2Q=Ygth*hU7NFm5h}7eG47Og-ibxPF3Egc_xMf zTrP^L5Qf%i!sW!FjdWs zCnuz?EIrANnuQc1%k8BRVYO4_~ag$wTs%^+hN#ENn5v~cD%xD$5 z5y9BA8|h>aww=J;WR@^9!>nuIj_eloaK#Yd&=ch1YEx;JEe0 zhK*(h#|T})1cuYXlJ>&3;5k_djsr(IUo18 zw{phu36X^iXf**;ctN$vnXaFo4OH?bMtjg*2{4WThL_ZjVyfJd#$;nu;R4E3^?&dQ{3zb6%Bl zUK7@SUBY2qULlZ<@;b-}1@G0HAbGpSm~<&e7W&V#T?IhJ)*=1q9uL4t1zSTeb;4z^ zCZTO`U8EzQao^J4UPq>6R{j;jYumpB&T_%E0iC8<-@CJ*BpPEBeq3CY;#%}Iq{l@u zgkAFlTyQ&{rQoKWHW!H2BeOlG!F`v6e0rxW-Z1Z$eT8Ma&=Qy3+9eo&iO?2zW!?bXc+B=es#I)%?A053tguZ9-S_5YCZIi>yrzm*;S9OmCST}dN8%oK6)rr z{AM|)zklSG1dKW0ToK_0B`72QTMjL#xZ0>+@r!UI<;%UZzSqCqXZ<5SL@-_Oxyj0k zG%XH=kR-0BC-i9zYsC=Ks7|AJd0;%r7!E&brv;|?Wjtb9~e+osXD9p?hTbI#@V(5K_+4VqH%}Y*{>&RRVQ`;=TSiL zrW&WAOk>ecm2xrl?She|bf<*2hX)wcRW2vwo=6|xyE&|(EAPO%p=6oyLWVqx`5KiK zZr7Ey%8l#Xzk~y(MW@R`q*(NfN)KG>%ub$~`9}+nmzr%;_YamMbg4q@ zbZ-7>PL?eb+?j6Dsbiq`3i*WbWvsk%3Mo_NTIN_+D@T*bmR8n{EZLc19qLungD1{9 zI^3hRlg*hXe+WuhRyoED^3MSy5xUfozK#iHD^SNUF*Q;da!86=Zlun@87^ zz7S0+<=kl&Z0`3fWb4gP@GB%Uez#}F+2;P6(|*gq+c2&t+o;beg@)}DU%bdJfnFR9>TXm?G~L z)rbm%*h50d8UC;2nfmP#GaEX*?thbKdR+dNY++n)ao}>Q0yo>ucDhglC8R;D1xxxg^VaK@04#|gL(Be2EHi&!#KQpsR8@LV!UFEaJcnQ-C7 zAG-%R;aMW_w3`$QOR43Zh{BaR!)r}g#Ei1Qw`2M;l(z#`U_af4olJi)yUL^`LU2hm z1+er{K`(iOEZIKIxdiA;@Ho;EyWC}sxA$|{@F>fW-ckIWReUg*Mw<$;IM zyuIR+duIF$$qx&@%=HqY4DMF6J}s}(i0tMJyRbefQq;5(7OapEkDMq%vXSS$4neQKpQ(rKL@f(0ytVVFc*Z_+_sYm3mErvuIM3eYJD1}Iek-HJ8sqp#AGhABn#OX~Sca^l zK3<2ZI_>`Kb7D6CA0a89G1CHYCI{7njh{+$V2q*xw;j$1f4NX=cU2936LW9;ZO64v z^2J6JZ|Tr19)3aCd-B^XiKI@8Te*M_TZyoz^0b*;D>}8)(nPZ!uTBckiRg%#lUg&$ z31R|6{CS?~?oJ{4>Qg)YX$|O=aafhN9qEHREfTF|@QpavxLvMpAIj9#X6TRBa8x`a zPM6Sa6Umpz+7p9MdmsRYKr`1&{p>AG#&825gln({feF34fd{tWD}nG20*Z zB*HkJhR!WoO!Au^7F|lGw9+t&m(V8^*-vJ-B*?RT3Eg6d%uJExJJ}Z<= z<+vK9)Rca1Hro<#9&wpgh;4^rvy#N0QLrMqPm`~hOyg;+Pn#)FXJ=kS!z8R-0>U3C z)(`SbxDr|Yk^_oaghdtvI>1E~q*YYVOLKR6et3=f?f!CgV$hraxxL#Jo&3$??f!~F z=oBm>eLz2s0MCT`4$U|Ov1Q~Ec2FDWo4bQ_M?>tD%mG8Ly5$uC0`=B&!o(s!NeaQO zZVsPWwSgt+eS_msd;YxOa8pLi(GT;y#f6xgjB(1M;#%#rNOTn`Wzv{Wi7C{wlx)?& zE~F>b6gv-ZLd9VIC4&?yX(xj^-p{uOlH|QJyCzG`l`0CtQt;w!eLCb!W=t(5prJob z2%~53&~_e!;zVx0-B}#TgD)4>Wx?uk&N&Fk9dj^e#7BC1a)T_s)MuwtyVJ;?${w(r zig!5~cSu0gL+QPP5n`v706N^X?zR8E<6^LU_+#}mNA0aGrm!zs7$ebZy7r_g zEcqT3UCy)JD`iO<5T_iTgoEyMIwm<@3Fkosnw)zH8gT~l*~&7!n%08j==Pns)=@h^ zA7)eIDLI-2TW~2feAJHz*Tv6=s*bQ^B)blzNAf{ti-Smk!)Bib0U@T zEM1jMPVO047V$W96r_M%hNB4##>5Ze_{H>vs=K!XMwg%6$~mo#f{LjnM;eyE4Ok9$ zUrym_rHLEOb-0F3(}aiAB|6Kr&{LAn^OO;gt!=O0{U_vbF~>^s;4&mxZGe1@9c7cn zP@4V&{t(p4{>W%h-=rl?TS91jYuAqJ%_Hc{YGR*w@3YsC06&GyKXVKkowdX9pJh<+ zx|g?C>>0cSjCE!L3N#k_=$X1*z9 zc$M$HO#a)GBo8Po@`LZ}yt#{Z6Z2AVaI4%@7QiK`(6XFdtW?tr`d?jUnQ9m;Oxu;$ z#3QA8s5q;}z*+B*X+=ub)PX-nWn~GU(+S>)TxEdZ>wkxYiKOosVRaz52(_2G9Azt( z=yFpod`urox z%S)c-$5frm@cGxwRJ1aSJP#8Llr-(v#Kk6MH;!9+n>0|K==n+Z!e_%v4hLebIaWpO zuIAXaADF1B^`1^q1ls-Iwd_H4><`U6X=)V>q${p9h7PTW$kGOO0s5b{;NJ5=kq(%L zB_~*cXC@#7pQn1D&v%YT|}3LQ=nZ;`uY*P^Ku@}3efYfOlC##y@Z%&loNbRCuBD# zmo%>^%;F*KI#N>#`3!Z@YhV?UMun};eAS;!&IzH)=4D4)$otCms|JN0do8(GfFjhCH2e8ZN=;a0j+T(dBH^bZ?i(*sQQl^NmoL`9EJ0k_sZteVV0u0M#Mi%A zWe_YM%^CG{yye@I*gWBjZ(Aw{N0aINgbDP)c`Og?x@BbL=KoU?PlUe|?16>&!bYO2Xkw!| zfDc7unx>8ECME3nTkx@~9v(PI_D$}*JqHA8=GQL)FWwi<==h!qvNHTJnXtfS!y-7< z(1rbfq*(Rdy>mwZM)ZelTkc;JW&Rv1Mh|f{Y|GqJFJTeaPaX+F0r9{SNEAdLZd1WS zr}8)!B#{HKu*l#5BrGV<$In`tJ7W1XUmT-2!GM8GdW`oY@U#?HRSA$yB6Ip4%=Y0P zq!G#G!-#HOnAVt{T(&GseIdn`=4f}+#S~Vc!^izfyjhkE+g9eg>w-@d&ytpr(d|v7 zd^%csQDAslYSGLzL@B;xOA0Ro>;Tq590h54nj!OjZzma6mpY<0m&M@@Hn4y5Y>1lx z*+3Xjkboa=U_VMj;$fQqR+6ay|{VVBL}(0PSW%O=Izj1$`iDLhzTV4Pv= zZ(E;b!08LQw!=&tbRNQ^+s=?!+wx@La0J;{mtvyR~ z8nfP-#Umt{!0o~JK?|{7k}E35IX#(2&25WfT4T82OZsaJnn5ow zc(#K>J-Ekq2XY(vMu|4|nA8()s7*T5?sPGI`fm2y1n#%i`reYc;0~=) zOnSJ-_@cGplb8EH8p!2tQr#`jqr9sY>QB~^hvv@$?Bo4OwVIB{<4Mdl0jHjiPMNdK zsV|g&0xjpdAKBeec<(lS#Yzob&Q$mrsXP~ar177)`yZQK#Dmx2#lYQ>=}JPm((Wte+FNbM6ZUn_>Ew8sh;Ud zOpE}sf|V((eXkB%kWr6wN$At$0PameU%63g6o2MLs5R6-JH4OsqHck;Hkd~Lfpo5% zFbA|5mc1I5qg(WA9*t@-tpS?nruVh!O14=GJ|kO)wHRxY)C>7pWh&DP&1dlAWX`|Q zinFk2*_qC=giA+xaV!?}>qQAJ7Rd#s$a*=u8Dtt}H7SPV)J`FCn~1I}l)q{qgZQs3 z*zBqvIMsVNZ0|LBjqsyGdy3~X5YCl+l87DK*t;yFzGs#~?Iz$vHx+~56ZNJ1OX^l6 z$ z+K`EeTs%xZ*-9oeXO8#}ULbveddxY!F2Cf+fpZWu!WX3aZ%GsJ!z3LRzj+$}PO6P4 zg^kp4YFngahZOp7Pt|pglXVbdcm$;81r)vtsCME z`HjeUF^)c1r&Hf|ihZjt_V|I12a)Y;_rjK1dM^A+19g0-rY*i&MB4F zfeMxN`okCIn%@HDNmK*vrJ|NcY)DBf{}BhZkz3->z{^&w_K|&+y~JCPooRb>=UM#} z*i7pm4@-#^Xa>!{Yi0=Pu0F0VgQ0rAL|&8l$znvdG52@`i3VlGdCsEcxFABDcsrol z@QH;7iggGBi2@8G?2)bAE>DTeB=tshr!bzTkIIM2?W?ctUW4q?jpn4UbR8fZd8U0S z%VH(e@NzXLnv8)7aFh)i=o>UqJb~L!QG4`pkXlQvmQ}XqUEEsVm@eL75z%9;E#6%z zjn!6lG7j2Hqi3o5QzvQRwP4NDi?(C3`|1HOJNQxf!2!zK!des8Eg$?f^6}mn%JO(; z=PYKn9=t0hDm}bOha@`wgZHa9G;Y(h|qv2 zPM8S^2+@||-DsRIuhQfqM$ZS1OArm!w)!j-flGQ45^#&$k5zz{@LqNt0g=L3a#zd9 zNP+uaG*T0_ zD_d6k5Lnf@nlTSCa|o+T`lP0%QkZYo(J&c*YS2NITG*5aa3aHWPS-V?(!H0sSEQ^P z>gb+@@{xr>ElGv)_8n3|Y9PPVbNJ;XTQ;J`PMc(6Ue7%WG=;`1Auof_AaAMuowY9F z0i*BpohWCIyQ14yEY*+AUTf1$m2C#88arju;BH<{DBAO~`um@L)pHZ819sS?gVK*P z?u1CD1?XPyOJyu!8O?gL);a-i>ypsan_lRs@9q;m?F7eA4z^#W0M6hJL@Y+ z(WMHN6$~UxJ$lNk&k`@bgOj(4swjFr!Uk@|(~w95ie&a6AUR@6({zb&`%bFXmuGuAoM8 zzr0pNK7u2eDQH?Xbv9uImuVJvO-4j6?vZ3ElrP|8Ny5MnA$qR!>V8p^W!RgAP!$fdgoT^`lv$=NwDT_tBytJ(myNst*7Vn8Lo+;kET{di>{&tLEcM>SiAFilAa z*ndEW3Wb-nqwj&8@4C-->zj#^6+u1TOq1CA0^7!LnC{FON9l$mFUz{OygNV4DSV$v zI@X^>3-y5qx0RX3FQ=Mbo(j$y^v^=j1G1^VIt#Lhi_L0e=nqV(bb7RHu2=@rs&v1s z-dO(*$8_2ebDc?O(}|x|xKefq5t)OaGOn%RgJ1`Z5$35Pr|zq!NK(6zJ34I-$WF>a zZVb*%TOpp%udmctvv0;i2M(vXk5b_w}&Japmqi_ca8KbCL6yCv?Y7^zF$)>rC zo)z5xE(scIrFV1)eCeJ2l(`Y+)AE__o%N4JmTp^n`ODl^AgPyj30Ja(m5iHZ7ra6Mqu7u5SRZLY|ny z6GcF{07vELiBW`=H}eoYsy>-(I`g0aXUb zApiedcd_0DQgG@#Y?%=;4w;dsx}~O@#82}*WiQsWRGGe%idaa&QfLK?ymXq=Ke(Cj z+F*%`jAv~w6O?0MC|KS6Ju^d-B70}C`jCv1qeaY22HcrhL~Z9qxOOiliSXsezs63o}W;WO>cClloO!fo6P)y%J<%P(oIP0z6%=x_-x?A7#uU_tBvC!^r=~ zioUs7{K4NN&i_Q|3YrTdi|bF{g!mimi}b9Zz~hBN5Y)9hY;6CmVAQ9@r-S99PnM?R zpEck!)*^n`8PyYVRMg%IJA*xdRD9}2Bi~#eQp+B*PP$2FTN=ppA^qJhI0S%BP}%L9 zSz%Rng%Qft^-^V96z_RQm(yy}%AdrLwvqp}*Pun4`~K_I&Rr*T8Nc=EPfPg98vb;& zm9sShJ@>lCxA%Weo&Afzx(8W4+?zdVsO*7gD4?;Jx^?G`!SlBs z>X;tgfb^|4%w7))F3!t5NeRV21syd;O;JhD$YNSrD@PpPv+Z|U#4}~uW za<&CNKf>mcQt^9Zo)Nko{&cy9Y;qSGt2LPWhQ$>E$xk}rWsinZvwfVr z6)`|(cUk}b*<=gZgioGaXaSISkq3_J`NY}DuZSUpv4Ml5v zd&NX9p~xEh3~xJVdmXFbiZ^4+po;HQi@?PlSvEo0ncA=5K(5x_6w(~+4UvRYOt#NQrkpi|e_g!%-i9=^ z!Rw>qniONK6G})~+u_V_%Jzn)mMt|+(O&n+Tx(L(MS|n&8DVJ()9laQH$bu=;A8DQ zYz!qA?WgRYg601t8k}e}W505yBdfvC|Dge;OMVaD+=9Xi<#B189vFqlpIZ=ls1<1! zGh3x8maYp+o}?pEf_U}r|I`t_P4rLZ|7H`8?r_M#lTZJJAl?T3zt?0wy%w&=dKdMq zO7q(cnLU98%i9D6yS75I6zk-EyY9OI1yxL%7moW&}x^P8le+#J4F9y0!(+3GzG z`9wkX)tuko1CEe#{FT{<;;%x(ENaJoB8lUaJ7RnrOUsk67Il6J#DPFmqD|KPFu2WT zkC)TEO&9EkvWQAb?wR0z$iudjy`4WR0E5cR z0lFL)q)S^B#GuXS7X%3@bLA$&8<)AI*cRx@Od~oH_(P(d0o8YsJ|p1CmWy8le68qo zo0koyQ0<&Gd-EbhNhtRrP7d*$0SEY;F6_y)#YRU=3+YdGd^3zulPd;V%!H>1e=;2j z-qAhMqGcK>4z_XZY4YcEPUUbO-T({{+w(WvpC@2kIbl^F5J|<0el(Bdu6T`Jg#4!F zb(nJ`PBLvI8*Egcj{hP5AU7Us?GZvGEu%@mu?C*(}hhpVz5eljm` z3O>BU#sq-!!nc}QR27>HB0XlRQYsc@na;}6M7_`0%alECPgJyA{TK2RZVc#4byexG zjK?%okSSzKaom4fSjHqXKqsTaqx_uX4wo^Bxy^wr1qV&K0j4Mm_@Ob6hFNU7)moE{4v|3#U z;IR!6=fs0%^u&0UJ>vWwiEhA5;{gOEdUOV8zI?+E-<^mRctx;+5nI+CQ9u`XHyN6p zk|r1I`;WKPr30G!0x@w6tXc?WX@;qy6^}!~5?P-#$*d?N$bqAG1yHo8?!W8<+B-p8 z{RP|aZ}k>66o$Y2eOzVC>$l${mO5lP-Ms!`!-;>wm}R%4J|7jc#LTIaVo~u!4Xu8X z(uoGc5MpYd(~2xCSD%ShlUKlQmZcSDOf65?5AG~xS7l2WE%}E)ev0tw)L=P-5;Mo@^5D#?)Zg?LC-> zZ85F#?dohiTuJ~>z~GE(+bRpygPvhipxq`*Ps<|61Y z#4Lh4q)cWhfrVdiSgMNoHM#+xso>fSm&Ew8ic?D$)LX~akNj@A$bIZbMTf@1CdmF4 z#QH=->w)m@d8+_%FwsGP5WRV>k(srxAJZwv{ zdpXyN-nUjealOpnqNAtY7By&HCb5D+>TK<+Iz=0ueep@8($=!vs6NL3FqNs^q&;QD zW^FxXb*bs)i1>Ra zQsDJp;?BNEc^+FtSFly6_k=BNV|szh2)<8HauQi2t`EGBh8VmEjxy4H9~a4pn7=it zb8}du4Z7DGL$Mxfxv^rbsLYfd-?pmFJoju0h+|jlVqL1^Yy247GQYC+vQa;=zbpjH zQG8*G*WN3a)Jk^<^{;%<$;@DvSTt3wRvA@C)l#=st#VJ+4*FP5K9tb|)* zRP_d5Bu**vU(oLWxlauVRTEIqp)sRoI}9tLV*LroFB$*rU9#gw3us2ikB;Bq0g><- zX-td8|DyNo+D^lBNiBJT0M1x)Ywvb8D;z3Y5%zot&Q_vq3<{kb8xeLH&+qCO8gpj1Y_K=@x6%PJND!J|L8nkG*M{sV^ zN*CG8lS@(}W@yT43x;FZi5=L;|4?;KL82^Co9)xKZQHhO+qP}nwr$(C&C|BcGkyP= ziI{oI*UE~j*!kt!Yd<`~XY?6r8}b_h1pbAr$SDD@{0EuD4!!_W>U6RPM4&@1MC*Rq zxflzPRNkNj%ib+2xhhwFyQF2nPlezEPmZNHF8 z3NpRUti@eQx_QRVvkFoxUMj4$*P$dFq*2=I8e?KXh^ zM>-o`AXIy0_9WM}mSu1)V{-wCGbTq~hg+z3)~WlmxO_*es94yfjUqX$lcmdU|NT8C za*bv^M)tDbgBwitkqb4KaS%`S7*lEe0UQww#RgZ%zs|A_eUC2S7{y0N@ZEjbM7$Su z#7YzUJ3E)dn84Ky6+oYAd(EX?(4txpX0r-P);;G9 zk?0JS17+;hKP;a9EPMmBY%E8=zr9a;t5H4}2?cm&*{?MHn&Ryt7r?cte*%yUDx2DV zQ}}PQS_&M;!gre65s`HgddIvl8-1lCnFdG>-oZJ=KBIKAx;dZ4E6m%Ek@wsJV!1S2 zm6d(!w5kes1$qSfpx`#D!a98K^O6VfsdRrc!?7-`>-pnI?is%07z9NCJ7k8WRylTn zn(#C5H;sKp=TfLFvw^&Ab`XPN3p+@7y+?RIPfitaxF^7`141C|^R=;!nWK>SmA)g@ zZvfuLC5j!Y>$snImqi#B*8XDK?WLvrNC{dk))=vik_gXq=uDfZCL0j!!}lm;297|i zFB@7x47bHa!G|TPm?lv-0nIt5g63wwEF}h`B1jCpUgwl!$1hR)rSvGh!ymy^Nvpne zvvjVWwW39$M#j=+QKnhqwaRgoiCc#-zr%yssjc=awkSnPD5VN!F!Sxml53vxx~Ae@ zSOx|vo|?ZAU;?mM23Xv#@_}>A(-$Mpr!)js=Y`|d+ru=hJ?5Ka`!NH-8M=Ks`%w-y ztY+Cj#|3%jqlzZno6<@9Nv*C3?5%<<*d6k+^{lNGSKsQdI?xy<`)dFBc)y2MO0W*V z8N9$QZKjq=4WotOk`Z|CKXRTqw*RS=kBIYQ&1{#7p;{Qth&OgN7#66R=Tyrm9FF`B zu)u>y9H4yg9E7+?c&*d2`;c+)}9P2wNw4-$T7cHw*aB1&OIpCqJd1v#{;5^TF>{PxfPEu&MZrsimQ zB@HQk&#xPCMu)U37SvGbRol-^r*?ytkqM(9p*(s#lGxbUOvh46Wk-ul_!M~$KT$HU z*qd1EZ&iF&35!8^zwr&(Y0h@9`8n>k;T~8pU|u2xWF0s(Ah6J10*~2=Np&hCG@bOc z!<5FUhe(lVQ)P5xyGK&PO<3mUtEYrt$x7v>9&}ps>P8ReSZoT7x3^fJ1dE!$R`uP><<8W{uZwm4YOMd|ixNw7}qsUI$=~kDYs;I-^?Hm-bNK?fbbJ zy>+E0Qkm39P*ie{7q!?rYCiQ!Nz^_W(&soO5_2Q+DW|THK}|2I>}ZQFpwAai=TSlx zksQlvP8UWbV4RT}Yu6F5S$;k=3?C=P*q)FBfg}8sUaW(lG8_36Sj;9trJRC~UMv+i za|_YC_%0*HRN{HI`Z=|Hl1nQX-g7XkUy#MnEDZi=@haXQSZ7pqv9gv-5a-lRIEkA@ z{;@%Tvy67Y;JE`<#jr%~@zMzS#d)Gb5U8h5k>KvNn)BxpB4(A|iqO$42IJS4*)^G5 zwcw<*uK7>mB4|Vlzfh_PmLV{s_y82bWBF}qt;oYU4P?TvC&eG}SBD`dLX_^6aq}F_ zt(LdSsr0!Fr@v*DM4j5KzGx^BMY3f$@tt|~53P+}{p6xp`5R>qU(fZVHOM=r;*T>Z zM^n<`wpDg%1#_9-0W*pSim=Z9b5=^l8QLDBULL!i;Y{Kd*JGQfrh13#@+Q|Y-Vj&! z>@sga_Y>-|R*}4K!eYei$ZIBRMGhL~cFfv=+2!Yq~2C!}aeI1J_rJgrVYSI-4)- zpA-x&=*uVAenB1lBK6_T5(O!>+JR7dfoO)jm-$+qA&%RnrS*Rtrw~+NmoWV^7;Ex} z9&m|N?R3!AT}29~=)%RKHw`_`E03e3ByvEeq}t?r+iN}5dP1$J3d~8Uq@)(VltdxT^<(l``G!>G%@9+JW&i-FBIlMtM`%id} z^!5Y0fJAu6B*g=?u41#thPaH^3>l4EeJ}QlQ(f$jY;sw@L!{Wa62h{7^LLo&vwSx=`xZ zGDyy>TgwJ2gDiqEu<~K3q~m4MNx1v!L%B6zHEGR-g3-P_8MRo`mxt8GK}cmWl)bNu z;}H*kWOhks+An=C`vN~1X0Rdup(53%xX_`gG7UU=-sy6)T;22>o(KVJHtxfAxT*3h z#vp_1m3RCv37wP_QAXYM4ocU^!yM5L%%!lfisBd5?&;rV27t*ljJ z*V4Q4p?Yc8yt-F6u1vhLhVbmeFsy2+tH#>qg>z+#W8hY>xC*moEqj)Vc`bcp-YQy~ zuO(+3@OJbLXs1+xKHlmQtOE~enZCUh;7{Q9pqYYU#Hdn5HW3r~e^o>3H{dhMxkTVk zpl1KCYAAn+oWw#K=l;b7Ajj%xv?sj7tAdH%2epKIyt}5FsTxb9-GVFYH~Uo)pG5>H z&%s7u>5|sVZbX%x2&P45EBtpu4ak!@!d6G@BZpw-A6kL61LV$!WVNC&1n{4uhtOf( z8o;65<-dzwb${#u3R`D`sO}PLY9~K}3}ALiBT~!*UGY;TIQfUodwkM|NwJ=wH4D!3G#Z#v6?9rSlUQn?3O1PB-WqmPnvz4XWyDNh{?hto zZUW!syEXr&QpyvcO8zDr=4j094THG$S69xHNPkTnBugkY%XkhUt-s2+r}7OvM|jxy zgwHSqM=px)vf8d9008uj@}Cz5x*irbAQFZ3PaCH-RDilccDRK8pxHJ)Inu`c;r)?` zV9H(JCaQe?bZWW;t>MVsRv_nB^Qn8A$plB0(;b z&Zo?e`0M+;;jqa`^`n1{Rxo;Y46kR|QZ-cZbkT8+LWQgH%s`D&EdcRdAidzI$!_%p zSi=1^=xx~eDc%I4IDW-X^Upc+MtPFZ+`VyfZDhfW{KpJ=)8uvpsqf+=VKJw?6^2X^ z|7{sGqNUtMF-R2wet3J&3P((_qnp4pDu@R1GA@V>9Hs22Xf?sf1-8IzFAH|0R{5Yv zf)q?Qd49pjUsBtiQM0sHu+{;dbA{^d05c!`xHBLsq;iqtuA4~@nUNXS5e2FV(>!`B z3zvw@<5T_Kf990R!dfhY#q;`34uusu6BrqQ9wclJ%^Ecmjx2o%J@t-k7o&FzFZBoN zX%%cv7w z(};|Tq`V%t#iAl07TSAgpTgN^GwFj%(L=L4THhCpB&cDMj|Dl|8+URozf*h6Qk&#u zg`Zz@(1yT|ULWRoQ}sJS!rt;n__@tu8m8t_?Q*$Rt|}X!ke+KV*>jGx?1eF}OA%!I zb51Qyi$cXf4q}B!5Z9+;4D=1VHOW#HJV!=2z0hhmzijy1FO2+ip9zIRlTL+?PTg;Q4&DqA_ zN>40%tDb#HQMbzpjRKjKn0+lwdMY}1z{o3I)e!Q~m8^%5Y}^krJ5ASAqOX>5YV9&S zNL1Pe-glL2MjDGr5u~u%Vg(*jPKgC{SA4#=rHHcP5pfp-U0kDuj>=WrvM@=`QL%t- zi}zelUX@JWb~=H6HjTYbTcagqFWBzCdLe~(XgpMctFq>A_U?Ja7~`qYsW zD=p{6N`poLiJ9!1$eUzP$Xj~%8|8MU8;o_hL1}YE8<#&cs`ExZG;(wDO15N}3(9Al z}< zmsudIamcZ_19&(()BveZL*2rlBqRk@Ra5=_$iU=Wh197JJmYCd86fs1HXKb33%;jD z$_qsRAVbxNgPu6c95A?%Yit0#{P$N7h*rmFlRG76ewC2q(g`I#0XK)sLJ1;qc}P{q zM6&jR7`eEfhe%5vxbz@M`jAZQL1lyz*r8T-)wpR`fu``!@=a(ooMLM4fRvDZ=(aBCAqw9~K!FkwXl~NNJ^;u2 zg*nF7nbj)7CSDZq_h_X*ux^x!e@LM}Fc7%~qVaNY=?HEVYnT(=V}`XWlVW`uRe%^0 z>@6xC1!)HZINn*8SgP}zT=8gg~^Hzr^XaKkuiUeheK4&0_Sw(blSGfksk{$)>S9NV_P5gPC z>;#MpDjrOv*X5D0e5NbV0L>@NDP{qsN7i=wt?6v z{ATA_=k68)V^=o2@70t|$WFBG{d&EpE7Xmv+9BE>(`6~=b-7(jdF9cJP;cp%E+Kow z`4RP6TX3`P3X#r=6RztUT`3&-!Ot2)MWRV*;3`RvETsKh6rT4nRWk5)bJbWfV?~MK z0eYtx^Sl|4b8-xOM{rTN)t|r3k!sPB?FSq8H9LUnyMC3mh2Ou*R@_~Aq7rZy&ah@! zbkFhGN_Xct{vY`qPGv(RnVy}z`yhMngw~xB9q|W`5b(zr@Any^7~T`M%n7mOd!pl6 zmBJG!r7ARs)53`fc*@(#6m?%}BNa_gHZ)qeCz%e9r3C4e{1>O#{I}$nmrs*t6-oZ? zh|br=EAW~w5nHS+7m711Xi#sU2Tum*-u0c3uW-FksvN`JFAVWTaLT>e70oBn%+G@k z#_g+MD09wZPt>R0H&&J?g#CBrO^#xb* zAiQWbj2wD^r<_c)ED%f6+YSLESql21?&~THv)~i*_+1}}tt6+-A4|`OjzUj4EIEqy z?-7f#%t^qQ9xu;RhHErRP&*BS%Pe?K%f$?}v~-&{24#+in6{*bGt%}{sL<4f)vIBl z=g2^hk<<)C!!n-JEl4sbi9w*_Ew)#`rEBuB-nWcaE?YlIuC-=gM|0Yeg&@)-gC7Oj zQ&yz|-occT0gY-^dxl(QdC3|=6=k@OV*R{`lLKpQl8MIC&P-AIyTcq7AP%pEtct4Iue}T)qyfPA(9x}Fv72Y*z#W5DM{!QN< z|KE~JE~~H9iy8q9QPE4?gsHkQJ-Gf5vD03t_ArdUcbuDRKx=2Yf27fWU+q86t?;G* z-8hUhm9{@debYp~86X1t6a`9X=(#kejgLdW*Le%Oq#THsLpwEgr9yktq5YX{C~X|% z&rw2VH$t%!%H|$@#}!k8Oe%M!NBPI-b~=kz!pfncBk81jDmxxi)>||HG865n!s}?~ zQeo>wTxa%wiA?~MLe7AN^+5S`!D)9o3DW=v&isoyp&;Q*qhrkGIr5R3HdkOUe82ubg*J76Pu`Mi<=E} zi*UX;AA|mR-19>wq!lwkNb5A&m|Ek2I{|%=RXL}BVZ_}z;J(6uG$wu@7ISmIBKoi4 z4jdhWDi5}3de|KDT#0sC@jiiG7(W{cKm^E{_t`jxk2gq*V5gZGTF^5{=Lk@))F8nj zdyiY#AIJx<<9oUc=$A)@s~xwxix6bf(p#7ZV@5Vq?sYmTfWCJgRs+Eer0qwdFfY<9 ztSG-GW>?P2;@o9g3&Q4rIcTdOU!(%;x4H|I-^j$qH}!WwE|*_p$ef1{$jZR1%J#r9 ztPE08XioW1Y$<6~ZHa+C8DI{kMGW#k(v>NS$GF)>^AwUHSFB1474(bmxQ$8$K>u9s zFy*)Bb_@xW46W+qjEr_7EB^3LN3S$Da5#Pygb^51A|aYdNrpGsl?X|X&0U$fSfu8U z1@N`i-v4dpvSkpy80*nSLxA|GAa3ti;pTphF9(-saMkl| z_qxXr?gJ)h;Ahl}5ZP0vi!ldm7C!H6ktmUW(fv~?f4m^r?JpEo*eV*1v*wEVmu0UhfV>*y(Fl<6{7C8wvdhR$V zfP_U0k}sb8dueP)2%DHhhbqAAqegsgUwz{K+nH7}k%r6#DIdZS>YKWRLjjndiGlOU zlYt*LHlve}7j-Z^qn%?Xs@U!j<_Os5=^1D zhCXq^-a`m=sula?1fnqUi%yOH5^l}i#RlQnu;KNM>6%JPn~(}*pzUv z(h2uW;dC}W)Dt&P8#%qPOY5s8zD=z*L1*8E2};lhbTmc>3)hUv-Fr&`;V;qtJVg3) z;Op*pFyUZrX24gOXJ^s;LrQ?xgE@v0tE7c{xYG4tNLK^EUi1V1|MF&%Y`?Y{3<>v0 zUyy`;ryjj;!F432_B=iO_xN&|+_Ax$sa^A5F9o(tLq1Lins}`u=K@-8MB5nnN7>lJ zW|QG~v_`I1*Vv@jegLCyrdBkUQl{DY=Q;ja#5?zu1|(xs{K zdyft0>N|A@Be~kXNvCKhXMw(pX46zZB!Rk*O10Z}{3dc^dS32BeX_Ii(O_hyL@^DU zO2Iuy2N_pkFAO_mp0C*Hpp`paea%n@{tClc=P1|UC?D#pO_GVTbh$3v7iH%tORs$G z(!6Tn!Ni9}?H!7Al-{@175seY50f-;*YsZ;`-8y1I1ZS7=2&`|x^N(f{^*$mV=dS^ zm%AE%X#f2_6~|>P&kYyQs)$8Is5SARh*c$I;aDCl zlZX6|=I8+^Bu#~Jax>ysw(I?zO+ULnm-m>-LNd(XZe+*!vMJCi_3m7zHY}kBBWdb_-xV9Y<}tGgZr|)QlHvw^-U$?J_TClJzO4 zjb3v0kFAc4sS;Tw8LpRg2FY<&q$o1`x>vA*9#(Nn3Q@`Po!45} zUcy&1wG=uMFf?T_3KuoO6ADogh1M#`Iq^$a;fu{yOx-rX&1Om|m$COUEmS)Wgxs-k z$S-SRrrN(!iDEET|43F>_-@p6y*&UO9G^QxJ4-2hbxTw%01T&R**Ra6=je;zFEQ1(B~!@yKfvsk!* zCyo6A;N?lp#XT++gk@uMDr~BBIVl>LK`H8(suOJT4=Q>+<@Z*Sm=%6_M1w^}HVd*2 zPoLp7fhUQJ+IK@0VJUBdg)w(JwjXdi6dQGR*bAncraC3Xom#rs7L8N&XeMb?;! zneyhy%Gh%?3j>54YNRBG8BDa%YF`|ucEXuWB}tBg zh2XE8n3dB+0pKKYQ*+e1mXLge(z>d?X0R3VvjO=ftCNa>v9s{F)~q$=_-pC+NK(hT z;_F=0fu>Wm5a@rxRT-jTRk@*|n{k@VIc4r5HW_ki`K^VseI*-)iY@PXF4W};U8LIC zAv8caJ&Sx&I@)vteNn6T+llyp1j#hFy5p?|smYDS#8l1Y@w zO59Cf24-D%aG>$v`5p*zTTrbUT|aqvHFli6!VgyNnRNTJNbU5$s_A(Rar>&$@e-Z>EvH?W0vqlthiXgZP)oNf5w?T0 zVpkd!-Z!CiwuC#Ks8KW0;B>B9z_DHkF_9!-QPe4M75RQ8?`CZvamLBH)S=DN?Q=U* zI{iR@zxx4U~F#qIV%V2!`$tAyPFKX+wgSC1z#?orTSqrsKHJ zKEtIGtl3x*c9-rx++3D46P=a#+S3=To)mOxQPbAyV1Zy>L$xyO_l zxiPwG^rIE{L~~#<5#FrE2>T$%)KaCMPr*J-rmCwu2izD+ux~e<{8{K*X(VnO=W3tk8com2-DGN>TaFyEil+t zSJz^kujlr!us0S{bJ!!6dBIf$d+X^)GS)q*R;r_O!k(&QsQ4Aq)K;E_N*7aky3r~r z(gW38k!@xc=E7t>U!jMai>*96Z5F2TgxDe|lcQj-+*B5qxm*iA9p=K+L^mlCqhl}M zP&SLXJYyvahSF5nImwfvV6RvcQ;xYjZS`8F(!@n1Dbs>vyI5BfgsognS^K&%!ff7n zB8D+Ve}3GbdMLeu%1$~Fn!4A^GzrP&_G;OL?bH8_gP1l4VR)S(mvD41%(=96OiRme zMTWKgZ||8v%6rCPsSNd~rJ&_@>4vT5yNDH8|FoK>5U1$`&*oya)L4PEIrw0EZ4c5$ zr;=8?QWLd&E;-NlW`B&Ydlh1Nwb*F73(9Jj3q~Jh@gRw7ErQ)`Rh5Mk%y3KT(f+Xu zBgi#KtF2L$pm7xyTJ>-%;+Eu98D+yO>e0NUX^)bA54s}PzEA)8DnpKdG;KUQMq!&2 zdrT6CsqkCi)8Lf&V_4WuiT@Tpf&)BX_di_;tF5dbSCELB`g*b%$ID^0H-{#LnD{-oPyc*wcrL-I?WYfyL`>B`= z6?!E=QI=Pqae~yJfHJ91idmz4Yt~NBDHt<>L!A_vj0Gp0RXjk>fb%erx6e8Z>N*5N z!aK9cNhtg>jxA_Jk5Flut>HUzfv-%3Gt(A?mLrOnSs6}4%-mvG1yf~DnE?#WwZ{P);)()$akT3Ce}73o zetIONkO}2{E6j_kETTU%>@a{CtFdK@aPEwyMO@W6@1~&+qiM_%D?7IkRs}8>wkjPK z@J5eR?^psyXq&4P>+#p%y+G#2~UD>}3DOCQK?k!9wb-6yLZEElCPOa1l5eg)! zIR=)%ie5`hzNbb{41C;Zzvw(OO+A8XA@X0`BSxb*?(#@&_<1elELg^IT=A?SO!!s* zbz>kyH}y3CQ>2o$NB$EYTcTL!>tonWHdMLJHO|w|#X<^<3;|{ZX@&4#8Dvba#rG4t zY=aOPMRgtCrqP3{EbYS+ZG7V8>+za0cO^zqR?(ua`%5ZL zY4o~F3pkH-q9^o1hOz!3sR=``91zo7Ijx#3vLSFV{m9f6#O1_lB1|B`2~udlO!YA= zP~Vg?q|h;-5+p`{_d6{*7q5yfsU18bm)ER%s#ybWk?rCOD-t^=;?<;P4n?YC>zhkZ zh^)_9yF%w#kd6XBywDgPj0Ee2Z(luQ>r)d_Z@ zc=*J-9=t1tYpcGdMc^NIy%Y#@|jo$VXfIMS(Yn|BX8b2%>nmeSiNttO8!lTL&?prk!*y z=8Q_J?nv`$4&3IQ$8>BA(&$gv`<=u$cflx@EJ{FI zIYzfqI?sc0urHx(Toj?5sy9KGPMUfa(M~n?b#1&OEsY)rI`)O+RvKQ|cXD_i#l^18 zsDkv^b~M$N1nQ1oChDb(H_Q58c%!viT)~jFSMbe{DrXeFCA7g6kl@iKkv#H}JNE#- z7#En)p}uHsMHBgcS5K}O9yZ7DjLB>Kb@SYT0vX8{6MXZHOS>QN0}M!>wPQF@-J1GtbxNt!OuTSV z#JPA1b~WwXxi%8Wp}im&S4j~bH%%Uh(&s3nRb2rAZf1&f%NmlaKYa13|`$RS!`>3;Bj?3E3r zAFwlJBc>cy3if7;oPsi}FvS6;rdBJa( zQGhJ>twX<#mf44var2uC+h`V?4#DX_6^rkTB8Uu;Ct?EeOtS*YBCEG7Me#5Y@Eo#-?~T_k;qbb`iL#D zsWaf!WJg+>SjsCffxW_QCEapcXOvegW+87-Znl!(mg)8mV1>wx+&yZ@R|6 zS6o9=O+g9n^^#4y_k!mL(OgT~7If4j53C4*(HU(C6}>ltq4j$$D9~NJv_}e$N(oi* z@%lEWdUS6%cJAtQ;$N`R>{s~Ei1AQAQbw1)lAxN&`H-jBN*BC*^-%-+ocdKxi-{3Q`v<%cz>PU}t;r8n;Y9%^|9>a#pm|_ST-)^UL#YR!u8QFB9@+pVR={-clqLxlX=_ObeR1K~fKYRAhbRtCIt@*#17Fn8?iB)iDUl zB4hH-F2 zgY`2!5;~onIRA)n3SeqMkWZBIi6`A+Yj7-GmS(ZXn5g-La!NvcrC>iNSgK?suNgWQ{3D~Nm^15;c8>muS5CXMRl2wOoQ2OEd+D>e@y<($ z;WJG7R2+Z2kI5IXbu1u8KuV`(iokgYZlR@F_Mt;Q`h^w(#J0m#9li%hRNIUs!T^fr zh1no77yDHtjvUQP*vQC-?Gg0tqbFTr?&uWjuIEe9eAbSL zd6AIf$MtfNcNV&K<6vwy(~PRBEiIZ-oZ1_u5h31bP3{E+q8_l8y$){yzl$`ZpPZr#2H#Oy_+Tz{^QXbL(_*3CUY{XCGT;FcW1a%XNnj1~nfr zK1(ecdedSWDBvnOJsf>(r>`epyV-kLk9nQD+gXom3ZA>Q!0uhjYzLNgOz&r$9FkU; zFvKx5uV=u`pCoy)1`Dza7GPa@j#+x;P?bWC7yswTaix4Mwq*Z z;)B_mMv!)+Tjv3O})l?4rSFhjk;{DeJlCO-hJ` zUMQDer`RT#8w$c0lfE+g$OMeDx#CVw3WMk7$-JMGLWjmA8!DC(A62lKNK)cH@pQ?H zY6Pwo&8p9FOJyAm_JANwTx%WtB4X_WkrNny zA1X2lWZjgnD^8FJHJBEEOnz0$v>KTWHzbctA0s2Cy}P;*HzwL*Rsod8!nntSHmcun z?aoyPzWRt+40KK-x{CQqb z`7PcvV|?2?*MwzO;W5#k=4hr~RR^OhS_%OCR#OfWCBfz)IculHtfwl~0;tV9XvMc*kpvwnw9vN*h2xnW1OSam~VwLlU)hV2I*vS{#q&l`D-}8IHM0|*T%Lox4F=!zP_VTz>!;+g zlTSP1+Nl3JZzl4*cJY|^NzQpc0u5DN?AFXKtT0_pmmUg`W*uzvng6Vr6!6)pW3Zq! z>*8uaiA1T^Ar2YX7MzVZlVz0Qf*g=1VY4HNTs*K6W$#;)n0vpF;jC%wsyFRIft8Jo4&v6%>;Q!kG4eH_G}@DD zk$7&LCwgMf`Z3wky~&BX96Tyi8Vx7HEQGa7m*Cy~zJ%ehc7Naz!hGS8bIzQ}oLpY# zzUAtz+hg807+?BsteHkL!C8@|xC6qr#o3n!|4?!i3!>@(z$We~FPCDd!*ENyZ@f|e zA#w(}uHcUzV88?zS7#hDhNcID8dpRMcC>&a!jzthSC-t_?j&hDat6--fhjeoctSY8 zgH>RUzp*R7fEC8+R6YNfj~#6;D98^1P70qiK!eaS4WBm;Pi=2p`w1wn3BB4yn1MG6@%G4-wt9h&b8Bprj4}%4 zf1#NCe`NKEDW#C=B03y{hibGQP#z;5!VF3&U?}pC-QjVhjJQXEMJa@s+L46<^`Y^* zNT?wIhu6s?3QZ=>Hy42F)BoxdLPa0|A>dpLNsWd_ z2`6X}B+w_vw5hZUHB?cTz$*0wZ|pEY7!FL&OC344T(xjo?N#*+_4^=>piRC`_eeBUE#>_P|m zhdq7cO2))_9A)6n7xMZkU72!f?Ts=%z|k?LZPC0H6hqaKqQZ2C&^X69HM})2I+3Fe zrk4CLn~z}(B9<%>c`8}y#@0&l*f<48AcP0csceHH_tPzO4{_*Ddff3WsDmg9Jo#33 zwE)8kq6O8}HaWF~GfBlp$9 zL;oXAklkLig)DcoKv{%xCwrpyz(+2YJtmpGwz=$Hy0*AQ3dEuHu=;ZvS6(vBV;U%{ z&%OF^Dj2~+f|lY-0PAbiAqe;kr}WRh_x?to>su~-?9!OLxmP*)*{LuOX(Jn70@(*m z>pFs+CWQi*Y_vuXe;>#$=`9%4T$HkLKUpLj49WFh2PxsClDv-YfEvB46^7GSY?tq; zb593kRxNt4qP7I?Z*`vzYZ;djSw zbVDa}=L%2u_2n6Ki7`pd7S0jsk)cZw1+iou$>&q_Hv2M2%=EKJEs&!rrL#r%x`oDz zs|}|uNpOQU8R96>zLL_M;!fAqT?)gF;gaui+07TE1}QYpeH;(GyGmvbc30zyQkMKD zednV5Kx>wB#kn!mH<_Oq>^3Z=IWEIza%>AW*ux^j_50oAeIv5f`qUJl!(gBTj+yf>m_5qCtjbNw%T)#IS zxQ^K1L(@G*$&zvJB1MMdLXO^|ZMsjJr2YEe!fEyh@*GC`-~nV}r+$j?V1AW54+~T5 zV{0XS&kU?3!G)ph0CW)WxfKv?1@X@}R3v1g!wcrv5-mq5+MjL?53pjUrbRPldlgDN zwG9;yDSYuT{1GBrrS0UoCAzj*s9K>ZG8d^|yy{OLe_>Bd>YmK&INcvuKLy?50Ffuj z*8pP56Ab0O--#tAYzA%P*dsGRh<#dcCob6}(ObG>j%mxBI3`tK{Cmx**B@}vgq`#V z|Nc#II~3L<(`w~kl_)ofao$4$+eQ$}1R(46ur9zk9=Sq5;ZUnqlimGWs}t%u=cCE1sPf*xd=nm&iCmad6IVNYsDGH$8?XxM z@~q_PH8T>su^4R>W9tW4O^bmqz6w#cO*WWG$spV$MO#@u*?Cnha3$r1F?gc+?|MN*<<~* zc?7Y^lCf8}3NUz9SLcI6P340$gY#FBDg^7l_*1{F?t>0cou~1>XCp~akTgD+e&`Y- zPmvJD3y{6gKL(icu+s8l$F_b69Phw9NNj8o+W#-JjIMZ&)eqEtfg;XJ<-??M(X@u` za$!}CR?<0BR7Ll8A~=uF(^GVU0e5Nn>A_n5Q)Yv%(kY{DFVb2Nt_PBl||ga17!l}>0siWYTc!>4G7YsDMKH?p)b z_pbJMSQ_Nb$|VGyl3Y3B;0&jb36W_?@Eg6`LstOY%mF8q;E(XMor9+hMd$L{&}3I4q?NR#cg>Tpcki# zXub<4CoeUAel~}kQe#rc{u^DrD`ri@_!MAiR1~}EGgSdmyB)-eGsBXaDJ(#I(aIeC z@;XQ2;6n^R^*e^ZKZuf)%9`f_9Xd*9etP~oz zt!Tp27rZxeV}eS#aYqrHkqv~~-IJTAJJduhWRx8|q*r)lI{EJ}YU%>RZlFb3Xq@?r zYL2E@(L&;d;QOy`iZ`pJ`HpLZCh?K2xHbI2$|Bb*EzmL#3_qMOSc-q`TM6K#>U5YmL+DNWFpcw9AvPq!TCY4|aF4BtA z?}L5r1dyCpb|DpOXmR@|LZjIjB(^%6BKu640nn>q=%R~*k15cWK}H*Shoy&j084<6 ziWmHdpJ$ptLXl(a!zTa)z|XuJSB)uOFr;`&mypF)EDr(kz_{l(9+bY+fklaK?)k*q z7vnCMgRxu)#CXaV{m*i7Y@lt+g}+k@5gS709zOJEOrYv6^6;D>Ih?1ct z;7Fe=Ue|iD<3zxgRo%Su_Kk`md8R3ASq2I+L}yg?#`Y#Yg&i#mMD|48mT?OLYiKvv z15p)fVJN1-PzVI1V!GdA`&Dl-x=Zjt{s9W?40gnjMD~w%KMDGXGbsIS5dhwhwNHZZ zak=*QJmS*10!5_n14^$Jm~0F207taeB~s^=q)VZLj1{2{^;vY@$%=I)HJwQX4RiJ1 zeZ+bah@|iB<#A2T4Xwje8$a|1gu8mkmWa+uMe*e z-<5qK-{ly$3Bw9q^YRaCHShT0N&A}ar%fvYE>%g0{?zEAj6Cl0X6F?*x0{rx5~%}x z0tLzMAIU?CNVzx}LfO)X&;xn0F>GsW$#ZjGjL*qd_Szx$>ex%$Jv}E2n+*ze_oFEF z(NR0QTkFYxcCBrD6aW6X8Pz)!F8-+YNyo5z(CAd}(VgC&K7vP)9LI3QUzWK-Fv*yC z5>iwQ8wf57E|3u%nI|1$RL*v<&u*%87K}o<){hFOGPs@6XA$}C#LrCGDtc==?T_r} zczMaYxygXX8M6;*({8#Ba#QJ*f&bLXl09TOvFaAUYXW!4Lq2}7P=&g#{2|s4=O<() zko}WX2LKFAQ%C}CNZj)_c~tB@sMQvX-wPkc%^P9Cm`i?3TVUW;zZ%l(ocxgo552OZ zl!4BW_K69m)WYAV?K7`tKD7%$kWPpUPP%B-s>i@l2%&KPs)o!fOrL)ge1~q8T3ari zK<=9Ji!PaT*a0a_ko25nzUck4Rqxw{WXxk!pMhBa)cFQ}k9 z>fJ7Z8-rgh)b1iscROO)ho!*H)#<~FGh$vnkFzV*w!w5}ATbMfV9&BD5uSdw;&!F^ z2^c+a0wg-`o(C5Wx6k>bvQvoUtg*U#V>-qHd9ri^;dMdRF}kw5`cFeP#CNvwU^h>K zFAtVlS{pAJn1gNW1ULn5lY$3?VoTOWC(4UvrE6j1D&!xNv!6xSlRoDbpB7{8_2_jv zow!U|5r5PY*rS_|Rm=!h10mhR7E0Z^`FDDqJn$yGITU<0B_EwP*m&|bUK?>0YDURM zJ9TFF!g%?gz{z`77Ui_IW097i0#D;W=G_y1h?qoQb`QjA81l@08@L)Rk#yrq+nhk(nhn7q;%DdriB<+Uqo#31>DH9q%TM7Kn<+Io1Ca zn+0V0&eWlVV!|Ob_aT&{7QivYy-&9H$vzv&@wV@x9 zl&2{U_P4idE)Rc&QH1y*j35d8!!&ZG9ibS01HWqL6ds=v-XsiiSJ?@eIY5VAGFou z4t2CRc5Ch@n4ykPi!emHu=Dm-dtSDwt$SQ9aJFjW(v^nt9|d!)XSlp$&~`@u^c&I( zI~MM5@6`nPt7&p_FD72gWugkZYk@jO=?}DAm8r+3-$^WQf#FrFN7rm`5c3${L5{!_ zNx%wgL9MYt{PfEyKcsb0Y1wO+pfu%b-xx+rCbW>mt!J{i z?$@NQRLkQNY^!d5g02954yL1&WJeYwo5fWULeyGqAIhHx@ynJEyWO zm!3xM>Uw?ldtZ;r`*>33bS|NB5-M)57t?U2x({AYprts-2y|sJ&M0hqQ&bkDd{kE-IJTxy&?H*e`mWUzDUm+JSJ_|4;~YrtPX#D z8!oxnTz?PZ<($*4>kJ`y)%Ger?a-jCS#M6=VAag- zGq;%_heG|>P0|^V`fdeY)+SfEXZR?JKLZWl3&1MNVK)0*M2e2_R`=R(s14=tA*M6? z_XQ;ZQXhVipg0Pv;3H&bc!m{j!$-(IAan%h*~`lq&2Tc)56)$F35nWssfVBnyt*<8 z|8O`D(fBUj!}|ecXu&5-Hhy(Ky`TR*BD;%G@Xx{QZg(=HQ@$96_fvSk&o;jMCb*TY z_PrTtwYx=8-G7c)%xQ=E)@1tLr5-)lPIvtDIJVtKsDDfJ{PQkmCi}zfS`FUroFuMW zy~U3_;pSh!avp4CYLg>`$Ky#8YiN2I)XSijGRVH!Y|s5CtLi^fF#Y|V-Nw*ra}j90 z*y;k6xcLIn@%I4Cz}l_9anow)T#ctua-mkl+fQEZV5k`a?ecM}v7b#RnFRe~(R3g+(exoY>swMK34KglE mfIC%W?XaXi8BX)`eD!wY`}c3(|9=1g0RR6g57qP<^9BF{rfrP? literal 0 HcmV?d00001 diff --git a/build/openrpc/gateway.json b/build/openrpc/gateway.json index 42521f0c8..269566dd9 100644 --- a/build/openrpc/gateway.json +++ b/build/openrpc/gateway.json @@ -4439,23 +4439,14 @@ "examples": [ [ { - "action": { - "callType": "string value", - "from": "0x5cbeecf99d3fdb3f25e309cc264f240bb0664031", - "to": "0x5cbeecf99d3fdb3f25e309cc264f240bb0664031", - "gas": "0x5", - "input": "0x07", - "value": "0x0" - }, - "result": { - "gasUsed": "0x5", - "output": "0x07" - }, + "type": "string value", + "error": "string value", "subtraces": 123, "traceAddress": [ 123 ], - "Type": "string value", + "action": {}, + "result": {}, "blockHash": "0x37690cfec6c1bf4c3b9288c7a5d783e98731e90b0a4c177c2a374c7a9427355e", "blockNumber": 9, "transactionHash": "0x37690cfec6c1bf4c3b9288c7a5d783e98731e90b0a4c177c2a374c7a9427355e", @@ -4467,52 +4458,8 @@ { "additionalProperties": false, "properties": { - "Type": { - "type": "string" - }, "action": { - "additionalProperties": false, - "properties": { - "callType": { - "type": "string" - }, - "from": { - "items": { - "description": "Number is a number", - "title": "number", - "type": "number" - }, - "maxItems": 20, - "minItems": 20, - "type": "array" - }, - "gas": { - "title": "number", - "type": "number" - }, - "input": { - "items": { - "description": "Number is a number", - "title": "number", - "type": "number" - }, - "type": "array" - }, - "to": { - "items": { - "description": "Number is a number", - "title": "number", - "type": "number" - }, - "maxItems": 20, - "minItems": 20, - "type": "array" - }, - "value": { - "additionalProperties": false, - "type": "object" - } - }, + "additionalProperties": true, "type": "object" }, "blockHash": { @@ -4529,22 +4476,11 @@ "title": "number", "type": "number" }, + "error": { + "type": "string" + }, "result": { - "additionalProperties": false, - "properties": { - "gasUsed": { - "title": "number", - "type": "number" - }, - "output": { - "items": { - "description": "Number is a number", - "title": "number", - "type": "number" - }, - "type": "array" - } - }, + "additionalProperties": true, "type": "object" }, "subtraces": { @@ -4572,6 +4508,9 @@ "transactionPosition": { "title": "number", "type": "number" + }, + "type": { + "type": "string" } }, "type": [ @@ -4650,23 +4589,14 @@ "stateDiff": "string value", "trace": [ { - "action": { - "callType": "string value", - "from": "0x5cbeecf99d3fdb3f25e309cc264f240bb0664031", - "to": "0x5cbeecf99d3fdb3f25e309cc264f240bb0664031", - "gas": "0x5", - "input": "0x07", - "value": "0x0" - }, - "result": { - "gasUsed": "0x5", - "output": "0x07" - }, + "type": "string value", + "error": "string value", "subtraces": 123, "traceAddress": [ 123 ], - "Type": "string value" + "action": {}, + "result": {} } ], "transactionHash": "0x37690cfec6c1bf4c3b9288c7a5d783e98731e90b0a4c177c2a374c7a9427355e", @@ -4693,70 +4623,15 @@ "items": { "additionalProperties": false, "properties": { - "Type": { - "type": "string" - }, "action": { - "additionalProperties": false, - "properties": { - "callType": { - "type": "string" - }, - "from": { - "items": { - "description": "Number is a number", - "title": "number", - "type": "number" - }, - "maxItems": 20, - "minItems": 20, - "type": "array" - }, - "gas": { - "title": "number", - "type": "number" - }, - "input": { - "items": { - "description": "Number is a number", - "title": "number", - "type": "number" - }, - "type": "array" - }, - "to": { - "items": { - "description": "Number is a number", - "title": "number", - "type": "number" - }, - "maxItems": 20, - "minItems": 20, - "type": "array" - }, - "value": { - "additionalProperties": false, - "type": "object" - } - }, + "additionalProperties": true, "type": "object" }, + "error": { + "type": "string" + }, "result": { - "additionalProperties": false, - "properties": { - "gasUsed": { - "title": "number", - "type": "number" - }, - "output": { - "items": { - "description": "Number is a number", - "title": "number", - "type": "number" - }, - "type": "array" - } - }, + "additionalProperties": true, "type": "object" }, "subtraces": { @@ -4770,6 +4645,9 @@ "type": "number" }, "type": "array" + }, + "type": { + "type": "string" } }, "type": "object" diff --git a/build/openrpc/gateway.json.gz b/build/openrpc/gateway.json.gz new file mode 100644 index 0000000000000000000000000000000000000000..bc012704306a49b7ceaa35f33cc4559eaca6a432 GIT binary patch literal 11862 zcmZ{~LzE_5uy&cwH*HkfwpD4{wzJZN#4z>~vGF4T zK>z3cUU^$MZgMQ#=^5OACrDG`>F`#b2zd?N%U<1Y%ow{SE^#A5Nnk1!g#=kqQvSY{ z0{lqap#3P)Q|gtP>&5fz>ujCaeKK}XJARg!Vy9+gUCm~#(#LQ;PUhuMh_Cn`$G(pC zHT1W%b1`pg>8DcOfxdy<>8|TL7d_1eAs@?4WC`#*UG(w1zb!iSkzKz1aLnDuwmJWR z9_0vmUAe7vuQOR=s`F+TLZ8<5{$RQ9ZtYJsN3r|gPjdF%A<@{>^EKXS5ih?_H(9Ia zMDF9@yl5Rx)4MSS_rqI!BY|Ll(1L#Soc6N%_&D|&u&@MV!(a&Q zg3EfCj@b78p>r_rv|S5zJL%j{OtC-tRKx4ZmMP7N&BtYPgZ_bGew57M?XdUXannQ4up?Y6B-RZ1Yw5}ax6nOH|)>&bfHJ+52Y)7O-^Y2Bh!o*u+k#h3;3GnjboTyJk6gi%Ns-~+z` z)c}Vt>x~)r2b9=v<__1Ing1rthYAC`uf-b^Y>rJH)_Sz94}$12i+>Z723G$|BEHfD z=y0ep-=xbOhuG4JU{w^oj{(Ps$&sO9p!K$-uOrljNAm4>7pt!sPG38udV~No^b_J# zpUIhEJ40{K8+1^_^$t`W@d*#qv#a&Ye+LimDZrB>{pWi6H+=?u$N1w_pD8HPpq5X# zd)?5ME%5tBXxHmwhiR~Xs<777&-*B5>Q;_+G4yvT4#D~n@X3s6v$7Pr-(>x04#)xu z`S!w`!ojg&`4n{zn!a{4NKBYb)x0Ei$hXByA9N|*yv(G1gx7eDi~2d84z=8U3^|E^ z*ITvty?t@BYX8L=^!f;4tv1PyC9LClof_sfL}|Y_ zt+B>??xcN0)t6tp^`yo*+UOjHeOb*Vd%esvN$8Ei-~iKv-NSk#q*{5;ryQe4j2>Cz zVcImE{2KFd+Q@bx|7RZw9KxO>=F%EdPu!Qv0O$kk@WT{Xw6%2fG54_w^87e``mj9g z1N1QkyNQJrpXY^=vig7m$CC;m1s=3mkgtFG9|uq9>;#!e2+mq?1A%<};=CH}xIs3_ zqL4XOd)R|{$=W2&8cbx{#rPa2mn{yz5frJ^bwfXx8B5$SJ?|MR}ho7bl z=neU{X@Y8@YR{y?)}b@ym?V6nku!mYh)H%P98pFSP0{F-5@<5?Xt{DDCHn_QF8p9B zBaCted{(eIXG6O*N5yaZ6cB3$Iv9$AAT%goW9~lVHOj*@iYXUZsOO6tPsW|X{_Z?x zwd|_23v>EhiL%k%3y))acL@fD`OzCd`Qd!w`8fQGFW_o+^xZ4>J>$czy@(vie&SoH z-h+e)48yUkyY>;ywPXwKsI~-sx`Qbn&?Su2#(J!P!QntZSnJ`y-v_*f9CM| z5TS>C-&fDQ2Hawh&!0JP3Wx`?pPWTt36mGH9}*zf$KvjOJqVQ{vlb{7&~SppiUy^4 zB9ort?qHwMIs_3|4kw1-gYZmC?-%RV1rY6g{Ct1P&ENFK(d2s}L)g9_>Ku&)_4GkF z`R?M<>SVth*ZSjTCBvY`Uv_)(rwfq4gAFGKUGqzU8J6~RcjDTwJAP{-$z+YJp0LYsJ{R?P4Im=yN|Ji3srYbvbiaV1S=ce3!$tIm0%r~-lm=nMYxu1lf zb+Rt>W^f7HrkaX>-adB!VtgO4g1-$MKQgacgFe;VZCKpdDP6T!-@(v-$b>ZT8Rr`s znZkH&nyYaCfCTbs46Cj12#Bo|kpPiX@QY&&wgjARk<7=h^D4|JMP_6x>6LctM|rpI zcJAUoo7Ny)<9`meZ{mM@! z*@xehj~TY@ul89lL|PW0XY6bq`$VldNd>kO#loRt_Jw8IIf*{Ra3W1^m`BSy&R!qn zbV3qsJ-R7CUPk5dK<-A3=z=aDr4)0PoTOzK*|3jpaaZl7;S1c2?%9&ENp#Zjp>=rXST-DFkh}Ss2~)n4`|eRapOFk7^NwnsV&DT) z-6FYAtD+2`EciEvuXMJfotx#cLQ^zO<%29xwMS~AU)%=6{zzt?Xkt0xxix_uah9g| zobSrj8RHxj7 z>6272_BfFtm>6J11Ed|Og2Wg%{@rbcK-3%@6zXJeg6uYM#dz5WO1v*& zjK9>8j^a7-5~bU@q|X7P(E{GZ+Alsyl+2JZEvGxkY$a2Q5l6>=^v>bOC1L zKvUq^0T6hp1N)h~H_#w_1;4+(`F+3%GZnA|{&hi6ByiyF{0jmp2t}&J>wV01{?J7< z)?^3bcR1J(R||7vOZanA*){q2k^&Vnq1>zm&PX;uqB-tQ&5PUT@fLg_yYR_>Bs%$+ zqs%F9yXG@n8`~`$^iw|oikXC_^z+S*flEz*uIb~n&+CM=dS)Kp*ev{qF7}I#ttSrA z!pI908~Cg;vxL5+42U4L+WP$l;|8x&^AB9gXz7o}*NNWVyc)D1s>s0G32XWzi-O7= zx(rupNT5(aND7E8#0~^QnKYdU0#J6J#=;6QazsyPm_GlkWz0SfaH{^^Uf<%jR1-G6 zRL$tGwR!{&-t_x7Be-0D2jcPYtlc{A8FwYwPQ=As1p@~(VjCR(K>tS1^CVl<68z{MhVsBfZ7Y*MyEtl01`4Y zF4MtZ{IP)?Xx-$=wR2VMs!>V~qXUdajpDJdzY(A3?82(j12O7f!96iKO5abT)Z5)) zRVlgL`72dL?GifU)=@Y{c{z?jSO;P`YEdS&HJ3B^<$hCLsq6dVfxi95v)XI_98*kV zuB;4lsXZ%>zQxgGZ2@*YEwE-0RGnhjh+&T=6T!3*~gmP+!R25~Y{GhJpmVO%63 zM@r3NLN_`;12<-z`(0-Yy#nyK5X9EI8}+bWe|P4iLur=So*6Dp0-00ubYIng)l@|0f^5pZ*66DKKG6b~;(hIh&Cn#-nvQ#1qX_3XUBRqr<^#%xlh}{CN4#8bH3Vcv?f#t>B7*p@*uU;yS z6)Oz;u!7Z|8?a~>pDbDteWhxoCa;Qn#IFC`Dp*pfU8|zEbqwbqh~9bYazNkDwS7uL z+CSx4Z)lC)Yx4}U=FZ=9BjGLuTmD0CTn=?!2z91^i6hrAki!?dI2?m8`X_X3TH8Q{ zS*lTs9Fqx3Y~p@5dvh{rVqnvRH62rsY;JUTjE!x9Q@Nw~pgV+NQST{r;55OZ!uX|P z_CQB&^$!d)Jld<|DA;n){mYOU!>{=E&5$Tu7N~vkk1Uh)d*uL`evTYaw%>bmED!#^ z$PZ~94JKHwyx(PEL?~uQu5o@tukrT8))UtGgI9TkoOCr&wB8(?&1^2#U1XE2~>mpL6S1Ch!$RlB<-(RPcS__OHc#CIB0wd!h=@BdL%G*#p^5e<;~HOc0wzH zN{xP{ADI<6q8=7z9;iIlaWb|)L!60W(0m$p`ebm_K*>%|oK zLQ71Gb5nJpHLmrgxt7=_*T%}akCs_$!<#r8xVH&*D8Gi;M2)$JuZ!&E%o+V!AQ{$Q zE?$1}N1Ma*cDk!N^z(W(4HPmIPmeANXpN*~0>&aH$^k)wMp=dn>O@4Cd;Uv%|NBex z4a)WyBJUB3g<_xb0d8*$pOJ5$zj}L_B3*_s^zFPvV%@>9^HyEU7C<%sq{RAOy}B1R5NT zlmzBR)5LU81`of}^n;Ie!%sVoAaqM{+w$11YjBa@K`}53zm29VWvE|@*9N)>_~Th2 zLHQVVNh4iK$(nF5Hox=m3)EjP@DuwOj+{juE&hLk7-UE1vMbb^VJK+#Xi6vbESYK? zFg}Ns-sMMzwnv&VLE91TZJ4z)+$|M}54qoUY~(aK&JNIKB63oW$Lt<(;lEelU&PB& zSLi__IPg8vS15etTP=@+ffEVQ?w;K>`r|Ad3a+9Obw?F=G0h{AC#oAyjzZUuZn*Uc z8y1DxZ2!N79{f|ccJZXHOa9wL;UloCu>>IPpGc-P2NzAZWrCMRG*^(k4e(k&yH04f z+W2m0;z!lccCK<*60Q&Mkj%R(N`{3mB4Jhv z0@xR6^XTcyh)pCS8>>;wx*r6$)b8%FI@lbd$+o5&3#=aY4 zv;tok14V-RDtP5AvJfS}=HN>sn2+n?lt`e|)>w>ctEOPnz#;vf+FSGsg_|AQ&?fdU~%Wu?DQ0>pjAW$4qYQ_4!dB7GqoOT9+y`?4A=eTtx zCK?{!&&%ed0pIzo+IX0Q46D>X9;pp_`ZR}5JKCcdWlZGj_ANzyxZs;56Kj!ncm$1% z^PxxEjO;i~RaQn*O}bK%fFy^V)5P>!Aq?`L#bTQorP<*9rHH~z-hz2d2&Ow5#yds_ zu>qYH8Yjcsye|FGYy=u{cF~-W#2FJ!@aKeH)*Y|!96BMKS8c(0i9zTBI&eCvrE+jq znPh!(c**1qI~@^k$yP4*?TQqlR@BU?1KyAKq3J`)E1o{Wx;~x@Cr^^7i2!?=$5q+Z zRAJ}RmwXdsY2mU{66hH`yoLa*%1O*<(64o3TGRPUiH3p#ehO zVE4sr0fRF6>OH6zHQdTg<^8cxHgqr-Tq3DG=SJ+F9)jl zIF-E$k-rkE-yhwIHyEJk3Sg2YB;{DBLJA9L6R&0AP_@{r1XPaV#572YkW46&*iY;2 z%V(#EVg!V6WlfcFl1I~a7Y$)Rps;fDc4?~?VdnV(9>=TnLHW9a&dl6&|up z@t5fBTaZ){I0cc4Q|F3G%ev_kjlvpbWBV3KEvP7c)JvW(o5$(+xjIJ>m>e+_T#YfRh4toDN6hg%(fY$f{-xf<~W41$EIU=bh{mPBr!k4qvw++ zK-&*2sk1h91N9WET0sxYr%3@%_{zB<74trGdqQ&Fd!^;Qq8GQxBuiO=do+FKAPm(Y zz~ts^@g^X_{1a~dQ6jXmoeIal*+(f2fdZ-@ZyU7;xBlKm`It5BO{euJ&XLMgoevC?;M|kwwRY{*_~Dv?%L-ut+=PVztkm*-2!#?K1e0S}-s$mohnB6!KVP=?)ormos17#a4f@aVo6(bc-(oG*}4OJ4IPRwY-I1wmj1$S z-yF_;)U&&v#gOm(^}$(t^kle&JV`VryMR=6kgAc#XtfEhvHBJEO8g3$h(W#X9^+6u zz^E48y)WhTXCtCuTu2ZlKfF_H*88K_{2J_tZ1sD zc|<9imvXqb5$5kddxVX@i1~c#bp`*$_{MMna%2(U(+|qspCYv&%J5?uFbScHNRC`> z88`Rao3>IvE19hmap$}!XkKr{Q-v0iS) z<#1X%^PfX$6QZ{)xaYrg3G$&At)ku66!()nBrJ}*z|+Oq3S$|Q5H*-;E)%reWEPZ` zEe~iY3@gd}?9u$DDv!hwpY%Oh=K8_`H)Y>2mc5oF{)}{! z1rl|%Qb6QVzJ@(;-U(g=dlKral%y3RiHXQY5=HzoE%8uS`o}Z3WAAoBJdCwJ3a3xj zMN=wBpW;1XIvQ)VVKXji@}Qz0oX9)X@N|$1+drQts;xm<<}DKb``1!;Fg~;l8|$68gK>SOl3kso72?19YH@Uq@`^Q~&`%ly#TFWH$g3|u)n@Zj6 zHj|(I!TKE24o^%xD_fjpq22I4W@36^JX()8JNU}qrbC5+Zcj^~RW?8SKP^~+`dx`H zLrX^8RI3i=WgU*{id$Dq{DqETyL>=Le*U1b{-Da*Rm1wmMCeP2{*n-SVqEg?T$$?Q zMfN`%6M5j*l?&&T*ajhx*9pi9Q5`DTo8>!|^*yz_zEJ&8=suFM+Shk8ek%Ju7Ot(P z9vSD>Qv$jDJ4B~mJ>hdPA!PRkD`I`zAYd||uZ!h!^tf_$lG{kx{3y|7>R6U>@TnB+ zgeEkLsfIQ-y?T#%N{SF+_cwe7h_dQ3P4hF<;w=dr#u6gAvPRJt-d(b|(N!i}AI4cR zek&{Tpd_NTMOLVzu<_g-%_DO;oE16wuu02Rg@|OJ6cluA`P4@ckZLMcMXP1k#I)RO zqY#`=)7M5H*<+L!!I2CgvPX!ffABHi(#X(oyV4TURx8cz_6F~#HNLy@MO)P4mp#KkgRd#a z)7mA8;s&NApZ_ZCYE(FR%|@!{0vp>InACIhvQ-0`k-IoaIetwte~z&yzF(vi?*aa~ zK;*RpVRzkig~HW60U2l*H-Tofy{Alg)hUu_Ut5`DvrgVbI=SMb>AbGqM6`pJ73Kr? zZ#`lY5yPGCH9!@^ zpU&2>d~ZcTjE;qU?!q{fb_KVW|`JXw|wo;;xlZn7M!Gr`}@*o^_D?8Q99yxLERj#@Var+^_U4ytj89d;+ z&YYWYSg*)WJ|)3;W(TY~AdSRi03#6__PELUII%BGZ*18q;w?a%-hjKD2qB7np2EX= zKsT9ziyadpBSC=ZkW{g}Y-{tRP;wDJaa=6?Ha$$SepyMQQWG-DtswH{Rx(;b!%S-Cd#HERex1jkbx8*E{4q$SX5mIy`!UDUW@?B%d3L(|+`308so zu4TbLRg~-mG@;0lR5a(oV+@Xh9E_u-#WY+&kI7R>t_xn0Y6ofhHED&+o1g7Tj%O4Y z^P`XR#k7XjJ8)Uiub2@Sw8;_93VUM}pm~S>oi}RCQd7auN`ylO<8$7wvAjif01+{g zfPkmoz!*I}KIWUrimrQGeTqB+Cz5|Y6zTyl83CYc%_ofpi|iA#5oRcj`FC!anWU^| z@@y|9JZ~W3%rrtkI~yYHsD$zt3TRzQqzuo4H51YO@%dBV-(cLNhr;+$NWVW<4g{Gz zUC|o}J3W}~ePQQhn3T3tpJXKHIlR4ji&oHH)hf_&6mx>H=EHEuLl|#VIfBmQWCse+ z=3pUO+9bntT&JT55@9#t7$of%Y9J6wV6@h#ZQV=RR%u;}jCVV9sb|J7tzalFsrkA}I)w=la$KEOh^6PQfh*Pr_zH3TM<080rARC_AfL&3N7vXfQo9$-Em zY?jEs?WF7rKryaf)&)+jy(LDhv@*>s%L~dC=C-wDXJ?h1J>d1(;!8Q5+hC3=(7 zWw*~^%M}#p!%$<89Y-$J@rJJ=>${qB5ipt}JhRvBTsZwG9h7~9>)NG3TQl?tjOm(G zD`aS`tXC&?twmJ2Lp5?Zeqm3IFcwUg28UI8676t>MO&!^he~<}&wnO7 zNu9-&24vPnOS&)FV$C;s`nnqTM71lHkakVm4vszYbV5s}r zYv0yYYz>j#-4d#HMe`vT41cb;$xF5CRX8tOTY7Q3L!{~Co&;pT*xc1LOMXoCpxsa9 zf~Va6ZEz}+%WC{ni_4irUx_Z|KOAd^7lwT5xqAaV6 zCQv#Nt-hUVH5Z6B9^vwPQ>inJp?M%LEq4uoEK#Bdl6?z6b)llEt@RMjNQy8#E%Ft_ zheK)_hh1+VHnUOO0d7;asI;fkL! z>S1AUenf};g#vqfT!QD*F~x!hjGT+jqsx!JD`>r-WBf!?woj2h`Z;D2!4ST)5!G0{ zWSc9ldGj823uV@pLg`(TaFD(%f?N)2LB4(IG8!IzO7Qt^;s5@zYW>IusO8H8uh&*;0 z>qSyP`*m|#q*}+A?Umze4~TsaC0zf=8I-4vqkgbDP)d8g~KYCEbH(jXhUDPo9I# z&z=U3-#6872A`I2Fnk{%j!d;asx6R~;ts3BA&g$In}2qX`xJim{yH`2M_HW! zxbA%42Od|mXEa`?b{7xn36Ad=r*-mqzVwQh=iMbPkpGt6)%8F&796)-LtK7aLLime zJ5H~0F#ysY1=(WIka)zqf1z?LB`moM158QKP++RTm8xSO@)cb1Gzx3%Tts)2wa|hxx-5b& zKYT^{NxmRbR!GE#5w@_3e$cgfqnf-_;F{tV3*IAVP#NT;SC488B0j}HC}Zhl@pw6R z62>ORcHT`#-v7ki4|1arT9|tR=fSGxjGaOZ#bIo6eu+C@QGt0kly2r@*XwBgylNR{HN^4a z^1}!kMQkqo5S-zi6(R<7Tj3#ygILyd4IBQ@OfSqr7$STutbM+Rp^&nOVS`|sGDJ?M zDj_wO=hg?P>hp<2Hvbst-)PARab`#+jlx*7;Hy}f#f4Vblel$_U1&fw;`t;4e-Y&{ zV!n_H-g1!iQ35^fF1sM%ehz08+HLyC*{WIQt?KeQkzq2Ix@=c^}IY8Fd)`-`^i9uhN0K_8;)BkLvr8lBDrwt%>mV7Bp!N1oa%W zQnOx*8!h3?ca>vaDFYPX9qBre?~u9>!&e^_3Dg#``Ryrc0uE5Z98mZYisx)hAcZ5d z=}JYGNJx3I0OMdT`mf`O7v!ojOV{G-l|+v@m0p_q{HW8sinAd&Ft+GCm3>b8TQr@T zTMd0$T{_1@!pq0ThsrsK7&be$Gi@0}zFTdXZWKn_1@``BPj4Mm6M9_b)^*GM6cW(8 z)_9xi{!IfFv^Z=I=RU#s^-vvfG^v4eTI1U+0`8-`|AE?V#4il}`+a`r2UoUxGA7q) zIy7Tgp{ip^eZp1oK`w!o{m?yJhO5`s{8D zt(q`E`-_Z#-hXbpdtrV+?q(JZEF@y9{({ZWBvhOdyakZ~{!_t@M*m-852#0Tr~8sc z`fAjlqeoCpQv<3ieTL@!v;N!so@4Mkq*#o8b5|d}+#hDA&RC(#(Ve4w?i{z*H+%ir z+x{+mL<5&UQ8qNvgA+(44o%xkwg5+(oWB3GlEky?!4&rw#D)Itl{KxEnk>mcc4L|PSyK~e0X`j==v;#VsTqASbD%Z{5*~0h1{s#bJ!eN?MTMR z=E7hY4J zl3A6Gp=UX2+;%}wW2D!MxDQ}hh!MCjjWG59fpZFqze(W>q{L-M+J9qs;$s!VGvg`H zwEiYHM|5T*kN(r9h!=zsnqe$0h{*z>KmI;UvInpF#TiRgw7mb{gzn^G?jKB)9n~j| zw(gUqq67nH9YH7>^6KGEX*)kzn9qTajxJ5zcoluWrg~tlaHtZFAf6DBjOjjcN$9DU zABDKLwvjD#K$A>_?afFSzRALejmuzVbC;ZoOfN19-$EOfr)V{;Ve z4uxa@$j%fn-mOlUz`dUgkhZx=p6gfKE=6FU3ozfPJ4EMtqpU{}%8q52-#9Czds$=R z6J)_MY94AUt4;e4>4}bdYE;Q!tY*NbjfrfKqr8??7Pzx3sLolMk8uo-H&Q48Oh_5| zRR!7QZIqqVo&nltjVZou!W~e>)1_pprKXv>wLP4j@X1V(u$D?X@Xy8Tv$!#uf^+W8 zm0kH^$SH!Q@=zVY#s)iaD#Kv#O_tRNa<|lbHRuHGp66JJ;3njQHhO6}0yE+7Aj{<# z7<2;wj#c<3F^2LuC|cNSrMfo%*uGZg*}{x+?ssnOr4B88 z90uqq;&mZ2AGu&U>1bYPR}Pv!CNNnGX0z(A)dV`K+~2SY0;XLp;3#Ds;TN>wf3!t) zY8}!h5EjEp^EjfDs~S=5A?oigG1cNB$!25H#jZm)#{c>%iEmoUC$=k)?Y%T)fiwj0bbuPmL2a7 zt&5dZ0+STmdfB)ivlD=C)_Q(DX1?h!mPgO}saic1y(buc_2;A9XIdlI@jt$+X@nTJ z&zIacWJHUiQyc#soP{Hgv;QkRn26-5-2I$8?m_ZcI#|CQ}Vj;F8}c4sq72y|LH zcZUD?Z$a>%3H?p! 0 { + switch r := env.traces[0].Result.(type) { + case *ethtypes.EthCallTraceResult: + output = r.Output + case *ethtypes.EthCreateTraceResult: + output = r.Code } - } else { - output = encodeFilecoinReturnAsABI(ir.ExecutionTrace.MsgRct.ExitCode, ir.ExecutionTrace.MsgRct.ReturnCodec, ir.ExecutionTrace.MsgRct.Return) } - t := ethtypes.EthTraceReplayBlockTransaction{ + allTraces = append(allTraces, ðtypes.EthTraceReplayBlockTransaction{ Output: output, TransactionHash: *txHash, + Trace: env.traces, StateDiff: nil, VmTrace: nil, - } - - err = buildTraces(&t.Trace, nil, []int{}, ir.ExecutionTrace, int64(ts.Height()), st) - if err != nil { - return nil, xerrors.Errorf("failed building traces: %w", err) - } - - allTraces = append(allTraces, &t) + }) } return allTraces, nil diff --git a/node/impl/full/eth_test.go b/node/impl/full/eth_test.go index c364a4873..05c3f2575 100644 --- a/node/impl/full/eth_test.go +++ b/node/impl/full/eth_test.go @@ -1,11 +1,14 @@ package full import ( + "bytes" "encoding/hex" "testing" "github.com/ipfs/go-cid" + "github.com/multiformats/go-multicodec" "github.com/stretchr/testify/require" + cbg "github.com/whyrusleeping/cbor-gen" "github.com/filecoin-project/go-state-types/big" @@ -177,3 +180,40 @@ func TestABIEncoding(t *testing.T) { require.Equal(t, expectedBytes, encodeAsABIHelper(22, 81, dataBytes)) } + +func TestDecodePayload(t *testing.T) { + // "empty" + b, err := decodePayload(nil, 0) + require.NoError(t, err) + require.Empty(t, b) + + // raw empty + _, err = decodePayload(nil, uint64(multicodec.Raw)) + require.NoError(t, err) + require.Empty(t, b) + + // raw non-empty + b, err = decodePayload([]byte{1}, uint64(multicodec.Raw)) + require.NoError(t, err) + require.EqualValues(t, b, []byte{1}) + + // Invalid cbor bytes + _, err = decodePayload(nil, uint64(multicodec.DagCbor)) + require.Error(t, err) + + // valid cbor bytes + var w bytes.Buffer + require.NoError(t, cbg.WriteByteArray(&w, []byte{1})) + b, err = decodePayload(w.Bytes(), uint64(multicodec.DagCbor)) + require.NoError(t, err) + require.EqualValues(t, b, []byte{1}) + + // regular cbor also works. + b, err = decodePayload(w.Bytes(), uint64(multicodec.Cbor)) + require.NoError(t, err) + require.EqualValues(t, b, []byte{1}) + + // random codec should fail + _, err = decodePayload(w.Bytes(), 42) + require.Error(t, err) +} diff --git a/node/impl/full/eth_trace.go b/node/impl/full/eth_trace.go index 123d96fe1..e4e5d794d 100644 --- a/node/impl/full/eth_trace.go +++ b/node/impl/full/eth_trace.go @@ -2,15 +2,22 @@ package full import ( "bytes" + "fmt" "github.com/multiformats/go-multicodec" cbg "github.com/whyrusleeping/cbor-gen" "golang.org/x/xerrors" + "github.com/filecoin-project/go-address" + "github.com/filecoin-project/go-state-types/abi" "github.com/filecoin-project/go-state-types/builtin" - "github.com/filecoin-project/go-state-types/builtin/v10/evm" + eam12 "github.com/filecoin-project/go-state-types/builtin/v12/eam" + evm12 "github.com/filecoin-project/go-state-types/builtin/v12/evm" + init12 "github.com/filecoin-project/go-state-types/builtin/v12/init" + "github.com/filecoin-project/go-state-types/exitcode" builtinactors "github.com/filecoin-project/lotus/chain/actors/builtin" + "github.com/filecoin-project/lotus/chain/actors/builtin/evm" "github.com/filecoin-project/lotus/chain/state" "github.com/filecoin-project/lotus/chain/types" "github.com/filecoin-project/lotus/chain/types/ethtypes" @@ -18,10 +25,6 @@ import ( // decodePayload is a utility function which decodes the payload using the given codec func decodePayload(payload []byte, codec uint64) (ethtypes.EthBytes, error) { - if len(payload) == 0 { - return nil, nil - } - switch multicodec.Code(codec) { case multicodec.Identity: return nil, nil @@ -38,217 +41,565 @@ func decodePayload(payload []byte, codec uint64) (ethtypes.EthBytes, error) { return nil, xerrors.Errorf("decodePayload: unsupported codec: %d", codec) } -// buildTraces recursively builds the traces for a given ExecutionTrace by walking the subcalls -func buildTraces(traces *[]*ethtypes.EthTrace, parent *ethtypes.EthTrace, addr []int, et types.ExecutionTrace, height int64, st *state.StateTree) error { - // lookup the eth address from the from/to addresses. Note that this may fail but to support - // this we need to include the ActorID in the trace. For now, just log a warning and skip - // this trace. - // - // TODO: Add ActorID in trace, see https://github.com/filecoin-project/lotus/pull/11100#discussion_r1302442288 - from, err := lookupEthAddress(et.Msg.From, st) - if err != nil { - log.Warnf("buildTraces: failed to lookup from address %s: %v", et.Msg.From, err) - return nil - } - to, err := lookupEthAddress(et.Msg.To, st) - if err != nil { - log.Warnf("buildTraces: failed to lookup to address %s: %w", et.Msg.To, err) - return nil +func decodeParams[P any, T interface { + *P + cbg.CBORUnmarshaler +}](msg *types.MessageTrace) (T, error) { + var params T = new(P) + switch msg.ParamsCodec { + case uint64(multicodec.DagCbor), uint64(multicodec.Cbor): + default: + return nil, xerrors.Errorf("Method called with unexpected codec %d", msg.ParamsCodec) } - // Skip the trace if we never reached the point where we invoked this actor. + if err := params.UnmarshalCBOR(bytes.NewReader(msg.Params)); err != nil { + return nil, xerrors.Errorf("failed to decode params: %w", err) + } + + return params, nil +} + +func decodeReturn[R any, T interface { + *R + cbg.CBORUnmarshaler +}](ret *types.ReturnTrace) (T, error) { + var retval T = new(R) + switch ret.ReturnCodec { + case uint64(multicodec.DagCbor), uint64(multicodec.Cbor): + default: + return nil, xerrors.Errorf("Method returned an unexpected codec %d", ret.ReturnCodec) + } + + if err := retval.UnmarshalCBOR(bytes.NewReader(ret.Return)); err != nil { + return nil, xerrors.Errorf("failed to decode return value: %w", err) + } + + return retval, nil +} + +func find[T any](values []T, cb func(t *T) *T) *T { + for i := range values { + if o := cb(&values[i]); o != nil { + return o + } + } + return nil +} + +type environment struct { + caller ethtypes.EthAddress + isEVM bool + subtraceCount int + traces []*ethtypes.EthTrace + lastByteCode *ethtypes.EthAddress +} + +func baseEnvironment(st *state.StateTree, from address.Address) (*environment, error) { + sender, err := lookupEthAddress(from, st) + if err != nil { + return nil, xerrors.Errorf("top-level message sender %s s could not be found: %w", from, err) + } + return &environment{caller: sender}, nil +} + +func traceToAddress(act *types.ActorTrace) ethtypes.EthAddress { + if act.State.Address != nil { + if addr, err := ethtypes.EthAddressFromFilecoinAddress(*act.State.Address); err == nil { + return addr + } + } + return ethtypes.EthAddressFromActorID(act.Id) +} + +// traceIsEVMOrEAM returns true if the trace is a call to an EVM or EAM actor. +func traceIsEVMOrEAM(et *types.ExecutionTrace) bool { if et.InvokedActor == nil { + return false + } + return builtinactors.IsEvmActor(et.InvokedActor.State.Code) || + et.InvokedActor.Id != abi.ActorID(builtin.EthereumAddressManagerActorID) +} + +func traceErrMsg(et *types.ExecutionTrace) string { + code := et.MsgRct.ExitCode + + if code.IsSuccess() { + return "" + } + + // EVM tools often expect this literal string. + if code == exitcode.SysErrOutOfGas { + return "out of gas" + } + + // indicate when we have a "system" error. + if code < exitcode.FirstActorErrorCode { + return fmt.Sprintf("vm error: %s", code) + } + + // handle special exit codes from the EVM/EAM. + if traceIsEVMOrEAM(et) { + switch code { + case evm.ErrReverted: + return "Reverted" // capitalized for compatibility + case evm.ErrInvalidInstruction: + return "invalid instruction" + case evm.ErrUndefinedInstruction: + return "undefined instruction" + case evm.ErrStackUnderflow: + return "stack underflow" + case evm.ErrStackOverflow: + return "stack overflow" + case evm.ErrIllegalMemoryAccess: + return "illegal memory access" + case evm.ErrBadJumpdest: + return "invalid jump destination" + case evm.ErrSelfdestructFailed: + return "self destruct failed" + } + } + // everything else... + return fmt.Sprintf("actor error: %s", code.Error()) +} + +// buildTraces recursively builds the traces for a given ExecutionTrace by walking the subcalls +func buildTraces(env *environment, addr []int, et *types.ExecutionTrace) error { + trace, recurseInto, err := buildTrace(env, addr, et) + if err != nil { + return xerrors.Errorf("at trace %v: %w", addr, err) + } + + if trace != nil { + env.traces = append(env.traces, trace) + env.subtraceCount++ + } + + // Skip if there's nothing more to do and/or `buildTrace` told us to skip this one. + if recurseInto == nil || recurseInto.InvokedActor == nil || len(recurseInto.Subcalls) == 0 { return nil } - trace := ðtypes.EthTrace{ - Action: ethtypes.EthTraceAction{ - From: from, - To: to, - Gas: ethtypes.EthUint64(et.Msg.GasLimit), - Input: nil, - Value: ethtypes.EthBigInt(et.Msg.Value), - - FilecoinFrom: et.Msg.From, - FilecoinTo: et.Msg.To, - FilecoinMethod: et.Msg.Method, - FilecoinCodeCid: et.InvokedActor.State.Code, - }, - Result: ethtypes.EthTraceResult{ - GasUsed: ethtypes.EthUint64(et.SumGas().TotalGas), - Output: nil, - }, - Subtraces: 0, // will be updated by the children once they are added to the trace - TraceAddress: addr, - - Parent: parent, - LastByteCode: nil, + subEnv := &environment{ + caller: traceToAddress(recurseInto.InvokedActor), + isEVM: builtinactors.IsEvmActor(recurseInto.InvokedActor.State.Code), + traces: env.traces, } - - trace.SetCallType("call") - - if et.Msg.Method == builtin.MethodsEVM.InvokeContract { - log.Debugf("COND1 found InvokeContract call at height: %d", height) - - // TODO: ignore return errors since actors can send gibberish and we don't want - // to fail the whole trace in that case - trace.Action.Input, err = decodePayload(et.Msg.Params, et.Msg.ParamsCodec) - if err != nil { - return xerrors.Errorf("buildTraces: %w", err) - } - trace.Result.Output, err = decodePayload(et.MsgRct.Return, et.MsgRct.ReturnCodec) - if err != nil { - return xerrors.Errorf("buildTraces: %w", err) - } - } else if et.Msg.To == builtin.EthereumAddressManagerActorAddr && - et.Msg.Method == builtin.MethodsEAM.CreateExternal { - log.Debugf("COND2 found CreateExternal call at height: %d", height) - trace.Action.Input, err = decodePayload(et.Msg.Params, et.Msg.ParamsCodec) - if err != nil { - return xerrors.Errorf("buildTraces: %w", err) - } - - if et.MsgRct.ExitCode.IsSuccess() { - // ignore return value - trace.Result.Output = nil - } else { - // return value is the error message - trace.Result.Output, err = decodePayload(et.MsgRct.Return, et.MsgRct.ReturnCodec) - if err != nil { - return xerrors.Errorf("buildTraces: %w", err) - } - } - - // treat this as a contract creation - trace.SetCallType("create") - } else { - // we are going to assume a native method, but we may change it in one of the edge cases below - // TODO: only do this if we know it's a native method (optimization) - trace.Action.Input = encodeFilecoinParamsAsABI(et.Msg.Method, et.Msg.ParamsCodec, et.Msg.Params) - trace.Result.Output = encodeFilecoinReturnAsABI(et.MsgRct.ExitCode, et.MsgRct.ReturnCodec, et.MsgRct.Return) - } - - // TODO: is it OK to check this here or is this only specific to certain edge case (evm to evm)? - if et.Msg.ReadOnly { - trace.SetCallType("staticcall") - } - - // there are several edge cases that require special handling when displaying the traces. Note that while iterating over - // the traces we update the trace backwards (through the parent pointer) - if parent != nil { - // Handle Native actor creation - // - // Actor A calls to the init actor on method 2 and The init actor creates the target actor B then calls it on method 1 - if parent.Action.FilecoinTo == builtin.InitActorAddr && - parent.Action.FilecoinMethod == builtin.MethodsInit.Exec && - et.Msg.Method == builtin.MethodConstructor { - log.Debugf("COND3 Native actor creation! method:%d, code:%s, height:%d", et.Msg.Method, et.InvokedActor.State.Code.String(), height) - parent.SetCallType("create") - parent.Action.To = to - parent.Action.Input = []byte{0xFE} - parent.Result.Output = nil - - // there should never be any subcalls when creating a native actor - // - // TODO: add support for native actors calling another when created - return nil - } - - // Handle EVM contract creation - // - // To detect EVM contract creation we need to check for the following sequence of events: - // - // 1) EVM contract A calls the EAM (Ethereum Address Manager) on method 2 (create) or 3 (create2). - // 2) The EAM calls the init actor on method 3 (Exec4). - // 3) The init actor creates the target actor B then calls it on method 1. - if parent.Parent != nil { - calledCreateOnEAM := parent.Parent.Action.FilecoinTo == builtin.EthereumAddressManagerActorAddr && - (parent.Parent.Action.FilecoinMethod == builtin.MethodsEAM.Create || parent.Parent.Action.FilecoinMethod == builtin.MethodsEAM.Create2) - eamCalledInitOnExec4 := parent.Action.FilecoinTo == builtin.InitActorAddr && - parent.Action.FilecoinMethod == builtin.MethodsInit.Exec4 - initCreatedActor := trace.Action.FilecoinMethod == builtin.MethodConstructor - - // TODO: We need to handle failures in contract creations and support resurrections on an existing but dead EVM actor) - if calledCreateOnEAM && eamCalledInitOnExec4 && initCreatedActor { - log.Debugf("COND4 EVM contract creation method:%d, code:%s, height:%d", et.Msg.Method, et.InvokedActor.State.Code.String(), height) - - if parent.Parent.Action.FilecoinMethod == builtin.MethodsEAM.Create { - parent.Parent.SetCallType("create") - } else { - parent.Parent.SetCallType("create2") - } - - // update the parent.parent to make this - parent.Parent.Action.To = trace.Action.To - parent.Parent.Subtraces = 0 - - // delete the parent (the EAM) and skip the current trace (init) - *traces = (*traces)[:len(*traces)-1] - - return nil - } - } - - if builtinactors.IsEvmActor(parent.Action.FilecoinCodeCid) { - // Handle delegate calls - // - // 1) Look for trace from an EVM actor to itself on InvokeContractDelegate, method 6. - // 2) Check that the previous trace calls another actor on method 3 (GetByteCode) and they are at the same level (same parent) - // 3) Treat this as a delegate call to actor A. - if parent.LastByteCode != nil && trace.Action.From == trace.Action.To && - trace.Action.FilecoinMethod == builtin.MethodsEVM.InvokeContractDelegate { - log.Debugf("COND7 found delegate call, height: %d", height) - prev := parent.LastByteCode - if prev.Action.From == trace.Action.From && prev.Action.FilecoinMethod == builtin.MethodsEVM.GetBytecode && prev.Parent == trace.Parent { - trace.SetCallType("delegatecall") - trace.Action.To = prev.Action.To - - var dp evm.DelegateCallParams - err := dp.UnmarshalCBOR(bytes.NewReader(et.Msg.Params)) - if err != nil { - return xerrors.Errorf("failed UnmarshalCBOR: %w", err) - } - trace.Action.Input = dp.Input - - trace.Result.Output, err = decodePayload(et.MsgRct.Return, et.MsgRct.ReturnCodec) - if err != nil { - return xerrors.Errorf("failed decodePayload: %w", err) - } - } - } else { - // Handle EVM call special casing - // - // Any outbound call from an EVM actor on methods 1-1023 are side-effects from EVM instructions - // and should be dropped from the trace. - if et.Msg.Method > 0 && - et.Msg.Method <= 1023 { - log.Debugf("Infof found outbound call from an EVM actor on method 1-1023 method:%d, code:%s, height:%d", et.Msg.Method, parent.Action.FilecoinCodeCid.String(), height) - - if et.Msg.Method == builtin.MethodsEVM.GetBytecode { - // save the last bytecode trace to handle delegate calls - parent.LastByteCode = trace - } - - return nil - } - } - } - - } - - // we are adding trace to the traces so update the parent subtraces count as it was originally set to zero - if parent != nil { - parent.Subtraces++ - } - - *traces = append(*traces, trace) - - for i, call := range et.Subcalls { - err := buildTraces(traces, trace, append(addr, i), call, height, st) + // Set capacity to the length so each `append` below creates a new slice. Otherwise, we'll + // end up repeatedly mutating previous paths. + addr = addr[:len(addr):len(addr)] + for i := range recurseInto.Subcalls { + err := buildTraces(subEnv, append(addr, subEnv.subtraceCount), &recurseInto.Subcalls[i]) if err != nil { return err } } + trace.Subtraces = subEnv.subtraceCount + env.traces = subEnv.traces return nil } + +// buildTrace processes the passed execution trace and updates the environment, if necessary. +// +// On success, it returns a trace to add (or nil to skip) and the trace recurse into (or nil to skip). +func buildTrace(env *environment, addr []int, et *types.ExecutionTrace) (*ethtypes.EthTrace, *types.ExecutionTrace, error) { + // This function first assumes that the call is a "native" call, then handles all the "not + // native" cases. If we get any unexpected results in any of these special cases, we just + // keep the "native" interpretation and move on. + // + // 1. If we're invoking a contract (even if the caller is a native account/actor), we + // attempt to decode the params/return value as a contract invocation. + // 2. If we're calling the EAM and/or init actor, we try to treat the call as a CREATE. + // 3. Finally, if the caller is an EVM smart contract and it's calling a "private" (1-1023) + // method, we know something special is going on. We look for calls related to + // DELEGATECALL and drop everything else (everything else includes calls triggered by, + // e.g., EXTCODEHASH). + + // If we don't have sufficient funds, or we have a fatal error, or we have some + // other syscall error: skip the entire trace to mimic Ethereum (Ethereum records + // traces _after_ checking things like this). + // + // NOTE: The FFI currently folds all unknown syscall errors into "sys assertion + // failed" which is turned into SysErrFatal. + if len(addr) > 0 { + switch et.MsgRct.ExitCode { + case exitcode.SysErrInsufficientFunds, exitcode.SysErrFatal: + return nil, nil, nil + } + } + + // We may fail before we can even invoke the actor. In that case, we have no 100% reliable + // way of getting its address (e.g., due to reverts) so we're just going to drop the entire + // trace. This is OK (ish) because the call never really "happened". + if et.InvokedActor == nil { + return nil, nil, nil + } + + // Step 2: Decode as a contract invocation + // + // Normal EVM calls. We don't care if the caller/receiver are actually EVM actors, we only + // care if the call _looks_ like an EVM call. If we fail to decode it as an EVM call, we + // fallback on interpreting it as a native call. + if et.Msg.Method == builtin.MethodsEVM.InvokeContract { + return traceEVMCall(env, addr, et) + } + + // Step 3: Decode as a contract deployment + switch et.Msg.To { + // NOTE: this will only catch _direct_ calls to the init actor. Calls through the EAM will + // be caught and _skipped_ below in the next case. + case builtin.InitActorAddr: + switch et.Msg.Method { + case builtin.MethodsInit.Exec, builtin.MethodsInit.Exec4: + return traceNativeCreate(env, addr, et) + } + case builtin.EthereumAddressManagerActorAddr: + switch et.Msg.Method { + case builtin.MethodsEAM.Create, builtin.MethodsEAM.Create2, builtin.MethodsEAM.CreateExternal: + return traceEthCreate(env, addr, et) + } + } + + // Step 4: Handle DELEGATECALL + // + // EVM contracts cannot call methods in the range 1-1023, only the EVM itself can. So, if we + // see a call in this range, we know it's an implementation detail of the EVM and not an + // explicit call by the user. + // + // While the EVM calls several methods in this range (some we've already handled above with + // respect to the EAM), we only care about the ones relevant DELEGATECALL and can _ignore_ + // all the others. + if env.isEVM && et.Msg.Method > 0 && et.Msg.Method < 1024 { + return traceEVMPrivate(env, addr, et) + } + + return traceNativeCall(env, addr, et), et, nil +} + +// Build an EthTrace for a "call" with the given input & output. +func traceCall(env *environment, addr []int, et *types.ExecutionTrace, input, output ethtypes.EthBytes) *ethtypes.EthTrace { + to := traceToAddress(et.InvokedActor) + callType := "call" + if et.Msg.ReadOnly { + callType = "staticcall" + } + return ðtypes.EthTrace{ + Type: "call", + Action: ðtypes.EthCallTraceAction{ + CallType: callType, + From: env.caller, + To: to, + Gas: ethtypes.EthUint64(et.Msg.GasLimit), + Value: ethtypes.EthBigInt(et.Msg.Value), + Input: input, + }, + Result: ðtypes.EthCallTraceResult{ + GasUsed: ethtypes.EthUint64(et.SumGas().TotalGas), + Output: output, + }, + TraceAddress: addr, + Error: traceErrMsg(et), + } +} + +// Build an EthTrace for a "call", parsing the inputs & outputs as a "native" FVM call. +func traceNativeCall(env *environment, addr []int, et *types.ExecutionTrace) *ethtypes.EthTrace { + return traceCall(env, addr, et, + encodeFilecoinParamsAsABI(et.Msg.Method, et.Msg.ParamsCodec, et.Msg.Params), + encodeFilecoinReturnAsABI(et.MsgRct.ExitCode, et.MsgRct.ReturnCodec, et.MsgRct.Return), + ) +} + +// Build an EthTrace for a "call", parsing the inputs & outputs as an EVM call (falling back on +// treating it as a native call). +func traceEVMCall(env *environment, addr []int, et *types.ExecutionTrace) (*ethtypes.EthTrace, *types.ExecutionTrace, error) { + input, err := decodePayload(et.Msg.Params, et.Msg.ParamsCodec) + if err != nil { + log.Debugf("failed to decode contract invocation payload: %w", err) + return traceNativeCall(env, addr, et), et, nil + } + output, err := decodePayload(et.MsgRct.Return, et.MsgRct.ReturnCodec) + if err != nil { + log.Debugf("failed to decode contract invocation return: %w", err) + return traceNativeCall(env, addr, et), et, nil + } + return traceCall(env, addr, et, input, output), et, nil +} + +// Build an EthTrace for a native "create" operation. This should only be called with an +// ExecutionTrace is an Exec or Exec4 method invocation on the Init actor. +func traceNativeCreate(env *environment, addr []int, et *types.ExecutionTrace) (*ethtypes.EthTrace, *types.ExecutionTrace, error) { + if et.Msg.ReadOnly { + // "create" isn't valid in a staticcall, so we just skip this trace + // (couldn't have created an actor anyways). + // This mimic's the EVM: it doesn't trace CREATE calls when in + // read-only mode. + return nil, nil, nil + } + + subTrace := find(et.Subcalls, func(c *types.ExecutionTrace) *types.ExecutionTrace { + if c.Msg.Method == builtin.MethodConstructor { + return c + } + return nil + }) + if subTrace == nil { + // If we succeed in calling Exec/Exec4 but don't even try to construct + // something, we have a bug in our tracing logic or a mismatch between our + // tracing logic and the actors. + if et.MsgRct.ExitCode.IsSuccess() { + return nil, nil, xerrors.Errorf("successful Exec/Exec4 call failed to call a constructor") + } + // Otherwise, this can happen if creation fails early (bad params, + // out of gas, contract already exists, etc.). The EVM wouldn't + // trace such cases, so we don't either. + // + // NOTE: It's actually impossible to run out of gas before calling + // initcode in the EVM (without running out of gas in the calling + // contract), but this is an equivalent edge-case to InvokedActor + // being nil, so we treat it the same way and skip the entire + // operation. + return nil, nil, nil + } + + // Native actors that aren't the EAM can attempt to call Exec4, but such + // call should fail immediately without ever attempting to construct an + // actor. I'm catching this here because it likely means that there's a bug + // in our trace-conversion logic. + if et.Msg.Method == builtin.MethodsInit.Exec4 { + return nil, nil, xerrors.Errorf("direct call to Exec4 successfully called a constructor!") + } + + var output ethtypes.EthBytes + var createdAddr *ethtypes.EthAddress + if et.MsgRct.ExitCode.IsSuccess() { + // We're supposed to put the "installed bytecode" here. But this + // isn't an EVM actor, so we just put some invalid bytecode (this is + // the answer you'd get if you called EXTCODECOPY on a native + // non-account actor, anyways). + output = []byte{0xFE} + + // Extract the address of the created actor from the return value. + initReturn, err := decodeReturn[init12.ExecReturn](&et.MsgRct) + if err != nil { + return nil, nil, xerrors.Errorf("failed to decode init params after a successful Init.Exec call: %w", err) + } + actorId, err := address.IDFromAddress(initReturn.IDAddress) + if err != nil { + return nil, nil, xerrors.Errorf("failed to extract created actor ID from address: %w", err) + } + ethAddr := ethtypes.EthAddressFromActorID(abi.ActorID(actorId)) + createdAddr = ðAddr + } + + return ðtypes.EthTrace{ + Type: "create", + Action: ðtypes.EthCreateTraceAction{ + From: env.caller, + Gas: ethtypes.EthUint64(et.Msg.GasLimit), + Value: ethtypes.EthBigInt(et.Msg.Value), + // If we get here, this isn't a native EVM create. Those always go through + // the EAM. So we have no "real" initcode and must use the sentinel value + // for "invalid" initcode. + Init: []byte{0xFE}, + }, + Result: ðtypes.EthCreateTraceResult{ + GasUsed: ethtypes.EthUint64(et.SumGas().TotalGas), + Address: createdAddr, + Code: output, + }, + TraceAddress: addr, + Error: traceErrMsg(et), + }, subTrace, nil +} + +// Assert that these are all identical so we can simplify the below code and decode once. +var _ *eam12.Return = (*eam12.Return)((*eam12.CreateReturn)(nil)) +var _ *eam12.Return = (*eam12.Return)((*eam12.Create2Return)(nil)) +var _ *eam12.Return = (*eam12.Return)((*eam12.CreateExternalReturn)(nil)) + +// Decode the parameters and return value of an EVM smart contract creation through the EAM. This +// should only be called with an ExecutionTrace for a Create, Create2, or CreateExternal method +// invocation on the EAM. +func decodeCreateViaEAM(et *types.ExecutionTrace) (initcode []byte, addr *ethtypes.EthAddress, err error) { + switch et.Msg.Method { + case builtin.MethodsEAM.Create: + params, err := decodeParams[eam12.CreateParams](&et.Msg) + if err != nil { + return nil, nil, err + } + initcode = params.Initcode + case builtin.MethodsEAM.Create2: + params, err := decodeParams[eam12.Create2Params](&et.Msg) + if err != nil { + return nil, nil, err + } + initcode = params.Initcode + case builtin.MethodsEAM.CreateExternal: + input, err := decodePayload(et.Msg.Params, et.Msg.ParamsCodec) + if err != nil { + return nil, nil, err + } + initcode = input + default: + return nil, nil, xerrors.Errorf("unexpected CREATE method %d", et.Msg.Method) + } + ret, err := decodeReturn[eam12.CreateReturn](&et.MsgRct) + if err != nil { + return nil, (*ethtypes.EthAddress)(&ret.EthAddress), err + } + return initcode, (*ethtypes.EthAddress)(&ret.EthAddress), nil +} + +// Build an EthTrace for an EVM "create" operation. This should only be called with an +// ExecutionTrace for a Create, Create2, or CreateExternal method invocation on the EAM. +func traceEthCreate(env *environment, addr []int, et *types.ExecutionTrace) (*ethtypes.EthTrace, *types.ExecutionTrace, error) { + // Same as the Init actor case above, see the comment there. + if et.Msg.ReadOnly { + return nil, nil, nil + } + + // Look for a call to either a constructor or the EVM's resurrect method. + subTrace := find(et.Subcalls, func(et *types.ExecutionTrace) *types.ExecutionTrace { + if et.Msg.To == builtinactors.InitActorAddr { + return find(et.Subcalls, func(et *types.ExecutionTrace) *types.ExecutionTrace { + if et.Msg.Method == builtinactors.MethodConstructor { + return et + } + return nil + }) + } + if et.Msg.Method == builtin.MethodsEVM.Resurrect { + return et + } + return nil + }) + + // Same as the Init actor case above, see the comment there. + if subTrace == nil { + if et.MsgRct.ExitCode.IsSuccess() { + return nil, nil, xerrors.Errorf("successful Create/Create2 call failed to call a constructor") + } + return nil, nil, nil + } + + // Decode inputs & determine create type. + initcode, createdAddr, err := decodeCreateViaEAM(et) + if err != nil { + return nil, nil, xerrors.Errorf("EAM called with invalid params or returned an invalid result, but it still tried to construct the contract: %w", err) + } + + var output ethtypes.EthBytes + // Handle the output. + switch et.MsgRct.ExitCode { + case 0: // success + // We're _supposed_ to include the contracts bytecode here, but we + // can't do that reliably (e.g., if some part of the trace reverts). + // So we don't try and include a sentinel "impossible bytecode" + // value (the value specified by EIP-3541). + output = []byte{0xFE} + case 33: // Reverted, parse the revert message. + // If we managed to call the constructor, parse/return its revert message. If we + // fail, we just return no output. + output, _ = decodePayload(subTrace.MsgRct.Return, subTrace.MsgRct.ReturnCodec) + } + + return ðtypes.EthTrace{ + Type: "create", + Action: ðtypes.EthCreateTraceAction{ + From: env.caller, + Gas: ethtypes.EthUint64(et.Msg.GasLimit), + Value: ethtypes.EthBigInt(et.Msg.Value), + Init: initcode, + }, + Result: ðtypes.EthCreateTraceResult{ + GasUsed: ethtypes.EthUint64(et.SumGas().TotalGas), + Address: createdAddr, + Code: output, + }, + TraceAddress: addr, + Error: traceErrMsg(et), + }, subTrace, nil +} + +// Build an EthTrace for a "private" method invocation from the EVM. This should only be called with +// an ExecutionTrace from an EVM instance and on a method between 1 and 1023 inclusive. +func traceEVMPrivate(env *environment, addr []int, et *types.ExecutionTrace) (*ethtypes.EthTrace, *types.ExecutionTrace, error) { + // The EVM actor implements DELEGATECALL by: + // + // 1. Asking the callee for its bytecode by calling it on the GetBytecode method. + // 2. Recursively invoking the currently executing contract on the + // InvokeContractDelegate method. + // + // The code below "reconstructs" that delegate call by: + // + // 1. Remembering the last contract on which we called GetBytecode. + // 2. Treating the contract invoked in step 1 as the DELEGATECALL receiver. + // + // Note, however: GetBytecode will be called, e.g., if the user invokes the + // EXTCODECOPY instruction. It's not an error to see multiple GetBytecode calls + // before we see an InvokeContractDelegate. + switch et.Msg.Method { + case builtin.MethodsEVM.GetBytecode: + // NOTE: I'm not checking anything about the receiver here. The EVM won't + // DELEGATECALL any non-EVM actor, but there's no need to encode that fact + // here in case we decide to loosen this up in the future. + if et.MsgRct.ExitCode.IsSuccess() { + to := traceToAddress(et.InvokedActor) + env.lastByteCode = &to + } else { + env.lastByteCode = nil + } + return nil, nil, nil + case builtin.MethodsEVM.InvokeContractDelegate: + // NOTE: We return errors in all the failure cases below instead of trying + // to continue because the caller is an EVM actor. If something goes wrong + // here, there's a bug in our EVM implementation. + + // Handle delegate calls + // + // 1) Look for trace from an EVM actor to itself on InvokeContractDelegate, + // method 6. + // 2) Check that the previous trace calls another actor on method 3 + // (GetByteCode) and they are at the same level (same parent) + // 3) Treat this as a delegate call to actor A. + if env.lastByteCode == nil { + return nil, nil, xerrors.Errorf("unknown bytecode for delegate call") + } + + if to := traceToAddress(et.InvokedActor); env.caller != to { + return nil, nil, xerrors.Errorf("delegate-call not from & to self: %s != %s", env.caller, to) + } + + dp, err := decodeParams[evm12.DelegateCallParams](&et.Msg) + if err != nil { + return nil, nil, xerrors.Errorf("failed to decode delegate-call params: %w", err) + } + + output, err := decodePayload(et.MsgRct.Return, et.MsgRct.ReturnCodec) + if err != nil { + return nil, nil, xerrors.Errorf("failed to decode delegate-call return: %w", err) + } + + return ðtypes.EthTrace{ + Type: "call", + Action: ðtypes.EthCallTraceAction{ + CallType: "delegatecall", + From: env.caller, + To: *env.lastByteCode, + Gas: ethtypes.EthUint64(et.Msg.GasLimit), + Value: ethtypes.EthBigInt(et.Msg.Value), + Input: dp.Input, + }, + Result: ðtypes.EthCallTraceResult{ + GasUsed: ethtypes.EthUint64(et.SumGas().TotalGas), + Output: output, + }, + TraceAddress: addr, + Error: traceErrMsg(et), + }, et, nil + } + // We drop all other "private" calls from FEVM. We _forbid_ explicit calls between 0 and + // 1024 (exclusive), so any calls in this range must be implementation details. + return nil, nil, nil +} diff --git a/node/impl/full/eth_utils.go b/node/impl/full/eth_utils.go index 90e6d054a..6186c2645 100644 --- a/node/impl/full/eth_utils.go +++ b/node/impl/full/eth_utils.go @@ -382,34 +382,35 @@ func parseEthRevert(ret []byte) string { // 3. Otherwise, we fall back to returning a masked ID Ethereum address. If the supplied address is an f0 address, we // use that ID to form the masked ID address. // 4. Otherwise, we fetch the actor's ID from the state tree and form the masked ID with it. +// +// If the actor doesn't exist in the state-tree but we have its ID, we use a masked ID address. It could have been deleted. func lookupEthAddress(addr address.Address, st *state.StateTree) (ethtypes.EthAddress, error) { - // BLOCK A: We are trying to get an actual Ethereum address from an f410 address. // Attempt to convert directly, if it's an f4 address. ethAddr, err := ethtypes.EthAddressFromFilecoinAddress(addr) if err == nil && !ethAddr.IsMaskedID() { return ethAddr, nil } - // Lookup on the target actor and try to get an f410 address. - if actor, err := st.GetActor(addr); err != nil { - return ethtypes.EthAddress{}, err - } else if actor.Address != nil { - if ethAddr, err := ethtypes.EthAddressFromFilecoinAddress(*actor.Address); err == nil && !ethAddr.IsMaskedID() { - return ethAddr, nil - } - } - - // BLOCK B: We gave up on getting an actual Ethereum address and are falling back to a Masked ID address. - // Check if we already have an ID addr, and use it if possible. - if err == nil && ethAddr.IsMaskedID() { - return ethAddr, nil - } - // Otherwise, resolve the ID addr. idAddr, err := st.LookupID(addr) if err != nil { return ethtypes.EthAddress{}, err } + + // Lookup on the target actor and try to get an f410 address. + if actor, err := st.GetActor(idAddr); errors.Is(err, types.ErrActorNotFound) { + // Not found -> use a masked ID address + } else if err != nil { + // Any other error -> fail. + return ethtypes.EthAddress{}, err + } else if actor.Address == nil { + // No delegated address -> use masked ID address. + } else if ethAddr, err := ethtypes.EthAddressFromFilecoinAddress(*actor.Address); err == nil && !ethAddr.IsMaskedID() { + // Conversable into an eth address, use it. + return ethAddr, nil + } + + // Otherwise, use the masked address. return ethtypes.EthAddressFromFilecoinAddress(idAddr) }