✅ Outro marco da Tau Net Testnet alcançado: Block Schema & Merkle Root.
Conforme mencionado em nossa recente atualização de desenvolvimento, concluímos o esquema de blocos para Tau Test Net e integramos a computação raiz Merkle.
O sistema agora: 👇
- Monta blocos de transações de mempool.
- Hash vincula blocos aos anteriores.
- Calcula as raízes de Merkle para integridade da transação.
- Armazena cada bloco no banco de dados persistente.
O desenvolvedor sênior Andrei agora está construindo o estado a partir do livro-razão histórico, indo bloco por bloco a partir do bloco de gênese, e espera alcançar um estado de cadeia persistente e talvez até mesmo uma rede parcialmente peer-to-peer (P2P) em breve.
Siga-nos para se manter atualizado sobre como fazer parte da infraestrutura definitiva de Crypto e 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,97 mil
65
O conteúdo desta página é fornecido por terceiros. A menos que especificado de outra forma, a OKX não é a autora dos artigos mencionados e não reivindica direitos autorais sobre os materiais apresentados. O conteúdo tem um propósito meramente informativo e não representa as opiniões da OKX. Ele não deve ser interpretado como um endosso ou aconselhamento de investimento de qualquer tipo, nem como uma recomendação para compra ou venda de ativos digitais. Quando a IA generativa é utilizada para criar resumos ou outras informações, o conteúdo gerado pode apresentar imprecisões ou incoerências. Leia o artigo vinculado para mais detalhes e informações. A OKX não se responsabiliza pelo conteúdo hospedado em sites de terceiros. Possuir ativos digitais, como stablecoins e NFTs, envolve um risco elevado e pode apresentar flutuações significativas. Você deve ponderar com cuidado se negociar ou manter ativos digitais é adequado para sua condição financeira.