Tezos receives a new oracle through the integration of Wolfram Blockchain Labs


Related articles

Wolfram Blockchain Labs, the cryptocurrency-oriented department of the popular computer engine provider Wolfram Alpha, supports Tezos on its platform and offers a bidirectional interface to the blockchain.

The integration announced on Monday provides support for Tezos blockchain data in the Wolfram language, so developers can pull analytics data from the blockchain. The language specializes in advanced statistical queries that analyze the activity of smart contracts. The integration is primarily aimed at making it easier to deploy smart contracts on Tezos.

In addition, Wolfram Blockchain has developed an oracle for Tezos that supplies its smart contracts with data from Wolfram Alpha. The data also includes asset pricing, one of the top oracle use cases today. This would make Wolfram the third oracle provider in the network after Chainlink and Harbinger, a solution native to Tezos.

Wolfram Blockchain worked with TQ Tezos, one of Tezos’ ecosystem development companies, on the integration. The company stated that the oracle contracts were formally verified through the Mi-Cho-Coq framework developed by Nomadic Labs. Formal verification allows a mathematical proof to be created that guarantees that a particular program is behaving correctly. Tezos is specifically focused on simplifying this process and shares focus with Cardano, another project supported by Wolfram Blockchain.

Recently, Tezos has taken a number of steps to attract smart contract developers and decentralized finance projects. In November 2020, a network upgrade reduced transaction fees by 75%.

The Wolfram integration adds an important component to the toolkit of a smart contract developer and simplifies the analysis for smart contracts. However, the integration is still at an early stage and has relatively basic functions. Wolfram Blockchain CEO Jon Woodard said:

“We plan to expand these capabilities in several key areas of the Tezos ecosystem: analytics, computational facts delivery, and blockchain educational information.”

Wolfram Blockchain Labs is also exploring the possibility of becoming a Tezos “Baker”, the term for staker. The blockchain is one of the largest amounts of capital tied up in terms of capital employed.