✅ Een andere mijlpaal voor de Tau Net Testnet bereikt: Block Schema & Merkle Root.
Zoals vermeld in onze recente ontwikkelingsupdate, hebben we het block schema voor Tau Test Net voltooid en de berekening van de Merkle root geïntegreerd.
Het systeem nu:👇
- Stelt blokken samen uit mempool-transacties.
- Hash links blokken naar eerdere.
- Berekent Merkle roots voor transactie-integriteit.
- Slaat elk blok op in de persistente DB.
Senior Developer Andrei is nu de staat aan het construeren vanuit het historische grootboek, blok voor blok vanaf het genesisblok, en hoopt binnenkort een persistente ketenstaat te bereiken en misschien zelfs gedeeltelijk peer-to-peer (P2P) netwerken.
Volg ons om op de hoogte te blijven van het ultieme Crypto en Defi-infrastructuur.
🧵2/2:
🛠 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.
2,65K
50
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.