Tezos receives a brand new oracle by means of the mixing of Wolfram Blockchain Labs
Wolfram Blockchain Labs, the cryptocurrency-oriented department of the popular computer engine provider Wolfram Alpha, offers support for Tezos (XTZ) on its platform and offers a bidirectional interface to the Tezos 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 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, 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. The integration is still in its early stages and has relatively basic functionality. 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, which is a term for stakers. The blockchain is one of the largest amounts of capital tied up in terms of capital employed.