z2aaaa_on_ack_packet_filetest.gno

  1// PKGPATH: gno.land/r/aib/main
  2package main
  3
  4import (
  5	"chain"
  6	"encoding/hex"
  7	"testing"
  8	"time"
  9
 10	"gno.land/p/aib/ibc/lightclient/tendermint"
 11	tmtesting "gno.land/p/aib/ibc/lightclient/tendermint/testing"
 12	"gno.land/p/aib/ibc/types"
 13	"gno.land/p/aib/ics23"
 14	"gno.land/r/aib/ibc/apps/testing/grc20test"
 15	"gno.land/r/aib/ibc/apps/transfer"
 16	"gno.land/r/aib/ibc/core"
 17)
 18
 19// OnAcknowledgementPacket: success w/ refund of non-IBC GRC20 token
 20func main(cur realm) {
 21	var (
 22		chainID       = "chain-id-2"
 23		trustedHeight = types.NewHeight(2, 2)
 24		clientState   = tmtesting.NewClientState(chainID, trustedHeight)
 25		apphash, _    = hex.DecodeString("ec53f57875853302c68a69e9b5c1353a16dbce77cdf7ec564301ddb0be0d9ec5")
 26		// priv=8a6cAbQSpDbebmcTEhCMPhhr/SkL/2pizo60yzHRkN9Uyk7RHOZm7g4xW+yeJh147/Z4/6HXF6gBwcFNkLsZ/A==
 27		val1 = tendermint.NewValidator("9DIBYr64rywKO3Kk6+743xDHcEU=",
 28			"VMpO0RzmZu4OMVvsniYdeO/2eP+h1xeoAcHBTZC7Gfw=", 10)
 29		// priv=nWg6ETc62tyxd94lh8fFaQnZKaAW6vlS0L/4lfseJuI14ZXUKp7AZROkflLFVF+SBg4wJVfzgzIKyWq3D066+g==
 30		val2 = tendermint.NewValidator("y+naL3ubs9q1bXrY9+uRxY9c+J8=",
 31			"NeGV1CqewGUTpH5SxVRfkgYOMCVX84MyCslqtw9Ouvo=", 10)
 32		trustedValset  = tendermint.NewValset(val1, val2)
 33		consensusState = tmtesting.GenConsensusState(time.Now(), apphash, trustedValset.Hash())
 34		counterpartyID = "07-tendermint-2"
 35	)
 36	clientID := core.CreateClient(cross(cur), clientState, consensusState)
 37	core.RegisterCounterparty(cross(cur), clientID, [][]byte{[]byte("iavlStoreKey"), []byte("prefix2")}, counterpartyID)
 38	relayer := cur.Previous().Address()
 39
 40	signer := cur.Address()
 41
 42	// Mint GRC20 tokens to signer and approve transfer app
 43	grc20test.Mint(cross(cur), signer, 1000)
 44	transferAppAddr := chain.PackageAddress("gno.land/r/aib/ibc/apps/transfer")
 45	grc20test.Approve(cross(cur), signer, transferAppAddr, 100)
 46
 47	// Step 1: Transfer to escrow GRC20 tokens (chain A → chain B)
 48	grc20regKey := "gno.land/r/aib/ibc/apps/testing/grc20test." + grc20test.Slug
 49	testing.SetOriginCaller(signer)
 50	println("signer grc20 balance before Transfer:", grc20test.BalanceOf(signer))
 51	sendPacket, sequence := transfer.Transfer(cross(cur), clientID, "atone1user", grc20regKey, 100, uint64(time.Now().Add(time.Hour).Unix()), "")
 52	println("\nsigner grc20 balance after Transfer:", grc20test.BalanceOf(signer))
 53
 54	// UpdateClient to advance to height containing the ack proof
 55	testing.SetOriginCaller(relayer)
 56	apphash, _ = hex.DecodeString("7437e69c1edb7f177fb5fe9f6487f0dd0e2391d6f435d152a97110fb98b6df00")
 57	trustedHeight = clientState.LatestHeight
 58	specs := ics23.IavlSpec()
 59	var (
 60		commitTimestamp = tmtesting.ToTime("2025-09-25T07:55:57.306746166Z")
 61		newHeight       = uint64(12)
 62		newTimestamp    = consensusState.Timestamp.Add(time.Minute * time.Duration(1))
 63		valset          = tendermint.NewValset(val1, val2)
 64		nextValset      = tendermint.NewValset(val1, val2)
 65
 66		signatures = []tendermint.CommitSig{
 67			{
 68				BlockIDFlag:      tendermint.BlockIDFlagCommit,
 69				ValidatorAddress: valset.Validators[0].Address,
 70				Timestamp:        commitTimestamp,
 71				Signature:        []byte("\xf1\xa4\xfd\xf3\xb1\x3b\x70\xfd\xbf\x01\x07\x7f\x0e\x4c\x46\xdc\x97\xd4\x19\xa8\x6f\x7e\x60\x94\x3a\xa9\x2a\x51\xd8\x8e\x51\x0a\xbe\x46\x13\xe3\x70\x6b\xcd\x42\x6e\x57\x41\xaa\x46\x47\xe6\x7c\xf3\xee\xa9\x99\x7e\x6c\x58\xe6\x40\xb0\x8d\xc8\x8f\xaa\x2a\x0c"),
 72			},
 73			{
 74				BlockIDFlag:      tendermint.BlockIDFlagCommit,
 75				ValidatorAddress: valset.Validators[1].Address,
 76				Timestamp:        commitTimestamp,
 77				Signature:        []byte("\xe2\x34\xcd\xf6\x6f\xbd\x35\xf8\xd0\x74\x14\xb6\x52\x27\xc8\x66\x48\x9c\xc3\x1c\x0e\xa7\xac\xab\xd9\x9a\x89\xae\x5c\x57\xa7\x1a\x36\x94\xce\x4f\x79\xdd\xd4\x28\xb2\x60\xc0\x50\x56\x27\xfd\x30\x36\x54\xe7\x03\x9d\x82\xdc\x59\x7e\xe2\x72\xd6\x9c\x3e\x57\x02"),
 78			},
 79		}
 80
 81		msgHeader = tmtesting.NewMsgHeader(
 82			chainID, newTimestamp, apphash, newHeight, trustedHeight, valset,
 83			nextValset, trustedValset, signatures,
 84		)
 85	)
 86	core.UpdateClient(cross(cur), clientID, msgHeader)
 87
 88	// Acknowledge the packet with UNIVERSAL_ERROR_ACKNOWLEDGEMENT (triggers refund)
 89	proofAcked := []ics23.CommitmentProof{
 90
 91		// iavl proof
 92		ics23.CommitmentProof_Exist{
 93			Exist: &ics23.ExistenceProof{
 94				Key:   []byte("\x70\x72\x65\x66\x69\x78\x32\x30\x37\x2d\x74\x65\x6e\x64\x65\x72\x6d\x69\x6e\x74\x2d\x32\x03\x00\x00\x00\x00\x00\x00\x00\x01"),
 95				Value: []byte("\xe2\xfb\x30\xdf\xbf\x7a\xbd\xea\xca\x82\xd4\x26\x53\x4d\x2b\x3a\x9d\x54\x44\xdd\x2a\x87\xfa\x16\xd3\x8b\x77\xba\x1a\x13\xce\xd7"),
 96				Leaf: &ics23.LeafOp{
 97					Hash:         specs.LeafSpec.Hash,
 98					PrehashKey:   specs.LeafSpec.PrehashKey,
 99					PrehashValue: specs.LeafSpec.PrehashValue,
100					Length:       specs.LeafSpec.Length,
101					Prefix:       []byte("\x00\x02\x02"),
102				},
103				Path: []*ics23.InnerOp{
104					{
105						Hash:   specs.InnerSpec.Hash,
106						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"),
107						Suffix: []byte(""),
108					},
109					{
110						Hash:   specs.InnerSpec.Hash,
111						Prefix: []byte("\x04\x08\x02\x20"),
112						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"),
113					},
114					{
115						Hash:   specs.InnerSpec.Hash,
116						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"),
117						Suffix: []byte(""),
118					},
119				},
120			},
121		},
122
123		// rootmulti proof
124		ics23.CommitmentProof_Exist{
125			Exist: &ics23.ExistenceProof{
126				Key:   []byte("\x69\x61\x76\x6c\x53\x74\x6f\x72\x65\x4b\x65\x79"),
127				Value: []byte("\x9f\xf9\x57\xaa\x46\x80\xd4\xd6\x83\xff\x0e\x6f\x4c\x78\xd3\x11\xb7\x2b\x2e\xba\x18\x60\x13\x05\x16\x19\x49\xaf\xb7\xbe\x3e\x7b"),
128				Leaf: &ics23.LeafOp{
129					Hash:         specs.LeafSpec.Hash,
130					PrehashKey:   specs.LeafSpec.PrehashKey,
131					PrehashValue: specs.LeafSpec.PrehashValue,
132					Length:       specs.LeafSpec.Length,
133					Prefix:       []byte("\x00"),
134				},
135				Path: []*ics23.InnerOp{},
136			},
137		},
138	}
139
140	ackPacket := types.MsgAcknowledgement{
141		Packet: types.Packet{
142			Sequence:          sequence,
143			SourceClient:      clientID,
144			DestinationClient: counterpartyID,
145			TimeoutTimestamp:  sendPacket.TimeoutTimestamp,
146			Payloads:          sendPacket.Payloads,
147		},
148		Acknowledgement: types.Acknowledgement{
149			// This UNIVERSAL_ERROR_ACKNOWLEDGEMENT error should trigger a refund
150			AppAcknowledgements: [][]byte{types.UniversalErrorAcknowledgement()},
151		},
152		ProofAcked:  proofAcked,
153		ProofHeight: msgHeader.GetHeight(),
154	}
155
156	res := core.Acknowledgement(cross(cur), ackPacket)
157
158	println("\nack res:", res)
159	println("\nsigner grc20 balance after Acknowledgement:", grc20test.BalanceOf(signer))
160}
161
162// Output:
163// signer grc20 balance before Transfer: 1000
164//
165// signer grc20 balance after Transfer: 900
166//
167// ack res: (2 gno.land/p/aib/ibc/types.ResponseResultType)
168//
169// signer grc20 balance after Acknowledgement: 1000