// PKGPATH: gno.land/r/aib/main package main import ( "encoding/base64" "encoding/hex" "testing" "time" "gno.land/p/aib/ibc/lightclient/tendermint" tmtesting "gno.land/p/aib/ibc/lightclient/tendermint/testing" "gno.land/p/aib/ibc/types" "gno.land/p/aib/ics23" "gno.land/r/aib/ibc/apps/transfer" "gno.land/r/aib/ibc/core" ) // OnAcknowledgementPacket: success w/ refund of IBC voucher token func main(cur realm) { var ( chainID = "chain-id-2" trustedHeight = types.NewHeight(2, 2) clientState = tmtesting.NewClientState(chainID, trustedHeight) // NOTE this apphash was provided by the gen-proof command below (RecvPacket proof). apphash, _ = hex.DecodeString("948f52451fd35947b960d2a8d316e3c1d4cae9318a3d71923efeea9d7e3db57b") // priv=8a6cAbQSpDbebmcTEhCMPhhr/SkL/2pizo60yzHRkN9Uyk7RHOZm7g4xW+yeJh147/Z4/6HXF6gBwcFNkLsZ/A== val1 = tendermint.NewValidator("9DIBYr64rywKO3Kk6+743xDHcEU=", "VMpO0RzmZu4OMVvsniYdeO/2eP+h1xeoAcHBTZC7Gfw=", 10) // priv=nWg6ETc62tyxd94lh8fFaQnZKaAW6vlS0L/4lfseJuI14ZXUKp7AZROkflLFVF+SBg4wJVfzgzIKyWq3D066+g== val2 = tendermint.NewValidator("y+naL3ubs9q1bXrY9+uRxY9c+J8=", "NeGV1CqewGUTpH5SxVRfkgYOMCVX84MyCslqtw9Ouvo=", 10) trustedValset = tendermint.NewValset(val1, val2) consensusState = tmtesting.GenConsensusState(time.Now(), apphash, trustedValset.Hash()) counterpartyID = "07-tendermint-42" ) clientID := core.CreateClient(cross(cur), clientState, consensusState) core.RegisterCounterparty(cross(cur), clientID, [][]byte{[]byte("iavlStoreKey"), []byte("prefix2")}, counterpartyID) relayer := cur.Previous().Address() signer := cur.Address() // ibc/F9A67CB19B2CAD2ADEC20AD475BE86DF851DEC2B6F6CABC9B7B781BD9131D18F voucherDenom := transfer.NewDenom("uatone", transfer.NewHop(transfer.PortID, clientID)).IBCDenom() // Mint voucher tokens via a real RecvPacket flow. recvPayload := transfer.NewFungibleTokenPacketData("uatone", "100", "atone1user", signer.String(), "") recvPayloadBz := recvPayload.ProtoMarshal() // NOTE this base64 value is used in payload.value in the gen-proof command below. println("Payload proto:", base64.StdEncoding.EncodeToString(recvPayloadBz)) specs := ics23.IavlSpec() // NOTE code generated by: // 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":"CgZ1YXRvbmUSAzEwMBoKYXRvbmUxdXNlciIoZzFnanM4bmZkcmQ1NXozeHU5Z2pjYXRuajI5dmt3dXl4NGZmcXhkOQ==","version":"ics20-1"}]}' recvProof := []ics23.CommitmentProof{ // iavl proof ics23.CommitmentProof_Exist{ Exist: &ics23.ExistenceProof{ 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"), Value: []byte("\x2a\xec\xd3\x00\x8e\x1c\xaa\x6d\x4c\x80\xec\x03\xb7\x0b\x11\xc7\xfb\x00\x4a\x23\x0e\x95\x1e\x30\x00\x32\x3e\x30\xfb\xa1\x33\xde"), Leaf: &ics23.LeafOp{ Hash: specs.LeafSpec.Hash, PrehashKey: specs.LeafSpec.PrehashKey, PrehashValue: specs.LeafSpec.PrehashValue, Length: specs.LeafSpec.Length, Prefix: []byte("\x00\x02\x02"), }, Path: []*ics23.InnerOp{ { Hash: specs.InnerSpec.Hash, 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"), Suffix: []byte(""), }, { Hash: specs.InnerSpec.Hash, Prefix: []byte("\x04\x08\x02\x20"), 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"), }, { Hash: specs.InnerSpec.Hash, 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"), Suffix: []byte(""), }, }, }, }, // rootmulti proof ics23.CommitmentProof_Exist{ Exist: &ics23.ExistenceProof{ Key: []byte("\x69\x61\x76\x6c\x53\x74\x6f\x72\x65\x4b\x65\x79"), Value: []byte("\xf5\xf0\x9d\x7b\x1d\x33\x59\xf7\x09\x21\x4a\x5d\x28\x91\xb8\x63\xf2\xd4\x7c\xf3\x97\xb6\x55\x89\x82\x05\x00\x31\x14\x0e\x93\x53"), Leaf: &ics23.LeafOp{ Hash: specs.LeafSpec.Hash, PrehashKey: specs.LeafSpec.PrehashKey, PrehashValue: specs.LeafSpec.PrehashValue, Length: specs.LeafSpec.Length, Prefix: []byte("\x00"), }, Path: []*ics23.InnerOp{}, }, }, } recvMsg := types.MsgRecvPacket{ Packet: types.Packet{ Sequence: 1, SourceClient: counterpartyID, DestinationClient: clientID, TimeoutTimestamp: uint64(time.Now().Add(time.Hour).Unix()), Payloads: []types.Payload{{ SourcePort: transfer.PortID, DestinationPort: transfer.PortID, Encoding: transfer.EncodingProtobuf, Value: recvPayloadBz, Version: transfer.V1, }}, }, ProofCommitment: recvProof, ProofHeight: trustedHeight, } core.RecvPacket(cross(cur), recvMsg) // Now send the voucher tokens back (burn) testing.SetOriginCaller(signer) println("signer voucher balance before Transfer:", transfer.VoucherBalanceOf(voucherDenom, signer)) sendPacket, sequence := transfer.Transfer(cross(cur), clientID, "atone1user", voucherDenom, 100, uint64(time.Now().Add(time.Hour).Unix()), "") println("\nsigner voucher balance after Transfer:", transfer.VoucherBalanceOf(voucherDenom, signer)) // UpdateClient to advance to height containing the ack proof testing.SetOriginCaller(relayer) // NOTE code generated by: // go run -C ./cmd/gen-block-signatures . -apphash-hex=5467ca2d19a7b74dbcd20e33bda91932f912d76595872ec856945af96e743b82 -chainid=chain-id-2 -header-time-shift=1 -height=12 -privkeys=8a6cAbQSpDbebmcTEhCMPhhr/SkL/2pizo60yzHRkN9Uyk7RHOZm7g4xW+yeJh147/Z4/6HXF6gBwcFNkLsZ/A==,nWg6ETc62tyxd94lh8fFaQnZKaAW6vlS0L/4lfseJuI14ZXUKp7AZROkflLFVF+SBg4wJVfzgzIKyWq3D066+g== // NOTE apphash generated by the gen-proof command below apphash, _ = hex.DecodeString("5467ca2d19a7b74dbcd20e33bda91932f912d76595872ec856945af96e743b82") trustedHeight = clientState.LatestHeight var ( commitTimestamp = tmtesting.ToTime("2025-09-25T07:55:57.306746166Z") newHeight = uint64(12) newTimestamp = consensusState.Timestamp.Add(time.Minute * time.Duration(1)) valset = tendermint.NewValset(val1, val2) nextValset = tendermint.NewValset(val1, val2) signatures = []tendermint.CommitSig{ { BlockIDFlag: tendermint.BlockIDFlagCommit, ValidatorAddress: valset.Validators[0].Address, Timestamp: commitTimestamp, Signature: []byte("\x6b\x64\x5e\xa3\x44\x73\x69\x6b\x4f\x3a\x63\xb0\x9f\x80\x58\xa5\x8f\x2e\xc5\x9b\x01\x9d\x56\x52\x32\xf1\x19\x79\x66\x40\x71\x2c\xb0\x21\xa1\xc7\x0a\x77\xe7\xa9\x25\x32\x67\x2a\x9a\xbb\xd1\xfa\xc5\x32\x37\x8d\x55\x48\xdd\x2f\x26\xfb\xc3\x61\xc3\x7d\x75\x04"), }, { BlockIDFlag: tendermint.BlockIDFlagCommit, ValidatorAddress: valset.Validators[1].Address, Timestamp: commitTimestamp, Signature: []byte("\x93\x86\xf3\x29\x39\x59\x06\xa3\x86\x09\x08\xb4\xc4\xa6\x89\xd5\xae\x54\x92\xb1\xcb\x8e\xce\x53\xe5\x93\xfc\x93\xbc\x1b\x4b\x41\x47\x24\xe9\xfd\x1c\x65\xf5\x33\x08\xcc\x5f\x39\x8a\x3d\x5b\x0d\xf3\x5a\xa8\x7e\xde\x0c\xbf\xcd\xac\x49\xeb\xca\xf2\x95\xbf\x06"), }, } msgHeader = tmtesting.NewMsgHeader( chainID, newTimestamp, apphash, newHeight, trustedHeight, valset, nextValset, trustedValset, signatures, ) ) core.UpdateClient(cross(cur), clientID, msgHeader) // Acknowledge the packet // Generate the proof of acknowledgement written during the RecvPacket of the // counterparty client. // NOTE proof generated by: // go run -C ./cmd/gen-proof . prefix2 07-tendermint-42 acknowledgement $(echo -n UNIVERSAL_ERROR_ACKNOWLEDGEMENT | sha256sum | cut -d' ' -f1) proofAcked := []ics23.CommitmentProof{ // iavl proof ics23.CommitmentProof_Exist{ Exist: &ics23.ExistenceProof{ 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\x03\x00\x00\x00\x00\x00\x00\x00\x01"), 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"), Leaf: &ics23.LeafOp{ Hash: specs.LeafSpec.Hash, PrehashKey: specs.LeafSpec.PrehashKey, PrehashValue: specs.LeafSpec.PrehashValue, Length: specs.LeafSpec.Length, Prefix: []byte("\x00\x02\x02"), }, Path: []*ics23.InnerOp{ { Hash: specs.InnerSpec.Hash, 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"), Suffix: []byte(""), }, { Hash: specs.InnerSpec.Hash, Prefix: []byte("\x04\x08\x02\x20"), 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"), }, { Hash: specs.InnerSpec.Hash, 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"), Suffix: []byte(""), }, }, }, }, // rootmulti proof ics23.CommitmentProof_Exist{ Exist: &ics23.ExistenceProof{ Key: []byte("\x69\x61\x76\x6c\x53\x74\x6f\x72\x65\x4b\x65\x79"), Value: []byte("\x91\x57\xa5\x00\xd6\xc8\xde\x17\x14\xba\xdf\x44\x6d\x17\xb6\xb8\xd3\xa5\x8b\x30\xf8\x54\x83\x18\x66\xd4\x33\x53\x6f\xd2\xea\xb9"), Leaf: &ics23.LeafOp{ Hash: specs.LeafSpec.Hash, PrehashKey: specs.LeafSpec.PrehashKey, PrehashValue: specs.LeafSpec.PrehashValue, Length: specs.LeafSpec.Length, Prefix: []byte("\x00"), }, Path: []*ics23.InnerOp{}, }, }, } ackPacket := types.MsgAcknowledgement{ Packet: types.Packet{ Sequence: sequence, SourceClient: clientID, DestinationClient: counterpartyID, TimeoutTimestamp: sendPacket.TimeoutTimestamp, Payloads: sendPacket.Payloads, }, Acknowledgement: types.Acknowledgement{ // This UNIVERSAL_ERROR_ACKNOWLEDGEMENT error should trigger a refund AppAcknowledgements: [][]byte{types.UniversalErrorAcknowledgement()}, }, ProofAcked: proofAcked, ProofHeight: msgHeader.GetHeight(), } res := core.Acknowledgement(cross(cur), ackPacket) println("\nack res:", res) println("\nsigner voucher balance after Acknowledgement:", transfer.VoucherBalanceOf(voucherDenom, signer)) } // Output: // Payload proto: CgZ1YXRvbmUSAzEwMBoKYXRvbmUxdXNlciIoZzFnanM4bmZkcmQ1NXozeHU5Z2pjYXRuajI5dmt3dXl4NGZmcXhkOQ== // signer voucher balance before Transfer: 100 // // signer voucher balance after Transfer: 0 // // ack res: (2 gno.land/p/aib/ibc/types.ResponseResultType) // // signer voucher balance after Acknowledgement: 100 // Events: // [ // { // "type": "create_client", // "attrs": [ // { // "key": "client_id", // "value": "07-tendermint-1" // }, // { // "key": "client_type", // "value": "07-tendermint" // }, // { // "key": "consensus_heights", // "value": "2/2" // } // ], // "pkg_path": "gno.land/r/aib/ibc/core" // }, // { // "type": "recv_packet", // "attrs": [ // { // "key": "packet_source_client", // "value": "07-tendermint-42" // }, // { // "key": "packet_dest_client", // "value": "07-tendermint-1" // }, // { // "key": "packet_sequence", // "value": "1" // }, // { // "key": "packet_timeout_timestamp", // "value": "1234571490" // }, // { // "key": "encoded_packet_hex", // "value": "0801121030372d74656e6465726d696e742d34321a0f30372d74656e6465726d696e742d3120e2a1d8cc042a7a0a087472616e7366657212087472616e736665721a0769637332302d3122166170706c69636174696f6e2f782d70726f746f6275662a430a067561746f6e6512033130301a0a61746f6e65317573657222286731676a73386e6664726435357a33787539676a6361746e6a3239766b7775797834666671786439" // } // ], // "pkg_path": "gno.land/r/aib/ibc/core" // }, // { // "type": "denomination", // "attrs": [ // { // "key": "denom_hash", // "value": "F9A67CB19B2CAD2ADEC20AD475BE86DF851DEC2B6F6CABC9B7B781BD9131D18F" // }, // { // "key": "denom", // "value": "{\"base\":\"uatone\",\"path\":\"transfer/07-tendermint-1/uatone\",\"denom\":\"ibc/F9A67CB19B2CAD2ADEC20AD475BE86DF851DEC2B6F6CABC9B7B781BD9131D18F\"}" // } // ], // "pkg_path": "gno.land/r/aib/ibc/apps/transfer" // }, // { // "type": "register", // "attrs": [ // { // "key": "pkgpath", // "value": "gno.land/r/aib/ibc/apps/transfer" // }, // { // "key": "slug", // "value": "F9A67CB19B2CAD2ADEC20AD475BE86DF851DEC2B6F6CABC9B7B781BD9131D18F" // } // ], // "pkg_path": "gno.land/r/demo/defi/grc20reg" // }, // { // "type": "Transfer", // "attrs": [ // { // "key": "token", // "value": "gno.land/r/aib/ibc/apps/transfer.F9A67CB19B2" // }, // { // "key": "from", // "value": "" // }, // { // "key": "to", // "value": "g1gjs8nfdrd55z3xu9gjcatnj29vkwuyx4ffqxd9" // }, // { // "key": "value", // "value": "100" // } // ], // "pkg_path": "gno.land/p/demo/tokens/grc20" // }, // { // "type": "fungible_token_packet", // "attrs": [ // { // "key": "sender", // "value": "atone1user" // }, // { // "key": "receiver", // "value": "g1gjs8nfdrd55z3xu9gjcatnj29vkwuyx4ffqxd9" // }, // { // "key": "denom", // "value": "transfer/07-tendermint-1/uatone" // }, // { // "key": "amount", // "value": "100" // }, // { // "key": "memo", // "value": "" // }, // { // "key": "success", // "value": "true" // } // ], // "pkg_path": "gno.land/r/aib/ibc/apps/transfer" // }, // { // "type": "write_acknowledgement", // "attrs": [ // { // "key": "packet_source_client", // "value": "07-tendermint-42" // }, // { // "key": "packet_dest_client", // "value": "07-tendermint-1" // }, // { // "key": "packet_sequence", // "value": "1" // }, // { // "key": "packet_timeout_timestamp", // "value": "1234571490" // }, // { // "key": "encoded_packet_hex", // "value": "0801121030372d74656e6465726d696e742d34321a0f30372d74656e6465726d696e742d3120e2a1d8cc042a7a0a087472616e7366657212087472616e736665721a0769637332302d3122166170706c69636174696f6e2f782d70726f746f6275662a430a067561746f6e6512033130301a0a61746f6e65317573657222286731676a73386e6664726435357a33787539676a6361746e6a3239766b7775797834666671786439" // }, // { // "key": "encoded_acknowledgement_hex", // "value": "0a117b22726573756c74223a2241513d3d227d" // } // ], // "pkg_path": "gno.land/r/aib/ibc/core" // }, // { // "type": "send_packet", // "attrs": [ // { // "key": "packet_source_client", // "value": "07-tendermint-1" // }, // { // "key": "packet_dest_client", // "value": "07-tendermint-42" // }, // { // "key": "packet_sequence", // "value": "1" // }, // { // "key": "packet_timeout_timestamp", // "value": "1234571490" // }, // { // "key": "encoded_packet_hex", // "value": "0801120f30372d74656e6465726d696e742d311a1030372d74656e6465726d696e742d343220e2a1d8cc042a93010a087472616e7366657212087472616e736665721a0769637332302d3122166170706c69636174696f6e2f782d70726f746f6275662a5c0a1f7472616e736665722f30372d74656e6465726d696e742d312f7561746f6e6512033130301a286731676a73386e6664726435357a33787539676a6361746e6a3239766b7775797834666671786439220a61746f6e653175736572" // } // ], // "pkg_path": "gno.land/r/aib/ibc/core" // }, // { // "type": "Transfer", // "attrs": [ // { // "key": "token", // "value": "gno.land/r/aib/ibc/apps/transfer.F9A67CB19B2" // }, // { // "key": "from", // "value": "g1gjs8nfdrd55z3xu9gjcatnj29vkwuyx4ffqxd9" // }, // { // "key": "to", // "value": "" // }, // { // "key": "value", // "value": "100" // } // ], // "pkg_path": "gno.land/p/demo/tokens/grc20" // }, // { // "type": "ibc_transfer", // "attrs": [ // { // "key": "sender", // "value": "g1gjs8nfdrd55z3xu9gjcatnj29vkwuyx4ffqxd9" // }, // { // "key": "receiver", // "value": "atone1user" // }, // { // "key": "denom", // "value": "transfer/07-tendermint-1/uatone" // }, // { // "key": "amount", // "value": "100" // }, // { // "key": "memo", // "value": "" // } // ], // "pkg_path": "gno.land/r/aib/ibc/apps/transfer" // }, // { // "type": "update_client", // "attrs": [ // { // "key": "client_id", // "value": "07-tendermint-1" // }, // { // "key": "client_type", // "value": "07-tendermint" // }, // { // "key": "consensus_heights", // "value": "2/12" // } // ], // "pkg_path": "gno.land/r/aib/ibc/core" // }, // { // "type": "acknowledge_packet", // "attrs": [ // { // "key": "packet_source_client", // "value": "07-tendermint-1" // }, // { // "key": "packet_dest_client", // "value": "07-tendermint-42" // }, // { // "key": "packet_sequence", // "value": "1" // }, // { // "key": "packet_timeout_timestamp", // "value": "1234571490" // }, // { // "key": "encoded_packet_hex", // "value": "0801120f30372d74656e6465726d696e742d311a1030372d74656e6465726d696e742d343220e2a1d8cc042a93010a087472616e7366657212087472616e736665721a0769637332302d3122166170706c69636174696f6e2f782d70726f746f6275662a5c0a1f7472616e736665722f30372d74656e6465726d696e742d312f7561746f6e6512033130301a286731676a73386e6664726435357a33787539676a6361746e6a3239766b7775797834666671786439220a61746f6e653175736572" // } // ], // "pkg_path": "gno.land/r/aib/ibc/core" // }, // { // "type": "Transfer", // "attrs": [ // { // "key": "token", // "value": "gno.land/r/aib/ibc/apps/transfer.F9A67CB19B2" // }, // { // "key": "from", // "value": "" // }, // { // "key": "to", // "value": "g1gjs8nfdrd55z3xu9gjcatnj29vkwuyx4ffqxd9" // }, // { // "key": "value", // "value": "100" // } // ], // "pkg_path": "gno.land/p/demo/tokens/grc20" // }, // { // "type": "fungible_token_packet", // "attrs": [ // { // "key": "sender", // "value": "g1gjs8nfdrd55z3xu9gjcatnj29vkwuyx4ffqxd9" // }, // { // "key": "receiver", // "value": "atone1user" // }, // { // "key": "denom", // "value": "transfer/07-tendermint-1/uatone" // }, // { // "key": "amount", // "value": "100" // }, // { // "key": "memo", // "value": "" // }, // { // "key": "acknowledgement", // "value": "Gtԥu\ufffd?\ufffd;\u001c\u0006W76azEz\ufffd\ufffdX\ufffdxۍ\u0010\ufffdKJ\ufffd\u0011\ufffd" // } // ], // "pkg_path": "gno.land/r/aib/ibc/apps/transfer" // }, // { // "type": "fungible_token_packet", // "attrs": [ // { // "key": "error", // "value": "receive packet failed" // } // ], // "pkg_path": "gno.land/r/aib/ibc/apps/transfer" // } // ]