Plataforma
Synsema es un lenguaje donde el permiso es sintaxis. La plataforma corre tu agente bajo exactamente lo que declaró, sella sus secretos y guarda la auditoría que tu equipo de seguridad va a pedir.
Qué corre aquí
Sitios, APIs, páginas renderizadas en el servidor. Un proceso sirve HTML a las personas y Markdown a los agentes.
Expón herramientas a Claude, Cursor o cualquier cliente. Una ruta, secretos sellados, entrada bajo un techo.
Sin URL. Vigilan feeds, colas, cadenas, bandejas. Siempre encendidos, bajo el mismo techo.
Blackboard, señales, spawn. Muchos agentes en un proceso, un manifiesto para todos.
EVM, Solana, Bitcoin, Algorand. Firmar y gastar son capacidades, medidas y auditadas.
Una PWA con push nativo, o un binario de escritorio. El mismo programa, la misma valla.
Antes de correr
Cada deploy cruza lo que el código declara con require y lo que tu plan permite. El resultado es una tabla, no una política: esta línea concedida, esta línea denegada, y por qué. El programa nunca puede subir por encima, porque el runtime hace cumplir el techo en cada llamada.
| Declarado en el programa | Alcance | En el plan 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 | denegada · por encima del plan |
| require spend("USDC") | USDC | denegada · por encima del plan |
| require memory("invoice-agent") | invoice-agent | concedida |
Mientras corre
Cada comprobación de capacidad que hace el runtime, concedida o denegada, queda escrita con su origen y su motivo. Cuando un agente intenta leer la dirección de metadatos de la nube que nunca declaró, la línea está ahí, en rojo, con el rechazo. Esa es la página que un CISO abre primero, y la que cierra la venta.
| 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 | denegada | nunca declarado |
| 13:58:39 | llm | — | concedida | reason · 1,930 tokens |
| 13:58:38 | secret | ARC_HOT_KEY | concedida | sellado · nunca impreso |
Lo que nunca ve
Un secret() es opaco para el programa que lo tiene. Autentica, firma y paga, pero no se puede imprimir, registrar, serializar ni entregar a un modelo. La inyección de prompt no tiene nada que robar, y tu revisión de seguridad tiene una pregunta menos.
require secret("ARC_HOT_KEY") require sign("ARC_HOT_KEY") let key be secret("ARC_HOT_KEY") print(key) -- lo que al modelo le encantaría ver let sig be secp256k1_sign(digest, key) -- lo que sí tiene permitido hacer
Más allá del contenedor
La plataforma corre cualquier programa Synsema, así que lo que hace el lenguaje viene incluido. Cada punto está documentado y se verificó contra el sistema real; la etiqueta dice en qué estado está hoy.
Un programa le pide al hardware un documento que ata su código a su respuesta — AWS Nitro, Intel TDX, AMD SEV-SNP, dstack — y un cliente lo comprueba con attestation_verify antes de mandarle datos. Lo marcado como private no pasa por ninguna salida pública.
require attest let doc be attest({"report_data": digest})
Un archivo .syn corre como app del coprocesador confidencial de Horizen: dentro de un enclave Nitro, con el estado cifrado y cada resultado asentado en la cadena como una raíz de estado firmada. Cuatro kits abiertos para empezar:
Ethereum y cualquier cadena EVM, Avalanche, Solana, Algorand y Bitcoin. La clave queda sellada como secreto; firmar y gastar son capacidades que el plan mide y la auditoría registra. Los agentes pueden registrarse en Synsema Network, un registro público de agentes.
require sign("HOT_KEY") require spend("USDC")
judge le hace preguntas tipadas a un modelo System One — whether, choose, rate — y recibe probabilidades sobre las que tu código puede decidir, no texto. Jev, de TypeSafe, es el primer backend; desde la v0.6.27 un checkpoint open source (Laya, Apache 2.0) contesta las mismas preguntas sin clave y sin red.
require judge let v be judge ticket refund: whether "Asks for money back"
Hecho para que te lo deleguen
Toda la superficie de permisos es un bloque al principio del archivo. Se revisa en un pull request, se compara entre versiones, y un auditor lo lee en veinte líneas.
Un runner es una máquina con Docker y un programa. Solo llama hacia el plano de control, así que ponerlo en tu tenant no nos da acceso a nada tuyo.
Los servicios enterprise quedan detrás de tu SSO desde el primer deploy, con roles por proyecto y una auditoría que va a tu SIEM. El tier confidencial, en un TEE, es lo siguiente.
Recetas
web · web.syn
El agente de programación open source, alojado. Tu propio Lampson en una URL, con un workspace propio.
web · web.syn
Un dark pool para operaciones en bloque en Vela (Horizen) con Synsema: las órdenes entran cifradas, el enclave las cruza, la liquidación sale del escrow; nadie ve el libro y las órdenes perdedoras nunca se revelan.
web · web.syn
Un motor de políticas de pago en Vela (Horizen) con Synsema: un agente de IA revisa facturas y propone pagos, el enclave aplica la política de gasto (proveedores permitidos, topes, límite automático, aprobaciones) y un contrato paga. El agente nunca tiene una clave.
web · web.syn
Nómina privada en Vela (Horizen) con Synsema: una empresa paga a una lista de personas en stablecoin; nadie afuera ve quién cobra cuánto, cada una ve sólo sus recibos y el auditor recibe el reporte.
web · web.syn
Transferencias privadas en Vela (Horizen) con Synsema: saldos y transferencias quedan cifrados en el enclave, cada transferencia lleva una factura y deja un recibo público; el kit de inicio para cualquier app de Vela, con el guest, sus tests y una mesa de trabajo.
Del blog
La probabilidad calibrada que decide qué ve una persona ya no tiene que venir de una API. Un checkpoint System One open source en tu propio disco responde las mismas preguntas tipadas sin clave, sin red y sin costo por token — y el mismo programa corre contra cualquiera de los dos.
El slot del juez es un protocolo, no un proveedor. Desde la v0.6.27 un checkpoint de Laya en disco — ModernBERT, Apache 2.0 — responde whether, choose y rate sin red, sin secreto y sin costo por token, y el mismo bloque corre sin cambiar una línea.
Desde la v0.6.27 el provider local embebido acepta el nombre de un modelo que ya está en tu caché de Ollama o de Hugging Face — no se descarga nada — y una arquitectura es un archivo de texto que lee el binario ya compilado, así que sumar un modelo dejó de esperar un release nuestro.
Un comando, una URL y un registro de todo lo que el programa tuvo permitido tocar. Empieza gratis, trae tu propia clave.