Synsema Network · Visão
Agentes que sepodem verificar.
Os agentes de IA já pagam, assinam e decidem. A Synsema Network é tudo o que eles precisam para fazer isso de forma verificável: uma linguagem em que a segurança faz parte do código, uma plataforma para executá-los, computação privada em hardware seguro e uma rede na Avalanche onde cada agente e cada pagamento podem ser verificados.
O problema
Hoje se acredita em um agente. Não é possível verificá-lo.
Quando um agente cobra, movimenta dinheiro ou toma uma decisão, tudo o que temos é a palavra de quem o opera e uma resposta 200 OK. Ninguém de fora consegue responder a três perguntas básicas:
Que programa é?
O código que ele diz executar é o que está executando? Mudou desde ontem?
O que ele pode fazer?
A que servidores chega, que chaves toca, quanto pode gastar? Quem o limita?
O que ele fez?
O pagamento foi feito? O que decidiu e por quê? Dá para auditar sem pedir permissão?
Enquanto isso não tiver resposta, os agentes ficam em demos. Com agentes que lidam com dinheiro, dados pessoais ou decisões de empresas, a confiança tem que ser uma propriedade do sistema, não um ato de fé.
A rede
Quatro camadas, de ponta a ponta, para toda a infraestrutura agêntica.
Cada camada pode ser usada separadamente; juntas cobrem desde o código do agente até a prova pública do que ele fez.
Linguagemsynsema.com/lang
Synsema, uma linguagem de programação pensada para ser escrita e lida por agentes. Tudo é proibido por padrão: um programa declara o que pode fazer e o interpretador não o deixa fazer mais nada.
- Permissões declaradas (
require net("…"),sign,secret) que o runtime faz cumprir - Dados privados que não podem vazar por engano; atestação de hardware seguro
- Pagamentos e assinaturas nativos em Ethereum, Avalanche, Solana, Algorand e Bitcoin
Plataformasynsema.com
Onde os agentes rodam: você envia o programa e a plataforma o implanta, o expõe e o mantém vivo, respeitando as permissões que o programa declarou.
- Implantação de agentes e serviços escritos em Synsema, com domínio próprio
Computação privadaTEE atestado
Para agentes que lidam com segredos ou dinheiro: rodam dentro de um enclave de hardware (Intel TDX, AMD SEV-SNP, AWS Nitro) que nem o seu operador consegue espiar. As chaves são geradas lá dentro e nunca saem; cada resultado sai assinado pelo enclave.
- Já testado com a Vela, a computação confidencial da Horizen: folha de pagamento privada, motor de políticas de pagamento, dark pool e transferências privadas escritos em Synsema
BlockchainAvalanche L1
O registro público de agentes: que programa é cada um, quem o controla, o que pode fazer, onde roda e a impressão digital do que fez. Por cima, uma EVM aberta para pagamentos, tokens e contratos. O gás é pago com o token nativo da rede.
- Qualquer pessoa verifica um agente ou um pagamento lendo a blockchain, sem perguntar a ninguém
- Agentes escritos em qualquer linguagem podem se registrar; os de Synsema provam mais
Por que Synsema
Porque a confiança não se acrescenta depois: ela é escrita na linguagem.
A segurança é da linguagem, não da disciplina
Em qualquer outro stack, o que um agente pode fazer depende de alguém lembrar de limitá-lo. Em Synsema, sem require net("api.banco.com") a chamada não existe. O que ele declara é o seu teto, e esse teto pode ser publicado e verificado.
Verificável de ponta a ponta
O hash do programa, o hash das suas permissões e a medida do hardware onde roda vão para a blockchain. Um terceiro pode verificar que o agente é quem diz ser e roda onde diz rodar.
Feito para a era dos agentes
Os agentes escrevem cada vez mais código. Synsema é curta, legível e traz o que um agente precisa (modelos, coordenação, pagamentos, servidores) como parte da linguagem, não como cem bibliotecas.
Uma peça só em vez de dez
Linguagem, plataforma, computação privada e registro público projetados juntos. Quem constrói agentes não precisa costurar fornecedores: tudo fala a mesma língua.
Por que Avalanche
Uma L1 própria, com seu token de gás e finalidade imediata.
Soberania
Uma L1 com seu próprio token nativo para o gás, seus validadores e sua configuração, sem disputar espaço com outras aplicações.
Finalidade imediata
Um bloco aceito não é revertido. Para um agente que cobra, "incluído" significa "recebido": não é preciso esperar confirmações.
Conectada
Com as pontes nativas da Avalanche a rede troca ativos e mensagens com a C-Chain e com outras L1, sem pontes de terceiros.
EVM padrão
Os contratos, as carteiras e as ferramentas do ecossistema funcionam sem mudanças. Qualquer equipe de Ethereum ou Avalanche pode construir em cima desde o primeiro dia.
O que já existe
Não é uma ideia: dá para abrir e testar hoje.
- A linguagem Synsema — interpretador em Rust, versão 0.6.28, documentação completa e um curso interativo.synsema.com/lang ↗
- A plataforma — implantação de agentes e serviços escritos em Synsema.synsema.com/platform ↗
- Computação privada na Vela (Horizen) — adaptador de Synsema para a Vela e quatro aplicações: folha de pagamento privada, motor de políticas de pagamento, dark pool e transferências privadas.Documentação ↗
- A Synsema L1 em devnet — rede própria com token nativo, registro de agentes, explorador e verificação de pagamentos.Explorador →
- Verificar um pagamento sem confiar em ninguém — cole o hash e a rede diz se é final; um botão confere com o nó.Testar →
Roteiro
Da devnet à rede principal.
- Devnetfeito · setembro de 2026
L1 própria, registro de agentes, explorador, verificação de pagamentos, operação documentada.
- Ecossistema mínimoa seguir
Fábrica de tokens com modelos verificados, DEX de teste e o primeiro agente em hardware seguro com recibos na blockchain.
- Fujitestnet da Avalanche
Vários validadores, ponte oficial com a C-Chain, explorador com verificação de contratos.
- Mainnetdepois da parte legal e das auditorias
Validadores independentes, desenho do token e governança, abertura a construtores.
O que buscamos
Construí-la com o ecossistema da Avalanche.
Validadores
Operadores que queiram validar a rede a partir da Fuji.
Orientação técnica
Validadores, a passagem para proof of stake e as pontes com a C-Chain.
Programas
Os programas da Avalanche para L1 e para infraestrutura de IA.
Equipes
Quem estiver construindo agentes, pagamentos ou DeFi e queira testar a rede.