• The Tezos integration with the Wolfram Language provides developers access to computational contracts and secure data.
• WBL hosts a Tezos node to provide a direct connection with the Wolfram Language.

In a press release shared with CNF, Wolfram Blockchain Labs (WBL) announced the integration of Tezos into its distributed ledger technology (DLT) platform. In collaboration with TQ Tezos, WBL has fully integrated Tezos with Wolfram Language and Wolfram|Alpha, providing easy programmatic access for developers working on blockchain analytics and computational contracts.

The partnership also aims to provide an oracle for Tezos, which WBL has developed to feed smart contracts built on Tezos with Wolfram Alpha data. It is used in conjunction with the Mi-Cho-Coq verification framework developed by Nomadic Labs. This way, smart contracts will have “predictable behavior” every time they are executed.

WBL expands its capabilities with Tezos

The famous company by Stephen Wolfram also announced that it will host Tezos nodes. Thus, the integration will have a direct connection with the programming language in Wolfram’s Cloud and the computational system called Mathematica.

WBL is known among other things for providing a DLT-based ecosystem for creating applications with smart contracts. With the integration of Tezos these smart contracts are made much more secure by more easily facilitating formal verification

[This] proves the correctness of properties of a smart contract to help mitigate therisks of bugs and other vulnerabilities. WBL collaboratedwith TQ Tezos to build up WolframLanguage support for advanced functionality, makingTezos integration an easy andintuitive part of the Wolfram system.

The goal 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. Wolfram Blockchain Labs CTO Johan Veerman had this to say about the integration:

Tezos is an exciting third generation blockchain thatfeatures a number of services and functions that willexpand what’s available to ourdevelopers. We’re thrilled to work with TQ Tezos onbringing the WBL ecosystem of tools tothe Tezos blockchain.

As reported by CNF, Tezos recently released one of its most important updates, Edo. Developed by Nomadics Labs, Marigold, DaiLambda, and Metastate, Edo was implemented at block height 1,343,489. The update introduced the Sapling protocol to enable more privacy-enhanced transactions with a library for shielded transactions also used by Zcash.