Plataforma
Synsema é uma linguagem em que permissão é sintaxe. A plataforma roda seu agente sob exatamente o que ele declarou, sela seus segredos e guarda a auditoria que seu time de segurança vai pedir.
O que roda aqui
Sites, APIs, páginas renderizadas no servidor. Um processo serve HTML para pessoas e Markdown para agentes.
Exponha ferramentas ao Claude, ao Cursor ou a qualquer cliente. Uma rota, segredos selados, entrada sob um teto.
Sem URL. Vigiam feeds, filas, chains, caixas de entrada. Sempre ligados, sob o mesmo teto.
Blackboard, sinais, spawn. Muitos agentes em um processo, um manifesto para todos.
EVM, Solana, Bitcoin, Algorand. Assinar e gastar são capacidades, medidas e auditadas.
Uma PWA com push nativo, ou um binário de desktop. O mesmo programa, a mesma cerca.
Antes de rodar
Cada deploy cruza o que o código declara com require e o que seu plano permite. O resultado é uma tabela, não uma política: esta linha concedida, esta linha negada, e por quê. O programa nunca pode subir acima disso, porque o runtime faz valer o teto em cada chamada.
| Declarado no programa | Escopo | No plano Free |
|---|---|---|
| require net("rpc.arc.network") | rpc.arc.network | concedida |
| require llm | — | concedida |
| require secret("ARC_HOT_KEY") | ARC_HOT_KEY | concedida |
| require sign("ARC_HOT_KEY") | ARC_HOT_KEY | negada · acima do plano |
| require spend("USDC") | USDC | negada · acima do plano |
| require memory("invoice-agent") | invoice-agent | concedida |
Enquanto roda
Cada verificação de capacidade que o runtime faz, concedida ou negada, fica registrada com sua origem e seu motivo. Quando um agente tenta ler o endereço de metadados da nuvem que nunca declarou, a linha está lá, em vermelho, com a recusa. É a página que um CISO abre primeiro, e a que fecha o negócio.
| 14:02:11 | sign | ARC_HOT_KEY | concedida | invoice #2291 · 412 USDC |
| 14:02:10 | spend | USDC | concedida | 412 / 500 |
| 13:58:40 | net | 169.254.169.254 | negada | nunca declarado |
| 13:58:39 | llm | — | concedida | reason · 1,930 tokens |
| 13:58:38 | secret | ARC_HOT_KEY | concedida | selado · nunca impresso |
O que ele nunca vê
Um secret() é opaco para o programa que o carrega. Ele autentica, assina e paga, mas não pode ser impresso, logado, serializado nem entregue a um modelo. Prompt injection não tem o que roubar, e sua revisão de segurança tem uma pergunta a menos.
require secret("ARC_HOT_KEY") require sign("ARC_HOT_KEY") let key be secret("ARC_HOT_KEY") print(key) -- o que o modelo adoraria ver let sig be secp256k1_sign(digest, key) -- o que ele tem permissão de fazer
Além do contêiner
A plataforma executa qualquer programa Synsema, então o que a linguagem faz vem junto. Cada item está documentado e foi verificado contra o sistema real; a etiqueta diz em que estado está hoje.
Um programa pede ao hardware um documento que vincula seu código à sua resposta — AWS Nitro, Intel TDX, AMD SEV-SNP, dstack — e um cliente o verifica com attestation_verify antes de enviar dados. O que é marcado como private é recusado por toda saída pública.
require attest let doc be attest({"report_data": digest})
Um arquivo .syn roda como app do coprocessador confidencial da Horizen: dentro de um enclave Nitro, com o estado cifrado e cada resultado registrado na blockchain como uma raiz de estado assinada. Quatro kits abertos para começar:
Ethereum e qualquer blockchain EVM, Avalanche, Solana, Algorand e Bitcoin. A chave fica selada como segredo; assinar e gastar são capacidades que o plano mede e a auditoria registra. Os agentes podem se registrar na Synsema Network, um registro público de agentes.
require sign("HOT_KEY") require spend("USDC")
judge faz perguntas tipadas a um modelo System One — whether, choose, rate — e recebe probabilidades sobre as quais seu código pode decidir, não texto. O Jev, da TypeSafe, é o primeiro backend; desde a v0.6.27 um checkpoint open source (Laya, Apache 2.0) responde às mesmas perguntas sem chave e sem rede.
require judge let v be judge ticket refund: whether "Asks for money back"
Feito para ser delegado
Toda a superfície de permissões é um bloco no topo do arquivo. Revisado em pull request, comparado entre versões, legível por um auditor em vinte linhas.
Um runner é uma máquina com Docker e um programa. Ele só chama o plano de controle, então colocá-lo no seu tenant não nos dá acesso a nada seu.
Serviços enterprise ficam atrás do seu SSO desde o primeiro deploy, com papéis por projeto e uma auditoria que vai para o seu SIEM. O tier confidencial, em um TEE, é o próximo.
Receitas
web · web.syn
O agente de programação open source, hospedado. Seu próprio Lampson em uma URL, com um workspace só dele.
web · web.syn
Um dark pool para operações em bloco no Vela (Horizen) com Synsema: as ordens entram cifradas, o enclave as cruza, a liquidação sai do escrow; ninguém vê o livro e as ordens perdedoras nunca são reveladas.
web · web.syn
Um motor de políticas de pagamento no Vela (Horizen) com Synsema: um agente de IA revisa faturas e propõe pagamentos, o enclave aplica a política de gastos (beneficiários permitidos, tetos, limite automático, aprovações) e um contrato paga. O agente nunca tem uma chave.
web · web.syn
Folha de pagamento privada no Vela (Horizen) com Synsema: uma empresa paga uma lista de pessoas em stablecoin; ninguém de fora vê quem ganha quanto, cada uma vê só os seus holerites e o auditor recebe o relatório.
web · web.syn
Transferências privadas no Vela (Horizen) com Synsema: saldos e transferências ficam cifrados no enclave, cada transferência leva uma fatura e deixa um recibo público; o kit inicial para qualquer app do Vela, com o guest, seus testes e uma bancada.
Do blog
A probabilidade calibrada que decide o que uma pessoa vê já não precisa vir de uma API. Um checkpoint System One open source no seu próprio disco responde as mesmas perguntas tipadas sem chave, sem rede e sem custo por token — e o mesmo programa roda contra qualquer um dos dois.
Para algumas cargas a pergunta interessante não é qual modelo é melhor, mas se o dado tem permissão de sair. Um modelo dentro do processo responde isso sem egress, sem um fornecedor na cadeia de confiança e sem fatura por token — e o que ele cobra em troca é latência e tamanho de modelo.
Rotear, etiquetar, decidir elegibilidade e moderar são o trabalho de IA de maior volume na maioria dos produtos, e o mais barato de errar. Um modelo System One responde isso com uma probabilidade calibrada — e a economia não chega nem perto.
Um comando, uma URL e um registro de tudo o que o programa teve permissão de tocar. Comece grátis, traga sua própria chave.