In brief

  • Tezos has been integrated on Wolfram Alpha as part of a blockchain partnership.
  • The addition allows for the creation of reliable oracles, Wolfram said.

The Tezos blockchain is now fully integrated into computational tool Wolfram|Alpha as a result of a partnership between Wolfram Blockchain Labs and TQ Tezos, a New York-based incubator of the Tezos blockchain, according to a press release shared with Decrypt.

Wolfram Blockchain Labs (WBL) provides developers and companies with the necessary tool to create smart contracts and other blockchain-based programs. It is a division of Wolfram Research Inc., the firm behind Wolfram|Alpha, which is a search engine that uses advanced mathematics to solve problems in the fields of mathematics and sciences. The idea behind Wolfram|Alpha is that it can answer complex questions across a broad range of topics, including science, culture and health.

The firm has turned to Tezos’ high-speed network for building out its blockchain prowess. “Tezos is an exciting third-generation blockchain that features a number of services and functions that will expand what's available to our developers,” noted Johan Veerman, the chief technology officer of WBL.

As part of the addition, the Tezos blockchain is now fully integrated into the Wolfram Language, the underlying code used to build Wolfram’s products. This allows developers to deploy smart contracts on their apps in a simple and concise manner.

Oracles powered by Tezos

In the release, Wolfram said its expansive knowledgebase and "algorithmbase" (which power Wolfram|Alpha) can now be used to deliver computational facts for oracles built on Tezos.

Oracles are reliable and verifiable data feeds that are used to relay information to smart contracts or blockchains—as the latter can only store and process data and cannot validate the authenticity of incoming data. This is where oracles help, preventing faulty data from allowing an exploit to take place and providing reliable data.

Wolfram said that this enables it to support oracles in a more secure manner with “formal verification”—or a technical process of making a network more secure by automatically proving how correct the properties of a smart contract are. This would help mitigate any malicious activity using Wolfram tools, it said.

With the partnership, Tezos becomes one of four crypto networks that are supported on Wolfram, the others being Bitcoin, Ethereum, and Cardano.