// PKGPATH: gno.land/r/aib/main package main import ( "encoding/base64" "encoding/hex" "time" tmtesting "gno.land/p/aib/ibc/lightclient/tendermint/testing" "gno.land/p/aib/ibc/types" "gno.land/p/aib/ics23" "gno.land/p/nt/testutils/v0" "gno.land/r/aib/ibc/apps/transfer" "gno.land/r/aib/ibc/core" ) // OnRecvPacket: success with native coins 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. apphash, _ = hex.DecodeString("18ccfc84ab4c908313fab9bc9382046e13c76fd02043f1d63b84f3cbd7f03e86") trustedValset = tmtesting.GenValset() 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) receiver := testutils.TestAddress("receiver") payload := transfer.NewFungibleTokenPacketData("uphoton", "100", "atone1user", receiver.String(), "") payloadBz := payload.ProtoMarshal() // NOTE this base64 value is used in payload.value in the gen-proof command below. println("Payload proto:", base64.StdEncoding.EncodeToString(payloadBz)) // Generate the proof of existence of the packet commitment for the // counterparty chain. 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":"Cgd1cGhvdG9uEgMxMDAaCmF0b25lMXVzZXIiKGcxd2Zqa3hldGZ3ZWpoeWg2bHRhMDQ3aDZsdGEwNDdoNmxsbTgyeWw=","version":"ics20-1"}]}' proof := []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("\x88\x03\x13\x78\xc6\xf5\x14\xf4\x8a\x0c\x5b\x83\xc9\x1c\xcc\x68\xc5\x81\x97\xc8\x9e\xf7\x19\x3e\xa0\xd4\x65\x47\x54\x59\x83\x58"), 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("\x7d\xcc\x4a\xcc\x76\xa1\xf0\x23\x45\x9a\x76\xff\xc8\x27\x0f\x1a\xde\x8c\x5a\x03\xd9\x29\x94\xa4\xed\x59\x52\xd4\x26\x63\x81\x3c"), 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{}, }, }, } recvPacket := 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: payloadBz, Version: transfer.V1, }}, }, ProofCommitment: proof, ProofHeight: trustedHeight, } // ibc/CAEF9CA8CE6C302D73A831A49E34E59149D3A9AD96CCEBDFBF62F6D5710D92D8 voucherDenom := transfer.NewDenom("uphoton", transfer.NewHop(transfer.PortID, clientID)).IBCDenom() println("\nreceiver voucher balance before RecvPacket:", transfer.VoucherBalanceOf(voucherDenom, receiver)) res := core.RecvPacket(cross(cur), recvPacket) println("\nack res:", res) println("\nreceiver voucher balance after RecvPacket:", transfer.VoucherBalanceOf(voucherDenom, receiver)) println("\n----------- assert render /denoms") println(transfer.Render("denoms")) println("\n----------- assert render /denoms/" + voucherDenom) println(transfer.Render("denoms/" + voucherDenom)) println("\n----------- assert render voucher") println(transfer.Render("voucher/" + voucherDenom)) println("\n----------- assert render voucher balance") println(transfer.Render("voucher/" + voucherDenom + "/balance/" + receiver.String())) println("\n----------- assert render vouchers") println(transfer.Render("vouchers")) } // Output: // Payload proto: Cgd1cGhvdG9uEgMxMDAaCmF0b25lMXVzZXIiKGcxd2Zqa3hldGZ3ZWpoeWg2bHRhMDQ3aDZsdGEwNDdoNmxsbTgyeWw= // // receiver voucher balance before RecvPacket: 0 // // ack res: (2 gno.land/p/aib/ibc/types.ResponseResultType) // // receiver voucher balance after RecvPacket: 100 // // ----------- assert render /denoms // {"items":[{"base":"uphoton","path":"transfer/07-tendermint-1/uphoton","denom":"ibc/CAEF9CA8CE6C302D73A831A49E34E59149D3A9AD96CCEBDFBF62F6D5710D92D8"}],"page":1,"total":1} // // ----------- assert render /denoms/ibc/CAEF9CA8CE6C302D73A831A49E34E59149D3A9AD96CCEBDFBF62F6D5710D92D8 // {"base":"uphoton","path":"transfer/07-tendermint-1/uphoton","denom":"ibc/CAEF9CA8CE6C302D73A831A49E34E59149D3A9AD96CCEBDFBF62F6D5710D92D8"} // // ----------- assert render voucher // {"denom":"ibc/CAEF9CA8CE6C302D73A831A49E34E59149D3A9AD96CCEBDFBF62F6D5710D92D8","grc20reg_key":"gno.land/r/aib/ibc/apps/transfer.CAEF9CA8CE6C302D73A831A49E34E59149D3A9AD96CCEBDFBF62F6D5710D92D8","name":"uphoton","symbol":"CAEF9CA8CE6","decimals":0,"total_supply":100} // // ----------- assert render voucher balance // {"denom":"ibc/CAEF9CA8CE6C302D73A831A49E34E59149D3A9AD96CCEBDFBF62F6D5710D92D8","address":"g1wfjkxetfwejhyh6lta047h6lta047h6llm82yl","balance":100} // // ----------- assert render vouchers // {"items":[{"denom":"ibc/CAEF9CA8CE6C302D73A831A49E34E59149D3A9AD96CCEBDFBF62F6D5710D92D8","grc20reg_key":"gno.land/r/aib/ibc/apps/transfer.CAEF9CA8CE6C302D73A831A49E34E59149D3A9AD96CCEBDFBF62F6D5710D92D8","name":"uphoton","symbol":"CAEF9CA8CE6","decimals":0,"total_supply":100}],"page":1,"total":1} // 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": "0801121030372d74656e6465726d696e742d34321a0f30372d74656e6465726d696e742d3120e2a1d8cc042a7b0a087472616e7366657212087472616e736665721a0769637332302d3122166170706c69636174696f6e2f782d70726f746f6275662a440a077570686f746f6e12033130301a0a61746f6e6531757365722228673177666a6b7865746677656a687968366c746130343768366c746130343768366c6c6d3832796c" // } // ], // "pkg_path": "gno.land/r/aib/ibc/core" // }, // { // "type": "denomination", // "attrs": [ // { // "key": "denom_hash", // "value": "CAEF9CA8CE6C302D73A831A49E34E59149D3A9AD96CCEBDFBF62F6D5710D92D8" // }, // { // "key": "denom", // "value": "{\"base\":\"uphoton\",\"path\":\"transfer/07-tendermint-1/uphoton\",\"denom\":\"ibc/CAEF9CA8CE6C302D73A831A49E34E59149D3A9AD96CCEBDFBF62F6D5710D92D8\"}" // } // ], // "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": "CAEF9CA8CE6C302D73A831A49E34E59149D3A9AD96CCEBDFBF62F6D5710D92D8" // } // ], // "pkg_path": "gno.land/r/demo/defi/grc20reg" // }, // { // "type": "Transfer", // "attrs": [ // { // "key": "token", // "value": "gno.land/r/aib/ibc/apps/transfer.CAEF9CA8CE6" // }, // { // "key": "from", // "value": "" // }, // { // "key": "to", // "value": "g1wfjkxetfwejhyh6lta047h6lta047h6llm82yl" // }, // { // "key": "value", // "value": "100" // } // ], // "pkg_path": "gno.land/p/demo/tokens/grc20" // }, // { // "type": "fungible_token_packet", // "attrs": [ // { // "key": "sender", // "value": "atone1user" // }, // { // "key": "receiver", // "value": "g1wfjkxetfwejhyh6lta047h6lta047h6llm82yl" // }, // { // "key": "denom", // "value": "transfer/07-tendermint-1/uphoton" // }, // { // "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": "0801121030372d74656e6465726d696e742d34321a0f30372d74656e6465726d696e742d3120e2a1d8cc042a7b0a087472616e7366657212087472616e736665721a0769637332302d3122166170706c69636174696f6e2f782d70726f746f6275662a440a077570686f746f6e12033130301a0a61746f6e6531757365722228673177666a6b7865746677656a687968366c746130343768366c746130343768366c6c6d3832796c" // }, // { // "key": "encoded_acknowledgement_hex", // "value": "0a117b22726573756c74223a2241513d3d227d" // } // ], // "pkg_path": "gno.land/r/aib/ibc/core" // } // ]