Tau Net & $AGRS legemliggjør BTCs originale cyberpunk-visjon og er eksplisitt bygget for å fjerne sentralisert styring.
Tau Net sørger for at hver bruker telles, og implementerer automatisk avtalte oppdateringer uten sentral kontroll. 👇
🧵2/6
Transaksjoner på Tau Net-blokkjeden inneholder i utgangspunktet myntoverføringsordrer og nye kravforslag.
Vanligvis er transaksjoner tupler av boolske algebraelementer, for eksempel boolske funksjoner, endelige bitstrenger, Tau-formler, tabeller eller elementer i en hvilken som helst boolsk algebra støttet av Tau. I utgangspunktet, som ovenfor, ser kjeden bare på de to første elementene i disse tuplene.
Tuplene settes deretter sammen som et bord i en ny foreslått blokk. Derfra følger myntoverføringsordrer og nye regelforslag to forskjellige veier.
🧵3/6 Forslag til krav:
Nye krav følger en annen vei; alle nye krav i en blokk henger sammen, og dette gjør den delen som alle er enige om, betegnet med "psi(Ψ)".
I et tredje trinn mates "Agreed New Requirement Ψ" til "Update Built-in"-utgangsstrømmen (med tilgang til reglene på tid T), som utfører Pointwise Review-prosedyren for å produsere det nye kravet på tidspunktet T+1.
🧵4/6
Myntoverføringsdelen av transaksjonene uttrykkes som "lokale deltaer", som er en tabell over adresser og beløp som skal overføres fra hver (positiv eller negativ) transaksjon.
De lokale deltaene summeres deretter etter adresse for å danne "Global delta", som gir nettobalanseendringen for hver adresse. Til slutt oppsummeres det globale deltaet med gjeldende saldotabell, noe som resulterer i en ny saldotabell. Under saldoverifiseringstrinnet, hvis noen av de nye saldoene viser seg å være negative, blir hele den foreslåtte nye blokken avvist.
🧵5/6 Den nye staten
Til slutt danner den nye saldotabellen på tidspunktet T+1 og de nye reglene på tidspunktet T+1 den nye tilstanden på tidspunktet T+1. De nye reglene på tidspunktet T+1 vil styre beregningen av tilstanden på tidspunktet T+2.
🧵6/6
Hva er den siste oppdateringen på Tau Net Test Net?
🛠 Siste utvikleroppdatering i juli – Bygger kjernen i Tau Nets TestNet Alpha
Teamet presset videre mot TestNet Alpha ved å fullføre blokkoppretting, forbedre analyseytelsen og utvikle nye algoritmer for formelnormalisering.
Høydepunkter:
- TestNet Alpha: Blokkoppretting, kobling og Merkle-rotlagring fullført
- SAT-løser: Migrering fra Z3 til CVC5 låste opp bedre normalisering og tilfredsstillelse
- Parsing Engine: 60 % ytelsesøkning + potensielt nytt parsingpatent
- Språk FoU: Anti-prenexing normalisering og boolsk kvantifiseringselimineringsspesifikasjon klar.
Ohad har gjennomgått de siste tidslogikkartiklene. Tau Net og $AGRS ligger fortsatt langt foran dagens akademiske fremgang på feltet.
Tidsstempler:
00:12 - Karims sammendrag
03:48 – David (hovedutvikler)
- Vellykket byttet fra Z3 til CVC5, noe som forbedret den generelle løserytelsen.
- Fullført arbeid med normalisering, tilfredsstillelse og tolkemoduler med CVC5.
- Implementerte Ohads foreslåtte tilnærming med å utsette bokstavelig oppløsning for bitvektorligninger.
- Assisterte Umar med kodegjennomgang og feilsøking.
05:36 – Lucca (Tau-språkutvikler)
- Utviklet den første spesifikasjonen for en algoritme for å eliminere funksjonskvantifikatorer for bruk i Taus tabellfunksjon.
- Integrerte den i anti-prenexing-normaliseringsalgoritmen for å håndtere formler som ikke dekkes av CVC5.
- Forbereder implementering av denne algoritmen nå som pseudokoden er ferdigstilt.
- Begynte å bruke Tomáš sin nye treimplementering og hjalp til med å løse de siste problemene.
08:30 - Andrei Korotkoff (seniorutvikler)
- Fullførte testnett alfa-milepæl for blokkproduksjon og lagring, inkludert mempool-håndtering, blokkkobling, Merkle-rotberegning og databaseutholdenhet.
- Dette arbeidet legger grunnlaget for neste milepæl: vedvarende kjedetilstand basert på blokkhistorikk.
- Utviklet et komplekst belastningstestverktøy for å simulere Tau-tolkeatferd og blokkjededynamikk under punktvis revisjon.
11:20 - Tomáš Klapka (seniorutvikler)
- Fikset flere problemer fra trebryteren, inkludert negasjonshåndtering, grammatikkskrivefeil og typeslutningsfeil.
- Omstrukturerte parserbiblioteket til kun å være overskriftsbasert.
- Opprettet Docker-støtte og nattlige utgivelser for TGF-verktøyet og parseren.
- Oppdaterte Tau-språket for å integrere den forbedrede parseren.
12:26 - Ohad (grunnlegger og CTO)
- Fokusert på nytt algoritmedesign og teamsamarbeid.
- Utforsket domeneuavhengige språk for å forbedre beslutningsprosedyrer.
- Gjennomgikk nyere akademiske artikler om temporal logikk og bekreftet at Tau fortsatt ligger foran nåværende forskning.
1,43k
40
Innholdet på denne siden er levert av tredjeparter. Med mindre annet er oppgitt, er ikke OKX forfatteren av de siterte artikkelen(e) og krever ingen opphavsrett til materialet. Innholdet er kun gitt for informasjonsformål og representerer ikke synspunktene til OKX. Det er ikke ment å være en anbefaling av noe slag og bør ikke betraktes som investeringsråd eller en oppfordring om å kjøpe eller selge digitale aktiva. I den grad generativ AI brukes til å gi sammendrag eller annen informasjon, kan slikt AI-generert innhold være unøyaktig eller inkonsekvent. Vennligst les den koblede artikkelen for mer detaljer og informasjon. OKX er ikke ansvarlig for innhold som er vert på tredjeparts nettsteder. Beholdning av digitale aktiva, inkludert stablecoins og NFT-er, innebærer en høy grad av risiko og kan svinge mye. Du bør nøye vurdere om handel eller innehav av digitale aktiva passer for deg i lys av din økonomiske tilstand.