Tau Net e $AGRS incorporam a visão ciberpunk original do BTC e são explicitamente construídos para remover a governança centralizada.
Tau Net garante que cada utilizador é contado, implementando automaticamente as atualizações acordadas sem controlo central.👇
🧵2/6
As transações na blockchain Tau Net contêm inicialmente ordens de transferência de moedas e propostas de novos requisitos.
Geralmente, as transações são tuplos de elementos de álgebra booleana, por exemplo, funções booleanas, cadeias de bits finitas, fórmulas Tau, tabelas ou elementos de qualquer álgebra booleana suportada pelo Tau. Inicialmente, como mencionado acima, a cadeia analisa apenas os dois primeiros elementos desses tuplos.
Os tuplos são então montados como uma tabela em um novo bloco proposto. A partir daí, as ordens de transferência de moedas e as propostas de novas regras seguem dois caminhos diferentes.
🧵3/6 Propostas de Requisitos:
Novos requisitos seguem um caminho diferente; todos os novos requisitos em um bloco são unidos, e isso torna a parte com a qual todos concordam, denotada por “psi(Ψ)”.
Em um terceiro passo, o “Requisito Novo Acordado Ψ” é alimentado no fluxo de saída “Atualizar Integrado” (tendo acesso às regras no tempo T), que realiza o procedimento de Revisão Pontual para produzir o novo requisito no tempo T+1.
🧵4/6
A parte da transferência de moedas das transações é expressa como "deltas locais", que são uma tabela de endereços e montantes a transferir de cada transação (positiva ou negativa).
Os deltas locais são então somados por endereço para formar o "delta global", que fornece a alteração do saldo líquido para cada endereço. Finalmente, o delta global é somado à tabela de saldos atuais, resultando em uma nova tabela de saldos. Durante a etapa de Verificação de Saldos, se algum dos novos saldos for encontrado como negativo, todo o novo bloco proposto é rejeitado.
🧵5/6 O Novo Estado
Finalmente, a nova tabela de saldos no tempo T+1 e as novas regras no tempo T+1 formam o novo estado no tempo T+1. As novas regras no tempo T+1 irão governar o cálculo do estado no tempo T+2.
🧵6/6
Qual é a última atualização sobre a Tau Net Test Net?
🛠 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.
1,31 mil
39
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.