[ANN] Tau Net e $AGRS - A Blockchain Controlada pelo Usuário

[zeca pagodinho]

🚀 A Carteira Web da Rede de Teste Tau está Ativa



Aceda Agora: testnet.tau.net

Após muito trabalho árduo da equipa, a carteira web da Rede de Teste Tau está aqui. Uma interface baseada em browser para interagir com a Rede de Teste Tau Alpha. Esta versão permite que qualquer pessoa que execute um nó realize transações e experimente as regras da Lógica Tau.
 
Esta é a primeira carteira na história da blockchain que permite aos utilizadores submeter regras lógicas em transações que moldam a própria rede.

Início Rápido (Assumindo que tem um nó de testnet em funcionamento)*
1. Ligar → Abra testnet.tau.net, clique em Ligar
2. Gerar Identidade → Crie um novo par de chaves BLS, guarde com um nome
3. Transacionar → Envie moedas ou submeta regras através das respetivas abas
4. Experimentar → Experimente o botão Regra Aleatória para ver a sintaxe Tau em ação

Novos endereços de testnet são auto-financiados, e pode começar a transacionar imediatamente.

Características Principais
Ligue a qualquer nó de testnet via WebSocket. A configuração predefinida funciona de imediato.
Gere e gerencie pares de chaves BLS12-381 inteiramente no browser. As chaves privadas são encriptadas no localStorage e nunca transmitidas.

Transações Completas com Regras de Lógica Tau.
- Enviar transferências de moedas
- Escrever e submeter transações de regras personalizadas que evoluem o estado usando revisão pontual
- Validação de sintaxe integrada apanha erros antes da transmissão
- Gerador de "Regra Aleatória" mostra exemplos de sintaxe válida
- Lista de contas conhecidas para transações rápidas

Gestão de Carteiras Múltiplas: Crie, importe e guarde carteiras nomeadas para fluxos de trabalho de teste organizados.

Demonstração: Revisão Pontual
A Revisão Pontual é um mecanismo integrado que recebe novos requisitos de software e a especificação atual em conjunto como entrada, e produz um programa que admite consistentemente tanto o novo requisito como a quantidade máxima da especificação anterior.

Isto permite que o software se atualize corretamente de acordo com regras dadas, e tudo isto é gerido dando apenas as alterações necessárias ao software.

Para Construtores
Esta carteira implementa a nossa interface RPC WebSocket com assinatura do lado do cliente. Use-a como referência para construir DApps na Tau, ou como uma sandbox para testar a sua própria Lógica Tau antes da mainnet.

Importante
Apenas testnet. Não utilize chaves de produção ou ativos reais.
O armazenamento do browser não é armazenamento a frio. Apenas para fins de teste.

Goste e Partilhe no X: https://x.com/Tau_Net/status/2012176805717770658

Experimente: https://testnet.tau.net
*Configure o seu nó de testnet Tau agora: https://github.com/IDNI/tau-testnet

Perguntas ou feedback bem-vindos - Deixe-os no canal da comunidade de desenvolvedores

Obrigado,
A Equipe Tau

[zeca pagodinho]

19-20 de janeiro - Linguagem Tau (10 commits)

Melhoria da impressão de tipos em mais símbolos; adição e expansão de uma nova heurística de simplificação (ex_subs_based_elimination) com registos e testes; refatoração do tratamento de constantes e normalização; remoção de caminhos de código restantes apenas de bitvector dos construtores de árvores principais; tornar os valores de bitvector simplificarem de forma mais agressiva em todos os backends de resolução; pequenas limpezas em constantes e normalização; correção do Docker para que os testes sejam executados por predefinição; correção da compilação do Windows para o Boost.

Português simples:
Quando você escreve regras reais - como quem pode gastar, quando os limites se aplicam, o que acontece se várias condições interagirem - os computadores tendem a dividir-se em muitos caminhos de "talvez isto / talvez aquilo". Esse número cresce insanamente rápido. O que começa como algumas regras pode transformar-se em milhões ou bilhões de casos possíveis que o sistema teria de verificar. É assim que os sistemas abrandam, estagnam ou simplesmente deixam de ser utilizáveis de todo.

Estas atualizações têm a ver com impedir que isso exploda. Tau agora simplifica as regras mais cedo e de forma mais agressiva, colapsa partes de fórmulas que já têm resultados claros e remove ramificações desnecessárias para que o motor não perca tempo a explorar caminhos que nunca podem importar. Pense nisso como comprimir uma enorme árvore de decisão em algo muito menor e mais rápido de avaliar.

Ao mesmo tempo, Tau está a melhorar a sua capacidade de se explicar. Quando testa regras, agora pode mostrar mais claramente que tipo de valores diferentes partes representam, em vez de falhar com mensagens vagas. E as correções de compilação significam que qualquer pessoa que execute nós ou construa aplicações obtém o mesmo comportamento testado no Docker e no Windows - não apenas os programadores principais.

Este é o tipo de trabalho que se faz quando se prepara um sistema para lidar com lógica do mundo real em grande escala - mercados, governação, permissões, regras automatizadas - sem abrandar ou se tornar frágil. Não é nada espectacular, mas é exactamente o que transforma um projecto de investigação numa infraestrutura mainstream em que as pessoas podem confiar.

[zeca pagodinho]

21 de janeiro - Tau Language + Testnet Alpha + Parser
(18 commits)

A Tau Language esforçou-se muito na correção e escalabilidade: ex_subs_based_elimination ganhou estratégias de percurso selecionáveis (pré-ordem para velocidade, pós-ordem para precisão) e uma superfície de teste maior, depois a pós-ordem foi temporariamente desativada enquanto eles consolidavam o comportamento correto. A simplificação baseada em igualdade foi ajustada especificamente para não quebrar as partições do intérprete. Mais testes de inferência de tipo BA chegaram, uma impressão de depuração foi removida, e as definições de stream foram atualizadas de = para := (semântica mais limpa para "definição" vs "igualdade"). As ferramentas também foram aperfeiçoadas: os Docker/test runners agora executam testes durante as compilações, a base Docker eliminou uma dependência desnecessária do z3, a poluição do CMake foi reduzida, a nomenclatura de empacotamento foi corrigida, e a limpeza de licenciamento removeu um ficheiro GPL desnecessário. No repositório Testnet Alpha, eles adicionaram limites configuráveis de recursos/ligações libp2p (limites máximos + limitação de taxa por ponto de extremidade) ligados ao ResourceManager, além de um teste de regressão e uma passagem de reforço mais ampla em todo o networking/tx/mining/state/test suites. Lado do Parser: pequena correção de compilação multiplataforma (date -I em Linux + macOS).

Português simples:
Quando Tau avalia conjuntos de regras reais, pode ocorrer uma explosão de estados: cada regra extra pode duplicar o número de espaços "talvez isto/talvez aquilo" que o motor tem de considerar. Os commits de hoje são novamente em grande parte sobre colapsar o número de estados cedo sem alterar o significado: podar ramos mortos mais rapidamente (o novo trabalho heurístico) e garantir que as simplificações não perturbem acidentalmente a contabilidade interna do intérprete (a correção da partição).

Ao mesmo tempo, a Testnet Alpha obteve um maior endurecimento da rede real: os nós podem agora impor limites de ligação e de taxa para que um ponto de acesso ruidoso não inunde o enxame. O tema é consistente: menos casos extremos inesperados, comportamento mais previsível e uma rede que pode lidar com mais pessoas a interagir com ela ao mesmo tempo.

[zeca pagodinho]

Saltei alguns commits - mas aqui está a edição "24 de janeiro em diante" (13 commits em Tau Testnet Alpha + Tau Language).

 
Testnet Alpha atualizou as dependências de rede principais (libp2p + protobuf) para ficar atual com a pilha P2P. Tau Language forneceu uma correção de parser/build (-fPIC quando necessário), uma atualização da API e uma regeneração completa da gramática do parser para fechar a issue #54 + mesclar o PR #57 (corrigindo output_def quando o alvo de stream não é opcional). Então o grande avanço: as definições de I/O de stream (input_def / output_def) foram limpas de ponta a ponta - a inferência de tipo deixa de falhar com elas, o parser extrai os dados de stream corretos, e o interpretador finalmente recebe os streams corretamente. Além disso, as heurísticas do lado do solver continuam a evoluir: o trabalho preliminar de "eliminação de quantificador existencial por substituição" foi implementado (ligado a formas normais + testes).


Português simples:

Os primeiros dias da semana foram sobre tornar o Tau mais robusto, mais previsível e mais fácil de construir à medida que avança para a utilização no mundo real. A testnet atualizou a sua camada de rede para que os nós possam encontrar e comunicar uns com os outros de forma mais fiável.

No lado da Linguagem Tau, eles corrigiram a forma como define que informação entra e que informação sai de uma regra ou programa ("entradas" e "saídas"). Antes, essas definições podiam ser mal tratadas à medida que passavam do que você escreve, para a forma como é analisado, para a forma como é executado. Agora, elas fluem corretamente por todo o sistema, de modo que as regras se comportam da forma que você realmente pretendia.

Eles também continuaram a insistir na simplificação precoce das regras. O Tau está a melhorar a eliminar caminhos impossíveis antes de se multiplicarem, para que não perca tempo a verificar um grande número de casos que nunca podem afetar o resultado. É isso que permite que regras complexas se escalem para mercados reais e processos automatizados sem abrandar à medida que a lógica se torna mais detalhada.

[zeca pagodinho]

1–5 de fevereiro - edição "sangue nas ruas" (27 commits)

Tecnologia: A linguagem Tau aperfeiçoou toda a superfície do desenvolvedor: correções de impressora/formato, caminhos de erro de extrator mais limpos e ganchos de reset explícitos (io_context::clear() / definitions::clear()) para que o estado não vaze entre execuções.
Os testes foram reorganizados (um ficheiro por comando REPL) e expandidos, além de uma nova verificação de "deriva de ordem canónica" para captar alterações subtis de comportamento de versão para versão (notavelmente em DEBUG). A gramática foi limpa (manipulação de espaços em branco movida para a especificação, definições de fluxo mudadas para :=, e definições vazias que já não poluem a árvore de análise).
O caminho API/CLI foi reforçado (step() sai silenciosamente sem saída, api::charvar(bool) adicionado, includes corrigidos), e a análise de tau_spec de várias linhas agora funciona de ponta a ponta (incluindo constantes) com nova cobertura de unidade.
O trabalho de bitvector (BV) ficou sério: traços foram adicionados, o módulo BV foi dividido em ficheiros focados (core/simplification/solver/hooks), simplificações foram movidas para a camada de heurísticas (incluindo um caminho específico para cvc5), testes foram divididos em conformidade, e novos testes de integração foram adicionados para ganchos BV + heurísticas de simplificação. O interpretador teve pequenas mas significativas correções (remoção de reconstrução dupla de fluxo, remoção de impressão de depuração). A ligação Python foi desbloqueada (incluído o parser faltante). A compilação do parser obteve suporte PIC (-DTAU_PARSER_BUILD_PIC=ON, e -fPIC quando necessário).
Testnet Alpha: a fricção de dependência foi reduzida (requisito multiaddr corrigido). Em seguida, a grande mudança de "teste de throughput": o tamanho do BV foi temporariamente reduzido para 16 para acelerar os testes de ponta a ponta na carteira / carteira web / sendtx / regras e scripts de demonstração (puramente para tornar a iteração mais rápida enquanto a plumbing se fortalece).


Português simples:

O idioma das regras agora imprime de forma mais limpa, os erros são mais claros e a consola/ferramentas reinicia correctamente, por isso as sobras de ontem não afectam a execução de hoje. Eles também aperfeiçoaram o "leitor de regras" para que pequenas peculiaridades de formatação não alterem o significado.

Grande vitória: o sistema ficou muito melhor a lidar com regras de "matemática binária" (vetores de bits) sem ficar sobrecarregado - além disso, eles reduziram temporariamente as definições de teste para que todo o pipeline de carteira de testnet → transacção → regras funcione mais rapidamente enquanto eles reforçam tudo. 🚀

[zeca pagodinho]

Atualização de desenvolvimento de 6 a 18 de fevereiro 
(Estou a ignorar o registo de alterações no estilo de programador desta vez. Demasiados commits.) 

Em português simples: Tau acabou de ficar muito mais realista. 
Primeiro, a linguagem tornou-se mais precisa nos pontos problemáticos que normalmente matam os sistemas formais: quando as suas regras falham, agora obtém uma propagação de erros mais limpa e correta e melhores diagnósticos. A inferência de tipos e a sua lógica de resolução foram aperfeiçoadas e testadas com mais rigor, por isso o sistema é menos "adivinhativo" e mais determinístico sob pressão. 

Segundo, Tau ficou ainda mais sério em relação a eliminar a explosão de estado precocemente. Muito trabalho foi feito em heurísticas de simplificação e na transferência da maquinaria chave de "simplificar/normalizar/dividir" para um caminho de runtime dedicado. Em vez de deixar as regras explodirem em milhares de ramificações sem saída, Tau colapsa a frente de onda precocemente, provando que enormes regiões da árvore de decisão não podem importar e corta-as antes de consumirem recursos computacionais. 

Terceiro, a superfície da API expandiu-se rapidamente. Mais funções, mais validação, mais testes e opções para controlar quando a inferência/simplificação acontece. 
E o maior sinal: a testnet ficou mais dura e autónoma. Os nós podem agora usar ligações nativas de Tau (em processo) quando ativadas, e se um instantâneo de estado estiver em falta no DHT, o nó não congela - reconstrui o estado replayando as transações do bloco e, em seguida, republica o instantâneo para recuperar a rede. 

Essa é uma atualização de fiabilidade séria. Menos paragens, menos momentos de "a rede ficou estranha", mais progresso em frente. As coisas estão a alinhar-se rapidamente.

[zeca pagodinho]

Atualização para desenvolvedores da rede de testes Tau:
3 novos commits enviados por Andrei.

1. Fluxo de trabalho independente em contêiner Docker para vinculações nativas do Tau: agora você pode criar e executar um nó completo da testnet a partir de um único Dockerfile, sem precisar buscar e compilar o tau-lang manualmente. Inclui suporte ao Compose e um script auxiliar de execução.

2. Correção na rede de contêineres, servidor e libp2p agora compatíveis. Por padrão, a escuta em 0.0.0.0 dentro dos contêineres garante que o mapeamento de portas funcione corretamente sem necessidade de configuração adicional.

3. Fusão da branch principal com a branch de bindings, mantendo a branch de bindings nativa sincronizada, incluindo o novo modelo de issue do GitHub para relatórios de bugs. A branch de bindings continua a evoluir. Executar seu próprio nó de testnet está cada vez mais fácil.

[zeca pagodinho]

Atualização da Equipe Comercial de Fevereiro – Incentivos, Licenciamento e Reformulação do Site.

A equipe comercial da Tau Net está preparando o terreno para o lançamento da TestNet Alpha com programas de incentivo para desenvolvedores, exchanges e projetos parceiros, além de uma grande reformulação do site e esclarecimentos sobre o licenciamento.

Confira aqui o resumo com registro de data e hora de cada membro da equipe: 👇
0:12 – Igor Hadzic (Designer Gráfico):
– Criamos páginas adicionais para o site, além da página inicial exibida no mês passado.
– Coordenar com o desenvolvedor web para iniciar a construção do novo site.
– Manutenção de atualizações do site, plugins e imagens para redes sociais
– Implementamos um novo roteiro para a rede de testes Alpha no site.
– Trabalhei com Jamie na experiência do usuário (UX/UI) da comunidade para a demonstração de Sudoku (da PTT KK) e para a carteira Tau Net.

1:52 – Fola Adejumo (CEO):
– Desenvolver programas de incentivo para desenvolvedores e projetos que utilizem a rede Tau Net.
– Criação de incentivos de parceria de intercâmbio para listagens da Ágora
– Criar incentivos para que outros projetos de blockchain licenciem a tecnologia Tau.
– Aumentar a utilidade do token Agoras por meio da participação na rede.
– Atualizações de licenciamento que tornam mais claras as regras de permissividade para o uso da linguagem Tau e da rede Tau.
– Engajamento direto com a comunidade no Telegram, coletando feedback valioso.
– Anúncios futuros previstos para os próximos meses

[zeca pagodinho]

🔢 Cálculos de vetores de bits mais rápidos para a linguagem Tau.

David está combinando algoritmos de bitblasting já estabelecidos na literatura com os algoritmos de resolução desenvolvidos pela própria Tau.

O melhor dos dois mundos para acelerar as operações com vetores de bits.

Experimental, com ganhos de desempenho esperados à medida que amadurece. 🧵👇



 🔍 O que é bitblasting?

Uma técnica que divide as operações de vetores de bits em lógica booleana em nível de bit, a mesma abordagem usada por solucionadores como CVC5 e Z3.

Ao combinar isso com nossos algoritmos existentes, os cálculos ficam mais rápidos, pois ambas as abordagens se complementam.

Acompanhe o desenvolvimento 👉github.com/IDNI/tau-lang

[zeca pagodinho]

Etapa concluída: a escolha de fork agora está na Tau Testnet Alpha.

Até agora, o nó escolhia o bloco com o número mais alto no banco de dados e o considerava a ponta da cadeia. Isso funciona bem quando há apenas uma cadeia, mas deixa de funcionar assim que ocorre uma bifurcação.

Agora o nó rastreia de fato uma cadeia canônica e lida adequadamente com ramificações concorrentes.

Como funciona:

O nó examina todos os blocos folha (blocos que ainda não têm filhos) e descarta qualquer um que não tenha origem no Gênesis. Nenhum ramo órfão pode se tornar o nó raiz acidentalmente.

A partir daí, a cadeia mais longa vence. Se duas ramificações empatarem em altura, um desempate por hash de bloco decide.

Quando um ramo mais longo aparece, o nó se reorganiza:
- Encontra o ancestral comum entre a cabeça antiga e a nova.
- Reconstrói o estado ao longo do novo caminho
- Troca a cabeça canônica atomicamente
- Retorna as transações abandonadas para o mempool (a menos que o branch vencedor já as inclua)

Agora a sincronização entre pares é mais segura, todos os nós concordam com a seleção da cadeia e as transações não se perdem durante reorganizações. Isso proporciona uma base mais sólida para o comportamento de redes com múltiplos nós.

[zeca pagodinho]

Andrei implementou a mineração round-robin com múltiplos validadores na versão alfa da testnet.

Vários nós de autoridade agora se revezam na produção de blocos. O agendamento é determinístico e baseado no número do bloco. Os nós verificam se é a sua vez antes de acessar o mempool. Cada nó registra uma impressão digital SHA256 do agendamento do validador na inicialização, permitindo identificar imediatamente incompatibilidades na rede.

Essa camada de consenso é temporária de propósito.

Toda a arquitetura separa o estado de consenso do estado da aplicação, de modo que o mecanismo possa ser substituído, eventualmente sendo substituído por regras de consenso escritas em Linguagem Tau, que os usuários da rede governam por meio de acordo lógico.

A maioria das blockchains escolhe um mecanismo de consenso e o utiliza indefinidamente. Nós estamos construindo a infraestrutura para permitir que os usuários o alterem.

[zeca pagodinho]

O que é "Bitblasting?

⸻

1. Definição de uma linha

Bitblasting = quebrar números complexos, fórmulas e lógica em bits 0/1 individuais, e depois usar algoritmos poderosos para verificar e provar a correção de forma bruta-força.
 • Nome completo: Bit-blasting
 • Papel na indústria: O motor central por trás das ferramentas de raciocínio de IA de alto nível, prova matemática e auditoria de segurança (por exemplo, Z3, cvc5)

⸻

2. Um exemplo simples

Suponha que você tenha um problema de matemática:

x + y > 100, onde x e y são inteiros

O cálculo direto pode ser difícil, lento e propenso a erros.

O que o bitblasting faz:
 • Não trata x como um único número
 • Em vez disso, divide-o:
 • x = binário de 64 bits → 64 bits individuais 0/1
 • y → também 64 bits

Toda a fórmula é então transformada num grande conjunto de expressões lógicas booleanas puras.

Um solucionador de alto desempenho verifica então de forma bruta-força:
 • Existe uma solução?
 • É sempre verdadeiro?
 • Existem vulnerabilidades?
 • Está correto?

Este processo -
"converter números em bits → reduzir para lógica booleana → resolver de forma bruta-força"
é chamado de bitblasting.

⸻

3. O que isto significa para o projeto Tau?

Com a última atualização do GitHub:

O Tau agora tem um motor de bitblasting integrado e auto-desenvolvido.

Isto dá ao Tau:
 1. Capacidades de prova matemática automatizada
 2. Deteção de vulnerabilidades de contratos inteligentes
 3. Raciocínio lógico e verificação complexos de IA
 4. Verificação formal (o mais alto nível de garantia de segurança)

Em termos simples:

O Tau evolui de "capaz de falar" → para "capaz de pensar, verificar e provar."

⸻

4. Por que é este um sinal altamente positivo para o AGRS?

O AGRS é o token da rede de raciocínio descentralizada Agoras.

O que faz uma rede de raciocínio?
 • Raciocínio de IA
 • Computação de conhecimento
 • Auditoria de contratos inteligentes
 • Verificação de provas lógicas

Tudo isto depende fundamentalmente do cálculo impulsionado pelo bitblasting.

Portanto:
 • Um bitblasting mais forte → maior procura de computação
 • Maior procura de computação → mais consumo/staking de AGRS
 • O AGRS ganha utilidade real, não apenas valor narrativo

[zeca pagodinho]

Tradução para o Português (Versão Simples e Direta, Amigável para Traders - Corresponde Exatamente ao Seu Tom e Lógica Originais)
 
Vou explicar-lhe isto nas palavras mais simples e diretas que todos os traders podem entender:
 
Por que a submissão de 20 de abril marca o ponto de viragem para a Tau transformar de código meio-acabado numa verdadeira blockchain pública, e por que esta é a atualização mais importante de todas.
 
As atualizações anteriores de 8 e 15 de abril estavam apenas a lançar as bases.
A atualização de 20 de abril = concluir todo o edifício, instalar portas, ligar a energia e torná-lo oficialmente pronto para funcionar.
 
 
 
Primeiro, vamos recapitular o que as atualizações anteriores fizeram:
8 de abril: Unificação do formato de dados (fundamentos)
8 de abril: Reestruturação do processamento de blocos (estrutura)
8 de abril: Conclusão da adaptação da rede (tubagens e fiação)
15 de abril: Construção da ferramenta de lançamento da gênese (portão principal)

Todas estas eram apenas componentes separados. Não tinham alma, regras, governança e não podiam executar uma blockchain real por si mesmos.
 
 
 
A atualização de 20 de abril completa todos os componentes centrais e definidores de alma da Tau de uma só vez.
Vou explicar por que cada item é extremamente importante:
 
1. Primeira implementação completa do sistema de governança on-chain
 
A Tau não é uma blockchain estática e imutável como o Bitcoin.
O posicionamento da Tau: uma blockchain pública atualizável, governável e de regras inteligentes.
 
A governança era apenas um conceito e fragmentos de código antes.
Esta atualização fornece completamente:
 
- Propostas de governança on-chain
- Votação on-chain
- Ativação de regras on-chain
- Arquivamento de versões históricas
 
Tudo está completamente implementado, serializável, persistente e consultável.
 
👉 Sem governança, a Tau é apenas uma altcoin comum de baixa qualidade.
Com governança, ganha a sua competitividade central para competir diretamente com a Ethereum e a Solana.
 
2. Separação completa dos instantâneos DHT (tecnologia central de sincronização de estado descentralizada)
 
Anteriormente, os instantâneos DHT estavam misturados, caóticos, inseguros e fora de sincronização.
Desta vez, o oficial separa-os em armazenamento independente:
 
- Regras de consenso
- Regras de aplicação
- Hash de metadados
- Hash de conta
 
É também compatível com versões anteriores.
👉 Isto significa que os nós de rede podem sincronizar o estado da cadeia de forma completamente descentralizada, sem dependência de servidores centralizados.
Esta é a tecnologia mais crítica para uma blockchain pública funcionar de forma descentralizada.
 
3. Rastreamento completo do active_consensus_id (versão de consenso atualmente ativa)
 
A cadeia regista automaticamente:
que versão de consenso está ativa, quando ocorrem atualizações e como reverter.
Resolve completamente os problemas de forks, caos de regras e dessincronização de nós.
 
4. Lançamento da interface oficial de consulta governance
 
Qualquer pessoa pode usar comandos para ver:
validadores, progresso da votação, regras de ativação pendentes e o estado geral da governança on-chain.
👉 A governança é totalmente transparente e auditável, deixando de ser um backend fechado para os desenvolvedores.
 
5. Suporte oficial à produção de blocos vazios
 
Quando a mempool não tem transações ou a verificação de transações falha, os mineiros ainda podem produzir blocos vazios normalmente.
A altura da cadeia continua a aumentar continuamente; a cadeia nunca irá parar ou congelar.
👉 Isto é um padrão obrigatório para o funcionamento estável da mainnet.
Uma testnet não pode ser lançada sem esta funcionalidade.
 
6. Implementação completa da recuperação e reprodução de estado
 
A cadeia suporta instantâneos, reversões, reparações e reinícios.
A auditoria, operação e manutenção, e recuperação de falhas estão todas completamente funcionais.
Antes, isto estava incompleto; agora é um sistema completamente fechado.
 
7. Integração completa de módulos e finalização completa
 
Consenso → Governança → DHT → Rede P2P → Base de Dados → Génese → Mineiros → Linha de Comando
Todos os módulos estão completamente ligados. Não há mais componentes desligados.
 
 
 
Resumo Simples

[zeca pagodinho]

🛠 Atualização de abril - O Nó Torna-se Nativo e a Escolha de Fork Entra em Funcionamento

https://youtu.be/b2mgfr-b6CY

As rodas de treino do Docker estão desligadas. Este mês, o nó mudou para ligações nativas C++ diretas, a escolha de fork com reorganização de cadeia aterrou, e a equipa está a construir em direção a algo que a maioria das blockchains não consegue fazer: permitir que os utilizadores alterem o mecanismo de consenso enquanto a cadeia está a funcionar.

O que mudou e por que isso importa:

🔗 Ligações nativas C++ substituem o Docker — O nó agora fala diretamente com a API Tau através de ligações nativas. Mais rápido, mais simples, menos partes móveis.

⛓️ Escolha de fork + reorganização de cadeia — O nó pode agora lidar com cadeias concorrentes e escolher a correta de forma determinística. Esta é uma infraestrutura fundamental para uma rede de produção.

⏱️ Carimbos de tempo controlados por consenso — Cada bloco agora carrega um carimbo de tempo definido por consenso, o que abre a porta para regras baseadas no tempo escritas na Linguagem Tau.

🔍 Processamento de múltiplas saídas — O nó pode executar verificações de políticas definidas pelo utilizador juntamente com a validação de transações. Não apenas "isto é válido?", mas "isto cumpre as regras que acordámos?"

🧠 Consenso dinâmico controlado pelo utilizador — Ainda em progresso, mas esta é a manchete: um mecanismo de consenso que os utilizadores de blockchain podem alterar em tempo real através de especificações da Linguagem Tau.

Por detrás do ecrã:
- Biblioteca BDD para expressões Tau completa — agora integrada no normalizador
- Heurísticas de vetor de bits substituindo a explosão de bits de força bruta com predicados de álgebra booleana (evita a explosão de estado)
- Quadro de benchmarking ao vivo com saída JSON e granularidade de tempo de subchamada
- Experimentos de biblioteca de árvore central multithread em curso
- Ohad encontrou e corrigiu um erro grave no algoritmo de extensões temporais — "Trabalhar neste erro deu-me uma compreensão muito mais profunda da configuração desta nova linguagem"

[zeca pagodinho]

🛠 A Atualização de Desenvolvimento de Maio introduziu dois avanços importantes:

https://youtu.be/37xBNArSUI8

• O consenso é agora totalmente governado por regras Tau na cadeia
• Ohad descobriu uma nova abordagem de lógica temporal que suporta LTL completo, com agentes LLM já a implementá-lo em todo o código base

Este mês aproximou significativamente a Tau Net de uma infraestrutura auto-evolutiva. 👇

Principais Marcos
• O antigo sistema de consenso baseado em Python foi substituído por regras Tau orientadas na cadeia
• Os utilizadores podem agora propor e votar em alterações de consenso diretamente através da rede
• Uma nova CLI de desenvolvedor Tau Net agora lida com gestão de nós, chaves e votação a partir de uma única interface
• Foi construído um enxame de agentes blockchain autónomos para testar a rede sob stress
• Uma abordagem completamente nova de extensão temporal agora suporta LTL completo (Lógica Temporal Linear)

Ohad Asor — Fundador e CTO
Um dos avanços mais importantes veio de um repensar completo da arquitetura de lógica temporal da Tau.

Como Ohad explicou:

> "Percebi que a abordagem que estava a tentar era completamente errada. Então procurei uma nova abordagem e encontrei uma e foi muito bem-sucedida. Pode suportar LTL completo. É muito mais fácil algoritmicamente... e depois os agentes LLM implementam-no no código base da Linguagem Tau e conseguem fazê-lo."

O resultado:
• Suporte completo a LTL
• Algoritmos mais simples
• Caminho de implementação mais rápido
• Agentes LLM já a contribuir diretamente para o desenvolvimento

🛠 Destaques de Desenvolvimento

Karim Kaddeche — Coordenador de Desenvolvimento
• Supervisionou o progresso de desenvolvimento importante em toda a equipa
• Migração do consenso para a governação orientada por Tau concluída por Andrei
• Nova CLI de desenvolvedor introduzida para operações de rede simplificadas
• Melhorias em toda a equipa na normalização, análise, testes e segurança de tipo

Tomáš Klapka — Desenvolvedor da Linguagem Tau
• Mesclou o suporte de parsing de várias linhas com inferência de tipo adiada
• Adicionou um novo modelo tau_result para tratamento estruturado de avisos/informações
• Melhorou o suporte de conversão de cadeia UTF-16 e Windows
• Corrigiu um bug de reutilização de nó de árvore de parsing
• Começou a preparar o terreno para futuro suporte de garbage collection

Lucca Tiemens — Desenvolvedor da Linguagem Tau
• Desenvolvendo um algoritmo de normalização focado no bloco de quantificadores
• Permite simplificações anteriores com menos percorrimentos de fórmula
• Utilizando eliminação de quantificadores baseada em BDD para um fluxo de normalização mais limpo
• Reduz a dependência de passos de normalização sintática adiada

David Castro Esteban — Desenvolvedor Líder
• Aplicou especificações de largura de bits obrigatórias para uma segurança de tipo mais forte
• Corrigiu vários casos extremos de bitvector e problemas de simplificação
• Adicionou testes de correção extensivos
• Refatorou os módulos de predicate blasting + inferência de tipo com documentação melhorada
• Melhorou o fluxo de trabalho de build/debug no macOS
• Adicionou infraestrutura de benchmarking e testes para predicate blasting

Andrei Korotkoff — Desenvolvedor Sénior
• Migrado o consenso completamente de Python para regras Tau governadas na cadeia
• Adicionou tipos de transacção de proposta + votação
• Os utilizadores podem agora inspecionar e votar nas regras de consenso ativas através da interface web
• Construiu uma CLI de desenvolvedor polida para todas as operações de nó
• Criou um enxame de agentes blockchain autónomos capazes de:
  – Propor regras
  – Votar
  – Testar a rede sob stress
• Planeia implantar o enxame na rede de testes ao vivo

Perguntas para a próxima sessão?
Submeta-as aqui:
http://bit.ly/TauchainQuestionForm