z4e_on_recv_packet_slash_denom_filetest.gno
8.13 Kb · 238 lines
1// PKGPATH: gno.land/r/aib/main
2package main
3
4import (
5 "encoding/base64"
6 "encoding/hex"
7 "time"
8
9 tmtesting "gno.land/p/aib/ibc/lightclient/tendermint/testing"
10 "gno.land/p/aib/ibc/types"
11 "gno.land/p/aib/ics23"
12 "gno.land/p/nt/testutils/v0"
13 "gno.land/r/aib/ibc/apps/transfer"
14 "gno.land/r/aib/ibc/core"
15)
16
17func main(cur realm) {
18 var (
19 chainID = "chain-id-2"
20 trustedHeight = types.NewHeight(2, 2)
21 clientState = tmtesting.NewClientState(chainID, trustedHeight)
22 // NOTE this apphash was provided by the gen-proof command below.
23 apphash, _ = hex.DecodeString("6080c593423ad30569d57d29a92e1068fc2fae7e5e84d98bbf0ad30dc484b48a")
24 trustedValset = tmtesting.GenValset()
25 consensusState = tmtesting.GenConsensusState(time.Now(), apphash, trustedValset.Hash())
26 counterpartyID = "07-tendermint-42"
27 )
28 clientID := core.CreateClient(cross(cur), clientState, consensusState)
29 core.RegisterCounterparty(cross(cur), clientID, [][]byte{[]byte("iavlStoreKey"), []byte("prefix2")}, counterpartyID)
30
31 // ---- RecvPacket: counterparty is the source, but slashed base is rejected.
32 receiver := testutils.TestAddress("receiver")
33 recvPayload := transfer.NewFungibleTokenPacketData(
34 "factory/alice/token", // base denom containing slashes
35 "100",
36 "atone1user",
37 receiver.String(),
38 "",
39 )
40 recvPayloadBz := recvPayload.ProtoMarshal()
41 // NOTE this base64 value is used in payload.value in the gen-proof command below.
42 println("Payload proto:", base64.StdEncoding.EncodeToString(recvPayloadBz))
43
44 specs := ics23.IavlSpec()
45 // NOTE code generated by:
46 // go run -C ./cmd/gen-proof . 'prefix2' '07-tendermint-42' 'packet' '{"sequence":1,"source_client":"07-tendermint-42","destination_client":"07-tendermint-1","timeout_timestamp":1234571490,"payloads":[{"source_port":"transfer","destination_port":"transfer","encoding":"application/x-protobuf","value":"ChNmYWN0b3J5L2FsaWNlL3Rva2VuEgMxMDAaCmF0b25lMXVzZXIiKGcxd2Zqa3hldGZ3ZWpoeWg2bHRhMDQ3aDZsdGEwNDdoNmxsbTgyeWw=","version":"ics20-1"}]}'
47 recvProof := []ics23.CommitmentProof{
48
49 // iavl proof
50 ics23.CommitmentProof_Exist{
51 Exist: &ics23.ExistenceProof{
52 Key: []byte("\x70\x72\x65\x66\x69\x78\x32\x30\x37\x2d\x74\x65\x6e\x64\x65\x72\x6d\x69\x6e\x74\x2d\x34\x32\x01\x00\x00\x00\x00\x00\x00\x00\x01"),
53 Value: []byte("\xae\x16\x63\xaf\xf8\xeb\xba\x8f\xd8\x64\xdc\xd0\x08\xeb\xbe\xbf\x26\xb4\xb8\xd9\x48\x3e\x9b\x45\xdb\x66\x45\x36\xb9\xe6\x69\x94"),
54 Leaf: &ics23.LeafOp{
55 Hash: specs.LeafSpec.Hash,
56 PrehashKey: specs.LeafSpec.PrehashKey,
57 PrehashValue: specs.LeafSpec.PrehashValue,
58 Length: specs.LeafSpec.Length,
59 Prefix: []byte("\x00\x02\x02"),
60 },
61 Path: []*ics23.InnerOp{
62 {
63 Hash: specs.InnerSpec.Hash,
64 Prefix: []byte("\x02\x04\x02\x20\x35\xf8\xea\x80\x53\x90\xe0\x84\x85\x4f\x39\x9b\x42\xcc\xde\xae\xa3\x3a\x1d\xed\xc1\x15\x63\x8a\xc4\x8d\x06\x00\x63\x7d\xba\x1f\x20"),
65 Suffix: []byte(""),
66 },
67 {
68 Hash: specs.InnerSpec.Hash,
69 Prefix: []byte("\x04\x08\x02\x20"),
70 Suffix: []byte("\x20\x79\x8e\x2c\xaa\x96\xfd\xfb\xa3\x76\xdd\xeb\x47\x99\x99\x54\xd2\xf4\x7e\x65\x16\x22\x64\xb0\x53\x6a\xb5\xdf\xf7\xfc\x0a\x2e\x07"),
71 },
72 {
73 Hash: specs.InnerSpec.Hash,
74 Prefix: []byte("\x06\x0c\x02\x20\x9a\xf3\x7d\xd5\x95\xa0\x19\x08\x03\xb5\xe0\x5a\xae\xf4\x2a\xe3\xfa\xd4\x99\xe4\xfb\xe3\x7f\x7c\xd3\x1c\xad\xff\x22\xa9\xee\x74\x20"),
75 Suffix: []byte(""),
76 },
77 },
78 },
79 },
80
81 // rootmulti proof
82 ics23.CommitmentProof_Exist{
83 Exist: &ics23.ExistenceProof{
84 Key: []byte("\x69\x61\x76\x6c\x53\x74\x6f\x72\x65\x4b\x65\x79"),
85 Value: []byte("\xa0\xe3\x05\xd4\x1d\x1c\x67\x1c\x00\xc7\xe7\x3e\xb9\x69\x8c\x80\x73\xdd\x76\x73\xf4\x35\xcc\x3d\x96\xf5\xb1\x92\x54\x28\x98\x38"),
86 Leaf: &ics23.LeafOp{
87 Hash: specs.LeafSpec.Hash,
88 PrehashKey: specs.LeafSpec.PrehashKey,
89 PrehashValue: specs.LeafSpec.PrehashValue,
90 Length: specs.LeafSpec.Length,
91 Prefix: []byte("\x00"),
92 },
93 Path: []*ics23.InnerOp{},
94 },
95 },
96 }
97
98 recvPacket := types.MsgRecvPacket{
99 Packet: types.Packet{
100 Sequence: 1,
101 SourceClient: counterpartyID,
102 DestinationClient: clientID,
103 TimeoutTimestamp: uint64(time.Now().Add(time.Hour).Unix()),
104 Payloads: []types.Payload{{
105 SourcePort: transfer.PortID,
106 DestinationPort: transfer.PortID,
107 Encoding: transfer.EncodingProtobuf,
108 Value: recvPayloadBz,
109 Version: transfer.V1,
110 }},
111 },
112 ProofCommitment: recvProof,
113 ProofHeight: trustedHeight,
114 }
115 core.RecvPacket(cross(cur), recvPacket)
116
117 voucherDenom := transfer.NewDenom(
118 "factory/alice/token",
119 transfer.NewHop(transfer.PortID, clientID),
120 ).IBCDenom()
121 println("voucher balance after recv:", transfer.VoucherBalanceOf(voucherDenom, receiver))
122}
123
124// Output:
125// Payload proto: ChNmYWN0b3J5L2FsaWNlL3Rva2VuEgMxMDAaCmF0b25lMXVzZXIiKGcxd2Zqa3hldGZ3ZWpoeWg2bHRhMDQ3aDZsdGEwNDdoNmxsbTgyeWw=
126// voucher balance after recv: 0
127
128// Events:
129// [
130// {
131// "type": "create_client",
132// "attrs": [
133// {
134// "key": "client_id",
135// "value": "07-tendermint-1"
136// },
137// {
138// "key": "client_type",
139// "value": "07-tendermint"
140// },
141// {
142// "key": "consensus_heights",
143// "value": "2/2"
144// }
145// ],
146// "pkg_path": "gno.land/r/aib/ibc/core"
147// },
148// {
149// "type": "recv_packet",
150// "attrs": [
151// {
152// "key": "packet_source_client",
153// "value": "07-tendermint-42"
154// },
155// {
156// "key": "packet_dest_client",
157// "value": "07-tendermint-1"
158// },
159// {
160// "key": "packet_sequence",
161// "value": "1"
162// },
163// {
164// "key": "packet_timeout_timestamp",
165// "value": "1234571490"
166// },
167// {
168// "key": "encoded_packet_hex",
169// "value": "0801121030372d74656e6465726d696e742d34321a0f30372d74656e6465726d696e742d3120e2a1d8cc042a87010a087472616e7366657212087472616e736665721a0769637332302d3122166170706c69636174696f6e2f782d70726f746f6275662a500a13666163746f72792f616c6963652f746f6b656e12033130301a0a61746f6e6531757365722228673177666a6b7865746677656a687968366c746130343768366c746130343768366c6c6d3832796c"
170// }
171// ],
172// "pkg_path": "gno.land/r/aib/ibc/core"
173// },
174// {
175// "type": "fungible_token_packet",
176// "attrs": [
177// {
178// "key": "sender",
179// "value": "atone1user"
180// },
181// {
182// "key": "receiver",
183// "value": "g1wfjkxetfwejhyh6lta047h6lta047h6llm82yl"
184// },
185// {
186// "key": "denom",
187// "value": "factory/alice/token"
188// },
189// {
190// "key": "amount",
191// "value": "100"
192// },
193// {
194// "key": "memo",
195// "value": ""
196// },
197// {
198// "key": "success",
199// "value": "false"
200// },
201// {
202// "key": "error",
203// "value": "base denomination factory/alice/token cannot contain slashes for IBC v2 packet"
204// }
205// ],
206// "pkg_path": "gno.land/r/aib/ibc/apps/transfer"
207// },
208// {
209// "type": "write_acknowledgement",
210// "attrs": [
211// {
212// "key": "packet_source_client",
213// "value": "07-tendermint-42"
214// },
215// {
216// "key": "packet_dest_client",
217// "value": "07-tendermint-1"
218// },
219// {
220// "key": "packet_sequence",
221// "value": "1"
222// },
223// {
224// "key": "packet_timeout_timestamp",
225// "value": "1234571490"
226// },
227// {
228// "key": "encoded_packet_hex",
229// "value": "0801121030372d74656e6465726d696e742d34321a0f30372d74656e6465726d696e742d3120e2a1d8cc042a87010a087472616e7366657212087472616e736665721a0769637332302d3122166170706c69636174696f6e2f782d70726f746f6275662a500a13666163746f72792f616c6963652f746f6b656e12033130301a0a61746f6e6531757365722228673177666a6b7865746677656a687968366c746130343768366c746130343768366c6c6d3832796c"
230// },
231// {
232// "key": "encoded_acknowledgement_hex",
233// "value": "0a204774d4a575993f963b1c06573736617a457abef8589178db8d10c94b4ab511ab"
234// }
235// ],
236// "pkg_path": "gno.land/r/aib/ibc/core"
237// }
238// ]
