✅ Toinen Tau Net Testnet -virstanpylväs saavutettiin: Block Schema & Merkle Root.
Kuten äskettäisessä kehityspäivityksessämme mainittiin, olemme saaneet valmiiksi Tau Test Netin lohkoskeeman ja integroineet Merkle-juurilaskennan.
Järjestelmä nyt: 👇
- Kokoaa lohkoja mempool-tapahtumista.
- Hajautus linkittää lohkot aikaisempiin.
- Laskee Merklen juuret transaktioiden eheydelle.
- Tallentaa jokaisen lohkon pysyvään tietokantaan.
Vanhempi kehittäjä Andrei rakentaa nyt osavaltiota historiallisesta pääkirjasta, etenee lohko korttelilta genesis-lohkosta, ja toivoo saavuttavansa pian pysyvän ketjutilan ja ehkä jopa osittain peer-to-peer (P2P) -verkottumisen.
Seuraa meitä pysyäksesi ajan tasalla siitä, että olet osa äärimmäistä krypto- ja Defi-infrastruktuuria.
🧵2/2:
🛠 Heinäkuun viimeisin kehityspäivitys – Tau Netin TestNet Alphan ytimen rakentaminen
Tiimi eteni pidemmälle kohti TestNet Alphaa viimeistelemällä lohkojen luomisen, parantamalla jäsennyssuorituskykyä ja kehittämällä uusia algoritmeja kaavojen normalisointiin.
Kohokohdat:
- TestNet Alpha: Lohkon luonti, linkitys ja Merkle-päätallennus valmis
- SAT Solver: Siirtyminen Z3:sta CVC5:een avasi paremman normalisoinnin ja tyydyttävyyden
- Jäsennysmoottori: 60 % suorituskyvyn lisäys + mahdollinen uusi jäsennyspatentti
- Kielen tutkimus ja kehitys: Prenexing-normalisointi ja Boolen kvantifioijan eliminointispesifikaatio valmiina.
Ohad on käynyt läpi viimeisimmät temporaalisen logiikan paperit. Tau Net ja $AGRS ovat edelleen kaukana alan nykyisestä akateemisesta kehityksestä.
Aikaleimat:
00:12 - Karimin yhteenveto
03:48 - David (Johtava kehittäjä)
- Siirtyi onnistuneesti Z3:sta CVC5:een, mikä paransi ratkaisijan yleistä suorituskykyä.
- Normalisointi-, tyydytys- ja tulkkimoduulien viimeistely CVC5:n kanssa.
- Ohadin ehdottama lähestymistapa lykätä kirjaimellista resoluutiota bittivektoriyhtälöissä.
- Avusti Umaria koodin tarkistamisessa ja virheenkorjauksessa.
05:36 - Lucca (Tau-kielen kehittäjä)
- Kehitti alustavan spesifikaation algoritmille, joka eliminoi funktion kvantifioijat käytettäväksi Taun taulukko-ominaisuudessa.
- Integroi sen prenexing-normalisointialgoritmiin käsittelemään kaavoja, joita CVC5 ei kata.
- Valmistautuminen tämän algoritmin toteuttamiseen nyt, kun pseudokoodi on viimeistelty.
- Aloitti Tomášin uuden puutoteutuksen käytön ja auttoi ratkaisemaan sen viimeiset ongelmat.
08:30 - Andrei Korotkoff (vanhempi kehittäjä)
- Suoritettu testnet alpha -virstanpylväs lohkojen tuotannossa ja varastoinnissa, mukaan lukien mempoolin käsittely, lohkojen linkittäminen, Merkle-juurilaskenta ja tietokannan pysyvyys.
- Tämä työ luo perustan seuraavalle virstanpylväälle: lohkohistoriaan perustuvalle pysyvälle ketjutilalle.
- Kehitimme monimutkaisen kuormitustestaustyökalun simuloimaan Tau-tulkin käyttäytymistä ja lohkoketjun dynamiikkaa pistekohtaisessa tarkistuksessa.
11:20 - Tomáš Klapka (vanhempi kehittäjä)
- Korjattu useita puukytkimen ongelmia, mukaan lukien negaation käsittely, kieliopin kirjoitusvirheet ja tyyppipäättelyvirheet.
- Jäsennyskirjasto on muutettu vain otsikkoon.
- Luotu Docker-tuki ja yölliset julkaisut TGF-työkalulle ja jäsentimelle.
- Päivitetty Tau-kieli integroimaan parannettu jäsennin.
12:26 - Ohad (perustaja ja teknologiajohtaja)
- Keskittyy uusien algoritmien suunnitteluun ja tiimiyhteistyöhön.
- Tutkimme toimialueesta riippumattomia kieliä päätöksentekomenettelyjen parantamiseksi.
- Tarkasteli viimeaikaisia akateemisia artikkeleita ajallisesta logiikasta ja vahvisti, että Tau on edelleen nykyistä tutkimusta edellä.
2,65 t.
50
Tällä sivulla näytettävä sisältö on kolmansien osapuolten tarjoamaa. Ellei toisin mainita, OKX ei ole lainatun artikkelin / lainattujen artikkelien kirjoittaja, eikä OKX väitä olevansa materiaalin tekijänoikeuksien haltija. Sisältö on tarkoitettu vain tiedoksi, eikä se edusta OKX:n näkemyksiä. Sitä ei ole tarkoitettu minkäänlaiseksi suositukseksi, eikä sitä tule pitää sijoitusneuvontana tai kehotuksena ostaa tai myydä digitaalisia varoja. Siltä osin kuin yhteenvetojen tai muiden tietojen tuottamiseen käytetään generatiivista tekoälyä, tällainen tekoälyn tuottama sisältö voi olla epätarkkaa tai epäjohdonmukaista. Lue aiheesta lisätietoa linkitetystä artikkelista. OKX ei ole vastuussa kolmansien osapuolten sivustojen sisällöstä. Digitaalisten varojen, kuten vakaakolikoiden ja NFT:iden, omistukseen liittyy suuri riski, ja niiden arvo voi vaihdella merkittävästi. Sinun tulee huolellisesti harkita, sopiiko digitaalisten varojen treidaus tai omistus sinulle taloudellisessa tilanteessasi.