Essays, Posts & Presentations

Third-Generation Blockchain Functionality with Tezos and the Wolfram Language

Jon Woodard

Author

Jon Woodard

Title

Third-Generation Blockchain Functionality with Tezos and the Wolfram Language

Description

Wolfram partners with TQ Tezos for blockchain integration in the Wolfram Language, with plans for an expansive development toolkit and extended capabilities. WBL focuses on smart contracts, symbolic data and smart reporting.

Third-Generation Blockchain Functionality with Tezos and the Wolfram Language

March 1, 2021 — Jon Woodard, CEO, Wolfram Blockchain Labs

As CEO of Wolfram Blockchain Labs (WBL), I think one of the most exciting parts of my job is collaborating with other leaders in the blockchain space to expand tools for developers and business use cases. For several years now, we’ve been adding a steady stream of blockchain functionality into the Wolfram Language to enable development of knowledge-based distributed applications and computational contracts. You may have noticed the growing number of popular blockchains (ARK, Bitcoin, bloxberg, Cardano, Ethereum, MultiChain...) partnering with us and integrating into our platform. It’s already led to some cool explorations, and we have a lot more in the pipeline.

Today, WBL is happy to announce its latest such collaboration, a partnership with TQ Tezos. That includes Tezos blockchain integration in the Wolfram Language, which is great news for smart contract developers and enthusiasts. But that’s just the beginning. Our long-term plans include a lot of big ideas that we think everyone will be excited about!

Complementary Collaboration

A Tezos-Wolfram partnership made sense from the start. We’ve worked to build up Wolfram Language support for third-generation blockchains, making Tezos integration an easy and intuitive part of our system. WBL has long had a particular focus on enabling smart contracts, and WBL and TQ Tezos have developed an oracle to provide Wolfram|Alpha data to Tezos smart contract developers.

One of the most exciting aspects of Tezos is its friendliness to formal verification. TQ Tezos has used the Mi-Cho-Coq framework to create a high degree of assurance that the oracle contract exhibits the same, predictable behavior every time it is called.

We also share the broader goal of democratizing technology. Tezos uniquely uses on-chain mechanisms for governance, which means that the people running nodes are the ones making decisions. Anyone interacting with the blockchain gets a vote—like citizens in a worldwide digital community. Wolfram has a history of making knowledge and computation widely available with Wolfram|Alpha, the Wolfram Cloud and the Wolfram Resource System.

The Foundation: Blockchain Integration

So, what could someone do right now with Wolfram Language access to the Tezos blockchain? To start, you can use

BlockchainBlockData

to retrieve data from Tezos (in this case, the most recent entry block):

In[]:=

BlockchainBlockData[Last,BlockchainBase"Tezos"]//Dataset

Out[]=

BlockHash

BLM76Xc4tH3YDEFnF5YYLCYkcRoZSJ6efHZ5YkfwuDnjWpTUHq2

BlockNumber

1343487

PreviousBlockHash

BKqR6ab7ujifXcqCWL5af112WgoaoFz7bX81JEj5KbTdJyJxYoU

Protocol

PsDELPH1Kxsxt8f9eWbxQeRxkjfbxoqM52jvs5Y5fBxWWh4ifpo

NextProtocol

PsDELPH1Kxsxt8f9eWbxQeRxkjfbxoqM52jvs5Y5fBxWWh4ifpo

Timestamp

Sat 13 Feb 2021 14:59:46

ValidationPass

OperationsHash

LLoaTjFV9GchsxfRjovEEcfF3Jqoez2iwVBMkeWo8oUpss5fBRVhr

Fitness

{01,00000000000a7fff}

ContextHash

CoV92C995TtvWsarRj6JTDpecauwUCbwBpYRaUJw8rNbGkNjggJB

Priority

Nonce

6102c8080e100200

Signature

DigitalSignature

Type: Edwards curve (ed25519)

Signature size:

512



ConsumedGas

6998559

Baker

tz1S8MNvuFEUsWgjHvi3AxibRBf388NhT1q2

BlockReward

40000000

mutez

BlockFees

7744

mutez

TotalTransactions

TransactionList

{

…

}

TransactionListDetails



…



To specify an address on the blockchain, use

BlockchainKeyEncode

with a generated

PrivateKey

(which uses the elliptic curves used in the Tezos Ecosystem):

In[]:=

tezosAddress=BlockchainKeyEncodePrivateKey

Type: Edwards curve (ed25519)

Private key size:

256

Public key size:

256

,"Address",BlockchainBase{"Tezos","Testnet"}

Out[]=

tz1NmCLyyMPiuzcEpAz2agyZ3tZJXEnwsoxp

Given this address,

BlockchainAddressData

will provide a range of information:

In[]:=

BlockchainAddressData[tezosAddress,BlockchainBase{"Tezos","Testnet"}]//Dataset

Out[]=

Address

tz1NmCLyyMPiuzcEpAz2agyZ3tZJXEnwsoxp

Type

Delegate

FirstBlockNumber

345609

LastBlockNumber

435088

Balance

9434916

mutez

ContractsCount

MigrationsCount

Staked

False

TransactionCount

1063920

PublicKey

PublicKey

Type: Edwards curve (ed25519)

Public key size:

256



Revealed

True

DelegateData

ActivationBlockNumber

345921

DeactivationBlockNumber

360449

FrozenDeposits

mutez

FrozenRewards

mutez

FrozenFees

mutez

DelegatorsCount

StakingBalance

9434916

mutez

BlocksCount

RevelationPenaltiesCount

TotalTransactions

TotalTransactionsDetails



…



TransactionList

{

…

}

Here's the current balance at that address:

In[]:=

balance=%["Balance"]

Out[]=

9434916

mutez

You can also create smart contracts to put your own data on the Tezos blockchain. To achieve that, you’d start by creating a transaction operation with

BlockchainTransaction

In[]:=

tx=BlockchainTransaction[<|"BlockchainBase"{"Tezos","Testnet"},"Type""Origination","Sender"tezosAddress,"Balance"100,"Contract"<|"Storage""string""hello","Code"{"prim""parameter","args"{"prim""string"},"prim""storage","args"{"prim""string"},"prim""code","args"{{"prim""CAR","prim""NIL","args"{"prim""operation"},"prim""PAIR"}}}|>|>]

Out[]=

BlockchainTransaction

blockchain base: {Tezos,Testnet}

signed: False

fee:

76232

mutez



Then you can sign the operation by passing the BlockchainTransaction object and the appropriate PrivateKey to

BlockchainTransactionSign

In[]:=

txSigned=BlockchainTransactionSigntx,PrivateKey

Type: Edwards curve (ed25519)

Private key size:

256

Public key size:

256



Out[]=

BlockchainTransaction

blockchain base: {Tezos,Testnet}

signed: True

fee:

76232

mutez



Finally, the contract is submitted to the blockchain using

BlockchainTransactionSubmit

submitted=BlockchainTransactionSubmit[txSigned]

Out[]=

BlockchainTransaction

blockchain base: {Tezos,Testnet}

signed: True

fee:

76232

mutez



And with just a few simple lines of code, you’ve deployed a smart contract to the Tezos ecosystem. Once the transaction operation is on the blockchain (which can sometimes take a few minutes), you can verify that the balance has been updated:

In[]:=

newBalance=BlockchainAddressData[tezosAddress,"Balance",BlockchainBase{"Tezos","Testnet"}]

Out[]=

9358584

mutez

The total transaction amount is equal to the 100 mutez payment plus a 76,232 mutez fee:

In[]:=

balance-newBalance

Out[]=

76332

mutez

The details of the fees can be inspected by using BlockchainTransactionData and passing the transaction ID of the submitted BlockchainTransaction:

BlockchainTransactionData[submitted["TransactionID"],"Fees",BlockchainBase{"Tezos","Testnet"}]//Dataset

Out[]=

BakerFee	482 mutez
StorageFee	11500 mutez
AllocationFee	64250 mutez

This powerful simplicity is a core advantage of any Wolfram Language integration: you don’t have to be a developer to get serious work done.

More in the Works

The ultimate result will be an expansive toolkit that makes Tezos development available to everyone, regardless of programming skill. We have plans to extend these capabilities in several key areas within the Tezos ecosystem: analytics, computational facts delivery and blockchain educational information. WBL is also exploring how we might begin to bake on Tezos, our first tentative foray into how staking works on a blockchain network.

This and our other blockchain partnerships help move WBL toward the larger goal of bringing computational reform to the financial industry: smart contracts, symbolic data and smart reporting. We’re always looking for more ways to expand what we are doing with blockchains and other decentralized technologies. Keep an eye out for our next big announcement!

Get your free Wolfram|One trial to start writing your own smart contracts, or connect with WBL to find out about integrating your blockchain into the Wolfram Language.

Cite this as: Jon Woodard, "Third-Generation Blockchain Functionality with Tezos and the Wolfram Language" from the Notebook Archive (2021), https://notebookarchive.org/2021-03-0hwp4o5