Tau Net & $AGRS verkörpert die ursprüngliche Cyberpunk-Vision von BTC und ist ausdrücklich darauf ausgelegt, zentrale Governance zu entfernen.
Tau Net stellt sicher, dass jeder Benutzer gezählt wird, und implementiert automatisch vereinbarte Updates ohne zentrale Kontrolle.👇
🧵2/6
Transaktionen auf der Tau Net Blockchain enthalten zunächst Münzübertragungsaufträge und neue Anforderungsvorschläge.
Im Allgemeinen sind Transaktionen Tupel von Elementen der Booleschen Algebra, z. B. Boolesche Funktionen, endliche Bitfolgen, Tau-Formeln, Tabellen oder Elemente jeder von Tau unterstützten Booleschen Algebra. Zunächst betrachtet die Kette, wie oben erwähnt, nur die ersten beiden Elemente dieser Tupel.
Die Tupel werden dann als Tabelle in einem neu vorgeschlagenen Block zusammengestellt. Von dort aus folgen Münzübertragungsaufträge und neue Regelvorschläge zwei verschiedenen Wegen.
🧵3/6 Anforderungsproposals:
Neue Anforderungen folgen einem anderen Weg; alle neuen Anforderungen in einem Block werden zusammengefügt, und das macht den Teil, auf den sich alle einigen, bezeichnet als „psi(Ψ)“.
In einem dritten Schritt wird die „Zustimmte Neue Anforderung Ψ“ in den „Update Built-in“ Ausgabestrom eingespeist (der Zugang zu den Regeln zum Zeitpunkt T hat), der das Pointwise Revision Verfahren durchführt, um die neue Anforderung zum Zeitpunkt T+1 zu erzeugen.
🧵4/6
Der Teil der Transaktionen, der die Übertragung von Coins betrifft, wird als "lokale Deltas" ausgedrückt, die eine Tabelle von Adressen und Beträgen darstellen, die von jeder (positiven oder negativen) Transaktion übertragen werden sollen.
Die lokalen Deltas werden dann nach Adresse summiert, um das "Globale Delta" zu bilden, das die Nettobalanceänderung für jede Adresse angibt. Schließlich wird das globale Delta mit der aktuellen Salden-Tabelle summiert, was zu einer neuen Salden-Tabelle führt. Während des Schrittes zur Saldenüberprüfung, wenn einer der neuen Salden negativ ist, wird der gesamte vorgeschlagene neue Block abgelehnt.
🧵5/6 Der neue Zustand
Schließlich bilden die neue Bilanztabelle zum Zeitpunkt T+1 und die neuen Regeln zum Zeitpunkt T+1 den neuen Zustand zum Zeitpunkt T+1. Die neuen Regeln zum Zeitpunkt T+1 werden die Berechnung des Zustands zum Zeitpunkt T+2 regeln.
🧵6/6
Was ist das Neueste zum Tau Net Testnetz?
🛠 Juli Neueste Entwickler-Update – Aufbau des Kerns von Tau Nets TestNet Alpha
Das Team hat den Fortschritt in Richtung TestNet Alpha vorangetrieben, indem es die Blockerstellung abgeschlossen, die Parsing-Leistung verbessert und neue Algorithmen zur Normalisierung von Formeln entwickelt hat.
Höhepunkte:
- TestNet Alpha: Blockerstellung, Verlinkung und Speicherung der Merkle-Wurzel abgeschlossen
- SAT-Löser: Migration von Z3 zu CVC5 hat eine bessere Normalisierung und Erfüllbarkeit freigeschaltet
- Parsing-Engine: 60% Leistungssteigerung + potenzielles neues Parsing-Patent
- Sprach-F&E: Anti-Präfix-Normalisierung & Spezifikation zur Eliminierung von booleschen Quantoren bereit.
Ohad hat die neuesten Arbeiten zur temporalen Logik überprüft. Tau Net und $AGRS liegen weit vor dem aktuellen akademischen Fortschritt auf diesem Gebiet.
Zeitstempel:
00:12 - Karims Zusammenfassung
03:48 - David (Leitender Entwickler)
- Erfolgreich von Z3 auf CVC5 umgeschaltet, was die Gesamtleistung des Lösers verbessert hat.
- Arbeit an Normalisierung, Erfüllbarkeit und Interpretermodulen mit CVC5 abgeschlossen.
- Ohads vorgeschlagene Methode zur Verzögerung der Literalauflösung für Bitvektor-Gleichungen implementiert.
- Umar bei Code-Reviews und Debugging unterstützt.
05:36 - Lucca (Tau-Sprachentwickler)
- Die erste Spezifikation für einen Algorithmus zur Eliminierung von Funktionsquantoren für die Verwendung in Taus Tabellenfunktion entwickelt.
- In den Anti-Präfix-Normalisierungsalgorithmus integriert, um Formeln zu behandeln, die nicht von CVC5 abgedeckt sind.
- Bereitet die Implementierung dieses Algorithmus vor, jetzt da der Pseudocode abgeschlossen ist.
- Begann, Tomáš' neue Baumimplementierung zu verwenden und half, die letzten Probleme zu lösen.
08:30 - Andrei Korotkoff (Senior Developer)
- Testnet-Alpha-Meilenstein für die Blockproduktion und -speicherung abgeschlossen, einschließlich Mempool-Verwaltung, Blockverlinkung, Berechnung der Merkle-Wurzel und Datenbankpersistenz.
- Diese Arbeit legt die Grundlage für den nächsten Meilenstein: persistenter Kettenzustand basierend auf der Blockhistorie.
- Ein komplexes Lasttestwerkzeug entwickelt, um das Verhalten des Tau-Interpreters und die Dynamik der Blockchain unter punktueller Revision zu simulieren.
11:20 - Tomáš Klapka (Senior Developer)
- Mehrere Probleme beim Wechsel des Baums behoben, einschließlich Negationsbehandlung, Grammatikfehler und Typinferenzfehler.
- Die Parser-Bibliothek so umgestaltet, dass sie nur Header enthält.
- Docker-Unterstützung und nächtliche Releases für das TGF-Tool und den Parser erstellt.
- Die Tau-Sprache aktualisiert, um den verbesserten Parser zu integrieren.
12:26 - Ohad (Gründer & CTO)
- Konzentrierte sich auf das Design neuer Algorithmen und die Zusammenarbeit im Team.
- Erforschte domänenunabhängige Sprachen zur Verbesserung der Entscheidungsverfahren.
- Überprüfte aktuelle akademische Arbeiten zur temporalen Logik und bestätigte, dass Tau weiterhin der aktuellen Forschung voraus ist.
1.315
39
Der Inhalt dieser Seite wird von Dritten bereitgestellt. Sofern nicht anders angegeben, ist OKX nicht der Autor der zitierten Artikel und erhebt keinen Anspruch auf das Urheberrecht an den Materialien. Der Inhalt wird ausschließlich zu Informationszwecken bereitgestellt und gibt nicht die Ansichten von OKX wieder. Er stellt keine wie auch immer geartete Befürwortung dar und sollte nicht als Anlageberatung oder Aufforderung zum Kauf oder Verkauf digitaler Vermögenswerte betrachtet werden. Soweit generative KI zur Bereitstellung von Zusammenfassungen oder anderen Informationen verwendet wird, können solche KI-generierten Inhalte ungenau oder inkonsistent sein. Bitte lesen Sie den verlinkten Artikel für weitere Details und Informationen. OKX ist nicht verantwortlich für Inhalte, die auf Websites Dritter gehostet werden. Der Besitz digitaler Vermögenswerte, einschließlich Stablecoins und NFTs, ist mit einem hohen Risiko verbunden und kann starken Schwankungen unterliegen. Sie sollten sorgfältig abwägen, ob der Handel mit oder der Besitz von digitalen Vermögenswerten angesichts Ihrer finanziellen Situation für Sie geeignet ist.