Skip to content
KitploitKITPLOIT
OutilsBlog
Soumettre
OutilsBlog
Soumettre

Outils de Hacking, PenTest et Cybersécurité pour votre Arsenal de Sécurité !

Kitploit est un répertoire d'outils de hacking, de cybersécurité et de pentesting. Découvrez les dernières mises à jour des projets pour trouver des vulnérabilités, analyser des systèmes, automatiser les tests et renforcer votre sécurité.

··Flux·Contact·Confidentialité·© 2026 Kitploit

Répertoire d'outils

Catégories

Voir toutes les catégories
Loading categories
acp-framework-en — Agent Control Protocol (ACP) — Spécification officielle en anglais. Architecture d'autorisation cryptographiquement vérifiable pour les agents IA autonomes. | Kitploit
Outils/GitHubGitHub/chelof100/acp-framework-en
Authentification et AutorisationCryptographieSécurité CloudGestion des Identités et des Accès (IAM)Sécurité de la Chaîne LogistiqueArticles et RechercheApprentissage et ÉducationSécurité de l'IA
GitHubchelof100/acp-framework-en

acp-framework-en

Agent Control Protocol (ACP) — Spécification officielle en anglais. Architecture d'autorisation cryptographiquement vérifiable pour les agents IA autonomes.

2il y a 14 joursPas encore vérifié

Populaires

Voir tout →

Découvrez les outils les plus utilisés par notre communauté.

Explorer tous les outils

Parcourez notre collection d'outils

Voir tous les outils →
Partager
Voir le dépôt

ACP — Agent Control Protocol

Contrôle d'admission pour les actions des agents.

Avant qu'un agent ne modifie l'état du système, ACP répond à quatre questions : Qui est cet agent ? Que sont-ils autorisés à faire ? Cette action est-elle conforme à la politique ? Le résultat peut-il être attribué à une institution responsable ?

Cryptographic identity · Scoped capability tokens · Verifiable delegation chains · Execution proof

Site Web Officiel

https://agentcontrolprotocol.xyz

Article

Agent Control Protocol: Admission Control for Agent Actions Marcelo Fernandez (TraslaIA), 2026

DOI: 10.5281/zenodo.19672575  ·  arXiv: 2603.18829


Série de Recherche

ACP est le fondement publié d'une série de sept articles sur la gouvernance formelle des agents. Chaque article traite d'une couche distincte de la pile de gouvernance.

ArticleTitreDépôtStatut
Paper 0Atomic Decision Boundariesdecision-boundary-modelZenodo · arXiv:2604.17511
Paper 1Agent Control Protocol (ACP) — ce dépôtacp-framework-enZenodo · arXiv:2603.18829
Paper 2From Admission to Invariants (IML)iml-benchmarkZenodo · arXiv:2604.17517
Paper 3/4Irreducible Governance Structuregovernance-structureZenodo · arXiv: pending
Paper 5Reconstructive Authority Model (RAM)reconstructive-authority-modelZenodo · arXiv:2604.22898
Paper 6Operationalizing Reconstructive Authorityoperationalizing-ramZenodo · arXiv: pending
Paper 7Closing the Execution Gap (Empirical)agent-governance-appliedZenodo · arXiv: pending

Logique de la série : Paper 0 prouve quand l'admissibilité peut être garantie → Paper 1 (ACP) construit le protocole → Paper 2 détecte les dérives invisibles à l'application → Paper 3/4 prouve que l'application correcte ≠ allocation équitable et établit l'irréductibilité de l'architecture à quatre couches → Paper 5 (RAM) fournit une fermeture opérationnelle : quand exécuter sous observabilité partielle → Paper 6 opérationnalise RAM en tant que boucle de récupération d'exécution → Paper 7 fournit la première validation empirique de la pile complète sur des agents LangGraph réels.


Pourquoi ACP Existe

Les agents autonomes passent de l'expérimentation à la production. Ils interagissent déjà avec les API, les systèmes d'entreprise, l'infrastructure financière et d'autres agents.

Lorsqu'un agent agit entre organisations, plusieurs questions se posent immédiatement :

  • Qui a autorisé l'agent à agir ?
  • Quelles capacités l'agent possède-t-il réellement ?
  • Quelle politique a autorisé l'action ?
  • Qu'a-t-il été exactement exécuté ?
  • Cette exécution peut-elle être vérifiée ultérieurement ?
  • L'historique complet des interactions peut-il être reconstruit ?

Aujourd'hui, la plupart des systèmes ne peuvent pas répondre à ces questions de manière fiable.

ACP introduit l'infrastructure pour répondre à toutes ces questions.


ACP vs Protocoles Connexes

Plusieurs initiatives abordent la manière dont les agents autonomes interagissent avec les systèmes. La plupart se concentrent sur l'accès aux outils ou la communication. ACP se concentre sur l'autorité, la vérification de l'exécution et la responsabilité institutionnelle.

ACP aborde une couche différente : qui a autorisé l'action, sous quelle politique, et qui est responsable du résultat.

ACP vs Systèmes de Politique et d'Authentification

Les ingénieurs évaluant ACP demandent souvent : « pourquoi ne pas utiliser OPA ? » Ces systèmes sont complémentaires, pas concurrents.

OPA peut être utilisé comme moteur d'évaluation de politiques à l'intérieur d'un système conforme à ACP. ACP ne remplace pas OPA — il ajoute la couche d'identité de l'agent, la chaîne de délégation et la preuve d'exécution qu'OPA ne fournit pas.


¹ ACP (Agent Control Protocol) n'est pas lié à d'autres initiatives partageant le même acronyme.


ACP comme Contrôle d'Admission

Kubernetes utilise un Admission Controller pour intercepter les requêtes API avant qu'elles n'atteignent le cluster — évaluant les politiques, appliquant les quotas, rejetant les opérations non conformes. ACP applique le même modèle aux actions des agents.``` 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:~
La différence avec Kubernetes : ACP opère à travers les frontières institutionnelles. Un agent de la Banque A peut être admis par la Banque B sans que la Banque B fasse confiance à l'infrastructure interne de la Banque A — seule la preuve cryptographique compte.

---

## Comment fonctionne ACP

ACP traite les interactions des agents comme des **opérations gouvernées**, et non comme de simples demandes.

Chaque interaction passe par six étapes structurées :

1. **Vérification d'identité** — confirmer qui est l'agent (`ACP-AGENT-1.0`, `ACP-HP-1.0`)
2. **Validation des capacités** — confirmer ce que l'agent est autorisé à faire (`ACP-CT-1.0`, `ACP-DCMA-1.0`)
3. **Autorisation de politique** — confirmer que l'action est autorisée selon la politique en vigueur (`ACP-RISK-3.0`, `ACP-PSN-1.0`)
4. **Exécution déterministe** — exécuter exactement ce qui a été autorisé, rien de plus (`ACP-EXEC-1.0`)
5. **Enregistrement vérifiable** — produire une preuve cryptographique de ce qui s'est passé (`ACP-LEDGER-1.3`, `ACP-PROVENANCE-1.0`)
6. **Mise à jour de la confiance** — mettre à jour la réputation et l'état d'attestation en fonction de l'interaction (`ACP-REP-1.2`, `ACP-LIA-1.0`)

Cela permet aux interactions de devenir traçables, auditables et attribuables entre les organisations.

---

## Invariant constitutionnel

L'exécution d'ACP est régie par un seul invariant architectural.```
Execute(request) ⟹
    ValidIdentity  ∧  ValidCapability  ∧  ValidDelegationChain  ∧  AcceptableRisk

| Condition | Signification | |---|---|---| | ValidIdentity | L'agent possède une identité vérifiée et signée | | ValidCapability | L'agent détient un jeton de capacité autorisé | | ValidDelegationChain | Chaque étape de délégation est traçable jusqu'à une racine institutionnelle | | AcceptableRisk | Le score de risque est dans les limites des politiques institutionnelles |

Aucune action d'agent n'est exécutée à moins que les quatre conditions ne soient satisfaites simultanément.

Les couches de protocole existent pour appliquer cet invariant à chaque frontière d'interaction.


Architecture du protocole

L'ACP est organisé en cinq couches de protocole. Chaque couche s'appuie sur la précédente et ajoute une capacité de gouvernance distincte.``` 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:~
→ **Nouveau sur ACP ? Commencez ici :** [docs/admission-flow.md](https://github.com/chelof100/acp-framework-en/blob/HEAD/docs/admission-flow.md) — le guide complet étape par étape pour le contrôle d'admission

→ **Modèle de domaine formel et graphe de dépendances :** [ARCHITECTURE.md](https://github.com/chelof100/acp-framework-en/blob/HEAD/ARCHITECTURE.md)

---

## Interaction entre institutions

ACP est conçu pour les interactions entre systèmes indépendants.
Chaque étape produit un artefact vérifiable qui fait partie de l'enregistrement permanent de l'interaction.```
      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        │
                                          └───────────────────────────┘

Principes de Conception

Autorité Explicite

Toute action d'un agent doit être autorisée par une politique définie. Pas de permissions implicites. Pas d'accès ambiant.

Exécution Déterministe

L'exécution doit correspondre exactement à la commande autorisée. Ce qui est autorisé est ce qui est exécuté — rien de plus.

Historique Vérifiable

Chaque interaction produit des artefacts cryptographiquement vérifiables. L'exécution peut être prouvée a posteriori, sans faire confiance à un seul parti.

Responsabilité Institutionnelle

La responsabilité est toujours attribuable à un acteur identifiable. Les chaînes de délégation sont complètes et traçables jusqu'à une racine institutionnelle.

Confiance Fédérée

Des systèmes indépendants peuvent se vérifier mutuellement sans autorité centrale. La confiance se gagne par un historique d'interactions vérifiable, elle n'est pas supposée.


Composants du Protocole

L1 · Exécution de Base

Identité, capacités, application des politiques et exécution déterministe.

L2 · Couche de Confiance

Évaluation dynamique des risques et gestion de la confiance dans les interactions.

ComposantRôle
RISKMoteur de risque déterministe — Score de Risque RS (0–100)
REVProtocole de révocation — point de terminaison et CRL
ITAAncre de Confiance Institutionnelle — attestations de confiance par interaction

L3 · Exécution Vérifiable

Chaque interaction laisse un enregistrement complet et cryptographiquement vérifiable.

ComposantRôle
EXECJetons d'exécution — usage unique, validité de 300s

L4 · Gouvernance

Responsabilité à long terme et supervision institutionnelle.

ComposantRôle

L5 · Fédération

Interopérabilité entre institutions indépendantes.

ComposantRôle
ACP-DACP décentralisé — fédération inter-institutions, quorum BFT

Versions Actives des Spécifications

Version active actuelle par spécification. Ce tableau est la référence faisant autorité pour « quelle version implémenter ».

¹ ACP-SIGN-1.0 reste actif en tant que base Ed25519. ACP-SIGN-2.0 ajoute l'extension post-quantique (ML-DSA-65). Les deux sont en vigueur jusqu'au déploiement de Dilithium en production.

Les versions remplacées sont archivées dans archive/specs/.


Niveaux de Conformité

Les implémentations peuvent adopter ACP de manière incrémentale, en commençant par L1.

Exigences normatives complètes par niveau :

→ Définition normative de la conformité : spec/governance/ACP-CONF-1.2.md


Spécifications

L1 · Exécution de Base

  • ACP-SIGN-1.0 — signature cryptographique, base Ed25519
  • ACP-SIGN-2.0 — signature hybride post-quantique (Ed25519 + ML-DSA-65)
  • ACP-AGENT-1.0 — identité formelle d'agent A=(ID,C,P,D,L,S)
  • ACP-CT-1.0 — structure des Jetons de Capacité, émission et vérification
  • ACP-CAP-REG-1.0 — registre canonique des capacités acp:cap:*
  • ACP-HP-1.0 — Protocole de Poignée de Main, preuve cryptographique de possession de capacité
  • ACP-DCMA-1.0 — délégation multi-saut, non-escalade et révocation transitive
  • ACP-MESSAGES-1.0 — format filaire, 5 types de messages normalisés

L2 · Couche de Confiance

  • ACP-RISK-2.0 — moteur de risque déterministe, Score de Risque RS (0–100), F_anom + temps de refroidissement
  • ACP-RISK-3.0 — application de l'anomalie contextuelle ; Règle 1 clé par PatternKey(agentID, cap, res), élimine le mélange d'état inter-contexte
  • ACP-REV-1.0 — protocole de révocation, point de terminaison et CRL
  • ACP-ITA-1.0 — Ancre de Confiance Institutionnelle, modèle centralisé
  • ACP-ITA-1.1 — Gouvernance de l'Ancre de Confiance, modèle BFT distribué

L3 · Exécution Vérifiable

  • ACP-EXEC-1.0 — Jetons d'exécution, usage unique, validité 300s
  • ACP-POLICY-CTX-1.0 — état de politique signé au moment de l'exécution
  • ACP-PROVENANCE-1.0 — preuve rétrospective de la chaîne de délégation lors de l'exécution
  • ACP-LEDGER-1.3 — registre d'audit, à ajout seul, chaîné par hachage, signature institutionnelle obligatoire
  • ACP-PSN-1.0 — Nœud de session processus, suivi des sessions d'exécution
  • ACP-API-1.0 — API HTTP, tous les points de terminaison institutionnels

L4 · Gouvernance

  • ACP-GOV-EVENTS-1.0 — flux d'événements de gouvernance institutionnelle
  • ACP-REP-1.2 — extension de réputation, score composite 0.6·ITS + 0.4·ERS
  • ACP-LIA-1.0 — chaîne de responsabilité attribuée
  • ACP-HIST-1.0 — API d'interrogation de l'historique d'exécution audité
  • ACP-PAY-1.0 — extension de capacité financière vérifiable
  • ACP-NOTIFY-1.0 — événements et webhooks
  • ACP-DISC-1.0 — registre d'agents et résolution
  • ACP-BULK-1.0 — exécution par lots de capacités
  • ACP-CROSS-ORG-1.0 — interactions inter-institutionnelles entre agents

L5 · Fédération

  • ACP-D-1.0 — ACP décentralisé, fédération inter-institutions, quorum BFT

Gouvernance

  • ACP-CONF-1.2 — définition normative de la conformité (en vigueur)
  • ACP-CHANGELOG — historique des versions

Structure du Dépôt```

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:~
---

## Démarrage rapide```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

Vérification de santé :```bash curl http://localhost:8080/acp/v1/health

root@kitploit:~
ENTRÉE :```json
{
  "acp_version": "1.0",
  "status": "operational",
  "timestamp": 1718920000,
  "components": {
    "policy_engine": "operational",
    "audit_ledger": "operational",
    "agent_registry": "operational",
    "rev_endpoint": "operational"
  }
}

Feuille de route

Licence

Apache 2.0

Télécharger l’outil
ProtocoleFocusLimite de portée
MCP (Model Context Protocol)Accès aux outils pour LLMsVérification d'autorité, application de politique, auditabilité d'exécution
A2A (Agent-to-Agent)Modèles de communication entre agentsConfiance institutionnelle, gouvernance, chaîne de responsabilité
OpenAI Agents SDKOrchestration d'outilsAutorité interorganisationnelle, provenance, responsabilité
Agent Client Protocol ¹Intégration client/agent d'exécutionGouvernance, chaînes de délégation, historique d'exécution vérifiable
ACP (Agent Control Protocol)Infrastructure de gouvernance et de responsabilité—
SystèmeCe qu'il faitCe qu'ACP ajoute
OPA (Open Policy Agent)Évalue les politiques à partir des données et des règlesIdentité cryptographique de l'agent + chaîne de délégation + preuve d'exécution
AWS IAM / Azure RBACModèle de permissions statique pour les ressources cloudDélégation dynamique d'agent à agent avec chaîne vérifiable + registre
OAuth 2.0 + OIDCAutorisation des utilisateurs et des services via des jetonsDélégation multi-sauts d'agent avec non-escalade + responsabilité institutionnelle
SPIFFE / SPIREIdentité de charge de travail cryptographiqueACP s'appuie sur l'identité de charge de travail pour ajouter le cadrage des capacités + la gouvernance
ACPContrôle d'admission pour les actions des agents—
ComposantRôle
SIGNSignature cryptographique — fondation de tous les objets du protocole
AGENTSpécification formelle d'identité d'agent A=(ID,C,P,D,L,S)
CTJeton de Capacité — structure, émission et vérification
CAP-REGRegistre canonique des capacités acp:cap:*
HPProtocole de Poignée de Main — preuve cryptographique de possession de capacité
DCMADélégation multi-saut — non-escalade et révocation transitive
MESSAGESFormat filaire — 5 types de messages normalisés
POLICY-CTXInstantané du Contexte de Politique — état de politique signé au moment de l'exécution
PROVENANCEProvenance de l'Autorité — preuve rétrospective de la chaîne de délégation
LEDGERRegistre d'Audit — à ajout seul, chaîné par hachage
GOV-EVENTSFlux d'événements de gouvernance — suivi institutionnel
REPExtension de Réputation — score composite 0.6·ITS + 0.4·ERS
LIATraçabilité de la Responsabilité — chaîne de responsabilité attribuée
HISTAPI d'interrogation de l'historique — historique d'exécution audité
SpecVersion activeNiveau
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—
NiveauNomCe que vous obtenez
L1CoreIdentité, jetons de capacité et exécution
L2SécuritéScore de risque, révocation et ancres de confiance
L3Exécution VérifiableJetons d'exécution, registre et provenance
L4GouvernanceRéputation, historique et responsabilité
L5FédérationRéseaux ACP décentralisés
NiveauSpécifications requises
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✅ Terminé — source normative unique de conformité
ACP-LEDGER-1.3✅ Terminé — sig normativement obligatoire
OpenAPI spec (openapi/acp-api-1.0.yaml)✅ Terminé — OpenAPI 3.1.0, tous les points d'accès ACP-API-1.0
Vecteurs de test de conformité (CORE · DCMA · HP · LEDGER · EXEC · PROV · PCTX · REP · RISK-2.0)✅ Terminé — 73 vecteurs signés + 65 vecteurs non signés RISK-2.0
Implémentation de référence — 23 paquets Go (L1–L4)✅ Terminé — impl/go/pkg/ couvre tous les niveaux de conformité
pkg/psn instantané de politique✅ Terminé — transitions atomiques, un seul instantané ACTIF
SDK Python — ACPAdmissionGuard + @acp_tool (LangChain)✅ Terminé — impl/python/
ACP-RISK-2.0 — F_anom + Cooldown + pkg/risk✅ Terminé — déterministe, sub-µs, 65 vecteurs
ACP-RISK-3.0 — Règle 1 contextuelle (pkg/risk/engine.go)✅ Terminé — v1.22 · CountPattern(ctxKey, 60s) remplace CountRequests(agentID) · mélange d'état inter-contexte éliminé
Démo d'agent de paiement (examples/payment-agent/)✅ Terminé — v1.16
ACP-SIGN-2.0 — Hybride post-quantique (Ed25519 + ML-DSA-65)✅ Terminé — spec v1.16 ; ML-DSA-65 réel via cloudflare/circl pkg/sign2/ v1.20
Exécuteur de conformité de séquence ACR-1.0 (compliance/runner/)✅ Terminé — v1.17 · mode bibliothèque + HTTP · 5/5 RÉUSSI
Vecteurs de test de séquence (compliance/test-vectors/sequence/)✅ Terminé — v1.17 · 5 scénarios avec état
Modèle de base TLA+ (tla/ACP.tla)✅ Terminé — v1.17 · 3 invariants · 0 violations
Modèle étendu TLA+ (tla/ACP_Extended.tla)✅ Terminé — v1.28 · 11 invariants + 4 propriétés temporelles · mono-agent : 5,684,342 états · deux agents LB=11 : 4,294,930,695 états distincts · 0 violations
Évaluation adverse (compliance/adversarial/)✅ Terminé — v1.29 · 14 expériences · nombres de benchmark réels (N=5 runs, mean±std)
Pipelining Redis (compliance/adversarial/redis_pipelined.go)✅ Terminé — v1.20 · 2 RTT/requête · ~1.8× accélération
Benchmarks ML-DSA-65 (pkg/sign2/sign2_bench_test.go)✅ Terminé — v1.20 · Ed25519 ~25 µs signature / ~56 µs vérification · ML-DSA-65 ~100–130 µs signature / ~81 µs vérification
NullQuerier + StatelessEngine (pkg/risk/null_querier.go, stateless_engine.go)✅ Terminé — v1.21 · base LedgerQuerier zéro-état pour comparaison sans état/avec état
Expérience sans état vs avec état (Exp 6, pkg/risk/stateless_comparison_test.go)✅ Terminé — v1.21 · 500 req · sans état 500/500 vs ACP 2/500 (0.4%) · latence de détection 11 actions
Test de vulnérabilité state-mixing (Exp 7, pkg/risk/statemixing_test.go)✅ Terminé — v1.21 · contamination Règle 1 inter-contexte · RS +20 · ESCALATED→DENIED après 11 data.read
Analyse d'attaque state-mixing (article §State-Mixing Vulnerability)✅ Terminé — v1.21 · caractérisation formelle · nombres Exp 7 · chemin d'atténuation ACP-RISK-3.0
Correction state-mixing (Exp 8, pkg/risk/statemixing_fix_test.go)✅ Terminé — v1.22 · RISK-3.0 · 3 scénarios · RS propre=50 ESCALATED · RS contaminé=50 ESCALATED · rafale même contexte RS=85 DENIED
Article v1.23 — Corrections sprint✅ Terminé — v1.23 · §RISK-3.0 dans §Mécanismes techniques · thèse contrefactuelle · 767–921 ns unifié · Exp 3b→Exp 4 renumérotée · Exp 3 N=5 · toutes les 7 corrections de contre-vérification
Effondrement de déviation (Exp 9, compliance/adversarial/exp_deviation_collapse.go)✅ Terminé — v1.23 · 3 phases : base BAR=0.70 → effondrement BAR=0.00 → contrefactuel BAR=1.00
Simulation de dérive Phase D (extension Exp 9)✅ Terminé — v1.25 · 5 lots × 20 cas · 0 %→80 % d'assainissement · alerte précoce ΔBAR déclenche au lot 2 (3 lots avant effondrement)
Modèle de confiance ITA (article §Trust Model and Failure Modes)✅ Terminé — v1.20 · bootstrap / fenêtre de compromission / autorité de révocation — affirmations semi-formelles
SDK TypeScript (impl/typescript/)✅ Terminé — v1.4.0 · zéro dépendance · 68 tests
SDK Rust (impl/rust/)✅ Terminé — v1.4.0 · ed25519-dalek v2 · 43 tests
pkg/barmonitor — Moniteur BAR avec détection de tendance ΔBAR (impl/go/pkg/barmonitor/)✅ Terminé — v1.24 · 18 tests · AlertThreshold + AlertTrend (se déclenche avant le seuil) · tampon circulaire thread-safe
API EvaluateCounterfactual (impl/go/pkg/risk/counterfactual.go)✅ Terminé — v1.24 · 14 tests · 3 fabriques de mutations (structurelle/comportementale/temporelle) · BAR(results) · fail-closed
Simulation de dérive Phase D (Exp 9) + correction du tampon circulaire computeTrend()✅ Terminé — v1.25 · alerte précoce ΔBAR avant le seuil · bogue d'ordre temporel corrigé
TLA+ FailureConditionPreservation + NoDegenerateAdmissibility (11 invariants)✅ Terminé — v1.27 · 0 violations · 4,294,930,695 états distincts (deux agents LB=11, 10.5h)
Point d'accès HTTP POST /acp/v1/counterfactual (impl/go/cmd/acp-server/)✅ Terminé — v1.25 · 7 tests d'intégration · mutations structurelles + comportementales via HTTP
Modèle d'adversaire formel A=(K,S,B) + taxonomie d'expériences (Exp 1–14)✅ Terminé — v1.29 · boîte noire / conscient des formules / état complet · toutes les expériences mappées
Analyse de sensibilité du seuil (Exp 11, 5 configs ±10 pts)✅ Terminé — v1.26 · taux de faux refus 0.00 toutes configs · BAR monotone 0.75→0.60 · T3 optimum local
Garanties de détection — Proposition + P(détection) binomiale✅ Terminé — v1.26 · W=40 τ=0.10 · P=1.00 à p₁=0.00 · P=0.95 à p₁=0.05
Comparaison fonctionnelle AgentSpec (5 dimensions)✅ Terminé — v1.26 · composable, pas concurrent · différenciateur de détection d'effondrement de gouvernance
Exp 12 : Contrôle d'admission IPI multi-outil (compliance/adversarial/exp_agent_multitool.go)✅ Terminé — v1.27 · 4 outils · 3 phases · BAR A=0.30/B=1.00/C=0.30 · F_anom avec état persistance 24h
Démo IPI LLM réel (demos/ollama-agent/agent_demo.py)✅ Terminé — v1.27 · DeepSeek-R1:8b · 5 tours · IPI bloqué · cooldown activé
Analyse du taux de faux refus (§False-Denial Rate Analysis)✅ Terminé — v1.27 · 0.00 état propre (Exp 11) · 0.00 post-attaque faible risque (Exp 12 Phase C)
Modèle de maturité de déploiement (Tier 1/2/3) + profils PolicyConfig (Low/Medium/High/Critical)✅ Terminé — v1.27 · BAR de base par profil · guide de migration RISK-2.0→RISK-3.0
Exp 13 : Fenêtre de coordination bornée (compliance/adversarial/exp_coordination_window.go)✅ Terminé — v1.28 · linéarité exacte CW=2N · sémantique évaluer-puis-muter · k₀=2 par agent · borne O(N)
Sous-section Intégration d'agent LLM déplacée vers §Mécanismes techniques✅ Terminé — v1.28 · après §Évaluation déterministe des risques · composable avec les filtres d'invite IPI
Exp 14 : Comparaison des capacités OPA vs ACP (compliance/adversarial/exp_opa_benchmark.go)✅ Terminé — v1.29 · 3 scénarios · les moteurs sans état ne peuvent pas appliquer fréquence/cooldown sans état externe · ACP applique nativement · ~852 ns/op ACP vs ~16 000 ns/op OPA
§Travaux connexes — Vérification formelle et exécution forcée (étendu)✅ Terminé — v1.29 · limite d'expressivité OPA · alignement automate de sécurité Schneider · référence croisée Exp 14
Intégration série gouvernance : Articles 3–4 cités au §15 ; entrée bib fernandez2026comp✅ Terminé — v1.30
v1.xProtocole central et implémentation de référence — actif
v2.0ACP décentralisé (ACP-D) — en conception
futurVérification ZK, gouvernance décentralisée