A Tau Net & $AGRS incorpora a visão cyberpunk original da BTC e é explicitamente construída para remover a governança centralizada.
O Tau Net garante que todos os usuários sejam contados, implementando automaticamente as atualizações acordadas sem controle central. 👇
🧵2/6
As transações na blockchain Tau Net contêm inicialmente ordens de transferência de moedas e novas propostas de requisitos.
Geralmente, as transações são tuplas de elementos de álgebra booleana, por exemplo, funções booleanas, cadeias de bits finitos, fórmulas Tau, tabelas ou elementos de qualquer álgebra booleana suportada por Tau. Inicialmente, como acima, a cadeia examina apenas os dois primeiros elementos dessas tuplas.
As tuplas são então montadas como uma tabela em um novo bloco proposto. A partir daí, as ordens de transferência de moedas e as novas propostas de 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 conjuntos, e isso faz com que a parte com a qual todos concordam, denotada por "psi(Ψ)".
Em uma terceira etapa, o "Novo Requisito Ψ Acordado" é alimentado para o fluxo de saída "Update Built-in" (tendo acesso às regras no tempo T), que executa o procedimento de Revisão Pontual para produzir o novo requisito no tempo T+1.
🧵4/6
A parte de transferência de moedas das transações é expressa como "deltas locais", que são uma tabela de endereços e valores a serem transferidos 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 mudança de saldo líquido para cada endereço. Finalmente, o delta global é resumido com a tabela de saldos atuais, resultando em uma nova tabela de saldos. Durante a etapa de Verificação de Saldo, se algum dos novos saldos for negativo, todo o novo bloco proposto será rejeitado.
🧵5/6 O Estado Novo
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 regerão o cálculo do estado no tempo T+2.
🧵6/6
Qual é a atualização mais recente do Tau Net Test Net?
🛠 Última atualização do desenvolvedor 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 da análise e desenvolvendo novos algoritmos para normalização de fórmulas.
Destaques:
- TestNet Alpha: criação de blocos, vinculação e armazenamento raiz Merkle concluídos
- Solucionador SAT: Migração de Z3 para CVC5 desbloqueou melhor normalização e satisfatibilidade
- Mecanismo de análise: aumento de desempenho de 60% + nova patente de análise em potencial
- Linguagem R&D: Normalização anti-prenexing e especificação de eliminação de quantificador booleano pronta.
Ohad tem revisado os últimos artigos de lógica temporal. A Tau Net e a $AGRS permanecem muito à frente do progresso acadêmico atual no campo.
Timestamps:
00:12 – Resumo de Karim
03:48 – David (Desenvolvedor Líder)
- Alternamos com sucesso de Z3 para CVC5, melhorando o desempenho geral do solucionador.
- Trabalho concluído nos módulos de normalização, satisfatibilidade e intérprete com CVC5.
- Implementou a abordagem sugerida por Ohad de adiar a resolução literal para equações vetoriais de bits.
- Auxiliei Umar com revisões de código e depuração.
05:36 – Lucca (Desenvolvedor de Linguagem Tau)
- Desenvolvi a especificação inicial de um algoritmo para eliminar quantificadores de função para uso no recurso de tabela do Tau.
- Integrou-o 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 pseudocódigo está finalizado.
- Começou a usar a nova implementação de árvore de Tomáš e ajudou a resolver seus problemas finais.
08:30 – Andrei Korotkoff (Desenvolvedor Sênior)
- Marco alfa de rede de teste concluído para produção e armazenamento de blocos, incluindo manipulação de mempool, vinculação de blocos, computação raiz Merkle e persistência de banco de dados.
- Este trabalho estabelece as bases para o próximo marco: estado de cadeia persistente com base no histórico de blocos.
- Desenvolveu uma ferramenta complexa de teste de carga para simular o comportamento do interpretador Tau e a dinâmica do blockchain sob revisão pontual.
11:20 – Tomáš Klapka (Desenvolvedor Sênior)
- Correção de vários problemas da opção de árvore, incluindo manipulação de negação, erros de digitação gramaticais e erros de inferência de tipo.
- Refatorada a biblioteca do analisador para ser somente cabeçalho.
- Criação de suporte ao Docker e lançamentos noturnos para a ferramenta TGF e analisador.
- Atualizamos a linguagem Tau para integrar o analisador aprimorado.
12:26 - Ohad (Fundador e CTO)
- Focado no design de novos algoritmos e colaboração em 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 Tau permanece à frente da pesquisa atual.
1,3 mil
39
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.