Wolfram Blockchain Labs will reportedly be integrating Tezos (XTZ) into the Wolfram Language and Wolfram|Alpha.
Wolfram Blockchain Labs (WBL) and TQ Tezos recently confirmed the integration of Tezos to WBL’s distributed ledger technology (DLT) platform. The Tezos blockchain is now “fully integrated” into the Wolfram Language and Wolfram|Alpha – which will provide easy “programmatic access” for application developers working on DLT-focused analytics and computational contracts.
WBL and TQ Tezos have also created an Oracle to provide Wolfram Alpha data to Tezos smart contract developers. TQ Tezos has reportedly used Nomadic Labs’ Mi-Cho-Coq formal verification framework “to ensure that the Oracle contract exhibits the same predictable behavior each time it is called.”
As mentioned in a release shared with CI:
“This collaboration is the latest in WBL’s growing suite of functionality for blockchain reading, writing, and analysis. WBL now hosts Tezos nodes in their high-performance cluster, providing direct connections for smooth Wolfram Language integration on desktop (Mathematica) and cloud (Wolfram Cloud). Wolfram has long had a particular focus on enabling oracles and smart contract services, which are made much more secure on Tezos via formal verification.”
The goal or purpose of this pairing is to offer software engineers using the Tezos blockchain with a “simplified” path to smart contract deployment. Additionally, Wolfram’s “expansive” knowledge-base and algorithm-base (which power Wolfram|Alpha) can “reliably deliver computational facts for Oracles on Tezos,” the announcement noted.
As explained in the release, these initiatives open up “a range of new, secure functionality that can be easily incorporated into blockchain applications.”
WBL has been focused on supporting DLT-powered smart contracts, which are “made much more secure on Tezos by more easily facilitating formal verification.”
As noted in the update:
“Formal verification is a process that proves the correctness of properties of a smart contract to help mitigate the risks of bugs and other vulnerabilities.”
WBL worked cooperatively with TQ Tezos to “build up” Wolfram Language support for “advanced functionality,” making Tezos integration an “easy and intuitive part of the Wolfram system.”
Johan Veerman, CTO of WBL, stated:
“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.”
You may get started using Tezos through Wolfram tools (start your free trial of Wolfram|One here).
Wolfram Blockchain Labs offers DLT ecosystems with the tools required to support the development of “smart, contract-based applications.” Wolfram Blockchain Labs is the DLT or blockchain-focused subsidiary of Wolfram Research, Inc., which is the creator of Mathematica, Wolfram|Alpha and the Wolfram Language.
Wolfram is a recognized leader in creating technology and tools that “inject sophisticated computational intelligence into everything.”
Tezos is “smart money” that is focused on “redefining what it means to hold and exchange value in a digitally connected world.” Tezos is a “self-upgradable” blockchain with an established track record. Tezos’ developers claim that the platform can “seamlessly adopt tomorrow’s innovations without network disruptions today.”