Akarat Phasura - Shutterstock
- Tezos 'integration with Wolfram Language allows developers to access compute contracts and secure data.
- WBL hosts a Tezos node to provide connection direct with the Wolfram Language.
In a press release shared with the CNF, Wolfram Blockchain Labs (WBL) announced the integration of Tezos in its techno platformDistributed Register Logy (DLT). In collaboration with TQ Tezos, WBL fully integrated Tezos with Wolfram Language and Wolfram | Alpha, providing easy programmatic access to developers working on blockchain analytics and compute contracts.
The partnership also aims to provide an oracle for Tezos, which WBL developed to power Tezos-based smart contracts 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" on every run.
WBL expands its capabilities with Tezos
Stephen Wolfram's famous company has also announced that it will host Tezos nodes. Thus, the integration will have a direct connection with the programming language of Wolfram's Cloud and the computing system called Mathematica.
WBL is known among other things for providing an ecosystem basedon DLT to build apps with smart contracts. With the integration of Tezos, these smart contracts are much more secure by facilitating formal verification more easily
The goal is to provide developers using the Tezos blockchain with a simplified path to deploying smart contracts. In addition, Wolfram's extensive knowledge base and algorithm base (which powers Wolfram | Alpha) can reliably provide computational facts for oracles on Tezos. This opens up a range of new secure features that can be easily integrated into blockchain applications. Johan Veerman, CTO of Wolfram Blockchain Labs, had this to say about the integration:
Like 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 a block height of 1,343,489. The update introduced the Sapling protocol to allow more confidential transactions with a library for protected transactions also used. by Zcash .