VECA

VECA(Verifiable Communication for Agents) 프로토콜 설계 워크스페이스. AI 에이전트 간 통신에서 신뢰를 "주장(assert)이 아닌 검증(verify)"하기 위한 3계층 검증 프로토콜의 명세·수학적 기반·참고문헌·구현 라이브러리 스펙을 문서화한 폴더.

하위 폴더

• veca0603/ — VECA 프로토콜 설계 문서 모음(유일한 하위 폴더).

veca0603 주요 문서

• VECA_protocol_spec_v3_3-3수정중.md (63KB, 2026-06-13) — 프로토콜 명세 v3. 14개 섹션: 개요·동기, 위협 모델, 3계층 아키텍처, 핸드셰이크 프로토콜, 메시지 형식, Layer 1(DCFL 구문 강제), Layer 2(어휘 검증), Layer 3(정책 검증), 에러 코드, 범위 양보, 기존 프로토콜 비교, 부록 A(Datalog 방언), 부록 B(DCFL 문법), 부록 C(공격 저항 요약). "수정중" 표시.
• VECA_math_v2.md (44KB, 2026-05-30) — 프로토콜의 수학적 기반(암호학 증명/필터/커밋먼트 등).
• VECA_library_spec.md (6.5KB, 2026-05-25) — Rust 크레이트 라이브러리 구조 스펙 v1.0-draft. 5개 서브 크레이트: veca-core(wire format, 핸드셰이크 상태머신, 14개 에러코드), veca-proof1(어휘 검증 — SPmode: Merkle 루트 커밋먼트, LPmode: Binary Fuse 필터), veca-proof2(정책 검증 — LPmode: crepe Datalog 엔진, SPmode: veca-pq 연동), veca-pq(양자후내성 ZK 백엔드 래퍼), veca(CLI/통합/벤치마크).
• VECA_references.md (28KB, 2026-05-25) — 관련 연구/프로토콜 참고문헌(MCP, ACP, A2A, ANP 등 기존 에이전트 통신 프로토콜 비교 자료로 추정).

프로토콜 핵심 (spec에서 확인)

현대 AI 에이전트 통신 프로토콜(MCP/ACP/A2A/ANP)은 신뢰를 주장하기만 하고 검증 수단이 없음. VECA는 3계층으로 이를 보완:

1. Layer 1 — DCFL 구문 강제: 메시지가 합의된 문법을 만족하는지.
2. Layer 2 — 어휘 검증: 각 용어가 합의된 어휘집에 속하는지 (암호학적).
3. Layer 3 — 정책 검증: 메시지가 합의된 정책 규칙을 만족하는지 (Datalog 기반).

의존성 / 참조

• Rust 크레이트(구현 스펙 기준): serde, serde_json, monotree(SHA-3 Merkle, v0.4.0), binary-fuse/binaryfuse, crepe(Datalog 엔진, v0.2.0).
• 양자후내성 ZK: veca-pq 서브 크레이트가 별도 백엔드 래핑.
• 외부 절대경로 참조 없음 — 순수 설계/명세 문서 폴더. 코드 구현체는 이 폴더에 없음(스펙만 존재).

상태

• 최종 mtime: 2026-06-13 (VECA_protocol_spec_v3_3-3수정중.md).
• 프로토콜 명세 v3 "수정중" 단계 — 라이브러리 스펙은 v1.0-draft.
• 산출물은 마크다운 문서 only (구현 코드 없음).

자동 생성 요약 (Claude Code, 2026-06-25)

VECA = 에이전트 통신 3계층 검증 프로토콜(구문·어휘·정책)의 설계 문서 폴더. 하위 1개(veca0603)에 명세 v3(수정중)·수학 기반 v2·Rust 라이브러리 스펙 draft·참고문헌. 구현 코드가 아닌 명세서만 존재.