Wolfram Blockchain Labs (WBL) and TQ Tezos are proud to announce 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, giving easy programmatic access for developers working on blockchain analytics and computational contracts.
WBL and TQ Tezos have also developed an oracle to provide Wolfram Alpha data to Tezos smart contract developers. Additionally, TQ Tezos has utilized Nomadic Labs’ Mi-Cho-Coq formal verification framework to ensure that the oracle contract exhibits the same predictable behavior each time it is called.
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 of the pairing is to provide developers using the Tezos blockchain with a simplified path to smart contract deployment. In addition, Wolfram’s expansive knowledgebase and algorithmbase (which power Wolfram|Alpha) can reliably deliver computational facts for oracles on Tezos. This opens up a range of new, secure functionality that can be easily incorporated into blockchain applications.
WBL has long had a particular focus on enabling smart contracts, which are made much more secure on Tezos by more easily facilitating formal verification. 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 collaborated 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, said, “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.”
To get started using Tezos via Wolfram tools, start your free trial of Wolfram|One.
About Wolfram Blockchain Labs
Wolfram Blockchain Labs provides distributed ledger technology ecosystems with the tools necessary to assist in the development of a wide variety of smart, contract-based applications. Wolfram Blockchain Labs is the DLT-focused subsidiary of Wolfram Research, Inc., creator of Mathematica, Wolfram|Alpha and the Wolfram Language. Wolfram is the leader in developing technology and tools that inject sophisticated computational intelligence into everything.
About Tezos
Tezos is smart money, redefining what it means to hold and exchange value in a digitally connected world. A self-upgradable blockchain with a proven track record, Tezos seamlessly adopts tomorrow’s innovations without network disruptions today. To learn more, visit Tezos.com
