[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