Mavryk smart contracts interaction

Netmavryk.Contracts allows to interact with Mavryk Smart contracts, build parameters and contract calls. A full working code snippet of calling FA1.2 and FA2 transfers with Netmavryk SDK can be found at .NET Fiddle.

Prerequisites

First, we need an Rpc to interaction. You can find a more detailed description of working with the Rpc in the Mavryk Rpc section. In our case we use the RPC with the ghostnet network.

var rpc = new MavrykRpc("https://rpc.tzkt.io/ghostnet/");

Also, we need a wallet to call contracts. You can find a more detailed description of working with the Key in the Get started section. You can use the address to get some test tokens with the Mavryk Faucet Bot or even generate a new key.

var key = Key.FromBase58("edsk35mfZXZJiYUxqcmsK5K6ggg3owD2dpbRgFHp4zZzmrPy9RBdj8");
var address = key.PubKey.Address; // mv1XBTPd4bESr2rWK9DG8RhQRnE1VmdfLLBf

Let's create one more random key, where we will send tokens

var recepient = new Key();

And, of course, we need contracts to call. Let's hardcode them

var FA12 = "KT1EwXFWoG9bYebmF4pYw72aGjwEnBWefgW5";
var FA2 = "KT1DYk1XDzHredJq1EyNkDindiWDqZyekXGj";

FA12 Token transfer example

When we've got a wallet and tokens, we can make a transfer. To make a transfer we need to send an operation so, we need branch and counter

// get a head block
var head = await rpc.Blocks.Head.Hash.GetAsync<string>();

// get account's counter
var counter = await rpc.Blocks.Head.Context.Contracts[address].Counter.GetAsync<int>();

Also, we need to get the script of the contract we want to interact with

// get the script of the contract from the RPC
var script = await rpc.Blocks.Head.Context.Contracts[FA12].Script.GetAsync();

// Deserialize the script code JSON string to the `IMicheline` object
var code = Micheline.FromJson(script.code);

var cs = new ContractScript(code);

To build the parameter for your transfer we need to know the entrypoint schema. You can check the parameter schema on the TzKT Explorer or you can get the schema from the ContractScript

var schemaString = cs.Entrypoints["transfer"].Humanize();
Console.WriteLine(schemaString);

When we know the schema, we can build the parameter for our transfer, using the ContractScript.

var param = cs.BuildParameter( 
    "transfer",
    new 
    {
        from = key.PubKey.Address,
        to = recepient.PubKey.Address,
        value = "123"
    });

var tx = new TransactionContent
{
    Source = key.PubKey.Address,
    Counter = ++counter,
    GasLimit = 100_000,
    StorageLimit = 257,
    Fee = 100_000,
    Destination = FA12,
    Parameters = new Parameters
    {
        Entrypoint = "transfer",
        Value = param
    }
};

That's it! Everything we need is to forge, sign and inject the operation

var opBytes = await new LocalForge().ForgeOperationAsync(head, tx);
var opSig = key.SignOperation(opBytes);

var opHash = await rpc.Inject.Operation.PostAsync(opBytes.Concat((byte[])opSig));

FA2 Token transfer example

This part will be almost the same as the FA1.2 token transfer. The only difference is building parameters. But let's make it from scratch. We're fetching branch and counter first.

// get a head block
var head = await rpc.Blocks.Head.Hash.GetAsync<string>();

// get account's counter
var counter = await rpc.Blocks.Head.Context.Contracts[address].Counter.GetAsync<int>();

Also, we need to get the script of the contract we want to interact with

// get the script of the contract from the RPC
var script = await rpc.Blocks.Head.Context.Contracts[FA2].Script.GetAsync();

// Deserialize the script code JSON string to the `IMicheline` object
var code = Micheline.FromJson(script.code);

var cs = new ContractScript(code);

To build the parameter for your transfer we need to know the entrypoint schema. You can check the parameter schema on the TzKT Explorer or you can get the schema from the ContractScript

var schemaString = cs.Entrypoints["transfer"].Humanize();
Console.WriteLine(schemaString);

When we know the schema, we can build the parameter for our transfer, using the ContractScript.

var param = cs.BuildParameter(
    "transfer",
    new List<object>
    {
        new
        {
            from_ = key.PubKey.Address,
            txs = new List<object>
            {
                new
                {
                    to_ = recepient.PubKey.Address,
                    token_id = 0,
                    amount = "10"
                }
            }
        }
    });

var tx = new TransactionContent
{
    Source = key.PubKey.Address,
    Counter = ++counter,
    GasLimit = 100_000,
    Fee = 100_000,
    StorageLimit = 257,
    Destination = FA2,
    Parameters = new Parameters
    {
        Entrypoint = "transfer",
        Value = param
    }
};

That's it! Everything we need is to forge, sign and inject the operation

var opBytes = await new LocalForge().ForgeOperationAsync(head, tx);
var opSig = key.SignOperation(opBytes);

var opHash = await rpc.Inject.Operation.PostAsync(opBytes.Concat((byte[])opSig));