- Die Tezos-Integration mit der Wolfram Language ermöglicht Entwicklern den Zugriff auf Rechenverträge und sichere Daten.
- WBL hostet einen Tezos Node, um eine direkte Verbindung mit der Wolfram Language zu ermöglichen.
In einer Pressemitteilung, die mit CNF geteilt wurde, kündigte Wolfram Blockchain Labs (WBL) die Integration von Tezos in seine Distributed Ledger Technologie (DLT) Plattform an. In Zusammenarbeit mit TQ Tezos hat WBL Tezos vollständig in die Wolfram Language und Wolfram Alpha integriert und bietet damit einen einfachen Zugang für Entwickler, die an Blockchain-Analysen und Computational Contracts arbeiten.
Die Partnerschaft zielt auch darauf ab, ein Orakel für Tezos bereitzustellen, das WBL entwickelt hat, um auf Tezos aufbauende Smart Contracts mit Wolfram Alpha-Daten zu füttern. Es wird in Verbindung mit dem von Nomadic Labs entwickelten Verifikations-Framework Mi-Cho-Coq verwendet. Auf diese Weise werden Smart Contracts jedes Mal, wenn sie ausgeführt werden, ein „vorhersehbares Verhalten“ haben.
WBL erweitert seine Fähigkeiten mit Tezos
Das berühmte Unternehmen von Stephen Wolfram hat auch angekündigt, dass es einen Tezos Node hosten wird. Somit wird die Integration eine direkte Verbindung mit der Programmiersprache in Wolframs Cloud und dem Rechensystem namens Mathematica haben.
WBL ist unter anderem dafür bekannt, ein DLT-basiertes Ökosystem zur Erstellung von Anwendungen mit Smart Contracts anzubieten. Durch die Integration von Tezos werden diese Smart Contracts deutlich sicherer, da sie eine formale Verifikation erleichtern:
Damit wird die Korrektheit von Eigenschaften eines Smart Contracts nachgewiesen, um das Risiko von Bugs und anderen Schwachstellen zu mindern. WBL hat mit TQ Tezos zusammengearbeitet, um die WolframLanguage-Unterstützung für fortgeschrittene Funktionen aufzubauen und die Tezos-Integration zu einem einfachen und intuitiven Teil des Wolfram-Systems zu machen.
Das Ziel ist es, Entwicklern, welche die Tezos Blockchain nutzen, einen vereinfachten Weg zum Einsatz von Smart Contracts zu bieten. Darüber hinaus kann die umfangreiche Wissens- und Algorithmenbasis von Wolfram (die Wolfram|Alpha antreibt) zuverlässig rechnerische Fakten für Oracle auf Tezos liefern.
Dies eröffnet eine Reihe von neuen, sicheren Funktionalitäten, die leicht in Blockchain-Anwendungen integriert werden können. Johan Veerman, CTO von Wolfram Blockchain Labs, sagte Folgendes über die Integration:
Tezos ist eine aufregende Blockchain der dritten Generation, die eine Reihe von Diensten und Funktionen bietet, die das Angebot für unsere Entwickler erweitern werden. Wir sind begeistert, mit TQ Tezos zusammenzuarbeiten, um das WBL-Ökosystem von Tools auf die Tezos-Blockchain zu bringen.
Wie von CNF berichtet, hat Tezos vor kurzem eines seiner wichtigsten Updates „Edo“ veröffentlicht. Entwickelt von Nomadics Labs, Marigold, DaiLambda und Metastate, wurde Edo auf Blockhöhe 1.343.489 implementiert. Das Update führte das Sapling Protokoll ein, um Transaktionen mit erhöhter Privatsphäre zu ermöglichen, mit einer Bibliothek für Shielded Transaktionen, die auch von Zcash verwendet wird.
