z5x_acknowledgement_filetest.gno
6.43 Kb · 163 lines
1// PKGPATH: gno.land/r/aib/main
2package main
3
4import (
5 "encoding/hex"
6 "time"
7
8 tmtesting "gno.land/p/aib/ibc/lightclient/tendermint/testing"
9 "gno.land/p/aib/ibc/types"
10 "gno.land/p/aib/ics23"
11 appstesting "gno.land/r/aib/ibc/apps/testing"
12 "gno.land/r/aib/ibc/core"
13)
14
15// WriteAcknowledgement success after async RecvPacket
16func main(cur realm) {
17 var (
18 chainID = "chain-id-2"
19 trustedHeight = types.NewHeight(2, 2)
20 clientState = tmtesting.NewClientState(chainID, trustedHeight)
21 // NOTE apphash generated by the gen-proof command below
22 apphash, _ = hex.DecodeString("8da82bb625ee946f4b7aa03a82010cb115f9ce3879c7caad8d92e71eb821996e")
23 trustedValset = tmtesting.GenValset()
24 consensusState = tmtesting.GenConsensusState(time.Now(), apphash, trustedValset.Hash())
25 counterpartyID = "07-tendermint-42"
26 )
27 clientID := core.CreateClient(cross(cur), clientState, consensusState)
28 core.RegisterCounterparty(cross(cur), clientID, [][]byte{[]byte("iavlStoreKey"), []byte("prefix2")}, counterpartyID)
29
30 var (
31 app = appstesting.NewApp(cross(cur))
32 appPortID = "appID"
33 )
34 app.SetOnRecvPacketReturn(types.RecvPacketResult{
35 Status: types.PacketStatus_Async,
36 })
37 core.RegisterApp(cross(cur), appPortID, app)
38
39 specs := ics23.IavlSpec()
40 // NOTE code generated by:
41 // 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":"appID","destination_port":"appID","encoding":"application/json","value":"e30=","version":"v1"}]}'
42 proof := []ics23.CommitmentProof{
43
44 // iavl proof
45 ics23.CommitmentProof_Exist{
46 Exist: &ics23.ExistenceProof{
47 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"),
48 Value: []byte("\x23\x99\xf6\x84\x16\xb7\xd0\x09\x3b\xe4\x9e\x5f\x8e\xe1\xbe\x1c\x8e\x07\xa0\x93\xc5\x67\x09\x03\x46\xce\x36\xc9\x7d\x11\x71\x71"),
49 Leaf: &ics23.LeafOp{
50 Hash: specs.LeafSpec.Hash,
51 PrehashKey: specs.LeafSpec.PrehashKey,
52 PrehashValue: specs.LeafSpec.PrehashValue,
53 Length: specs.LeafSpec.Length,
54 Prefix: []byte("\x00\x02\x02"),
55 },
56 Path: []*ics23.InnerOp{
57 {
58 Hash: specs.InnerSpec.Hash,
59 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"),
60 Suffix: []byte(""),
61 },
62 {
63 Hash: specs.InnerSpec.Hash,
64 Prefix: []byte("\x04\x08\x02\x20"),
65 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"),
66 },
67 {
68 Hash: specs.InnerSpec.Hash,
69 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"),
70 Suffix: []byte(""),
71 },
72 },
73 },
74 },
75
76 // rootmulti proof
77 ics23.CommitmentProof_Exist{
78 Exist: &ics23.ExistenceProof{
79 Key: []byte("\x69\x61\x76\x6c\x53\x74\x6f\x72\x65\x4b\x65\x79"),
80 Value: []byte("\xeb\xfd\x02\x8a\x5d\xe1\xcf\x93\xde\x5d\x0b\xa8\xcf\x6e\x0d\x5e\x29\xf8\x80\x1a\x08\x0b\x07\x20\x3c\xf1\xca\xf2\xf4\xdd\xd3\x10"),
81 Leaf: &ics23.LeafOp{
82 Hash: specs.LeafSpec.Hash,
83 PrehashKey: specs.LeafSpec.PrehashKey,
84 PrehashValue: specs.LeafSpec.PrehashValue,
85 Length: specs.LeafSpec.Length,
86 Prefix: []byte("\x00"),
87 },
88 Path: []*ics23.InnerOp{},
89 },
90 },
91 }
92
93 recvPacket := types.MsgRecvPacket{
94 Packet: types.Packet{
95 Sequence: 1,
96 SourceClient: counterpartyID,
97 DestinationClient: clientID,
98 TimeoutTimestamp: uint64(time.Now().Add(time.Hour).Unix()),
99 Payloads: []types.Payload{{
100 SourcePort: appPortID,
101 DestinationPort: appPortID,
102 Encoding: "application/json",
103 Value: []byte("{}"),
104 Version: "v1",
105 }},
106 },
107 ProofCommitment: proof,
108 ProofHeight: trustedHeight,
109 }
110
111 res := core.RecvPacket(cross(cur), recvPacket)
112
113 println("recv res:", res)
114 println("\n----------- assert render clients/07-tendermint-1/packet_receipts/1")
115 println(core.Render("clients/" + clientID + "/packet_receipts/1"))
116 println("\n----------- assert render clients/07-tendermint-1/packet_acknowledgements before WriteAcknowledgement")
117 println(core.Render("clients/" + clientID + "/packet_acknowledgements"))
118 println("----------- assert render clients/07-tendermint-1/packet_acknowledgements/1 before WriteAcknowledgement")
119 println(core.Render("clients/" + clientID + "/packet_acknowledgements/1"))
120
121 core.WriteAcknowledgement(cross(cur), clientID, recvPacket.Packet.Sequence, types.Acknowledgement{
122 AppAcknowledgements: [][]byte{[]byte{0x02}},
123 })
124
125 println("\n----------- assert render clients/07-tendermint-1/packet_acknowledgements after WriteAcknowledgement")
126 println(core.Render("clients/" + clientID + "/packet_acknowledgements"))
127 println("----------- assert render clients/07-tendermint-1/packet_acknowledgements/1 after WriteAcknowledgement")
128 println(core.Render("clients/" + clientID + "/packet_acknowledgements/1"))
129 println("\n----------- app report")
130 println(app.Report())
131}
132
133// Output:
134// recv res: (2 gno.land/p/aib/ibc/types.ResponseResultType)
135//
136// ----------- assert render clients/07-tendermint-1/packet_receipts/1
137// {"sequence":"1","data":"Ag=="}
138//
139// ----------- assert render clients/07-tendermint-1/packet_acknowledgements before WriteAcknowledgement
140// {"items":[],"page":1,"total":1}
141// ----------- assert render clients/07-tendermint-1/packet_acknowledgements/1 before WriteAcknowledgement
142// {"error":"sequence 1 not found"}
143//
144// ----------- assert render clients/07-tendermint-1/packet_acknowledgements after WriteAcknowledgement
145// {"items":[{"sequence":"1","data":"5HN8pSo727oJNsvAPYWESzo9UNpM5u0nIHMoEOg7WuA="}],"page":1,"total":1}
146// ----------- assert render clients/07-tendermint-1/packet_acknowledgements/1 after WriteAcknowledgement
147// {"sequence":"1","data":"5HN8pSo727oJNsvAPYWESzo9UNpM5u0nIHMoEOg7WuA="}
148//
149// ----------- app report
150// OnSendPacket (0)
151// OnRecvPacket (1)
152// - sourceClient: 07-tendermint-42
153// - destinationClient: 07-tendermint-1
154// - sequence: 1
155// - payload:
156// - sourcePort: appID
157// - destinationPort: appID
158// - version: v1
159// - encoding: application/json
160// - value: {}
161//
162// OnTimeoutPacket (0)
163// OnAcknowledgementPacket (0)
