Tau Net & $AGRS întruchipează viziunea ciberpunk originală a BTC și este construită în mod explicit pentru a elimina guvernanța centralizată.
Tau Net se asigură că fiecare utilizator este numărat, implementând automat actualizările convenite fără control central. 👇
🧵2/6
Tranzacțiile pe blockchain-ul Tau Net conțin inițial ordine de transfer de monede și noi propuneri de cerințe.
În general, tranzacțiile sunt tuple ale elementelor de algebră booleană, de exemplu funcții booleene, șiruri de biți finiti, formule Tau, tabele sau elemente ale oricărei algebre booleene susținute de Tau. Inițial, ca mai sus, lanțul se uită doar la primele două elemente ale acestor tuple.
Tuplele sunt apoi asamblate ca o masă într-un nou bloc propus. De acolo, ordinele de transfer de monede și noile propuneri de reguli urmează două căi diferite.
🧵3/6 Propuneri de cerințe:
Noile cerințe urmează o cale diferită; toate cerințele noi dintr-un bloc sunt conjuncte împreună, iar acest lucru face ca partea cu care toată lumea este de acord, notată cu "psi(Ψ)".
Într-o a treia etapă, "Noua cerință convenită Ψ" este alimentată către fluxul de ieșire "Actualizare încorporată" (având acces la reguli la momentul T), care efectuează procedura de revizuire punctuală pentru a produce noua cerință la momentul T+1.
🧵4/6
Partea de transfer de monede a tranzacțiilor este exprimată ca "delta local", care sunt un tabel de adrese și sume de transferat din fiecare tranzacție (pozitivă sau negativă).
Deltaurile locale sunt apoi însumate după adresă pentru a forma "Delta globală", care dă modificarea soldului net pentru fiecare adresă. În cele din urmă, delta globală este rezumată cu tabelul soldurilor curente, rezultând un nou tabel de solduri. În timpul etapei de verificare a soldului, dacă oricare dintre noile solduri se dovedește a fi negativă, întregul bloc nou propus este respins.
🧵5/6 Noul stat
În cele din urmă, noul tabel de solduri la timpul T+1 și noile reguli la timpul T+1 formează noua stare la timpul T+1. Noile reguli la ora T+1 vor guverna calculul stării la momentul T+2.
🧵6/6
Care este cea mai recentă actualizare despre Tau Net Test Net?
🛠 Cea mai recentă actualizare a dezvoltatorilor din iulie – Construirea nucleului TestNet Alpha al Tau Net
Echipa a avansat mai departe spre TestNet Alpha prin finalizarea creării blocurilor, îmbunătățirea performanței de analiză și dezvoltarea de noi algoritmi pentru normalizarea formulelor.
Evidențiază:
- TestNet Alpha: Crearea blocurilor, conectarea și stocarea rădăcinii Merkle finalizate
- SAT Solver: Migrarea de la Z3 la CVC5 a deblocat o mai bună normalizare și satisfacție
- Motor de analiză: 60% creștere a performanței + potențial nou brevet de analiză
- Cercetare și dezvoltare lingvistică: Normalizare anti-prenexing și specificații de eliminare a cuantificatorului boolean gata.
Ohad a revizuit cele mai recente lucrări de logică temporală. Tau Net și $AGRS rămân cu mult înaintea progresului academic actual în domeniu.
Marcajele:
00:12 - Rezumatul lui Karim
03:48 - David (Dezvoltator principal)
- A trecut cu succes de la Z3 la CVC5, îmbunătățind performanța generală a rezolvatorului.
- A finalizat lucrările de normalizare, satisfacție și module de interpretare cu CVC5.
- A implementat abordarea sugerată de Ohad de amânare a rezoluției literale pentru ecuațiile vectoriale de biți.
- A asistat Umar cu revizuirea codului și depanarea.
05:36 - Lucca (dezvoltator de limbă tau)
- A dezvoltat specificația inițială pentru un algoritm de eliminare a cuantificatorilor de funcție pentru a fi utilizați în caracteristica de tabel a lui Tau.
- Integrat în algoritmul de normalizare anti-prenexing pentru a gestiona formulele care nu sunt acoperite de CVC5.
- Pregătirea implementării acestui algoritm acum că pseudo-codul este finalizat.
- A început să folosească noua implementare a arborelui Tomáš și a ajutat la rezolvarea problemelor finale ale acestuia.
08:30 - Andrei Korotkoff (Senior Developer)
- A finalizat pragul alfa al rețelei de testare pentru producția și stocarea blocurilor, inclusiv manipularea mempool, legarea blocurilor, calculul rădăcinii Merkle și persistența bazei de date.
- Această lucrare pune bazele următoarei etape: starea lanțului persistentă bazată pe istoricul blocurilor.
- A dezvoltat un instrument complex de testare a încărcăturii pentru a simula comportamentul interpretului Tau și dinamica blockchain-ului în curs de revizuire.
11:20 - Tomáš Klapka (Dezvoltator Senior)
- S-au rezolvat mai multe probleme de la comutarea arborelui, inclusiv gestionarea negației, greșelile de scriere gramaticale și erorile de inferență a tipurilor.
- S-a refactorizat biblioteca de analize pentru a fi doar cu antet.
- S-a creat suport Docker și lansări nocturne pentru instrumentul TGF și parser.
- S-a actualizat limba Tau pentru a integra parserul îmbunătățit.
12:26 - Ohad (fondator și CTO)
- S-a concentrat pe proiectarea de noi algoritmi și colaborarea în echipă.
- A explorat limbaje independente de domeniu pentru a îmbunătăți procedurile de decizie.
- A revizuit lucrările academice recente despre logica temporală și a confirmat că Tau rămâne înaintea cercetărilor actuale.
1,42 K
40
Conținutul de pe această pagină este furnizat de terți. Dacă nu se menționează altfel, OKX nu este autorul articolului citat și nu revendică niciun drept intelectual pentru materiale. Conținutul este furnizat doar pentru informare și nu reprezintă opinia OKX. Nu este furnizat pentru a fi o susținere de nicio natură și nu trebuie să fie considerat un sfat de investiție sau o solicitare de a cumpăra sau vinde active digitale. În măsura în care AI-ul de generare este utilizat pentru a furniza rezumate sau alte informații, astfel de conținut generat de AI poate să fie inexact sau neconsecvent. Citiți articolul asociat pentru mai multe detalii și informații. OKX nu răspunde pentru conținutul găzduit pe pagini terțe. Deținerile de active digitale, inclusiv criptomonedele stabile și NFT-urile, prezintă un grad ridicat de risc și pot fluctua semnificativ. Trebuie să analizați cu atenție dacă tranzacționarea sau deținerea de active digitale este adecvată pentru dumneavoastră prin prisma situației dumneavoastră financiare.