TezosBlockchain
A few months following a Cardano integration, the DLT project Wolfram Blockchain Labs (WBL) has done the same with Tezos. As a result, developers working on blockchain analytics and computational contracts will be able to employ the Tezos network.
WBL is a provider of distributed ledger technology (DLT) solutions that support the development of a wide variety of smart contracts and decentralized applications. It’s the blockchain subsidiary of Wolfram Research – the creator of Mathematica, Wolfram|Alpha, and the Wolfram Language.
The project announced its latest blockchain partnership in a press release shared with CryptoPotato. It informed that the popular blockchain project Tezos has become the latest to be fully-integrated into WBL’s DLT ecosystem.
Apart from enabling developers working on analytics and computational contracts to utilize the Tezos blockchain, the partnership has also led to the establishment of a designated oracle providing Wolfram Alpha data to smart contract developers.
Furthermore, Tezos has utilized Nomadic Labs’ Mi-Cho-Coq formal verification framework to ensure that the oracle displays the same predictable behavior every time.
The statement also highlighted that products employing the Tezos blockchain will be “much more secure” because of the formal verification. It’s a process that “proves the correctness of properties of a smart contract to help mitigate the risks of bugs and other vulnerabilities.”
“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.
Prior to the Tezos integration, WBL partnered with another popular blockchain project – Cardano. Back in late December 2020, the two parties announced the collaboration, which operates in a somewhat similar way.
WBL began implementing Cardano’s DLT data into Wolfram Alpha, thus enabling developers to integrate external data into smart contracts on the Charles Hoskinson-founded project.
Further plans included the development of dApps to enable blockchain-based commerce and business model transformation and using some Cardano-specific content in an educational course material published by WBL.