Wolfram Blockchain Labs, the cryptocurrency-oriented department of the popular computer engine provider Wolfram Alpha, offers support for Tezos on its platform and offers a bidirectional interface to the blockchain.
The integration announced on Monday will provide 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 given 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%.
Wolfram Integration adds an important component to a smart contract developer's toolkit and simplifies analysis for smart contracts. However, the integration is still at an early stage and has a relatively basic range of functions. Wolfram Blockchain CEO Jon Woodard said:
"We plan to expand these capabilities in several key areas of the Tezos ecosystem: analytics, computational data 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 capital tied up in terms of capital employed.