Tau Net & $AGRS förkroppsligar BTC:s ursprungliga cyberpunk-vision och är uttryckligen byggd för att ta bort centraliserad styrning.
Tau Net ser till att varje användare räknas och implementerar automatiskt överenskomna uppdateringar utan central kontroll. 👇
🧵Stängd 2/6
Transaktioner på Tau Net-blockkedjan innehåller till en början myntöverföringsorder och nya kravförslag.
I allmänhet är transaktioner tupplar av booleska algebraelement, t.ex. booleska funktioner, ändliga bitsträngar, Tau-formler, tabeller eller element i någon boolesk algebra som stöds av Tau. Till en början, som ovan, tittar kedjan bara på de två första elementen i dessa tupplar.
Tupplarna sätts sedan samman som en tabell i ett nytt föreslaget block. Därifrån följer myntöverföringsorder och nya regelförslag två olika vägar.
🧵3/6 Förslag till krav:
Nya krav följer en annan väg; Alla nya krav i ett block är konjunkterade tillsammans, och detta gör den del som alla är överens om, betecknad med "psi(Ψ)".
I ett tredje steg matas det "överenskomna nya kravet Ψ" till utdataströmmen "Uppdatera inbyggd" (som har tillgång till reglerna vid tidpunkten T), som utför den punktvisa revideringsproceduren för att producera det nya kravet vid tidpunkten T+1.
🧵Stängd 4/6
Myntöverföringsdelen av transaktionerna uttrycks som "lokala deltan", som är en tabell med adresser och belopp som ska överföras från varje (positiv eller negativ) transaktion.
De lokala deltana summeras sedan efter adress för att bilda det "globala deltat", vilket ger nettosaldoförändringen för varje adress. Slutligen summeras det globala deltat med den aktuella saldotabellen, vilket resulterar i en ny saldotabell. Om något av de nya saldona visar sig vara negativt under saldoverifieringssteget avvisas hela det föreslagna nya blocket.
🧵5/6 Den nya staten
Slutligen bildar den nya saldotabellen vid tidpunkten T+1 och de nya reglerna vid tidpunkten T+1 det nya tillståndet vid tidpunkten T+1. De nya reglerna vid tidpunkten T+1 kommer att styra beräkningen av tillståndet vid tidpunkten T+2.
🧵Betygsatt 6/6
Vad är den senaste uppdateringen på Tau Net Test Net?
🛠 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.
1,42 tn
40
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.