Smart contract interaction

Taquito allows developers to interact with Smart Contracts as if they are “Plain Old Javascript Objects.”

The “Machine Language” of Tezos Smart Contracts is named Michelson. Michelson is a stack-based language that is human-readable. It’s possible to author Smart-Contracts directly in Michelson. However, developers can use High-Level Languages (such as Ligo or SmartPy) to write smart contracts.

Taquito makes developing applications (dApps or traditional programs) around a Tezos Smart Contract easy. Taquito can also “originate” (create) a new Smart Contract to the Tezos Blockchain.

Michelson is a somewhat specialized language that isn’t typical in Javascript or Typescript development contexts. Taquito helps to bridge the gap between the Tezos blockchain and a standard Javascript or Typescript development environment.

Taquito’s Smart Contract Abstraction

Taquito assists developers by reading the Michelson code for a given contract from the blockchain. Based on the retrieved Michelson code, Taquito generates a contract javascript object with methods and storage that correspond to the contract’s Michelson entry points, storage definitions, and values.

The Counter Contract

In this guide, we use a straightforward “counter” smart contract to illustrate how Taquito works.

The counter contract has two entry points named increment and decrement. Taquito uses these entrypoints to generate corresponding javascript methods available to the developer.

The counter contract’s storage is a simple integer that gets increased or decreased based on the calls to the entrypoints.

Counter Contract in JSLIGO v1.3.0

namespace Counter {
  type storage = int;
  type ret = [list<operation>, storage];

  // Three entrypoints

  @entry
  const increment = (delta : int, store : storage) : ret => [list([]), store + delta];

  @entry
  const decrement = (delta : int, store : storage) : ret => [list([]), store - delta];

  @entry
  const reset = (_p : unit, _s : storage) : ret => [list([]), 0];
};

You can view this contract and deploy it to a testnet using the Ligo WebIDE

Counter Contract Michelson source code

{ parameter (or (unit %reset) (or (int %decrement) (int %increment))) ;
  storage int ;
  code { UNPAIR ;
         IF_LEFT { DROP 2 ; PUSH int 0 } { IF_LEFT { SWAP ; SUB } { ADD } } ;
         NIL operation ;
         PAIR } }

Loading the contract in Taquito

To load the contract from the Tezos Blockchain, we use the Tezos.contract.at method. We can inspect the contract methods and data types using the c.parameterSchema.ExtractSignatures() method.

The following example shows how to load the contract and view the methods on that contract.

try {
  const contract = await Tezos.contract.at('KT1KAUbe1gsdw5BeVQfgjh9xZFrHrKVs8ApD');
  const methods = contract.parameterSchema.ExtractSignatures();
  console.log(JSON.stringify(methods, null, 2));
} catch (error) {
  console.log(`Error: ${error}`);
}

try {
  const contract = await Tezos.wallet.at('KT1KAUbe1gsdw5BeVQfgjh9xZFrHrKVs8ApD');
  const methods = contract.parameterSchema.ExtractSignatures();
  console.log(JSON.stringify(methods, null, 2));
} catch (error) {
  console.log(`Error: ${error}`);
}

The at() method causes Taquito to query a Tezos nodes RPC API for the contracts “script” and “entrypoints.” From these two inputs, Taquito builds an ordinary JavaScript object with methods that correspond to the Smart Contracts entrypoints.

The at method returns a representation of the contract as a plain old javascript object. Taquito dynamically creates an increment and decrement method that the developer can call as follows:

• contract.methodsObject.increment()
• contract.methodsObject.decrement()

In Tezos, to call an entrypoint on a contract, one must send a transfer operation. In the counter contract case, the transfer value can be 0 as the contract does not expect to receive any tokens. The transfer must have the appropriate Michelson values specified as “params” to call the increment entrypoint.

We can inspect the transfer params produced by Taquito using the toTransferParams() method:

try {
  const contract = await Tezos.contract.at('KT1KAUbe1gsdw5BeVQfgjh9xZFrHrKVs8ApD');
  const incrementParams = contract.methodsObject.increment(2).toTransferParams();
  console.log(JSON.stringify(incrementParams, null, 2));
} catch (error) {
  console.log(`Error: ${error}`);
}

try {
  const contract = await Tezos.wallet.at('KT1KAUbe1gsdw5BeVQfgjh9xZFrHrKVs8ApD');
  const incrementParams = contract.methodsObject.increment(2).toTransferParams();
  console.log(JSON.stringify(incrementParams, null, 2));
} catch (error) {
  console.log(`Error: ${error}`);
}

Calling the Increment function

In the next example, we call the send() method. This example requires a different ceremony for getting a temporary key for signing.

We call the send() method on the increment() method. Taquito then forges this operation into a transfer operation (with a transfer value of zero), signs the operation with our testing key, and injects or broadcasts the operation to the Tezos RPC node.

Then we wait for the confirmation(3) to complete. The 3 number tells Taquito how many confirmations to wait for before resolving the promise. 3 is a good value for this type of demonstration, but we recommend a higher value if you are dealing with mainnet transactions.

try {
  const contract = await Tezos.contract.at('KT1KAUbe1gsdw5BeVQfgjh9xZFrHrKVs8ApD');

  console.log(`Incrementing storage value by 7...`);
  const operation = await contract.methodsObject.increment(7).send();

  console.log(`Waiting for ${operation.hash} to be confirmed...`);
  const hash = await operation.confirmation(3);

  console.log(`Operation injected: https://ghostnet.tzkt.io/${hash}/operations`);
} catch (error) {
  console.log(`Error: ${JSON.stringify(error, null, 2)}`);
}

try {
  const contract = await Tezos.wallet.at('KT1KAUbe1gsdw5BeVQfgjh9xZFrHrKVs8ApD');

  console.log(`Incrementing storage value by 7...`);
  const operation = await contract.methodsObject.increment(7).send();

  console.log(`Waiting for ${operation.opHash} to be confirmed...`);
  const confirmation = await operation.confirmation(3);

  console.log(`Operation injected: https://ghostnet.tzkt.io/${confirmation.block.hash}/operations`);
} catch (error) {
  console.log(`Error: ${JSON.stringify(error, null, 2)}`);
}

Choosing between the methods or methodsObject members to interact with smart contracts

:::note Since Taquito version 16.2.0, we introduced syntax support for nested options in methodsObject but not methods due to the limitation of the flattened form. We recommend users migrate to using methodsObject as its syntax is consistent with storage parameters, supports all Michelson data types, and is continually maintained.

Since Taquito version 10.2.0, parameters can be passed in an object format when calling a smart contract entry point. The ContractAbstraction class has a new member called methodsObject, which serves the same purpose as the methods member. The format expected by the smart contract method differs: methods expect flattened arguments while methodsObject expects an object. methodsObject provides Taquito users with a way to pass an object when calling a contract entry point using a format similar to that used by the storage parameter when deploying a contract.

An example showing the difference is provided below. :::

try {
  const contract = await Tezos.contract.at('KT1B2exfRrGMjfZqWK1bDemr3nBFhHsUWQuN');
  console.log(`List all contract methods: ${Object.keys(contract.methodsObject)}\n`);
  console.log(
    `Inspect the signature of the 'set_child_record' contract method: ${JSON.stringify(
      contract.methodsObject.set_child_record().getSignature(),
      null,
      2
    )}`
  );
} catch (error) {
  console.log(`Error: ${JSON.stringify(error, null, 2)}`);
}

try {
  await importKey(Tezos, secretKey);
  const contract = await Tezos.contract.at('KT1B2exfRrGMjfZqWK1bDemr3nBFhHsUWQuN');

  const operation = await contract.methodsObject
    .set_child_record({
      address: 'tz1PgQt52JMirBUhhkq1eanX8hVd1Fsg71Lr',
      data: new MichelsonMap(),
      label: 'EEEE',
      owner: 'tz1PgQt52JMirBUhhkq1eanX8hVd1Fsg71Lr',
      parent: 'FFFF',
    })
    .send();

  console.log(`Awaiting for ${operation.hash} to be confirmed...`);
  const hash = await operation.confirmation();

  console.log(`Operation injected: https://ghostnet.tzkt.io/${hash}/operations`);
} catch (error) {
  console.log(`Error: ${JSON.stringify(error, null, 2)}`);
}

try {
  const contract = await Tezos.contract.at('KT1B2exfRrGMjfZqWK1bDemr3nBFhHsUWQuN');
  console.log(`List all contract methods: ${Object.keys(contract.methodsObject)}\n`);
  console.log(
    `Inspect the signature of the 'set_child_record' contract method: ${JSON.stringify(
      contract.methods.set_child_record().getSignature(),
      null,
      2
    )}`
  );
} catch (error) {
  console.log(`Error: ${JSON.stringify(error, null, 2)}`);
}

try {
  await importKey(Tezos, secretKey);
  const contract = await Tezos.contract.at('KT1B2exfRrGMjfZqWK1bDemr3nBFhHsUWQuN');

  const operation = await contract.methods
    .set_child_record(
      'tz1PgQt52JMirBUhhkq1eanX8hVd1Fsg71Lr', //address(optional)
      new MichelsonMap(), //data
      'EEEE', //label
      'tz1PgQt52JMirBUhhkq1eanX8hVd1Fsg71Lr', //owner
      'FFFF', //parent
      '10' //ttl(optional)
    )
    .send();

  console.log(`Awaiting for ${operation.hash} to be confirmed...`);
  const hash = await operation.confirmation();

  console.log(`Operation injected: https://ghostnet.tzkt.io/${hash}/operations`);
} catch (error) {
  console.log(`Error: ${JSON.stringify(error, null, 2)}`);
}