Skip to content
KitploitKITPLOIT
ИнструментыБлог
Отправить
ИнструментыБлог
Отправить

Инструменты для хакинга, пентеста и кибербезопасности — ваш арсенал защиты!

Kitploit — это каталог инструментов для хакинга, кибербезопасности и пентестинга. Находите последние обновления проектов для поиска уязвимостей, анализа систем, автоматизации тестирования и усиления вашей безопасности.

··Ленты·Контакты·Конфиденциальность·© 2026 Kitploit

Каталог инструментов

Категории

Все категории
Loading categories
acp-framework-en — Agent Control Protocol (ACP) — Официальная англоязычная спецификация. Криптографически верифицируемая архитектура авторизации для автономных AI-агентов. | Kitploit
Инструменты/GitHubGitHub/chelof100/acp-framework-en
Аутентификация и авторизацияКриптографияБезопасность облачных средУправление идентификацией и доступом (IAM)Безопасность Цепочки ПоставокСтатьи и ИсследованияОбучение и ОбразованиеБезопасность ИИ
GitHubchelof100/acp-framework-en

acp-framework-en

Agent Control Protocol (ACP) — Официальная англоязычная спецификация. Криптографически верифицируемая архитектура авторизации для автономных AI-агентов.

214 дней назадЕщё не проверено

Популярное

Смотреть все →

Откройте для себя самые используемые инструменты нашего сообщества.

Изучить все инструменты

Просмотрите нашу коллекцию инструментов

Смотреть все инструменты →
Поделиться
Репозиторий

ACP — Протокол управления агентами

Контроль допуска для действий агентов.

Прежде чем любой агент изменит состояние системы, ACP отвечает на четыре вопроса: Кто этот агент? Что ему разрешено делать? Соответствует ли действие политике? Можно ли отследить результат до ответственного учреждения?

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

Официальный сайт

https://agentcontrolprotocol.xyz

Статья

Протокол управления агентами: Контроль допуска для действий агентов Marcelo Fernandez (TraslaIA), 2026

DOI: 10.5281/zenodo.19672575  ·  arXiv: 2603.18829


Серия исследований

ACP является опубликованной основой серии из семи статей по формальному управлению агентами. Каждая статья рассматривает отдельный уровень стека управления.

СтатьяНазваниеРепозиторийСтатус
Статья 0Атомарные границы принятия решенийdecision-boundary-modelZenodo · arXiv:2604.17511
Статья 1Протокол управления агентами (ACP) — этот репозиторийacp-framework-enZenodo · arXiv:2603.18829
Статья 2От допуска к инвариантам (IML)iml-benchmarkZenodo · arXiv:2604.17517
Статья 3/4Несводимая структура управленияgovernance-structureZenodo · arXiv: pending
Статья 5Реконструктивная модель полномочий (RAM)reconstructive-authority-modelZenodo · arXiv:2604.22898
Статья 6Внедрение реконструктивных полномочийoperationalizing-ramZenodo · arXiv: pending
Статья 7Закрытие разрыва выполнения (эмпирическое)agent-governance-appliedZenodo · arXiv: pending

Логика серии: Статья 0 доказывает, когда допустимость может быть гарантирована → Статья 1 (ACP) строит протокол → Статья 2 обнаруживает дрейф, невидимый для принуждения → Статья 3/4 доказывает, что правильное принуждение ≠ справедливое распределение, и устанавливает несводимость четырехуровневой архитектуры → Статья 5 (RAM) обеспечивает операционное замыкание: когда выполнять при частичной наблюдаемости → Статья 6 внедряет RAM как цикл восстановления во время выполнения → Статья 7 предоставляет первую эмпирическую проверку полного стека на реальных агентах LangGraph.


Зачем нужен ACP

Автономные агенты переходят от экспериментов к производству. Они уже взаимодействуют с API, корпоративными системами, финансовой инфраструктурой и другими агентами.

Когда один агент действует в разных организациях, сразу возникает несколько вопросов:

  • Кто уполномочил агента действовать?
  • Какими возможностями на самом деле обладает агент?
  • Какая политика разрешила действие?
  • Что именно было выполнено?
  • Можно ли проверить выполнение позже?
  • Можно ли восстановить полную историю взаимодействий?

Сегодня большинство систем не могут надежно ответить на эти вопросы.

ACP представляет инфраструктуру для ответа на все из них.


ACP и связанные протоколы

Несколько инициатив решают вопрос взаимодействия автономных агентов с системами. Большинство сосредоточено на доступе к инструментам или коммуникации. ACP сосредоточен на полномочиях, проверке выполнения и институциональной подотчетности.

ACP затрагивает другой уровень: кто уполномочил действие, по какой политике и кто несет ответственность за результат.

ACP и системы политик и аутентификации

Инженеры, оценивающие ACP, часто спрашивают: «почему не использовать OPA?» Эти системы дополняющие, а не конкурирующие.

OPA может использоваться как механизм оценки политик внутри системы, совместимой с ACP. ACP не заменяет OPA — он добавляет уровень идентичности агента, цепочку делегирования и доказательство выполнения, которые OPA не предоставляет.


¹ ACP (Agent Control Protocol) не связан с другими инициативами, использующими ту же аббревиатуру.


ACP как контроль допуска

Kubernetes использует Admission Controller для перехвата API-запросов до того, как они достигнут кластера — оценивая политики, применяя квоты, отклоняя несоответствующие операции. ACP применяет тот же шаблон к действиям агентов.``` 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:~
Отличие от Kubernetes: ACP действует через институциональные границы. Агент из Банка А может быть принят Банком Б без того, чтобы Банк Б доверял внутренней инфраструктуре Банка А — значение имеет только криптографическое доказательство.

---

## Как работает ACP

ACP рассматривает взаимодействия агентов как **управляемые операции**, а не простые запросы.

Каждое взаимодействие проходит шесть структурированных этапов:

1. **Проверка личности** — подтверждение, кем является агент (`ACP-AGENT-1.0`, `ACP-HP-1.0`)
2. **Проверка возможностей** — подтверждение, на что агенту разрешено (`ACP-CT-1.0`, `ACP-DCMA-1.0`)
3. **Авторизация политики** — подтверждение, что действие разрешено текущей политикой (`ACP-RISK-3.0`, `ACP-PSN-1.0`)
4. **Детерминированное выполнение** — выполнение только того, что было авторизовано, ничего более (`ACP-EXEC-1.0`)
5. **Проверяемая запись** — создание криптографического доказательства произошедшего (`ACP-LEDGER-1.3`, `ACP-PROVENANCE-1.0`)
6. **Обновление доверия** — обновление репутации и состояния аттестации на основе взаимодействия (`ACP-REP-1.2`, `ACP-LIA-1.0`)

Это позволяет взаимодействиям стать отслеживаемыми, аудитируемыми и приписываемыми среди организаций.

---

## Конституционный инвариант

Выполнение ACP управляется единственным архитектурным инвариантом.```
Execute(request) ⟹
    ValidIdentity  ∧  ValidCapability  ∧  ValidDelegationChain  ∧  AcceptableRisk
ConditionMeaning
ValidIdentityАгент имеет подтвержденную, подписанную идентичность

Никакое действие агента не выполняется, если все четыре условия не выполнены одновременно.

Уровни протокола существуют для обеспечения соблюдения этого инварианта на каждой границе взаимодействия.


Архитектура протокола

ACP организован в пяти уровнях протокола. Каждый уровень строится на предыдущем и добавляет отдельную возможность управления.``` 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:~
→ **Новичок в ACP? Начните здесь:** [docs/admission-flow.md](https://github.com/chelof100/acp-framework-en/blob/HEAD/docs/admission-flow.md) — полное пошаговое руководство по проверке допуска

→ Формальная модель предметной области и граф зависимостей: [ARCHITECTURE.md](https://github.com/chelof100/acp-framework-en/blob/HEAD/ARCHITECTURE.md)

---

## Межинституциональное взаимодействие

ACP разработан для взаимодействия между независимыми системами.
Каждый шаг создает проверяемый артефакт, который становится частью постоянной записи взаимодействия.```
      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        │
                                          └───────────────────────────┘

Принципы проектирования

Явные полномочия

Каждое действие агента должно быть авторизовано определенной политикой. Никаких неявных разрешений. Никакого фонового доступа.

Детерминированное выполнение

Выполнение должно точно соответствовать авторизованной команде. Выполняется только то, что было авторизовано, — ничего более.

Проверяемая история

Каждое взаимодействие создает криптографически проверяемые артефакты. Выполнение может быть доказано постфактум, без доверия к какой-либо одной стороне.

Институциональная подотчетность

Ответственность всегда может быть возложена на идентифицируемое лицо. Цепочки делегирования полны и прослеживаются до институционального корня.

Федеративное доверие

Независимые системы могут проверять друг друга без центрального органа. Доверие достигается через проверяемую историю взаимодействий, а не предполагается.


Компоненты протокола

L1 · Базовое выполнение

Идентификация, возможности, обеспечение соблюдения политик и детерминированное выполнение.

L2 · Уровень доверия

Динамическая оценка рисков и управление доверием взаимодействий.

КомпонентРоль
RISKДетерминированный механизм риска — Оценка риска RS (0–100)
REVПротокол отзыва — конечная точка и CRL
ITAИнституциональный якорь доверия — аттестации доверия для каждого взаимодействия

L3 · Проверяемое выполнение

Каждое взаимодействие оставляет полную криптографически проверяемую запись.

КомпонентРоль
EXECТокены выполнения — одноразовые, срок действия 300 с

L4 · Управление

Долгосрочная подотчетность и институциональный надзор.

КомпонентРоль

L5 · Федерация

Взаимодействие между независимыми институтами.

КомпонентРоль
ACP-DДецентрализованный ACP — межведомственная федерация, кворум BFT

Активные версии спецификаций

Текущая активная версия для каждой спецификации. Эта таблица является авторитетным справочником «какую версию реализовать».

¹ ACP-SIGN-1.0 остается активной как базовая линия Ed25519. ACP-SIGN-2.0 добавляет постквантовое расширение (ML-DSA-65). Обе действуют до внедрения Dilithium в производство.

Устаревшие версии архивированы в archive/specs/.


Уровни соответствия

Реализации могут внедрять ACP поэтапно, начиная с L1.

Полные нормативные требования по уровням:

→ Нормативное определение соответствия: spec/governance/ACP-CONF-1.2.md


Спецификации

L1 · Базовое выполнение

  • ACP-SIGN-1.0 — криптографическое подписывание, базовая линия Ed25519
  • ACP-SIGN-2.0 — постквантовое гибридное подписывание (Ed25519 + ML-DSA-65)
  • ACP-AGENT-1.0 — формальная идентичность агента A=(ID,C,P,D,L,S)
  • ACP-CT-1.0 — структура токена возможностей, выпуск и проверка
  • ACP-CAP-REG-1.0 — канонический реестр возможностей acp:cap:*
  • ACP-HP-1.0 — протокол рукопожатия, криптографическое доказательство обладания возможностью
  • ACP-DCMA-1.0 — многошаговое делегирование, без эскалации и транзитивный отзыв
  • ACP-MESSAGES-1.0 — формат передачи, 5 нормализованных типов сообщений

L2 · Уровень доверия

  • ACP-RISK-2.0 — детерминированный механизм риска, Оценка риска RS (0–100), F_anom + период охлаждения
  • ACP-RISK-3.0 — контекстно-ориентированное применение аномалий; Правило 1 ключуется по PatternKey(agentID, cap, res), устраняет смешивание состояний между контекстами
  • ACP-REV-1.0 — протокол отзыва, конечная точка и CRL
  • ACP-ITA-1.0 — институциональный якорь доверия, централизованная модель
  • ACP-ITA-1.1 — управление якорем доверия, распределенная модель BFT

L3 · Проверяемое выполнение

  • ACP-EXEC-1.0 — Токены выполнения, одноразовые, срок действия 300 с
  • ACP-POLICY-CTX-1.0 — подписанное состояние политики во время выполнения
  • ACP-PROVENANCE-1.0 — ретроспективное доказательство цепочки делегирования во время выполнения
  • ACP-LEDGER-1.3 — аудиторский реестр, только добавление, хэш-цепочка, обязательная институциональная подпись
  • ACP-PSN-1.0 — узел процесса-сессии, отслеживание сеансов выполнения
  • ACP-API-1.0 — HTTP API, все институциональные конечные точки

L4 · Управление

  • ACP-GOV-EVENTS-1.0 — поток событий институционального управления
  • ACP-REP-1.2 — расширение репутации, составной показатель 0.6·ITS + 0.4·ERS
  • ACP-LIA-1.0 — цепочка приписываемой ответственности
  • ACP-HIST-1.0 — API запросов проверенной истории выполнения
  • ACP-PAY-1.0 — расширение проверяемых финансовых возможностей
  • ACP-NOTIFY-1.0 — события и вебхуки
  • ACP-DISC-1.0 — реестр агентов и разрешение
  • ACP-BULK-1.0 — пакетное выполнение возможностей
  • ACP-CROSS-ORG-1.0 — межведомственные взаимодействия агентов

L5 · Федерация

  • ACP-D-1.0 — децентрализованный ACP, межведомственная федерация, кворум BFT

Управление

  • ACP-CONF-1.2 — нормативное определение соответствия (текущее)
  • ACP-CHANGELOG — история версий

Структура репозитория```

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

## Быстрый старт```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

Проверка здоровья:```bash curl http://localhost:8080/acp/v1/health

root@kitploit:~
"minestrike": {
      "custom": false,
      "credits": ["nephelai", "Synaptic"],
      "path": "/Pentest/MineStrike-master/packages/packages.json",
      "description": "Инструмент для подготовки шаблона сервера Minecraft для развертывания с помощью Terraform и Ansible",
      "url": "https://github.com/nephelai/MineStrike"
    },```json
{
  "acp_version": "1.0",
  "status": "operational",
  "timestamp": 1718920000,
  "components": {
    "policy_engine": "operational",
    "audit_ledger": "operational",
    "agent_registry": "operational",
    "rev_endpoint": "operational"
  }
}

Дорожная карта


Лицензия

Apache 2.0

Скачать инструмент
ПротоколФокусГраница области
MCP (Model Context Protocol)Доступ к инструментам для LLMПроверка полномочий, обеспечение соблюдения политик, аудируемость выполнения
A2A (Agent-to-Agent)Шаблоны коммуникации агентовИнституциональное доверие, управление, цепочка подотчетности
OpenAI Agents SDKОркестрация инструментовМежорганизационные полномочия, происхождение, ответственность
Agent Client Protocol ¹Интеграция клиент/агент во время выполненияУправление, цепочки делегирования, проверяемая история выполнения
ACP (Agent Control Protocol)Инфраструктура управления и подотчетности—
СистемаЧто делаетЧто добавляет ACP
OPA (Open Policy Agent)Оценивает политики на основе данных и правилКриптографическая идентичность агента + цепочка делегирования + доказательство выполнения
AWS IAM / Azure RBACСтатическая модель разрешений для облачных ресурсовДинамическое делегирование от агента к агенту с проверяемой цепочкой + реестр
OAuth 2.0 + OIDCАвторизация пользователей и сервисов через токеныМногошаговое делегирование агента без эскалации + институциональная ответственность
SPIFFE / SPIREКриптографическая идентичность рабочей нагрузкиACP опирается на идентичность рабочей нагрузки, добавляя ограничение возможностей + управление
ACPКонтроль допуска для действий агентов—
ValidCapabilityАгент обладает авторизованным Capability Token
ValidDelegationChainКаждый шаг делегирования прослеживается до институционального корня
AcceptableRiskОценка риска находится в пределах установленных институциональной политикой порогов
КомпонентРоль
SIGNКриптографическое подписывание — основа всех объектов протокола
AGENTФормальная спецификация идентичности агента A=(ID,C,P,D,L,S)
CTТокен возможностей — структура, выпуск и проверка
CAP-REGКанонический реестр возможностей acp:cap:*
HPПротокол рукопожатия — криптографическое доказательство обладания возможностью
DCMAМногошаговое делегирование — без эскалации и транзитивный отзыв
MESSAGESФормат передачи — 5 нормализованных типов сообщений
POLICY-CTXСнимок контекста политики — подписанное состояние политики во время выполнения
PROVENANCEПроисхождение полномочий — ретроспективное доказательство цепочки делегирования
LEDGERАудиторский реестр — только добавление, хэш-цепочка
GOV-EVENTS
Поток событий управления — институциональное отслеживание
REPРасширение репутации — составной показатель 0.6·ITS + 0.4·ERS
LIAПрослеживаемость ответственности — цепочка приписываемой ответственности
HISTAPI запросов истории — проверенная история выполнения
СпецификацияАктивная версияУровень
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—
УровеньНазваниеЧто вы получаете
L1БазовоеИдентификация, токены возможностей и выполнение
L2БезопасностьОценка риска, отзыв и якоря доверия
L3Проверяемое выполнениеТокены выполнения, реестр и происхождение
L4УправлениеРепутация, история и ответственность
L5ФедерацияДецентрализованные сети ACP
УровеньТребуемые спецификации
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 BFT quorum
ЭлементСтатус
ACP-CONF-1.2✅ Завершено — единственный нормативный источник соответствия
ACP-LEDGER-1.3✅ Завершено — подпись нормативно обязательна
OpenAPI spec (openapi/acp-api-1.0.yaml)✅ Завершено — OpenAPI 3.1.0, все конечные точки ACP-API-1.0
Conformance test vectors (CORE · DCMA · HP · LEDGER · EXEC · PROV · PCTX · REP · RISK-2.0)✅ Завершено — 73 подписанных + 65 неподписанных тестовых векторов RISK-2.0
Reference implementation — 23 Go packages (L1–L4)✅ Завершено — impl/go/pkg/ охватывает все уровни соответствия
pkg/psn policy snapshot✅ Завершено — атомарные переходы, один ACTIVE снимок
Python SDK — ACPAdmissionGuard + @acp_tool (LangChain)✅ Завершено — impl/python/
ACP-RISK-2.0 — F_anom + Cooldown + pkg/risk✅ Завершено — детерминированный, суб-микросекундный, 65 векторов
ACP-RISK-3.0 — context-scoped Rule 1 (pkg/risk/engine.go)✅ Завершено — v1.22 · CountPattern(ctxKey, 60s) заменяет CountRequests(agentID) · устранено смешивание состояний между контекстами
Payment-agent demo (examples/payment-agent/)✅ Завершено — v1.16
ACP-SIGN-2.0 — Post-quantum hybrid (Ed25519 + ML-DSA-65)✅ Завершено — спецификация v1.16; реальный ML-DSA-65 через cloudflare/circl pkg/sign2/ v1.20
ACR-1.0 sequence compliance runner (compliance/runner/)✅ Завершено — v1.17 · библиотека + HTTP режим · 5/5 ПРОЙДЕНО
Sequence test vectors (compliance/test-vectors/sequence/)✅ Завершено — v1.17 · 5 сценариев с состоянием
TLA+ base model (tla/ACP.tla)✅ Завершено — v1.17 · 3 инварианта · 0 нарушений
TLA+ extended model (tla/ACP_Extended.tla)✅ Завершено — v1.28 · 11 инвариантов + 4 временных свойства · один агент: 5,684,342 состояний · два агента LB=11: 4,294,930,695 различных состояний · 0 нарушений
Adversarial evaluation (compliance/adversarial/)✅ Завершено — v1.29 · 14 экспериментов · реальные показатели производительности (N=5 прогонов, среднее±стд)
Redis pipelining (compliance/adversarial/redis_pipelined.go)✅ Завершено — v1.20 · 2 RTT/запрос · ускорение ~1.8×
ML-DSA-65 benchmarks (pkg/sign2/sign2_bench_test.go)✅ Завершено — v1.20 · Ed25519 ~25 мкс подпись / ~56 мкс проверка · ML-DSA-65 ~100–130 мкс подпись / ~81 мкс проверка
NullQuerier + StatelessEngine (pkg/risk/null_querier.go, stateless_engine.go)✅ Завершено — v1.21 · базовый уровень LedgerQuerier с нулевым состоянием для сравнения без/с состоянием
Stateless vs. stateful experiment (Exp 6, pkg/risk/stateless_comparison_test.go)✅ Завершено — v1.21 · 500 запр · без состояния 500/500 vs ACP 2/500 (0.4%) · задержка обнаружения 11 действий
State-mixing vulnerability test (Exp 7, pkg/risk/statemixing_test.go)✅ Завершено — v1.21 · смешивание состояний между контекстами для Правила 1 · RS +20 · ESCALATED→DENIED после 11 data.read
State-mixing attack analysis (paper §State-Mixing Vulnerability)✅ Завершено — v1.21 · формальная характеристика · числа Exp 7 · путь смягчения ACP-RISK-3.0
State-mixing fix (Exp 8, pkg/risk/statemixing_fix_test.go)✅ Завершено — v1.22 · RISK-3.0 · 3 сценария · чистый RS=50 ESCALATED · загрязненный RS=50 ESCALATED · взрыв в том же контексте RS=85 DENIED
Paper v1.23 — Sprint fixes✅ Завершено — v1.23 · §RISK-3.0 в §Технические механизмы · контрафактический тезис · 767--921 нс унифицировано · Exp 3b→Exp 4 перенумерованы · Exp 3 N=5 · все 7 исправлений перекрестной проверки
Deviation collapse (Exp 9, compliance/adversarial/exp_deviation_collapse.go)✅ Завершено — v1.23 · 3 фазы: базовый BAR=0.70 → коллапс BAR=0.00 → контрафактический BAR=1.00
Phase D drift simulation (Exp 9 extension)✅ Завершено — v1.25 · 5 партий × 20 случаев · 0%→80% санитизация · раннее предупреждение ΔBAR срабатывает на партии 2 (3 партии до коллапса)
ITA trust model (paper §Trust Model and Failure Modes)✅ Завершено — v1.20 · начальная загрузка / окно компрометации / орган отзыва — полуформальные утверждения
TypeScript SDK (impl/typescript/)✅ Завершено — v1.4.0 · без зависимостей · 68 тестов
Rust SDK (impl/rust/)✅ Завершено — v1.4.0 · ed25519-dalek v2 · 43 теста
pkg/barmonitor — BAR-Monitor with ΔBAR trend detection (impl/go/pkg/barmonitor/)✅ Завершено — v1.24 · 18 тестов · AlertThreshold + AlertTrend (срабатывает до порога) · потокобезопасное кольцевое буфер
EvaluateCounterfactual API (impl/go/pkg/risk/counterfactual.go)✅ Завершено — v1.24 · 14 тестов · 3 фабрики мутаций (структурные/поведенческие/временные) · BAR(результаты) · замкнуто на отказ
Phase D drift simulation (Exp 9) + computeTrend() ring buffer fix✅ Завершено — v1.25 · опережающее предупреждение ΔBAR до порога · исправлена ошибка временного порядка
TLA+ FailureConditionPreservation + NoDegenerateAdmissibility (11 invariants)✅ Завершено — v1.27 · 0 нарушений · 4,294,930,695 различных состояний (два агента LB=11, 10.5ч)
POST /acp/v1/counterfactual HTTP endpoint (impl/go/cmd/acp-server/)✅ Завершено — v1.25 · 7 интеграционных тестов · структурные + поведенческие мутации через HTTP
Formal adversary model A=(K,S,B) + experiment taxonomy (Exp 1–14)✅ Завершено — v1.29 · черный ящик / формулы / полное состояние · все эксперименты сопоставлены
Threshold sensitivity analysis (Exp 11, 5 configs ±10 pts)✅ Завершено — v1.26 · частота ложных отказов 0.00 для всех конфигураций · BAR монотонный 0.75→0.60 · локальный оптимум T3
Detection guarantees — Proposition + binomial P(detect)✅ Завершено — v1.26 · W=40 τ=0.10 · P=1.00 при p₁=0.00 · P=0.95 при p₁=0.05
AgentSpec functional comparison (5 dimensions)✅ Завершено — v1.26 · компонуемый, а не конкурентный · отличительная черта — обнаружение коллапса управления
Exp 12: Multi-tool IPI admission control (compliance/adversarial/exp_agent_multitool.go)✅ Завершено — v1.27 · 4 инструмента · 3 фазы · BAR A=0.30/B=1.00/C=0.30 · F_anom с состоянием 24ч постоянство
Real-LLM IPI demo (demos/ollama-agent/agent_demo.py)✅ Завершено — v1.27 · DeepSeek-R1:8b · 5 шагов · IPI заблокирован · включено охлаждение
False-denial rate analysis (§False-Denial Rate Analysis)✅ Завершено — v1.27 · 0.00 в чистом состоянии (Exp 11) · 0.00 после атаки с низким риском (Exp 12 Фаза C)
Deployment maturity model (Tier 1/2/3) + PolicyConfig profiles (Low/Medium/High/Critical)✅ Завершено — v1.27 · BAR базовый уровень для профиля · руководство по миграции RISK-2.0→RISK-3.0
Exp 13: Bounded coordination window (compliance/adversarial/exp_coordination_window.go)✅ Завершено — v1.28 · CW=2N точная линейность · семантика «оценить-затем-мутировать» · k₀=2 на агента · граница O(N)
LLM Agent Integration subsection moved to §Technical Mechanisms✅ Завершено — v1.28 · после §Детерминированная оценка риска · компонуемо с IPI фильтрами подсказок
Exp 14: OPA vs ACP capability comparison (compliance/adversarial/exp_opa_benchmark.go)✅ Завершено — v1.29 · 3 сценария · движки без состояния не могут обеспечить частоту/охлаждение без внешнего состояния · ACP обеспечивает нативно · ~852 нс/оп ACP vs ~16,000 нс/оп OPA
§Related Work — Formal Verification and Runtime Enforcement (expanded)✅ Завершено — v1.29 · граница выразительности OPA · соответствие автомату безопасности Schneider · перекрестная ссылка Exp 14
Governance series integration: Papers 3–4 cited in §15; fernandez2026comp bib entry✅ Завершено — v1.30
v1.xОсновной протокол и эталонная реализация — активна
v2.0Децентрализованный ACP (ACP-D) — в разработке
futureZK верификация, децентрализованное управление