✅ O altă etapă Tau Net Testnet atinsă: Block Schema și Merkle Root.
După cum am menționat în actualizarea noastră recentă de dezvoltare, am finalizat schema de blocuri pentru Tau Test Net și am integrat calculul rădăcinii Merkle.
Sistemul acum: 👇
- Asamblează blocuri din tranzacțiile mempool.
- Hash leagă blocurile de cele anterioare.
- Calculează rădăcinile Merkle pentru integritatea tranzacțiilor.
- Stochează fiecare bloc în baza de date persistentă.
Dezvoltatorul senior Andrei construiește acum starea din registrul istoric, mergând bloc cu bloc de blocul de geneză și speră să obțină în curând o stare de lanț persistentă și poate chiar parțial rețea peer-to-peer (P2P).
Urmăriți-ne pentru a fi la curent cu faptul că faceți parte din infrastructura supremă Crypto și Defi.
🧵2/2:
🛠 July Latest Dev Update – Building the Core of Tau Net’s TestNet Alpha
The team pushed further toward TestNet Alpha by finalizing block creation, improving parsing performance, and developing new algorithms for formula normalization.
Highlights:
- TestNet Alpha: Block creation, linking, and Merkle root storage completed
- SAT Solver: Migration from Z3 to CVC5 unlocked better normalization & satisfiability
- Parsing Engine: 60% performance boost + potential new parsing patent
- Language R&D: Anti-prenexing normalization & Boolean quantifier elimination spec ready.
Ohad has been reviewing the latest temporal logic papers. Tau Net and $AGRS remain far ahead of current academic progress in the field.
Timestamps:
00:12 - Karim’s Summary
03:48 - David (Lead Developer)
- Successfully switched from Z3 to CVC5, improving overall solver performance.
- Completed work on normalization, satisfiability, and interpreter modules with CVC5.
- Implemented Ohad’s suggested approach of deferring literal resolution for bit vector equations.
- Assisted Umar with code reviews and debugging.
05:36 - Lucca (Tau Language Developer)
- Developed the initial specification for an algorithm to eliminate function quantifiers for use in Tau’s table feature.
- Integrated it into the anti-prenexing normalization algorithm to handle formulas not covered by CVC5.
- Preparing to implement this algorithm now that the pseudo-code is finalized.
- Began using Tomáš’s new tree implementation and assisted in resolving its final issues.
08:30 - Andrei Korotkoff (Senior Developer)
- Completed testnet alpha milestone for block production and storage, including mempool handling, block linking, Merkle root computation, and database persistence.
- This work lays the foundation for the next milestone: persistent chain state based on block history.
- Developed a complex load testing tool to simulate Tau interpreter behavior and blockchain dynamics under pointwise revision.
11:20 - Tomáš Klapka (Senior Developer)
- Fixed several issues from the tree switch, including negation handling, grammar typos, and type inference errors.
- Refactored the parser library to be header-only.
- Created Docker support and nightly releases for the TGF tool and parser.
- Updated the Tau language to integrate the improved parser.
12:26 - Ohad (Founder & CTO)
- Focused on new algorithm design and team collaboration.
- Explored domain-independent languages to enhance decision procedures.
- Reviewed recent academic papers on temporal logic and confirmed Tau remains ahead of current research.
4,95 K
65
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.