Tezos and Wolfram Research’s blockchain subsidiary have teamed up to make smart contract creation more stable.
Since integrating Cardano a few months ago, Wolfram Blockchain Labs (WBL) has now done the same with Tezos. As a result, Tezos will be open to developers working on blockchain analytics and computational contracts.
Tezos is integrated by WBL.
WBL is a distributed ledger technology (DLT) solution provider that facilitates the development of a wide range of smart contracts and decentralized applications. It’s Wolfram Research’s blockchain affiliate, and it’s the business behind Mathematica, Wolfram|Alpha, and the Wolfram Language.
In a press release shared with CryptoPotato, the project revealed its new blockchain collaboration. Tezos, a successful blockchain project, is the latest to be completely incorporated into WBL’s DLT ecosystem, according to the company.
The collaboration has resulted in the establishment of a dedicated oracle offering Wolfram Alpha data to smart contract developers, in addition to allowing developers working on analytics and computational contracts to use the Tezos blockchain.
Tezos has also used Nomadic Labs’ Mi-Cho-Coq formal verification method to ensure that the oracle still behaves in the same predictable way.
Because of the structured verification, products using the Tezos blockchain would be far more reliable, according to the statement. It’s a tool for proving the correctness of a smart contract’s properties in order to reduce the chance of bugs and other flaws.
“Tezos is an exciting third-generation blockchain that features a number of services and functions that will expand what’s available to our developers. We’re thrilled to work with TQ Tezos on bringing the WBL ecosystem of tools to the Tezos blockchain.”– commented WBL CTO Johan Veerman.
Following Cardano’s Directions
WBL has begun incorporating Cardano’s DLT data into Wolfram Alpha, allowing developers to incorporate external data into smart contracts on Charles Hoskinson’s project.
Other plans included the development of decentralized applications (dApps) to allow blockchain-based commerce and business model transformation, as well as the inclusion of Cardano-specific content in WBL’s educational course material.