Tau Chain ist ein dezentralisiertes Peer-to-Peer-Netzwerk, das behauptet, dass die Turing-Vollständigkeit von Ethereum die falsche Richtung sei, da es sich um eine unentscheidbare Logik handelt und ein komplizierter Teil fehlt: der Sprachnachweis.
Cointelegraph sprach mit den Tau Chain-Entwicklern HunterMinerCrafter (HMC) und Ohad Asor vom Tau-Team über das Projekt und wie es sich von anderen dezentralisierten Netzwerken unterscheidet, wie beispielsweise seine Fähigkeit, Behauptungen über Code mit „entscheidbarer Logik“ zu beweisen.
Das Tau-System ist wie ein Gewebe mit drei unterschiedlichen Eigenschaften gewebt: Regeln, Proofs und Computerprogrammierung. Regeln des Netzwerks und Protokolle werden von seiner Benutzerbasis mit unabhängigen Welten bestimmt, die auf dem Tau erstellt wurden. Dies verleiht der Tau-Kette die einzigartige Fähigkeit, eine vereinfachte und einheitliche Sprache zu sein. Dies ermöglicht es, „entscheidbare“ Computerprogramme bereitzustellen, im Gegensatz zu einem vollständigen Turing-Protokoll wie Ethereum.
„Tau ist eine Blockchain für abstrakte Protokolle, die sowohl ihre Definition als auch ihre Ausführung koordiniert.“
— HunterMinerCrafter, Tau-Entwickler
Der Name „Tau“ bezieht sich auf die Tautologie und funktioniert als Software-Client ontologischer Regeln. Die Regeln werden mithilfe eines „Reasoners“ festgelegt, der logische Argumente und gelieferte Beweise verwendet. Die Sprache und Kommunikation werden für Menschen lesbar sein und nach Implementierungen von RDF auch als HTTP kommunizieren. Tau wird in der Lage sein, mit einer Vielzahl von Peer-to-Peer-Netzwerken zu kommunizieren, die als „dezentraler Github- und App-Store“ fungieren.
Cointelegraph: Wie implementieren Sie die Nutzung eines P2P-Netzwerks für Benutzer mit Tau Chain?
HunterMinerCrafter: Tau ist eine Blockchain für abstrakte Protokolle, die sowohl ihre Definition als auch ihre Ausführung koordiniert. Es ist ein System zum Definieren, Bilden und Verwalten von transaktionalen Overlay-Netzwerken im offenen Internet, unabhängig von Funktion und Zweck.
Theoretisch könnte die Semantik jedes existierenden Protokolls darauf implementiert werden. Jedoch könnte dies nicht unbedingt jede Protokollsyntax direkt tun. Einige existierende Protokollspezifikationen benötigen möglicherweise eine zusätzliche “Brücke”, um zwischen anderen Darstellungen und dem spezifischen System von Taus URI- und XML-basierten Symbolen zu kommunizieren.
Ohad Asor: Tau ist eine allgemeine Programmiersprache, die alles ausdrücken kann, was ein Computer tun kann. Somit ist es möglich, jede beliebige Software damit zu implementieren.
Aber es ist die erste Programmiersprache, die P2P und Blockchain integriert hat: Es ist nicht nur eine eigenständige Sprache, sondern kann kollaborativ funktionieren, während Remote-Computer sich dank der integrierten Blockchain (über ein einheitliches Tau) vertrauenswürdig synchronisieren können Chain) und dank DHT-Build-Ins können sie vertrauenswürdige Daten austauschen.
Der Programmierer in der Sprache von Tau kann DHT- und Blockchain-Primitive als Teil der Sprache verwenden. Tau bietet weitere Funktionen zur Anpassung an ein dezentralisiertes Netzwerk, um zwei Hauptmerkmale zu nennen: Bei einem Tau-Code kann man Behauptungen über den Code beweisen (mit dem Tau-Client oder einer anderen Prüfsoftware). Das heißt, die Überprüfung, ob der Code den formalen Anforderungen entspricht, erfordert keine QA!
Es ist möglich, für jede richtige Aussage über den Code einen mathematischen und eindeutigen Beweis zu führen. Diese Magie ist darauf zurückzuführen, dass die Sprache nicht vollständig Turing ist (was eine unentscheidbare Logik darstellt) und die total funktionale Programmiersprache, die eine entscheidbare Logik hat, aber dennoch alle berechenbaren Programme ausführen kann.
„Tau Chain wird eine gemeinsame Anstrengung der Gemeinschaft sein, um ein stabiles Netzwerk aus unterschiedlichen, aber interoperierenden und voneinander abhängigen P2P-Netzwerken zu bilden.“
Tau kann seinen eigenen Ausführungspfad oder die Ausführung von darüber geschriebenen Programmen nachweisen: Moderne Fortschritte in der Informatik geben die Möglichkeit, Datentypen und Programmausführung zu authentifizieren. Unsere Methode basiert auf Andrew Millers GADS (Lambda-Auth). Das Hashen großer Datenmengen, wie Bitcoin die Blocktransaktionen hasht, erfolgt über den sogenannten Merkle-Baum. Auf Tau kann dieser Baum (der von der Blockchain mit einem Zeitstempel versehen ist) heruntergefahren werden, um Datendateien über das DHT oder die Ausführung von Programmen auf entfernten und vertrauenswürdigen Maschinen zu authentifizieren.
CT: Inwiefern ist Tau Chain mehr als nur ein P2P-Netzwerk?
HMC: Tau Chain wird eine gemeinschaftliche Anstrengung der Gemeinschaft sein, um ein stabiles Netzwerk von unterschiedlichen, aber interoperierenden und voneinander abhängigen P2P-Netzwerken zu bilden. Tau geht von der Annahme aus, dass niemand etwas vertrauen kann, außer der Beständigkeit der Tau-Wurzelkette, und baut auf dieser Annahme eine Verfeinerung einer sicheren Plattform für jede verallgemeinerte Mehrparteien-Transaktionsfunktion auf.
CT: Würden Sie Tau Chain als eine Art Sprach- oder Turing-Dienst betrachten?
OA: Wenn Sie mit Turing-Dienst einen Berechnungsdienst meinen – Tau ist eine Sprache, und die Tau-Kette (in der ihre Funktionen in der Sprache tau integriert sind) unterstützt die einfache Implementierung von Berechnungsdiensten: Sie endet mit den Benutzereinstellungsregeln für “was” sollte der Client tun, wenn ein anderer Client Rechenarbeit anfordert.”
Taus Sprache hat die Syntax von Subjekt-Verb-Objekt, die aus RDF-Sprachen (Semantic Web) wie Notation3 entlehnt ist, die der menschlichen Linguistik viel näher sind als andere Sprachen.
Dennoch leihen wir uns nur die Syntax: Sie enthalten keine vorgeschriebene Semantik, die sie praktisch zu universellen Programmiersprachen macht, und wir fügen diese Schicht hinzu, indem wir RDF-Sprachen eine Schicht des sogenannten Typsystems (genauer gesagt Martin -Lof-Typensystem, das die Magie von Beweisen ermöglicht und dennoch Allgemeingültigkeit behält).
„Tau ist auch wie ein dezentraler App Store. Es ermöglicht das Ausführen von Apps aus der Tau-Kette.“
CT: Sie wurden als dezentraler GitHub bezeichnet, können Sie das erklären?
HMC: Die in Tau definierten Protokolle sind ausführbare Spezifikationen, die Seitenketten zur Wurzelkette definieren können. Sie können auch Protokolle definieren, um ihr eigenes Protokoll über diese Seitenkette zu aktualisieren. Dadurch können sie sich in ihrer Kette „lagern“. Die Tau-Root-Chain ermöglicht es, dass diese in der Sidechain gespeicherten Definitionen intermittierend in der Root-Kette verknüpft und indiziert werden.
OA: Tau ist auch wie ein dezentraler GitHub, aber mit weitreichenden Fähigkeiten dank der Entscheidbarkeit unseres Typsystems (das in Turing-vollständigen Sprachen nicht existiert).
Dies ermöglicht eine ultimative Wiederverwendung von Code: Wenn Sie eine Funktion oder ein Stück Code benötigen, können Sie nur die Anforderungen dieser Funktion formulieren, und wenn bereits eine passende in Taus Codebasis vorhanden ist, können Sie sie leicht finden und verwenden.
„Tau-Ressourcen müssen nicht direkt durch ein Token unterstützt werden, und der Ressourcenaustausch kann von den Benutzern nach Belieben ausgehandelt werden.“
CT: Wie ist es im Vergleich zu Ethereum?
HMC: Ethereum ist eine vollständige Turing-Logik pro Block. Dies bedeutet, dass sie leicht nachweisen können, dass sie jede berechenbare Sache in einem Block berechnen können, jedoch auf Kosten der Tatsache, dass sie nicht unbedingt wissen können, wie viel Ressourcen für die Berechnung des Blocks benötigt werden.
Aus diesem Grund müssen sie ihre Ressourcen mit einem festen Token-Asset sichern und einen netzwerkweiten Ressourcenpreis für Berechnungen festlegen, um einen Ressourcenmissbrauch zu vermeiden. Um den Austausch zu sichern, verlangen sie außerdem, dass jeder, der den Block validiert, alles, was jemals ausgeführt wurde, effektiv erneut ausführt.
Im Gegensatz dazu ist Tau eine entscheidbare vollständige Logik pro Block, wobei die Turing-Vollständigkeit durch die Iteration mehrerer Blöcke wiederhergestellt wird. Dies bedeutet, dass wir keine berechenbaren Dinge in einem Block berechnen können, aber wir können genau wissen, wie viel Ressourcenaufwand ein Block zur Überprüfung benötigt. Wir können immer noch jedes berechenbare Ding berechnen; es kann nur erforderlich sein, die Ausführung so zu strukturieren, dass sie über mehrere Blöcke läuft. Aus diesem Grund müssen Tau-Ressourcen nicht direkt durch ein Token unterstützt werden, und der Ressourcenaustausch kann von den Benutzern nach Belieben ausgehandelt werden.
Da es darüber hinaus entscheidbar ist, Tau alle seine logischen Auflösungen kontextualisieren kann, sind die einzigen Prozesse, die notwendigerweise von allen Teilnehmern erneut ausgeführt werden müssen, der Ressourcenaufwand, der erforderlich ist, um die Wurzelkette sicher zu erhalten. Jeder andere Prozess muss nur von Teilnehmern erneut ausgeführt werden, die daran interessiert sind, Aktivitäten zu verifizieren, die in diesem Kontext aufgetreten sind, und können von anderen Benutzern ignoriert werden, ohne auf lange Sicht irgendeine Sicherheit zu opfern.
OA: Tau unterstützt natürlich Allzweck-Apps, die bei Ethereum völlig fehlen, sodass man diesbezüglich keinen sinnvollen Vergleich anstellen kann.
Lassen Sie mich nun fünf wesentliche Unterschiede aufzählen:
- Der Ethereum-Client ist fest eingestellt, was bedeutet, dass sich das Protokoll des Netzwerks mit der Zeit nicht ändern kann. Es ist fest codiert, und wenn Benutzer eines Tages ihr Verhalten ändern möchten, benötigen sie wahrscheinlich einen Hard-Fork der Ethereum-Blockchain. Andererseits ist das Verhalten und der Code des Tau-Clients selbst in der Kette. Stellen Sie sich vor, Sie öffnen ein GitHub-Repository mit einem Code und alles, was es tut, ist, seinen eigenen Code von GitHub herunterzuladen und auszuführen. Genau das macht der Tau-Client: Jeder Block enthält seinen eigenen Code, einschließlich der Bedingungen für die Annahme des nächsten Blocks. Daher erhalten wir maximale Flexibilität nicht nur für Apps über Tau, sondern für Tau selbst.
- Die Regeln von Ethereum werden von ihren Entwicklern vorgegeben. Tau wird ohne Regeln herauskommen. Seine Benutzer werden sein Verhalten festlegen. In diesem Sinne beginnt Tau a priori mit einem totalen Gleichgewicht zwischen seinen Teilnehmern.
- Die Anwendungen von Ethereum sind in einer vollständigen Turing-Sprache geschrieben, die die ganze Magie der Beweise über einen bestimmten Code deaktiviert, wie an vielen Stellen betont.
- Ethereum unterstützt keine separaten Kontexte: Jeder führt den gesamten Code aus. Daher ist es unpraktisch, Allzweck- oder HPC-Software über Ethereum bereitzustellen. Auf der anderen Seite hat Tau separate Kontexte, sodass man einen Kontext abonnieren kann (wie das Installieren einer App aus dem Appstore/GooglePlay), ohne andere Kontexte zu stören. Dieser Kontext kann jedoch auf andere vorhandene Kontexte verweisen und deren Code wiederverwenden.
- Das Modell von Ethereum erfordert eine Münze (“Treibstoff”). Tau braucht keine Münze: Die Nutzer können sich auf die wirtschaftlichen Eigenschaften des Netzwerks einigen und jede Art von Anreiz definieren, die sie für angemessen halten, sei es global über das gesamte Netzwerk oder über ihren lokalen Tau-Kunden.
„Das gesamte Bitcoin-Protokoll könnte leicht mit den gleichen Regeln auf Tau implementiert werden.“
CT: Ist Tau kompatibel mit dem Bitcoin blockchain?
HMC: Das gesamte Bitcoin-Protokoll könnte mit den gleichen Regeln problemlos auf Tau implementiert werden. Die in Tau definierten Protokolle können von einem Zustand außerhalb von Tau abhängen, sodass dies eine gewisse Interoperabilität mit Bitcoin ermöglichen würde. Damit etwas im Tau-Netzwerk jedoch direkt mit dem Bitcoin-Netzwerk kommunizieren kann, wäre etwas wie die oben erwähnte Brücke erforderlich, um zwischen den Bitcoin-Nachrichtenformaten und den verknüpften Datendarstellungen von Tau zu übersetzen.
CT: Können Sie einen Überblick über Ihre geplante Zeitleiste geben?
HMC: Zuerst beenden wir die Kernlogik und die IO-Mechanismen. Dann schreiben wir erste “Genesis-Regeln” für die Wurzelkette. Endlich sind wir fertig.
OA: Es ist schwer und sogar unehrlich, Zahlen in die Luft zu werfen, ohne wirklich dahinterstehen zu wollen. Was ich sagen kann ist, dass wir den größten Teil des Weges fertig sind und die schwierigen Teile hinter uns liegen, und wir haben bereits einen Code, der einige andere hochmoderne Dienstprogramme (wie semantische Web-Begründer und automatisierte Theorembeweiser) schlägt. . Ich würde sagen, dass wir noch ein paar Monate von der Entstehung entfernt sind (weniger als 6).
CT: Können Sie eine einfache ELI5-Beschreibung dafür geben, was Tau einer durchschnittlichen Person antun kann?
HMC: Tau ist so etwas wie ein “Facebook” oder “Twitter”, bei dem Benutzer in Gruppen zusammenarbeiten können, um zu ändern, wie der Dienst selbst funktioniert und was er anbietet. Dies geschieht auf eine Weise, die nicht auf ein einzelnes Unternehmen als Anbieter angewiesen ist und niemals implizit Ihre Rechte oder Ihre Privatsphäre gefährdet.
Comments are closed.