✅ En annen Tau Net Testnet-milepæl nådd: Block Schema & Merkle Root.
Som nevnt i vår nylige utviklingsoppdatering, har vi fullført blokkskjemaet for Tau Test Net og integrert Merkle-rotberegning.
Systemet nå: 👇
- Setter sammen blokker fra mempool-transaksjoner.
- Hash lenker blokker til tidligere.
- Beregner Merkle-røtter for transaksjonsintegritet.
- Lagrer hver blokk i den vedvarende databasen.
Seniorutvikler Andrei konstruerer nå staten fra den historiske hovedboken, går blokk for blokk fra genesis-blokken, og håper å oppnå en vedvarende kjedetilstand og kanskje til og med delvis peer-to-peer (P2P) nettverk snart.
Følg oss for å holde deg oppdatert på å være en del av den ultimate krypto- og Defi-infrastrukturen.
🧵2/2:
🛠 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.
2,62k
50
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.