[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

[zeca pagodinho]

[https://t.me/AGRS_OTC/79284]

[zeca pagodinho]

🚨Nova patente dos EUA concedida! - Sistemas para identificação e certificação digital. Comprove suas qualificações mantendo seus dados pessoais privados.

Aqui estão alguns exemplos de resultados que nossa tecnologia patenteada trará para o comércio eletrônico e as DAOs na rede Tau:
- Compre produtos com restrição de idade sem enviar uma cópia do seu documento de identidade para cada loja.
- Solicite descontos em serviços sem entregar seus documentos pessoais a cada varejista.
- Apresente comprovantes de suas qualificações ou experiência profissional entre diferentes serviços.
- Certifique sua participação em votações de DAOs como uma única pessoa, sem usar a mesma identidade em todos os lugares.

Sua evidência pode ser verificada uma única vez, fornecendo um comprovante assinado que você pode reutilizar sempre que um serviço precisar confirmar esse fato.
Você pode apresentar essa evidência pessoalmente ou autorizar um agente a apresentá-la em seu nome. Cada fornecedor ou serviço recebe a evidência necessária, enquanto seus outros dados pessoais permanecem privados.

Estas são algumas das implicações práticas da nova patente dos EUA 12.689.525, concedida à IDNI AG. As reivindicações concedidas abrangem comprovantes reutilizáveis de idade, emprego, qualificações e experiência profissional, juntamente com uma identificação única específica do contexto que não revela a chave pública global do usuário.

https://x.com/TauLogicAI/status/2093823070653804846

[diggler]

Isso parece intrigante à primeira vista, mas ainda tenho minhas dúvidas em relação a esse projeto em particular. O aspecto chave aqui é que será controlado pelos seus usuários usando a lógica e que o código em si será gerado pela especificação dos usuários. Quantos usuários são capazes de criar regras lógicas em Linguagem Tau? O que acontece se houver um conflito entre diferentes especificações feitas por dois grupos diferentes de usuários? Há muito trabalho feito em relação à testnet e aos commits,o que é bom. Porém a lacuna entre "Estamos trabalhando na simplificação das regras" e "Os usuários controlam a blockchain" é muito grande para mim.Gostaria de ver alguns exemplos de regras lógicas criadas pelos usuários e implementadas na rede.

[zeca pagodinho]

Isso parece intrigante à primeira vista, mas ainda tenho minhas dúvidas em relação a esse projeto em particular. O aspecto chave aqui é que será controlado pelos seus usuários usando a lógica e que o código em si será gerado pela especificação dos usuários. Quantos usuários são capazes de criar regras lógicas em Linguagem Tau? O que acontece se houver um conflito entre diferentes especificações feitas por dois grupos diferentes de usuários? Há muito trabalho feito em relação à testnet e aos commits,o que é bom. Porém a lacuna entre "Estamos trabalhando na simplificação das regras" e "Os usuários controlam a blockchain" é muito grande para mim.Gostaria de ver alguns exemplos de regras lógicas criadas pelos usuários e implementadas na rede.

Muitas dúvidas serão dissipadas, assim que a testnet Alpha for aberta para o público, no momento a única coisa que se pode fazer é aguardar e ir acompanhando o projeto, para não perder o bonde.

[zeca pagodinho]

Em relação à segurança da inteligência artificial, alguém realizou uma série de experimentos.
Nesses experimentos, sistemas de inteligência artificial foram instruídos a controlar um braço robótico para esfaquear um manequim humanoide, aquecer gás comprimido, gerar gases tóxicos e realizar outras ações potencialmente perigosas.
The results were as follows:
O GPT-6 Astra tentou realizar ações prejudiciais 97% das vezes e teve sucesso em 62% dessas tentativas.
O Fable 5.1 se recusou com mais frequência, tentou 80% dos testes e completou 34% deles.
É por isso que precisamos da tecnologia da Tau para controlar a segurança da inteligência artificial.