Tau Net & $AGRS ilmentää BTC:n alkuperäistä kyberpunk-visiota ja on nimenomaan rakennettu poistamaan keskitetty hallinto.
Tau Net varmistaa, että jokainen käyttäjä lasketaan ja toteuttaa sovitut päivitykset automaattisesti ilman keskitettyä ohjausta. 👇
🧵2/6
Tau Net -lohkoketjun tapahtumat sisältävät aluksi kolikoiden siirtotoimeksiantoja ja uusia vaatimusehdotuksia.
Yleensä transaktiot ovat Boolen algebran alkioiden monikkoja, kuten Boolen funktioita, äärellisiä bittijonoja, Tau-kaavoja, taulukoita tai minkä tahansa Taun tukeman Boolen algebran alkioita. Aluksi, kuten edellä, ketju tarkastelee vain näiden monikkojen kahta ensimmäistä elementtiä.
Tuplit kootaan sitten pöydäksi uuteen ehdotettuun lohkoon. Sieltä kolikoiden siirtomääräykset ja uudet sääntöehdotukset kulkevat kahta eri polkua.
🧵3/6 Vaatimusehdotukset:
Uudet vaatimukset kulkevat eri polkua; kaikki lohkon uudet vaatimukset ovat yhteydessä toisiinsa, ja tämä muodostaa osan, josta kaikki ovat samaa mieltä, merkitty "psi(Ψ)".
Kolmannessa vaiheessa "Sovittu uusi vaatimus Ψ" syötetään "Päivitä sisäänrakennettu" -lähtövirtaan (jolla on pääsy sääntöihin hetkellä T), joka suorittaa pistekohtaisen tarkistusmenettelyn uuden vaatimuksen tuottamiseksi hetkellä T+1.
🧵4/6
Transaktioiden kolikonsiirto-osa ilmaistaan "paikallisina deltoina", jotka ovat taulukko osoitteista ja summista, jotka siirretään kustakin (positiivisesta tai negatiivisesta) tapahtumasta.
Paikalliset deltat lasketaan sitten yhteen osoitteittain muodostaen "Globaalin deltan", joka antaa kunkin osoitteen nettosaldon muutoksen. Lopuksi globaali delta lasketaan yhteen nykysaldotaulukon kanssa, jolloin saadaan uusi saldotaulukko. Jos jokin uusista saldoista havaitaan saldon tarkistusvaiheessa negatiiviseksi, koko ehdotettu uusi lohko hylätään.
🧵5/6 Uusi valtio
Lopuksi uusi saldotaulukko ajankohtana T+1 ja uudet säännöt ajankohtana T+1 muodostavat uuden tilan ajankohtana T+1. Uudet säännöt ajankohtana T+1 ohjaavat tilan laskemista ajankohtana T+2.
🧵6/6
Mikä on Tau Net Test Netin uusin päivitys?
🛠 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ä.
1,31 t.
39
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.