Tau Net & $AGRS belichaamt de oorspronkelijke cyberpunkvisie van BTC en is expliciet gebouwd om gecentraliseerd bestuur te verwijderen.
Tau Net zorgt ervoor dat elke gebruiker wordt geteld, en implementeert automatisch afgesproken updates zonder centrale controle.👇
🧵2/6
Transacties op de Tau Net blockchain bevatten aanvankelijk opdrachten voor het overdragen van munten en nieuwe vereistenvoorstellen.
Over het algemeen zijn transacties tuples van elementen uit de Booleaanse algebra, bijvoorbeeld Booleaanse functies, eindige bitreeksen, Tau-formules, tabellen of elementen van elke Booleaanse algebra die door Tau wordt ondersteund. Aanvankelijk kijkt de keten, zoals hierboven, alleen naar de eerste twee elementen van deze tuples.
De tuples worden vervolgens samengevoegd als een tabel in een nieuw voorgesteld blok. Van daaruit volgen opdrachten voor het overdragen van munten en nieuwe regelvoorstellen twee verschillende paden.
🧵3/6 Vereiste Voorstellen:
Nieuwe vereisten volgen een ander pad; alle nieuwe vereisten in een blok worden samengevoegd, en dit maakt het deel waar iedereen het over eens is, aangeduid met “psi(Ψ)”.
In een derde stap wordt de “Overeengekomen Nieuwe Vereiste Ψ” gevoed aan de “Update Built-in” uitvoerstroom (met toegang tot de regels op tijd T), die de Pointwise Revision procedure uitvoert om de nieuwe vereiste op tijd T+1 te produceren.
🧵4/6
Het deel van de coinoverdracht in de transacties wordt uitgedrukt als "lokale delta's", wat een tabel is van adressen en bedragen die van elke (positieve of negatieve) transactie moeten worden overgedragen.
De lokale delta's worden vervolgens per adres opgeteld om de "Global delta" te vormen, die de netto balanswijziging voor elk adres geeft. Ten slotte wordt de globale delta opgeteld met de huidige saldotabel, wat resulteert in een nieuwe saldotabel. Tijdens de stap van de Balansverificatie, als een van de nieuwe saldi negatief blijkt te zijn, wordt het gehele voorgestelde nieuwe blok afgewezen.
🧵5/6 De Nieuwe Staat
Uiteindelijk vormen de nieuwe saldotabel op tijd T+1 en de nieuwe regels op tijd T+1 de nieuwe staat op tijd T+1. De nieuwe regels op tijd T+1 zullen de berekening van de staat op tijd T+2 regelen.
🧵6/6
Wat is de laatste update over Tau Net Test Net?
🛠 Juli Laatste Ontwikkelingsupdate – De Kern van Tau Net’s TestNet Alpha Bouwen
Het team heeft verdere stappen gezet richting TestNet Alpha door de blokcreatie te finaliseren, de parserprestaties te verbeteren en nieuwe algoritmen voor formule-normalisatie te ontwikkelen.
Hoogtepunten:
- TestNet Alpha: Blokcreatie, koppeling en Merkle root opslag voltooid
- SAT Solver: Migratie van Z3 naar CVC5 ontgrendelde betere normalisatie & satisfiabiliteit
- Parsing Engine: 60% prestatieverbetering + potentiële nieuwe parsing patent
- Taal R&D: Anti-prenexing normalisatie & specificatie voor eliminatie van Booleaanse kwantoren gereed.
Ohad heeft de laatste papers over temporele logica doorgenomen. Tau Net en $AGRS blijven ver voor op de huidige academische vooruitgang op dit gebied.
Tijdstempels:
00:12 - Karim’s Samenvatting
03:48 - David (Hoofdontwikkelaar)
- Succesvol overgestapt van Z3 naar CVC5, wat de algehele solverprestaties verbeterde.
- Werk aan normalisatie, satisfiabiliteit en interpretermodules met CVC5 voltooid.
- Ohad’s voorgestelde aanpak van het uitstellen van letterlijke resolutie voor bitvectorvergelijkingen geïmplementeerd.
- Umar geholpen met codebeoordelingen en debugging.
05:36 - Lucca (Tau Taalontwikkelaar)
- De initiële specificatie voor een algoritme ontwikkeld om functiekwantoren te elimineren voor gebruik in Tau’s tabelfunctie.
- Geïntegreerd in het anti-prenexing normalisatie-algoritme om formules te behandelen die niet door CVC5 worden gedekt.
- Voorbereidingen getroffen om dit algoritme te implementeren nu de pseudocode is afgerond.
- Begon met het gebruik van Tomáš’s nieuwe boomimplementatie en hielp bij het oplossen van de laatste problemen.
08:30 - Andrei Korotkoff (Senior Ontwikkelaar)
- Testnet alpha mijlpaal voor blokproductie en opslag voltooid, inclusief mempoolverwerking, blokkoppeling, Merkle root berekening en databasepersistentie.
- Dit werk legt de basis voor de volgende mijlpaal: persistente ketenstatus op basis van blokgeschiedenis.
- Een complex load testing tool ontwikkeld om het gedrag van de Tau-interpreter en blockchain-dynamiek onder puntgewijze revisie te simuleren.
11:20 - Tomáš Klapka (Senior Ontwikkelaar)
- Verschillende problemen van de boomovergang opgelost, waaronder negatiebehandeling, grammaticale typfouten en type-inferentiefouten.
- De parserbibliotheek herschreven om header-only te zijn.
- Docker-ondersteuning en nachtelijke releases voor de TGF-tool en parser gemaakt.
- De Tau-taal bijgewerkt om de verbeterde parser te integreren.
12:26 - Ohad (Oprichter & CTO)
- Gefocust op het ontwerpen van nieuwe algoritmen en team samenwerking.
- Domein-onafhankelijke talen verkend om besluitvormingsprocedures te verbeteren.
- Recente academische papers over temporele logica beoordeeld en bevestigd dat Tau voorloopt op huidig onderzoek.
1,42K
40
De inhoud op deze pagina wordt geleverd door derden. Tenzij anders vermeld, is OKX niet de auteur van het (de) geciteerde artikel(en) en claimt geen auteursrecht op de materialen. De inhoud is alleen bedoeld voor informatieve doeleinden en vertegenwoordigt niet de standpunten van OKX. Het is niet bedoeld als een goedkeuring van welke aard dan ook en mag niet worden beschouwd als beleggingsadvies of een uitnodiging tot het kopen of verkopen van digitale bezittingen. Voor zover generatieve AI wordt gebruikt om samenvattingen of andere informatie te verstrekken, kan deze door AI gegenereerde inhoud onnauwkeurig of inconsistent zijn. Lees het gelinkte artikel voor meer details en informatie. OKX is niet verantwoordelijk voor inhoud gehost op sites van een derde partij. Het bezitten van digitale activa, waaronder stablecoins en NFT's, brengt een hoge mate van risico met zich mee en de waarde van deze activa kan sterk fluctueren. Overweeg zorgvuldig of de handel in of het bezit van digitale activa geschikt voor je is in het licht van je financiële situatie.