✅ Otro hito alcanzado en el Testnet de Tau Net: Esquema de Bloque y Raíz de Merkle.
Como se mencionó en nuestra reciente actualización de desarrollo, hemos completado el esquema de bloque para Tau Test Net e integrado el cálculo de la raíz de Merkle.
El sistema ahora:👇
- Ensambla bloques a partir de transacciones en el mempool.
- Enlaza bloques hash a los anteriores.
- Calcula raíces de Merkle para la integridad de las transacciones.
- Almacena cada bloque en la base de datos persistente.
El desarrollador senior Andrei está ahora construyendo el estado a partir del libro mayor histórico, yendo bloque por bloque desde el bloque génesis, y espera lograr un estado de cadena persistente y tal vez incluso una red parcialmente peer-to-peer (P2P) pronto.
Síguenos para mantenerte al día sobre cómo ser parte de la infraestructura definitiva de Crypto y 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 mil
65
El contenido de esta página lo proporcionan terceros. A menos que se indique lo contrario, OKX no es el autor de los artículos citados y no reclama ningún derecho de autor sobre los materiales. El contenido se proporciona únicamente con fines informativos y no representa las opiniones de OKX. No pretende ser un respaldo de ningún tipo y no debe ser considerado como un consejo de inversión o una solicitud para comprar o vender activos digitales. En la medida en que la IA generativa se utiliza para proporcionar resúmenes u otra información, dicho contenido generado por IA puede ser inexacto o incoherente. Lee el artículo vinculado para obtener más detalles e información. OKX no es responsable del contenido alojado en sitios de terceros. El holding de activos digitales, incluyendo stablecoins y NFT, implican un alto grado de riesgo y pueden fluctuar en gran medida. Debes considerar cuidadosamente si el trading o holding de activos digitales es adecuado para ti a la luz de tu situación financiera.