Per-action authorization · PoIA / ZK-STARK · fail-closed enforcement Autorización por acción · PoIA / ZK-STARK · ejecución fail-closed 每操作授权 · PoIA / ZK-STARK · 失败关闭执行

AI agents should
ask permission
before they act.
Los agentes IA deben
pedir permiso
antes de actuar.
AI 代理在行动前
应该先请求授权。

KoBaDNA is an authorization layer for AI agents, powered by TrustOSD and PoIA. It sits between your agent and the tools it can use, then decides whether each action is allowed, denied, or routed to human approval. Sensitive approvals can be bound to ZK/STARK proofs, nullifiers, CAS receipts, and post-quantum signatures. KoBaDNA es una capa de autorización para agentes IA, impulsada por TrustOSD y PoIA. Se ubica entre tu agente y sus herramientas, y decide si cada acción se permite, se deniega o requiere aprobación humana. Las aprobaciones sensibles pueden vincularse a pruebas ZK/STARK, nullifiers, recibos CAS y firmas post-cuánticas. KoBaDNA 是一个由 TrustOSD 与 PoIA 支撑的AI 代理授权层。它位于你的代理与其可调用工具之间，判断每个操作应被允许、拒绝或转入人工审批。敏感审批可绑定到 ZK/STARK 证明、nullifier、CAS 凭证和后量子签名。

→ Request access → Solicitar acceso → 请求访问 Sign in to dashboard Entrar al panel 进入控制台
Access token Token de acceso 访问令牌 JWT(agent_session) == valid
≠
Action authorization Autorización de acción 操作授权 allow(action_id, payload) == true
KoBaDNA + PoIA proof flow — per action
agent lane
AI agent asks first
authorize(action, payload)
gateway
gateway / sdk
Tenant + license + policy
tenant, agent, runtime, drift
decision
trustosd + zk
ALLOW / REQUIRE_APPROVAL / DENY
STARK verified → receipt_ref = sha256(decision)
human boundary
operator lane
Sensitive actions need approval
PoIA proof / signature → audit receipt
Result — enforceable
No valid policy, license, approval, proof, or health → Sin política, licencia, aprobación, prueba o salud válida → 策略、许可、审批、证明或健康状态无效 →
DENY / BLOCK. Fail closed.
00 ZK/STARK proof spineColumna ZK/STARKZK/STARK 证明主线

The product is authorization.
The proof spine is PoIA / ZK-STARK. El producto es autorización.
La columna de prueba es PoIA / ZK-STARK. 产品是授权层。
证明主线是 PoIA / ZK-STARK。

KoBaDNA should not look like a generic control panel. Its defensible technical core is the ZK/STARK path: admitted operator credential, exact action payload, nullifier, public inputs, CAS receipt, and fail-closed verification. KoBaDNA no debe parecer un panel genérico. Su núcleo técnico defendible es la ruta ZK/STARK: credencial de operador admitido, payload exacto, nullifier, public inputs, recibo CAS y verificación fail-closed. KoBaDNA 不应像普通控制面板。它可防御的技术核心是 ZK/STARK 路径：已准入操作员凭证、精确操作 payload、nullifier、公共输入、CAS 凭证和失败关闭验证。

ZK / STARK
Sensitive authorization can be verified as a proof claim, not only as a server log. The public site should make this visible, while still avoiding the overclaim that cryptography alone proves biological uniqueness.La autorización sensible puede verificarse como una prueba, no solo como log de servidor. El sitio debe mostrarlo sin afirmar que la criptografía sola prueba unicidad biológica.敏感授权可作为证明声明验证，而不只是服务器日志。网站应明确展示这一点，同时避免声称密码学本身能证明生物唯一性。
Cairo / Scarb / Stwo
The backend already follows a Cairo/STARK-oriented proof path: proof generation, verification, semantic public-input binding, and receipt anchoring.El backend ya sigue una ruta orientada a Cairo/STARK: generación, verificación, vinculación semántica de public inputs y anclaje de recibos.后端已经采用面向 Cairo/STARK 的证明路径：证明生成、验证、语义公共输入绑定和凭证锚定。
Action-bound nullifier
The intended PoIA claim is narrow and strong: an admitted operator authorized this exact action once. Replay fails because the nullifier is spent.La afirmación PoIA es estrecha y fuerte: un operador admitido autorizó esta acción exacta una vez. El replay falla porque el nullifier queda gastado.PoIA 的声明窄而强：已准入操作员仅一次授权这个精确操作。由于 nullifier 已花费，重放会失败。
CAS receipts
Every action decision, approval, proof status, drift check, and dashboard claim can point to a stable content-addressed reference instead of vague observability logs.每个操作决策、审批、证明状态、漂移检查和仪表盘声明都可指向稳定的内容寻址引用，而不是模糊的可观测性日志。每个操作决策、审批、证明状态、漂移检查和仪表盘声明都可指向稳定的内容寻址引用，而不是模糊的可观测性日志。
01 The problemEl problema问题

Authentication tells you who logged in.
It does not tell you which action is allowed. La autenticación dice quién inició sesión.
No dice qué acción está permitida. 身份验证告诉你谁登录了。
它不会告诉你哪个操作被允许。

Traditional accessAcceso tradicional传统访问控制
Tokens grant broad powerLos tokens otorgan poder amplio令牌授予广泛权限
An AI agent that inherits a session token can read, write, delete, send, refund, deploy, or call tools until the token is revoked. The system knows the token is valid, but not whether this exact action was intended. Un agente IA que hereda un token de sesión puede leer, escribir, borrar, enviar, reembolsar o llamar herramientas hasta que el token sea revocado. El sistema sabe que el token es válido, pero no si esta acción exacta fue intencional. 继承会话令牌的 AI 代理可以读取、写入、删除、发送、退款或调用工具，直到令牌被撤销。系统知道令牌有效，却不知道这个具体操作是否被授权。
token.valid == true
≠ action allowed
≠ human approved
≠ safe to execute
KoBaDNA boundaryLímite KoBaDNAKoBaDNA 边界
Every action gets a decisionCada acción recibe una decisión每个操作都有决策
KoBaDNA checks tenant, license, agent identity, runtime, policy, drift, approval status, and proof state before the action happens. The output is deterministic and auditable. KoBaDNA verifica tenant, licencia, identidad del agente, runtime, política, drift, aprobación y estado de prueba antes de que ocurra la acción. La salida es determinista y auditable. KoBaDNA 在操作发生前检查租户、许可、代理身份、运行时、策略、漂移、审批状态和证明状态。输出是确定性且可审计的。
decision = ALLOW
decision = REQUIRE_APPROVAL
decision = DENY
RISK A
Silent tool misuseUso silencioso de herramientas静默工具滥用
Agents can call real tools faster than humans can supervise them. KoBaDNA turns tool calls into explicit authorization events.Los agentes pueden llamar herramientas reales más rápido que los humanos pueden supervisar. KoBaDNA convierte llamadas a herramientas en eventos de autorización explícitos.代理调用真实工具的速度快于人类监督。KoBaDNA 将工具调用转为明确的授权事件。
RISK B
No proof of intentSin prueba de intención没有意图证明
A log entry is not a proof that the right person approved the right action. KoBaDNA creates receipts for decisions and approvals.Un log no prueba que la persona correcta aprobó la acción correcta. KoBaDNA crea recibos de decisiones y aprobaciones.日志条目并不能证明正确的人批准了正确的操作。KoBaDNA 为决策与审批生成凭证。
RISK C
Unbounded delegationDelegación ilimitada无限委托
A human may want the agent to summarize a case, but not issue a refund or delete a record. KoBaDNA separates safe actions from sensitive actions.Una persona puede querer que el agente resuma un caso, pero no que emita un reembolso o borre datos. KoBaDNA separa acciones seguras de acciones sensibles.人类可能希望代理总结案例，但不希望它退款或删除记录。KoBaDNA 区分安全操作与敏感操作。
RISK D
Drift after launchDrift después del lanzamiento上线后的漂移
Policies, licenses, runtime state, or audit state can drift. KoBaDNA exposes health and drift status so production can fail closed when trust is uncertain.Políticas, licencias, runtime o auditoría pueden desviarse. KoBaDNA expone salud y drift para fallar cerrado cuando la confianza es incierta.策略、许可、运行时或审计状态都可能漂移。KoBaDNA 暴露健康与漂移状态，信任不确定时失败关闭。
02 What KoBaDNA doesQué hace KoBaDNAKoBaDNA 做什么

A permission boundary
between AI agents and real-world actions. Un límite de permisos
entre agentes IA y acciones reales. 在 AI 代理与现实操作之间
建立权限边界。

KoBaDNA is not another AI agent. It is the control layer that makes existing agents ask permission before touching money, records, infrastructure, customer data, or regulated workflows. KoBaDNA no es otro agente IA. Es la capa de control que hace que los agentes existentes pidan permiso antes de tocar dinero, registros, infraestructura, datos de clientes o flujos regulados. KoBaDNA 不是另一个 AI 代理。它是控制层，让现有代理在触碰资金、记录、基础设施、客户数据或受监管流程之前先请求授权。

ALLOW
Safe, policy-approved actions continue immediately: read, summarize, status checks, low-risk operations.Acciones seguras aprobadas por política continúan inmediatamente: leer, resumir, estado y operaciones de bajo riesgo.安全且符合策略的操作立即继续：读取、总结、状态检查和低风险操作。
REQUIRE_APPROVAL
Sensitive actions pause and create an approval request: refunds, deletes, transfers, audit access, production changes.Las acciones sensibles se pausan y crean una solicitud de aprobación: reembolsos, borrados, transferencias, auditoría, cambios de producción.敏感操作会暂停并创建审批请求：退款、删除、转账、审计访问、生产变更。
DENY
Unknown agents, invalid licenses, drifted state, forbidden capabilities, or failed proofs are blocked by default.Agentes desconocidos, licencias inválidas, drift, capacidades prohibidas o pruebas fallidas se bloquean por defecto.未知代理、无效许可、状态漂移、禁止能力或证明失败都会默认阻止。
RECEIPT
Every decision becomes an immutable audit receipt with tenant, agent, action, decision, approval state, and artifact references.Cada decisión se convierte en un recibo de auditoría inmutable con tenant, agente, acción, decisión, aprobación y referencias.每个决策都成为不可变审计凭证，包含租户、代理、操作、决策、审批状态和工件引用。
Core product endpoint HTTP / SDK
// Agent asks before tool execution POST /v1/actions/authorize { "tenant_id": "tenant_local_demo", "agent_id": "finance-bot", "action": "issue_refund", "resource": "billing", "amount": 800 } // KoBaDNA answers { "decision": "REQUIRE_APPROVAL", "approval_id": "sha256:...", "receipt_ref": "sha256:..." }
03 How it worksCómo funciona工作方式

Install locally.
Control centrally. Prove per action. Instala localmente.
Controla centralmente. Prueba por acción. 本地安装。
集中控制。按操作证明。

LOCAL
KoBaDNA Gateway / SDK next to the customer’s agentKoBaDNA Gateway / SDK junto al agente del cliente客户代理旁边的 KoBaDNA Gateway / SDK
The customer installs a lightweight CLI, daemon, container, or SDK package. It stores local config, tenant/runtime/gateway identity, and routes tool calls through TrustOSD.El cliente instala CLI, daemon, contenedor o SDK. Guarda configuración local, identidad tenant/runtime/gateway y enruta llamadas a herramientas por TrustOSD.客户安装轻量 CLI、守护进程、容器或 SDK 包。它保存本地配置、租户/运行时/网关身份，并通过 TrustOSD 路由工具调用。
gateway configruntime identityagent connectorheartbeat
CLOUD
TrustOSD backend, tenant license, policy, approvals, receiptsBackend TrustOSD, licencia, política, aprobaciones, recibosTrustOSD 后端、租户许可、策略、审批、凭证
KoBaDNA manages tenant onboarding, license status, agent registry, policy matrix, approval flow, audit receipts, drift and production status.KoBaDNA gestiona onboarding, licencia, registro de agentes, matriz de políticas, aprobaciones, recibos, drift y estado de producción.KoBaDNA 管理租户入驻、许可状态、代理注册、策略矩阵、审批流程、审计凭证、漂移和生产状态。
tenantlicensepolicyauditdrift
PoIA
Optional local human/operator proof layerCapa opcional local de prueba humana/operador可选的本地人类/操作员证明层
For stronger deployments, human/operator secrets remain local. A local signer/prover can authorize exact action intent and produce a proof or signed approval that TrustOSD verifies.Para despliegues más fuertes, los secretos humanos/operador permanecen locales. Un firmador/prover local autoriza la intención exacta y TrustOSD verifica.在更强部署中，人类/操作员秘密保留在本地。本地签名器/证明器授权精确操作意图，并生成由 TrustOSD 验证的证明或签名审批。
local secrethuman approvalintent bindingproof
04 PoIA and trust modelPoIA y modelo de confianzaPoIA 与信任模型

Cryptographically honest.
No magic “unique human” claim. Criptográficamente honesto.
Sin promesas mágicas de “humano único”. 密码学上诚实。
不神化“唯一人类”声明。

PoIA — Proof of Independent Agency — is the cryptographic layer for proving that an admitted human/operator credential authorized a specific action once, without exposing identity or relying on reusable session tokens. Admission and enrollment policy remain explicit and auditable. PoIA — Prueba de Agencia Independiente — es la capa criptográfica para probar que una credencial humana/operador admitida autorizó una acción específica una vez, sin exponer identidad ni depender de tokens reutilizables. La política de admisión sigue siendo explícita y auditable. PoIA（独立行为证明）是密码学层，用于证明已准入的人类/操作员凭证授权了某个具体操作一次，同时不暴露身份、不依赖可复用会话令牌。准入与注册策略保持明确且可审计。

Do not overclaimNo exagerar不要过度声明
PoIA does not prove biologyPoIA no prueba biologíaPoIA 不证明生物身份
Cryptography proves knowledge of an admitted credential and action-bound authorization. Sybil resistance depends on the admission policy and issuer gates.La criptografía prueba conocimiento de una credencial admitida y autorización vinculada a acción. La resistencia Sybil depende de la política de admisión.密码学证明持有已准入凭证并对操作授权。Sybil 抗性取决于准入策略和发行者门控。
Honest claimReclamo honesto诚实声明
An admitted operator authorized this exact action onceUn operador admitido autorizó esta acción una vez已准入操作员授权了这个精确操作一次
This is the claim KoBaDNA can enforce, verify, and audit. It is the right primitive for agent action control.Este es el reclamo que KoBaDNA puede ejecutar, verificar y auditar. Es el primitivo correcto para controlar acciones de agentes.这是 KoBaDNA 可以执行、验证和审计的声明，也是控制代理操作的正确原语。
PoIA claim — precise version Trust boundary
// Not: "a biological unique human exists" // Yes: { "admitted_operator_credential": true, "authorized_action_id": "sha256:...", "payload_hash_bound": true, "spent_once": true, "identity_unlinked": true }
05 Technical proof layerCapa técnica de prueba技术证明层

The product is simple.
The proof layer is cryptographic. El producto es simple.
La capa de prueba es criptográfica. 产品很简单。
证明层是密码学的。

KoBaDNA is a practical authorization product for AI agents. Its technical wedge is PoIA: a ZK/STARK, action-bound proof layer that can bind an admitted human/operator credential to one exact action payload, one nullifier, and one verifiable receipt. KoBaDNA es un producto práctico de autorización para agentes IA. Su diferenciador técnico es PoIA: una capa ZK/STARK vinculada a la acción que puede ligar una credencial de humano/operador admitido con un payload exacto, un nullifier y un recibo verificable. KoBaDNA 是面向 AI 代理的实用授权产品。它的技术楔子是 PoIA：一种 ZK/STARK 操作绑定证明层，可将已准入的人类/操作员凭证与一个精确操作 payload、一个 nullifier 和一个可验证凭证绑定。

ZK / STARK
Sensitive authorization can be proven with transparent STARK-style proofs instead of relying only on server-side logs or session tokens.La autorización sensible puede probarse con pruebas transparentes tipo STARK, no solo con logs del servidor o tokens de sesión.敏感授权可用透明的 STARK 风格证明，而不只依赖服务器日志或会话令牌。
Cairo / Scarb / Stwo path
The proof pipeline is aligned with the Cairo/STARK tooling path used by the backend: proof generation, proof verification, semantic public-input binding, and verifiable receipts.El pipeline de prueba sigue la ruta Cairo/STARK usada por el backend: generación, verificación, vinculación semántica de public inputs y recibos verificables.证明流水线与后端使用的 Cairo/STARK 工具链一致：生成、验证、语义公共输入绑定和可验证凭证。
Nullifier + action binding
The intended claim is per action: an admitted operator authorized this exact action payload once. Nullifiers prevent replay; payload hashes prevent intent substitution.La afirmación es por acción: un operador admitido autorizó este payload exacto una vez. Los nullifiers evitan replay; los hashes evitan sustitución de intención.声明是按操作的：已准入操作员对这个精确 payload 授权一次。nullifier 防止重放，payload hash 防止意图替换。
CAS receipts
Every decision, approval, proof status, drift check, and activation artifact is content-addressed. The UI can show stable refs instead of vague logs.Cada decisión, aprobación, estado de prueba, drift y artefacto queda direccionado por contenido. La UI muestra refs estables, no logs ambiguos.每个决策、审批、证明状态、漂移检查和激活工件都按内容寻址。UI 显示稳定引用，而非模糊日志。
Hybrid signatures
Where signing is needed, KoBaDNA can use hybrid classical and post-quantum-ready signatures such as Ed25519 plus ML-DSA-65 in the authority flow.Cuando se requiere firma, KoBaDNA puede usar firmas híbridas clásicas y post-cuánticas como Ed25519 más ML-DSA-65 en el flujo de autoridad.需要签名时，KoBaDNA 可在 authority 流程中使用 Ed25519 与 ML-DSA-65 等经典+后量子混合签名。
Fail-closed verification
If license, policy, proof, approval, receipt, runtime audit, or drift status cannot be verified, the safe product behavior is to block the action.Si no se puede verificar licencia, política, prueba, aprobación, recibo, runtime audit o drift, el comportamiento seguro es bloquear la acción.如果许可、策略、证明、审批、凭证、运行时审计或漂移状态无法验证，安全行为就是阻止操作。
PoIA proof claim — action-bound and honest ZK/STARK · Cairo-ready
// Product-level question: authorize(agent_id, action_id, payload_hash) → ALLOW | REQUIRE_APPROVAL | DENY // Optional PoIA proof-level claim: { "admitted_operator_credential": true, "action_id_bound": true, "payload_hash_bound": true, "nullifier_unspent_before": true, "spent_once_after": true, "identity_unlinked": true }
06 Who needs itQuién lo necesita谁需要它

For teams putting AI agents
inside real business workflows. Para equipos que ponen agentes IA
dentro de flujos reales de negocio. 适用于将 AI 代理放入
真实业务流程的团队。

finance
Refunds, transfers, invoicesReembolsos, transferencias, facturas退款、转账、发票
Let agents read and summarize financial data, but require approval before money moves.Permite leer y resumir datos financieros, pero exige aprobación antes de mover dinero.允许代理读取和总结财务数据，但资金移动前要求审批。
support
Customer service agentsAgentes de soporte客户服务代理
Approve account changes, refunds, escalations, and sensitive messages before execution.Aprueba cambios de cuenta, reembolsos, escalaciones y mensajes sensibles antes de ejecutarlos.在执行前审批账户变更、退款、升级和敏感消息。
infrastructure
DevOps and production toolsDevOps y herramientas de producciónDevOps 与生产工具
Block agents from deploying, deleting, rotating secrets, or changing production without approval.Bloquea despliegues, borrados, rotación de secretos o cambios de producción sin aprobación.阻止代理在未经审批时部署、删除、轮换密钥或变更生产环境。
compliance
Audit and governanceAuditoría y gobernanza审计与治理
Preserve decision receipts, approval records, drift status, and action history for compliance review.Conserva recibos de decisión, aprobaciones, drift e historial para revisión de compliance.保存决策凭证、审批记录、漂移状态和操作历史，以供合规审查。
regulated workflows
Healthcare, legal, insuranceSalud, legal, seguros医疗、法律、保险
Make agents useful without allowing them to silently execute sensitive actions.Haz útiles a los agentes sin permitirles ejecutar acciones sensibles silenciosamente.让代理发挥作用，同时不允许其静默执行敏感操作。
web3 / governance
DAO and credentialed actionsDAO y acciones con credencialesDAO 与凭证化操作
Use action-bound credentials and nullifiers where admitted participants must act once.Usa credenciales vinculadas a acciones y nullifiers donde participantes admitidos deben actuar una vez.在已准入参与者只能操作一次的场景中使用操作绑定凭证与 nullifier。
07 Why differentPor qué es diferente差异点

Not just auth.
Not just logs. Not just HITL. No solo auth.
No solo logs. No solo humano-en-el-bucle. 不只是认证。
不只是日志。不只是人工在环。

ApproachEnfoque方式 What it answersQué responde回答什么 Before action?¿Antes?操作前？ Approval?¿Aprobación?审批？ Receipt?¿Recibo?凭证？ Fail-closed?Fail-closed?失败关闭？
OAuth / API key Does the client have access?¿El cliente tiene acceso?客户端有访问权吗？ ✓✗✗✗
Logging What happened?¿Qué pasó?发生了什么？ ✗✗~✗
Basic human-in-the-loop Did someone click approve?¿Alguien hizo clic en aprobar?有人点击批准了吗？ ✓✓~~
KoBaDNA Should this exact agent action execute now — and can we prove it?¿Debe ejecutarse esta acción exacta ahora — y podemos probarlo?这个精确代理操作现在应执行吗——并且我们能证明吗？ ✓✓✓✓
TRUST BOUNDARY
Policy before executionPolítica antes de ejecución执行前策略
KoBaDNA:KoBaDNA:KoBaDNA： Decides before the action happens, not after incident review.Decide antes de que ocurra la acción, no después de revisar un incidente.在操作发生前决策，而不是事故复盘后。
AUDIT BOUNDARY
Receipts, not just logsRecibos, no solo logs凭证，而非仅日志
KoBaDNA:KoBaDNA:KoBaDNA： Creates structured receipts for authorization decisions, approvals, heartbeats, and drift.Crea recibos estructurados para decisiones, aprobaciones, heartbeats y drift.为授权决策、审批、心跳和漂移创建结构化凭证。
Put a permission boundary around your AI agents. Pon un límite de permisos alrededor de tus agentes IA. 为你的 AI 代理建立权限边界。
KoBaDNA helps teams deploy agents into real workflows without giving them unlimited access. Start with a gateway, register your agent, define policy, require approval for sensitive actions, and audit every decision. KoBaDNA ayuda a desplegar agentes en flujos reales sin darles acceso ilimitado. Empieza con un gateway, registra tu agente, define política, exige aprobación y audita cada decisión. KoBaDNA 帮助团队将代理部署到真实流程中，而不给予无限访问权限。从网关开始，注册代理，定义策略，对敏感操作要求审批，并审计每个决策。
→ Request access → Solicitar acceso → 请求访问 → Sign in to dashboard → Entrar al panel → 进入控制台