Skip to content
KitploitKITPLOIT
FerramentasBlog
Enviar
FerramentasBlog
Enviar

Ferramentas de Hacking, PenTest e Cibersegurança para o seu Arsenal de Segurança!

Kitploit é um diretório de ferramentas de hacking, cibersegurança e pentesting. Descubra as últimas atualizações de projetos para encontrar vulnerabilidades, analisar sistemas, automatizar testes e fortalecer sua segurança.

··Feeds·Contato·Privacidade·© 2026 Kitploit

Diretório de Ferramentas

Categorias

Ver todas as categorias
Loading categories
acp-framework-en — Agente Control Protocol (ACP) — Especificação oficial em inglês. Arquitetura de autorização criptograficamente verificável para agentes de IA autônomos. | Kitploit
Ferramentas/GitHubGitHub/chelof100/acp-framework-en
Autenticação e AutorizaçãoCriptografiaSegurança na NuvemGerenciamento de Identidade e Acesso (IAM)Segurança da Cadeia de SuprimentosPapers e PesquisaAprendizado e EducaçãoSegurança de IA
GitHubchelof100/acp-framework-en

acp-framework-en

Agente Control Protocol (ACP) — Especificação oficial em inglês. Arquitetura de autorização criptograficamente verificável para agentes de IA autônomos.

2há 14 diasAinda não revisado

Mais Populares

Ver todos →

Descubra as ferramentas mais usadas pela nossa comunidade.

Explore todas as ferramentas

Navegue pela nossa coleção de ferramentas

Ver todas as ferramentas →
Compartilhar
Ver Repositório

ACP — Protocolo de Controle de Agentes

Controle de admissão para ações de agentes.

Antes que qualquer agente altere o estado do sistema, o ACP responde a quatro perguntas: Quem é este agente? O que ele está autorizado a fazer? Esta ação está em conformidade com a política? O resultado pode ser atribuído a uma instituição responsável?

Identidade criptográfica · Tokens de capacidade com escopo · Cadeias de delegação verificáveis · Prova de execução

Site Oficial

https://agentcontrolprotocol.xyz

Artigo

Protocolo de Controle de Agentes: Controle de Admissão para Ações de Agentes Marcelo Fernandez (TraslaIA), 2026

DOI: 10.5281/zenodo.19672575  ·  arXiv: 2603.18829


Série de Pesquisa

O ACP é a base publicada de uma série de sete artigos sobre governança formal de agentes. Cada artigo aborda uma camada distinta da pilha de governança.

ArtigoTítuloRepositórioStatus
Artigo 0Limites de Decisão Atômicosdecision-boundary-modelZenodo · arXiv:2604.17511
Artigo 1Protocolo de Controle de Agentes (ACP) — este repositórioacp-framework-enZenodo · arXiv:2603.18829
Artigo 2Da Admissão aos Invariantes (IML)iml-benchmarkZenodo · arXiv:2604.17517
Artigo 3/4Estrutura de Governança Irredutívelgovernance-structureZenodo · arXiv: pendente
Artigo 5Modelo de Autoridade Reconstrutiva (RAM)reconstructive-authority-modelZenodo · arXiv:2604.22898
Artigo 6Operacionalizando a Autoridade Reconstrutivaoperationalizing-ramZenodo · arXiv: pendente
Artigo 7Fechando a Lacuna de Execução (Empírico)agent-governance-appliedZenodo · arXiv: pendente

Lógica da série: O Artigo 0 prova quando a admissibilidade pode ser garantida → O Artigo 1 (ACP) constrói o protocolo → O Artigo 2 detecta desvios invisíveis para a aplicação → O Artigo 3/4 prova que aplicação correta ≠ alocação justa e estabelece a irredutibilidade da arquitetura de quatro camadas → O Artigo 5 (RAM) fornece fechamento operacional: quando executar sob observabilidade parcial → O Artigo 6 operacionaliza o RAM como um Loop de Recuperação em tempo de execução → O Artigo 7 fornece a primeira validação empírica da pilha completa em agentes LangGraph reais.


Por Que o ACP Existe

Agentes autônomos estão saindo da experimentação para a produção. Eles já interagem com APIs, sistemas corporativos, infraestrutura financeira e outros agentes.

Quando um age entre organizações, várias perguntas surgem imediatamente:

  • Quem autorizou o agente a agir?
  • Que capacidades o agente realmente possui?
  • Qual política permitiu a ação?
  • O que exatamente foi executado?
  • Isso pode ser verificado posteriormente?
  • O histórico completo da interação pode ser reconstruído?

Hoje, a maioria dos sistemas não consegue responder a essas perguntas de forma confiável.

O ACP introduz a infraestrutura para responder a todas elas.


ACP vs. Protocolos Relacionados

Diversas iniciativas abordam como agentes autônomos interagem com sistemas. A maioria foca em acesso a ferramentas ou comunicação. O ACP foca em autoridade, verificação de execução e responsabilidade institucional.

O ACP aborda uma camada diferente: quem autorizou a ação, sob qual política e quem é responsável pelo resultado.

ACP vs. Sistemas de Política e Autorização

Engenheiros avaliando o ACP frequentemente perguntam: "por que não usar OPA?" Esses sistemas são complementares, não concorrentes.

A OPA pode ser usada como o motor de avaliação de políticas dentro de um sistema compatível com ACP. O ACP não substitui a OPA — ele adiciona a camada de identidade do agente, cadeia de delegação e prova de execução que a OPA não fornece.


¹ ACP (Agent Control Protocol) não está relacionado a outras iniciativas que compartilham o mesmo acrônimo.


ACP como Controle de Admissão

O Kubernetes usa um Controlador de Admissão para interceptar requisições de API antes que elas cheguem ao cluster — avaliando políticas, aplicando cotas, rejeitando operações não conformes. O ACP aplica o mesmo padrão a ações de agentes.``` agent intent ↓ [1] Identity check → pkg/agent + pkg/hp (ACP-AGENT-1.0, ACP-HP-1.0) ↓ [2] Capability check → pkg/ct + pkg/dcma (ACP-CT-1.0, ACP-DCMA-1.0) ↓ [3] Policy check → pkg/risk + pkg/psn (ACP-RISK-3.0, ACP-PSN-1.0) ↓ [4] ADMIT / DENY / ESCALATE ↓ (if ADMIT) [5] Execution token → pkg/exec (ACP-EXEC-1.0) ↓ [6] Ledger record → pkg/ledger (ACP-LEDGER-1.3) ↓ system state mutation

root@kitploit:~
A diferença em relação ao Kubernetes: ACP opera através de fronteiras institucionais. Um agente do Banco A pode ser admitido pelo Banco B sem que o Banco B confie na infraestrutura interna do Banco A — apenas a prova criptográfica importa.

---

## Como o ACP Funciona

ACP trata as interações entre agentes como **operações governadas**, não como simples solicitações.

Cada interação passa por seis estágios estruturados:

1. **Verificação de identidade** — confirmar quem é o agente (`ACP-AGENT-1.0`, `ACP-HP-1.0`)
2. **Validação de capacidade** — confirmar o que o agente está autorizado a fazer (`ACP-CT-1.0`, `ACP-DCMA-1.0`)
3. **Autorização de política** — confirmar se a ação é permitida sob a política atual (`ACP-RISK-3.0`, `ACP-PSN-1.0`)
4. **Execução determinística** — executar exatamente o que foi autorizado, nada mais (`ACP-EXEC-1.0`)
5. **Registro verificável** — produzir prova criptográfica do que ocorreu (`ACP-LEDGER-1.3`, `ACP-PROVENANCE-1.0`)
6. **Atualização de confiança** — atualizar o estado de reputação e atestado com base na interação (`ACP-REP-1.2`, `ACP-LIA-1.0`)

Isso permite que as interações se tornem rastreáveis, auditáveis e atribuíveis entre organizações.

---

## Invariante Constitucional

A execução do ACP é governada por um único invariante arquitetônico.```
Execute(request) ⟹
    ValidIdentity  ∧  ValidCapability  ∧  ValidDelegationChain  ∧  AcceptableRisk
CondiçãoSignificado
ValidIdentityO agente possui uma identidade verificada e assinada

Nenhuma ação do agente é executada a menos que todas as quatro condições sejam satisfeitas simultaneamente.

As camadas do protocolo existem para garantir esse invariante em cada limite de interação.


Arquitetura do Protocolo

O ACP é organizado em cinco camadas de protocolo. Cada camada constrói sobre a anterior e adiciona uma capacidade de governança distinta.``` ACP PROTOCOL ARCHITECTURE

root@kitploit:~
         ┌──────────────────────────────────────┐
         │                ACTORS                │
         │       Humans · Systems · Agents      │
         └──────────────────────────────────────┘
                            │
                            ▼

==================================================================== L1 — CORE EXECUTION

┌──────────────────────────────────────────────────────────────────┐ │ IDENTITY & CAPABILITIES │ │ SIGN · AGENT · CT · CAP-REG │ │ │ │ Agent identity, credential verification and capability registry │ └──────────────────────────────────────────────────────────────────┘ │ ▼ ┌──────────────────────────────────────────────────────────────────┐ │ POLICY & AUTHORITY │ │ HP · DCMA │ │ │ │ Policy evaluation and authorization decision │ └──────────────────────────────────────────────────────────────────┘ │ ▼ ┌──────────────────────────────────────────────────────────────────┐ │ EXECUTION │ │ MESSAGES │ │ │ │ Deterministic command execution and interaction handling │ └──────────────────────────────────────────────────────────────────┘

==================================================================== L2 — TRUST LAYER

┌──────────────────────────────────────────────────────────────────┐ │ RISK MANAGEMENT │ │ RISK · REV │ │ │ │ Risk scoring and revocation control │ └──────────────────────────────────────────────────────────────────┘

┌──────────────────────────────────────────────────────────────────┐ │ INTERACTION TRUST │ │ ITA │ │ │ │ Trust attestations for interactions │ └──────────────────────────────────────────────────────────────────┘

==================================================================== L3 — VERIFIABLE EXECUTION

┌──────────────────────────────────────────────────────────────────┐ │ EXECUTION RECORD │ │ EXEC · POLICY-CTX │ │ │ │ Proof of execution and policy context snapshot │ └──────────────────────────────────────────────────────────────────┘

┌──────────────────────────────────────────────────────────────────┐ │ PROVENANCE │ │ PROVENANCE GRAPH │ │ │ │ Interaction lineage and cross-system event tracking │ └──────────────────────────────────────────────────────────────────┘

┌──────────────────────────────────────────────────────────────────┐ │ LEDGER │ │ │ │ Tamper-resistant storage for verifiable execution history │ └──────────────────────────────────────────────────────────────────┘

==================================================================== L4 — GOVERNANCE

┌──────────────────────────────────────────────────────────────────┐ │ GOVERNANCE EVENTS │ │ GOV-EVENTS │ │ │ │ Institutional governance tracking │ └──────────────────────────────────────────────────────────────────┘

┌──────────────────────────────────────────────────────────────────┐ │ REPUTATION & LIABILITY │ │ REP · LIA │ │ │ │ Reputation accumulation and liability attribution │ └──────────────────────────────────────────────────────────────────┘

┌──────────────────────────────────────────────────────────────────┐ │ HISTORICAL RECORD │ │ HIST │ │ │ │ Verifiable long-term interaction history │ └──────────────────────────────────────────────────────────────────┘

==================================================================== L5 — FEDERATION

┌──────────────────────────────────────────────────────────────────┐ │ DECENTRALIZED ACP │ │ ACP-D │ │ │ │ Cross-institution federation and verification │ └──────────────────────────────────────────────────────────────────┘

root@kitploit:~
→ **Novo no ACP? Comece aqui:** [docs/admission-flow.md](https://github.com/chelof100/acp-framework-en/blob/HEAD/docs/admission-flow.md) — o guia completo passo a passo para a verificação de admissão

→ Modelo formal de domínio e grafo de dependências: [ARCHITECTURE.md](https://github.com/chelof100/acp-framework-en/blob/HEAD/ARCHITECTURE.md)

---

## Interação Entre Instituições

O ACP foi projetado para interações entre sistemas independentes.
Cada etapa produz um artefato verificável que passa a fazer parte do registro permanente de interação.```
      INSTITUTION A                               INSTITUTION B
┌─────────────────────────────┐           ┌─────────────────────────────┐
│                             │           │                             │
│           AGENT A           │           │           AGENT B           │
│                             │           │                             │
└──────────────┬──────────────┘           └──────────────┬──────────────┘
               │                                         │
               │  1  interaction request                 │
               └────────────────────────────────────────►│
                                                         ▼
                                          ┌───────────────────────────┐
                                          │       AUTHORITY (HP)      │
                                          │  policy evaluation        │
                                          │  capability validation    │
                                          │  risk / revocation check  │
                                          └─────────────┬─────────────┘
                                                        │  2  decision
                                                        ▼
                                          ┌───────────────────────────┐
                                          │        EXECUTION          │
                                          │  deterministic action     │
                                          │  command execution        │
                                          └─────────────┬─────────────┘
                                                        │  3  execution record
                                                        ▼
                                          ┌───────────────────────────┐
                                          │        PROVENANCE         │
                                          │  interaction lineage      │
                                          │  cross-org attribution    │
                                          └─────────────┬─────────────┘
                                                        │  4  verifiable record
                                                        ▼
                                          ┌───────────────────────────┐
                                          │          LEDGER           │
                                          │  execution hash           │
                                          │  policy context snapshot  │
                                          └─────────────┬─────────────┘
                                                        │  5  trust update
                                                        ▼
                                          ┌───────────────────────────┐
                                          │        REPUTATION         │
                                          │  ITA attestation          │
                                          │  reputation update        │
                                          └───────────────────────────┘

Princípios de Design

Autoridade Explícita

Cada ação do agente deve ser autorizada por uma política definida. Sem permissões implícitas. Sem acesso ambiente.

Execução Determinística

A execução deve corresponder exatamente ao comando autorizado. O que foi autorizado é o que é executado — nada mais.

Histórico Verificável

Cada interação produz artefatos criptograficamente verificáveis. A execução pode ser comprovada posteriormente, sem confiar em nenhuma parte isolada.

Responsabilidade Institucional

A responsabilidade é sempre atribuível a um ator identificável. As cadeias de delegação são completas e rastreáveis até uma raiz institucional.

Confiança Federada

Sistemas independentes podem verificar uns aos outros sem uma autoridade central. A confiança é conquistada através do histórico de interação verificável, não presumida.


Componentes do Protocolo

L1 · Execução Central

Identidade, capacidades, aplicação de políticas e execução determinística.

L2 · Camada de Confiança

Avaliação dinâmica de risco e gerenciamento de confiança de interação.

ComponenteFunção
RISKMotor de risco determinístico — Pontuação de Risco RS (0–100)
REVProtocolo de revogação — endpoint e CRL
ITAÂncora de Confiança Institucional — atestados de confiança por interação

L3 · Execução Verificável

Cada interação deixa um registro completo e criptograficamente verificável.

ComponenteFunção
EXECTokens de Execução — uso único, validade de 300s

L4 · Governança

Responsabilidade de longo prazo e supervisão institucional.

ComponenteFunção

L5 · Federação

Interoperabilidade entre instituições independentes.

ComponenteFunção
ACP-DACP Descentralizado — federação entre instituições, quorum BFT

Versões Ativas das Especificações

Versão ativa atual por especificação. Esta tabela é a referência autoritativa para "qual versão implementar".

¹ ACP-SIGN-1.0 permanece ativo como base Ed25519. ACP-SIGN-2.0 adiciona a extensão pós-quântica (ML-DSA-65). Ambos estão em vigor até que Dilithium seja implantado em produção.

Versões substituídas estão arquivadas em archive/specs/.


Níveis de Conformidade

Implementações podem adotar o ACP incrementalmente, começando pelo L1.

Requisitos normativos completos por nível:

→ Definição normativa de conformidade: spec/governance/ACP-CONF-1.2.md


Especificações

L1 · Execução Central

  • ACP-SIGN-1.0 — assinatura criptográfica, base Ed25519
  • ACP-SIGN-2.0 — assinatura híbrida pós-quântica (Ed25519 + ML-DSA-65)
  • ACP-AGENT-1.0 — identidade formal do agente A=(ID,C,P,D,L,S)
  • ACP-CT-1.0 — estrutura, emissão e verificação do Token de Capacidade
  • ACP-CAP-REG-1.0 — registro canônico de capacidades acp:cap:*
  • ACP-HP-1.0 — Protocolo de Handshake, prova criptográfica de posse de capacidade
  • ACP-DCMA-1.0 — delegação em múltiplos saltos, não escalonamento e revogação transitiva
  • ACP-MESSAGES-1.0 — formato de fio, 5 tipos de mensagens normalizados

L2 · Camada de Confiança

  • ACP-RISK-2.0 — motor de risco determinístico, Pontuação de Risco RS (0–100), F_anom + cooldown
  • ACP-RISK-3.0 — aplicação de anomalias com escopo de contexto; Regra 1 chaveada por PatternKey(agentID, cap, res), elimina a mistura de estados entre contextos
  • ACP-REV-1.0 — protocolo de revogação, endpoint e CRL
  • ACP-ITA-1.0 — Âncora de Confiança Institucional, modelo centralizado
  • ACP-ITA-1.1 — Governança de Âncora de Confiança, modelo BFT distribuído

L3 · Execução Verificável

  • ACP-EXEC-1.0 — Tokens de Execução, uso único, validade de 300s
  • ACP-POLICY-CTX-1.0 — estado de política assinado no momento da execução
  • ACP-PROVENANCE-1.0 — prova retrospectiva da cadeia de delegação na execução
  • ACP-LEDGER-1.3 — livro-razão de auditoria, somente anexação, encadeado por hash, assinatura institucional obrigatória
  • ACP-PSN-1.0 — Nó de Sessão de Processo, rastreamento de sessão de execução
  • ACP-API-1.0 — API HTTP, todos os endpoints institucionais

L4 · Governança

  • ACP-GOV-EVENTS-1.0 — fluxo de eventos de governança institucional
  • ACP-REP-1.2 — extensão de reputação, pontuação composta 0.6·ITS + 0.4·ERS
  • ACP-LIA-1.0 — cadeia de responsabilidade atribuída
  • ACP-HIST-1.0 — API de consulta de histórico de execução auditado
  • ACP-PAY-1.0 — extensão de capacidade financeira verificável
  • ACP-NOTIFY-1.0 — eventos e webhooks
  • ACP-DISC-1.0 — registro e resolução de agentes
  • ACP-BULK-1.0 — execução em lote de capacidades
  • ACP-CROSS-ORG-1.0 — interações interinstitucionais de agentes

L5 · Federação

  • ACP-D-1.0 — ACP descentralizado, federação entre instituições, quorum BFT

Governança

  • ACP-CONF-1.2 — definição normativa de conformidade (atual)
  • ACP-CHANGELOG — histórico de versões

Estrutura do Repositório```

acp-framework/ ├── spec/ │ ├── core/ ← L1: identity, capability, delegation │ ├── security/ ← L2: trust, risk, revocation │ ├── operations/ ← L3–L4: execution, ledger, governance │ ├── governance/ ← conformance, events, process │ └── decentralized/ ← L5: ACP-D ├── openapi/ │ └── acp-api-1.0.yaml ← OpenAPI 3.1.0 spec for all ACP-API-1.0 endpoints ├── compliance/ │ ├── ACP-TS-1.1.md ← test vector format specification │ ├── test-vectors/ ← single-shot conformance vectors (CORE · DCMA · HP · LEDGER · EXEC · RISK-2.0) │ │ └── sequence/ ← stateful sequence vectors (ACR-1.0, 5 scenarios) │ ├── adversarial/ ← adversarial evaluation (Exp 1–12: cooldown evasion, multi-agent, backend stress, token replay, deviation collapse, threshold sensitivity, multi-tool IPI) │ └── runner/ ← ACR-1.0 compliance runner (library mode + HTTP mode) ├── tla/ │ ├── ACP.tla ← base formal model — Safety · LedgerAppendOnly · RiskDeterminism (v1.17) │ ├── ACP.cfg ← TLC configuration for ACP.tla │ ├── ACP_Extended.tla ← extended model — F_anom · cooldown · liveness · 11 invariants + 4 temporal (v1.25) │ ├── ACP_Extended.cfg ← single-agent config — 5,684,342 states · 3,147,864 distinct · depth 15 · 0 violations │ └── ACP_Extended_2agents.cfg ← two-agent config — 4,294,930,695 distinct states · LEDGER_BOUND=11 · 11 invariants · 0 violations ├── archive/ │ └── specs/ ← superseded specification versions (historical reference) ├── impl/ │ └── go/ ← reference implementation ├── ARCHITECTURE.md ← formal domain model, dependency graph ├── CHANGELOG.md └── README.md

root@kitploit:~
## Início Rápido```bash
# Option 1: Go reference server
cd impl/go
docker compose up

# Option 6: ACR-1.0 sequence compliance runner — validate ACP-RISK-3.0 stateful behavior
cd compliance/runner
go run . --mode library --dir ../test-vectors/sequence --strict
# PASS 5/5 — SEQ-BENIGN-001 SEQ-BOUNDARY-001 SEQ-PRIVJUMP-001 SEQ-FANOM-RULE3-001 SEQ-COOLDOWN-001

# Option 5: Multi-org demo — Org-A issues signed policy+reputation, Org-B validates independently
cd examples/multi-org-demo
docker compose up
# Org-A: http://localhost:8081  |  Org-B: http://localhost:8082

# Option 2: Python SDK — core admission control pattern (no server required)
cd impl/python
pip install -e .
python examples/admission_control_demo.py

# Option 3: Python SDK — LangChain integration (@acp_tool decorator)
cd impl/python
pip install -e .
python examples/langchain_agent_demo.py

# Option 4: LangChain + real LLM agent
pip install langchain langchain-openai
export OPENAI_API_KEY=sk-...
python examples/langchain_agent_demo.py --with-llm

# Option 7: Real-LLM IPI demo (Ollama + DeepSeek-R1:8b) — ACP blocks IPI-induced fund_transfer
# Requires: ollama serve && ollama pull deepseek-r1:8b
cd demos/ollama-agent
python agent_demo.py
# ACP denies every IPI-induced fund_transfer (RS=80); cooldown activates after 3 denials

Verificação de saúde:```bash curl http://localhost:8080/acp/v1/health

root@kitploit:~
[No content provided in the INPUT section. Please provide the Markdown text to translate.]```json
{
  "acp_version": "1.0",
  "status": "operational",
  "timestamp": 1718920000,
  "components": {
    "policy_engine": "operational",
    "audit_ledger": "operational",
    "agent_registry": "operational",
    "rev_endpoint": "operational"
  }
}

Roadmap


Licença

Apache 2.0

Baixar ferramenta
ProtocoloFocoLimite de escopo
MCP (Model Context Protocol)Acesso a ferramentas para LLMsVerificação de autoridade, aplicação de políticas, auditabilidade de execução
A2A (Agent-to-Agent)Padrões de comunicação entre agentesConfiança institucional, governança, cadeia de responsabilidade
OpenAI Agents SDKOrquestração de ferramentasAutoridade entre organizações, proveniência, responsabilidade legal
Agent Client Protocol ¹Integração runtime cliente/agenteGovernança, cadeias de delegação, histórico de execução verificável
ACP (Agent Control Protocol)Infraestrutura de governança e responsabilidade—
SistemaO que fazO que o ACP adiciona
OPA (Open Policy Agent)Avalia políticas a partir de dados e regrasIdentidade criptográfica do agente + cadeia de delegação + prova de execução
AWS IAM / Azure RBACModelo de permissão estático para recursos em nuvemDelegação dinâmica agente-a-agente com cadeia verificável + ledger
OAuth 2.0 + OIDCAutorização de usuários e serviços via tokensDelegação multi-salto de agente com não-escalonamento + responsabilidade institucional
SPIFFE / SPIREIdentidade criptográfica de carga de trabalhoO ACP se baseia na identidade de carga de trabalho para adicionar escopo de capacidade + governança
ACPControle de admissão para ações de agentes—
ValidCapabilityO agente detém um Token de Capacidade autorizado
ValidDelegationChainCada etapa de delegação é rastreável até uma raiz institucional
AcceptableRiskA pontuação de risco está dentro dos limites da política institucional
ComponenteFunção
SIGNAssinatura criptográfica — base de todos os objetos do protocolo
AGENTEspecificação formal de identidade do agente A=(ID,C,P,D,L,S)
CTToken de Capacidade — estrutura, emissão e verificação
CAP-REGRegistro canônico de capacidades acp:cap:*
HPProtocolo de Handshake — prova criptográfica de posse de capacidade
DCMADelegação em múltiplos saltos — não escalonamento e revogação transitiva
MESSAGESFormato de fio — 5 tipos de mensagens normalizados
POLICY-CTXInstantâneo do Contexto de Política — estado de política assinado no momento da execução
PROVENANCEProveniência de Autoridade — prova retrospectiva da cadeia de delegação
LEDGERLivro-razão de Auditoria — somente anexação, encadeado por hash
GOV-EVENTSFluxo de eventos de governança — rastreamento institucional
REPExtensão de Reputação — pontuação composta 0.6·ITS + 0.4·ERS
LIARastreabilidade de Responsabilidade — cadeia de responsabilidade atribuída
HISTAPI de Consulta de Histórico — histórico de execução auditado
EspecificaçãoVersão ativaNível
ACP-SIGN2.0 ¹L1
ACP-AGENT1.0L1
ACP-CT1.0L1
ACP-CAP-REG1.0L1
ACP-HP1.0L1
ACP-DCMA1.0L1
ACP-MESSAGES1.0L1
ACP-RISK3.0L2
ACP-REV1.0L2
ACP-ITA1.1L2/L4
ACP-API1.0L3
ACP-EXEC1.0L3
ACP-LEDGER1.3L3
ACP-PROVENANCE1.0L3
ACP-POLICY-CTX1.0L3
ACP-PSN1.0L3
ACP-PAY1.0L4
ACP-REP1.2L4
ACP-GOV-EVENTS1.0L4
ACP-LIA1.0L4
ACP-HIST1.0L4
ACP-NOTIFY1.0L4
ACP-DISC1.0L4
ACP-BULK1.0L4
ACP-CROSS-ORG1.0L4
ACP-REP-PORTABILITY1.1L4
ACP-CONF1.2—
NívelNomeO que você obtém
L1NúcleoIdentidade, tokens de capacidade e execução
L2SegurançaPontuação de risco, revogação e âncoras de confiança
L3Execução VerificávelTokens de execução, livro-razão e proveniência
L4GovernançaReputação, histórico e responsabilidade
L5FederaçãoRedes ACP descentralizadas
NívelEspecificações necessárias
L1SIGN · AGENT · CT · CAP-REG · HP · DCMA · MESSAGES
L2L1 + RISK · REV · ITA-1.0
L3L2 + API · EXEC · LEDGER · PROVENANCE · POLICY-CTX · PSN
L4L3 + PAY · REP-1.2 · ITA-1.1 · GOV-EVENTS · LIA · HIST · NOTIFY · DISC · BULK · CROSS-ORG · REP-PORTABILITY
L5L4 + ACP-D · ITA-1.1 quorum BFT
ItemStatus
ACP-CONF-1.2✅ Completo — fonte normativa única de conformidade
ACP-LEDGER-1.3✅ Completo — sig normativamente obrigatório
OpenAPI spec (openapi/acp-api-1.0.yaml)✅ Completo — OpenAPI 3.1.0, todos os endpoints do ACP-API-1.0
Conformance test vectors (CORE · DCMA · HP · LEDGER · EXEC · PROV · PCTX · REP · RISK-2.0)✅ Completo — 73 assinados + 65 não assinados vetores de teste RISK-2.0
Reference implementation — 23 Go packages (L1–L4)✅ Completo — impl/go/pkg/ cobre todos os níveis de conformidade
pkg/psn policy snapshot✅ Completo — transições atômicas, snapshot ACTIVE único
Python SDK — ACPAdmissionGuard + @acp_tool (LangChain)✅ Completo — impl/python/
ACP-RISK-2.0 — F_anom + Cooldown + pkg/risk✅ Completo — determinístico, sub-µs, 65 vetores
ACP-RISK-3.0 — context-scoped Rule 1 (pkg/risk/engine.go)✅ Completo — v1.22 · CountPattern(ctxKey, 60s) substitui CountRequests(agentID) · eliminação de mistura de estado entre contextos
Payment-agent demo (examples/payment-agent/)✅ Completo — v1.16
ACP-SIGN-2.0 — Post-quantum hybrid (Ed25519 + ML-DSA-65)✅ Completo — especificação v1.16; ML-DSA-65 real via cloudflare/circl pkg/sign2/ v1.20
ACR-1.0 sequence compliance runner (compliance/runner/)✅ Completo — v1.17 · modo biblioteca + HTTP · 5/5 PASS
Sequence test vectors (compliance/test-vectors/sequence/)✅ Completo — v1.17 · 5 cenários com estado
TLA+ base model (tla/ACP.tla)✅ Completo — v1.17 · 3 invariantes · 0 violações
TLA+ extended model (tla/ACP_Extended.tla)✅ Completo — v1.28 · 11 invariantes + 4 propriedades temporais · agente único: 5,684,342 estados · dois agentes LB=11: 4,294,930,695 estados distintos · 0 violações
Adversarial evaluation (compliance/adversarial/)✅ Completo — v1.29 · 14 experimentos · números reais de benchmark (N=5 execuções, média±dp)
Redis pipelining (compliance/adversarial/redis_pipelined.go)✅ Completo — v1.20 · 2 RTTs/requisição · ~1.8× de ganho de velocidade
ML-DSA-65 benchmarks (pkg/sign2/sign2_bench_test.go)✅ Completo — v1.20 · Ed25519 ~25 µs assinar / ~56 µs verificar · ML-DSA-65 ~100–130 µs assinar / ~81 µs verificar
NullQuerier + StatelessEngine (pkg/risk/null_querier.go, stateless_engine.go)✅ Completo — v1.21 · baseline LedgerQuerier de estado zero para comparação stateless/stateful
Stateless vs. stateful experiment (Exp 6, pkg/risk/stateless_comparison_test.go)✅ Completo — v1.21 · 500 requisições · stateless 500/500 vs ACP 2/500 (0.4%) · latência de detecção 11 ações
State-mixing vulnerability test (Exp 7, pkg/risk/statemixing_test.go)✅ Completo — v1.21 · contaminação da Regra 1 entre contextos · RS +20 · ESCALATED→DENIED após 11 data.read
State-mixing attack analysis (paper §State-Mixing Vulnerability)✅ Completo — v1.21 · caracterização formal · números do Exp 7 · caminho de mitigação ACP-RISK-3.0
State-mixing fix (Exp 8, pkg/risk/statemixing_fix_test.go)✅ Completo — v1.22 · RISK-3.0 · 3 cenários · estado limpo RS=50 ESCALATED · contaminado RS=50 ESCALATED · rajada no mesmo contexto RS=85 DENIED
Paper v1.23 — Sprint fixes✅ Completo — v1.23 · §RISK-3.0 em §Mecanismos Técnicos · tese contrafactual · 767--921 ns unificado · Exp 3b→Exp 4 renumerado · Exp 3 N=5 · todas as 7 correções de verificação cruzada
Deviation collapse (Exp 9, compliance/adversarial/exp_deviation_collapse.go)✅ Completo — v1.23 · 3 fases: baseline BAR=0.70 → colapso BAR=0.00 → contrafactual BAR=1.00
Phase D drift simulation (Exp 9 extension)✅ Completo — v1.25 · 5 lotes × 20 casos · 0%→80% de sanitização · alerta precoce ΔBAR dispara no lote 2 (3 lotes antes do colapso)
ITA trust model (paper §Trust Model and Failure Modes)✅ Completo — v1.20 · inicialização / janela de comprometimento / autoridade de revogação — afirmações semiformal
TypeScript SDK (impl/typescript/)✅ Completo — v1.4.0 · zero dependências · 68 testes
Rust SDK (impl/rust/)✅ Completo — v1.4.0 · ed25519-dalek v2 · 43 testes
pkg/barmonitor — BAR-Monitor with ΔBAR trend detection (impl/go/pkg/barmonitor/)✅ Completo — v1.24 · 18 testes · AlertThreshold + AlertTrend (dispara antes do limite) · buffer circular thread-safe
EvaluateCounterfactual API (impl/go/pkg/risk/counterfactual.go)✅ Completo — v1.24 · 14 testes · 3 fábricas de mutação (estrutural/comportamental/temporal) · BAR(results) · falha fechada
Phase D drift simulation (Exp 9) + computeTrend() ring buffer fix✅ Completo — v1.25 · alerta precoce ΔBAR antes do limite · erro de ordem temporal corrigido
TLA+ FailureConditionPreservation + NoDegenerateAdmissibility (11 invariants)✅ Completo — v1.27 · 0 violações · 4,294,930,695 estados distintos (dois agentes LB=11, 10.5h)
POST /acp/v1/counterfactual HTTP endpoint (impl/go/cmd/acp-server/)✅ Completo — v1.25 · 7 testes de integração · mutações estruturais + comportamentais via HTTP
Formal adversary model A=(K,S,B) + experiment taxonomy (Exp 1–14)✅ Completo — v1.29 · caixa preta / ciente de fórmula / estado completo · todos os experimentos mapeados
Threshold sensitivity analysis (Exp 11, 5 configs ±10 pts)✅ Completo — v1.26 · taxa de negação falsa 0.00 em todas as configurações · BAR monotônico 0.75→0.60 · Ótimo local T3
Detection guarantees — Proposition + binomial P(detect)✅ Completo — v1.26 · W=40 τ=0.10 · P=1.00 em p₁=0.00 · P=0.95 em p₁=0.05
AgentSpec functional comparison (5 dimensions)✅ Completo — v1.26 · componíveis, não competitivos · diferenciador de detecção de colapso de governança
Exp 12: Multi-tool IPI admission control (compliance/adversarial/exp_agent_multitool.go)✅ Completo — v1.27 · 4 ferramentas · 3 fases · BAR A=0.30/B=1.00/C=0.30 · persistência stateful F_anom 24h
Real-LLM IPI demo (demos/ollama-agent/agent_demo.py)✅ Completo — v1.27 · DeepSeek-R1:8b · 5 turnos · IPI bloqueado · cooldown ativado
False-denial rate analysis (§False-Denial Rate Analysis)✅ Completo — v1.27 · 0.00 estado limpo (Exp 11) · 0.00 pós-ataque baixo risco (Exp 12 Fase C)
Deployment maturity model (Tier 1/2/3) + PolicyConfig profiles (Low/Medium/High/Critical)✅ Completo — v1.27 · linha de base BAR por perfil · guia de migração RISK-2.0→RISK-3.0
Exp 13: Bounded coordination window (compliance/adversarial/exp_coordination_window.go)✅ Completo — v1.28 · linearidade exata CW=2N · semântica de avaliar-depois-mutar · k₀=2 por agente · limite O(N)
LLM Agent Integration subsection moved to §Technical Mechanisms✅ Completo — v1.28 · após §Avaliação de Risco Determinística · componível com filtros de prompt IPI
Exp 14: OPA vs ACP capability comparison (compliance/adversarial/exp_opa_benchmark.go)✅ Completo — v1.29 · 3 cenários · motores stateless não podem impor frequência/cooldown sem estado externo · ACP impõe nativamente · ~852 ns/op ACP vs ~16,000 ns/op OPA
§Related Work — Formal Verification and Runtime Enforcement (expanded)✅ Completo — v1.29 · limite de expressividade do OPA · alinhamento com autômato de segurança de Schneider · referência cruzada Exp 14
Governance series integration: Papers 3–4 cited in §15; fernandez2026comp bib entry✅ Completo — v1.30
v1.xCore protocol and reference implementation — active
v2.0Decentralized ACP (ACP-D) — in design
futureZK verification, decentralized governance