✅ Outro marco alcançado no Tau Net Testnet: Esquema de Bloco e Raiz Merkle.
Como mencionado na nossa recente atualização de desenvolvimento, completámos o esquema de bloco para o Tau Test Net e integramos o cálculo da raiz Merkle.
O sistema agora:👇
- Monta blocos a partir de transações do mempool.
- Liga blocos anteriores através de hash.
- Calcula raízes Merkle para a integridade das transações.
- Armazena cada bloco na base de dados persistente.
O desenvolvedor sênior Andrei está agora a construir o estado a partir do livro-razão histórico, indo bloco a bloco desde o bloco 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:
🛠 Atualização de Desenvolvimento de Julho – Construindo o Núcleo do TestNet Alpha da Tau Net
A equipe avançou ainda mais em direção ao TestNet Alpha, finalizando a criação de blocos, melhorando o desempenho de análise e desenvolvendo novos algoritmos para normalização de fórmulas.
Destaques:
- TestNet Alpha: Criação de blocos, ligação e armazenamento da raiz Merkle concluídos
- SAT Solver: A migração do Z3 para o CVC5 desbloqueou uma melhor normalização e satisfatibilidade
- Motor de Análise: Aumento de 60% no desempenho + potencial nova patente de análise
- P&D de Linguagem: Normalização anti-prenexing e especificação de eliminação de quantificadores booleanos pronta.
Ohad tem revisado os últimos artigos sobre lógica temporal. A Tau Net e o $AGRS continuam muito à frente do progresso acadêmico atual na área.
Marcas de Tempo:
00:12 - Resumo do Karim
03:48 - David (Desenvolvedor Principal)
- Mudou com sucesso do Z3 para o CVC5, melhorando o desempenho geral do solucionador.
- Concluiu o trabalho em normalização, satisfatibilidade e módulos de intérprete com o CVC5.
- Implementou a abordagem sugerida por Ohad de adiar a resolução literal para equações de vetor de bits.
- Ajudou Umar com revisões de código e depuração.
05:36 - Lucca (Desenvolvedor da Linguagem Tau)
- Desenvolveu a especificação inicial para um algoritmo para eliminar quantificadores de função para uso no recurso de tabela da Tau.
- Integrado ao algoritmo de normalização anti-prenexing para lidar com fórmulas não cobertas pelo CVC5.
- Preparando-se para implementar este algoritmo agora que o pseudo-código está finalizado.
- Começou a usar a nova implementação de árvore do Tomáš e ajudou a resolver seus problemas finais.
08:30 - Andrei Korotkoff (Desenvolvedor Sênior)
- Concluiu o marco do testnet alpha para produção e armazenamento de blocos, incluindo manuseio de mempool, ligação de blocos, computação da raiz Merkle e persistência de banco de dados.
- Este trabalho estabelece a base para o próximo marco: estado de cadeia persistente baseado no histórico de blocos.
- Desenvolveu uma ferramenta complexa de teste de carga para simular o comportamento do intérprete Tau e a dinâmica da blockchain sob revisão pontual.
11:20 - Tomáš Klapka (Desenvolvedor Sênior)
- Corrigiu vários problemas da troca de árvore, incluindo manuseio de negação, erros de gramática e erros de inferência de tipo.
- Refatorou a biblioteca do analisador para ser apenas cabeçalho.
- Criou suporte para Docker e lançamentos noturnos para a ferramenta TGF e o analisador.
- Atualizou a linguagem Tau para integrar o analisador melhorado.
12:26 - Ohad (Fundador & CTO)
- Focado no design de novos algoritmos e colaboração da equipe.
- Explorou linguagens independentes de domínio para aprimorar os procedimentos de decisão.
- Revisou artigos acadêmicos recentes sobre lógica temporal e confirmou que a Tau continua à frente da pesquisa atual.
2,64 mil
50
O conteúdo apresentado nesta página é fornecido por terceiros. Salvo indicação em contrário, a OKX não é o autor dos artigos citados e não reivindica quaisquer direitos de autor nos materiais. O conteúdo é fornecido apenas para fins informativos e não representa a opinião da OKX. Não se destina a ser um endosso de qualquer tipo e não deve ser considerado conselho de investimento ou uma solicitação para comprar ou vender ativos digitais. Na medida em que a IA generativa é utilizada para fornecer resumos ou outras informações, esse mesmo conteúdo gerado por IA pode ser impreciso ou inconsistente. Leia o artigo associado para obter mais detalhes e informações. A OKX não é responsável pelo conteúdo apresentado nos sites de terceiros. As detenções de ativos digitais, incluindo criptomoedas estáveis e NFTs, envolvem um nível de risco elevado e podem sofrer grandes flutuações. Deve considerar cuidadosamente se o trading ou a detenção de ativos digitais é adequado para si à luz da sua condição financeira.