✅ En annan milstolpe för Tau Net Testnet har nåtts: Block Schema och Merkle Root.
Som vi nämnde i vår senaste utvecklingsuppdatering har vi slutfört blockschemat för Tau Test Net och integrerat Merkle root-beräkning.
Systemet nu: 👇
- Sätter ihop block från mempool-transaktioner.
- Hash-länkar block till tidigare.
- Beräknar Merkle-rötter för transaktionsintegritet.
- Lagrar varje block i den beständiga databasen.
Senior Developer Andrei bygger nu upp tillståndet från den historiska huvudboken, går block för block från genesis-blocket, och hoppas snart uppnå ett ihållande kedjetillstånd och kanske till och med delvis peer-to-peer-nätverk (P2P).
Följ oss för att hålla dig uppdaterad om att vara en del av den ultimata Crypto- och Defi-infrastrukturen.
🧵2/2:
🛠 Juli Senaste Dev Update - Bygga kärnan i Tau Nets TestNet Alpha
Teamet gick vidare mot TestNet Alpha genom att slutföra skapandet av block, förbättra parsningsprestanda och utveckla nya algoritmer för normalisering av formler.
Höjdpunkter:
- TestNet Alpha: Skapande, länkning av block och Merkle-rotlagring slutförd
- SAT Solver: Migrering från Z3 till CVC5 låser upp bättre normalisering och satisfierbarhet
- Parsing Engine: 60 % prestandaökning + potentiellt nytt parsningspatent
- Språk-R&D: Anti-prenexing normalisering och boolesk kvantifierare eliminering spec redo.
Ohad har granskat de senaste artiklarna i temporal logik. Tau Net och $AGRS ligger fortfarande långt före de nuvarande akademiska framstegen inom området.
Tidsstämplar:
00:12 - Karims sammanfattning
03:48 – David (ledande utvecklare)
- Bytte från Z3 till CVC5, vilket förbättrade den övergripande lösningens prestanda.
- Genomfört arbete med normalisering, satisfierbarhet och tolkmoduler med CVC5.
- Implementerade Ohads föreslagna metod att skjuta upp bokstavlig upplösning för bitvektorekvationer.
- Assisterade Umar med kodgranskningar och felsökning.
05:36 - Lucca (Tau språkutvecklare)
- Utvecklade den initiala specifikationen för en algoritm för att eliminera funktionskvantifierare för användning i Taus tabellfunktion.
- Integrerade den i den anti-prenexing normaliseringsalgoritmen för att hantera formler som inte täcks av CVC5.
- Förbereder för att implementera denna algoritm nu när pseudokoden är klar.
- Började använda Tomáš nya trädimplementering och hjälpte till att lösa de sista problemen.
08:30 - Andrei Korotkoff (Senior utvecklare)
- Slutförd testnet alpha-milstolpe för blockproduktion och lagring, inklusive mempool-hantering, blocklänkning, Merkle root-beräkning och databaspersistence.
- Detta arbete lägger grunden för nästa milstolpe: ihållande kedjetillstånd baserat på blockhistorik.
- Utvecklade ett komplext lasttestverktyg för att simulera Tau-tolkens beteende och blockkedjans dynamik under punktvis revision.
11:20 - Tomáš Klapka (Senior utvecklare)
- Fixade flera problem från trädväxeln, inklusive negationshantering, grammatiska stavfel och skrivinferensfel.
- Omstrukturerade parserbiblioteket så att det endast är rubriker.
- Skapade Docker-stöd och nattliga versioner för TGF-verktyget och parsern.
- Uppdaterade Tau-språket för att integrera den förbättrade tolken.
12:26 - Ohad (Grundare och CTO)
- Fokuserade på ny algoritmdesign och teamsamarbete.
- Utforskade domänoberoende språk för att förbättra beslutsprocedurer.
- Granskat de senaste akademiska artiklarna om temporal logik och bekräftat att Tau ligger före nuvarande forskning.
2,66 tn
50
Innehållet på den här sidan tillhandahålls av tredje part. Om inte annat anges är OKX inte författare till den eller de artiklar som citeras och hämtar inte någon upphovsrätt till materialet. Innehållet tillhandahålls endast i informationssyfte och representerar inte OKX:s åsikter. Det är inte avsett att vara ett godkännande av något slag och bör inte betraktas som investeringsrådgivning eller en uppmaning att köpa eller sälja digitala tillgångar. I den mån generativ AI används för att tillhandahålla sammanfattningar eller annan information kan sådant AI-genererat innehåll vara felaktigt eller inkonsekvent. Läs den länkade artikeln för mer detaljer och information. OKX ansvarar inte för innehåll som finns på tredje parts webbplatser. Innehav av digitala tillgångar, inklusive stabila kryptovalutor och NFT:er, innebär en hög grad av risk och kan fluktuera kraftigt. Du bör noga överväga om handel med eller innehav av digitala tillgångar är lämpligt för dig mot bakgrund av din ekonomiska situation.