It has been reported that the integration adds support for Tezos blockchain data within the Wolfram Language, which allows developers to obtain analytical data from the blockchain.
However, the language specializes in advanced statistical queries that analyze smart contract activity, and the integration primarily aims to ease the deployment of smart contracts on Tezos.
The report said that Wolfram Blockchain has developed an oracle for Tezos that would supply its smart contracts with data available from Wolfram Alpha. The data also includes the pricing of assets, one of the primary use cases for oracles. This would make Wolfram the third oracle provider on the network, following Chainlink and Harbinger, a Tezos-native solution.
The blockchain division of popular computing tool Wolfram Alpha is now supporting Tezos, allowing developers to read data both from and on the blockchain, thanks to Wolfram's oracles. https://t.co/LBHANhtaSZ — Cointelegraph (@Cointelegraph) March 1, 2021
Likewise, Wolfram Blockchain collaborated with TQ Tezos, one of Tezos’ ecosystem development companies, for the integration.
The company said that the oracle contracts were formally verified through the Mi-Cho-Coq framework developed by Nomadic Labs. Formal verification allows creating mathematical proof guaranteeing that a certain program behaves correctly. Tezos is specifically focusing on making this process easier, sharing the focus with Cardano, another project supported by Wolfram Blockchain.
As reported recently, Tezos has made a number of moves aimed at attracting smart contract developers and decentralized finance projects. In November 2020, a network upgrades reduced transaction fees by 75%.
Also, the Wolfram integration adds an important component to a smart contract developer’s toolkit, simplifying analytics for smart contracts. Still, the integration remains in its early stages and has a relatively basic set of features.
Jon Woodard, the CEO of Wolfram Blockchain, said:
“We have plans to extend these capabilities in several key areas within the Tezos ecosystem: analytics, computational facts delivery and blockchain educational information.”
Thus, Wolfram Blockchain Labs is also exploring the possibility of becoming a Tezos “Baker,” its term for stakers, as the blockchain is one of the largest by the amount of capital locked in staking.