### 6개의 순차 검사 (첫 번째 실패 시 중단)

| # | 검사 | 차단 조건 |
|---|-------|-------------|
| 1 | 영수증 서명 | ECDSA P-256 서명이 유효하지 않거나 영수증이 변조된 경우 |
| 2 | 취소 | `RevocationRegistry`를 통해 영수증이 취소된 경우 |
| 3 | 시간 창 | 영수증이 만료되었거나 아직 유효하지 않은 경우 (로그 타임스탬프 오라클 기준, 클라이언트 시계 아님) |
| 4 | 범위 | 작업이 `ScopeSchema.allowedActions`에 없거나 텍스트 기반 범위 매칭 실패 |
| 5 | 연산자 지침 | 현재 지침이 발행 시 영수증에 고정된 해시와 일치하지 않음 |
| 6 | 프로그램 해시 | 제공된 `programHash`가 커밋된 `executes` 해시와 일치하지 않음 (코드 대체 방지) |

모든 검사 결과(통과 또는 실패)는 검증자의 자체 키로 서명된 불변의 `ActionLog`에 자동으로 기록됩니다.

### 미들웨어 통합

일반적인 프레임워크를 위한 드롭인 래퍼입니다. 각 래퍼는 래핑된 코드가 실행되기 전에 모든 호출을 `PreExecutionVerifier`를 통해 게이트합니다.

- **[LangChain](https://github.com/commonguy25/authproof-sdk/blob/main/src/middleware/langchain.js)** — `invoke()` 메서드가 있는 모든 에이전트를 래핑합니다.
- **[Express/HTTP](https://github.com/commonguy25/authproof-sdk/blob/main/src/middleware/express.js)** — 모든 Express 호환 프레임워크용 요청 미들웨어
- **[Generic function wrapper](https://github.com/commonguy25/authproof-sdk/blob/main/src/middleware/generic.js)** — 모든 비동기 함수를 래핑```js
// LangChain
import { authproofMiddleware } from 'authproof-sdk/middleware/langchain'
const guardedAgent = authproofMiddleware(agent, { receiptHash, verifier })

// Express
import { authproofMiddleware } from 'authproof-sdk/middleware/express'
app.use(authproofMiddleware({ verifier, getReceiptHash: (req) => req.headers['x-receipt-hash'] }))

// Any function
import { guardFunction } from 'authproof-sdk/middleware/generic'
const guardedExecute = guardFunction(executeAction, { receiptHash, verifier, action })

사용자가 운영자에게 지시합니다. 운영자는 에이전트에게 지시합니다. 그러나 위임 시점에 사용자의 원래 의도에 대한 암호학적 기록은 존재하지 않습니다. 운영자는 사용자의 지시가 에이전트에 도달하기 전에 이를 확장, 왜곡 또는 생략할 수 있는 무제한 권한을 가진 신뢰할 수 있는 제3자가 됩니다.

결과는 다음과 같습니다:

- 사용자는 자신이 승인한 내용을 증명할 수 없습니다.
- 규제 기관은 감사 추적을 할 수 없습니다.
- 법원은 증거 체인을 가질 수 없습니다.
- 에이전트는 합법적인 운영자 지시와 손상되거나 변조된 지시를 구분할 수 없습니다.

AuthProof가 이 격차를 메웁니다.

---

## 핵심 원시 요소(Primitive): 위임 영수증(Delegation Receipt)

**위임 영수증**은 에이전트 작업이 시작되기 전에 분산형 추가 전용 로그(append-only log)에 고정된 서명된 권한 부여 객체입니다. 다음 네 가지 필수 필드를 포함합니다.

### 범위(Scope)

허용된 작업의 명시적 허용 목록입니다. 나열되지 않은 모든 것은 기본적으로 거부됩니다. 자연어가 아닌 구조화된 형식으로 표현됩니다. 작업 클래스:

| 클래스 | 설명 |
|---|---|
| `reads` | 지정된 리소스에 대한 읽기 액세스 |
| `writes` | 지정된 리소스에 대한 쓰기 액세스 |
| `deletes` | 지정된 리소스 삭제 |
| `executes` | **정적 기능 서명 해시(static capability signature hash)**로 참조되는 특정 프로그램 실행 |

`executes`는 가장 위험한 클래스입니다. 이름, URI 또는 설명이 아닌 Safescript 프로그램의 정적 기능 DAG(Static Capability DAG)의 암호화 해시를 참조해야 합니다. 해시가 일치하지 않으면 실행이 불가능합니다.

### 경계(Boundaries)

어떠한 상황에서도 운영자 지시에 의해 재정의될 수 없는 명시적 금지 사항입니다. 사용자가 정의한 하드 리미트(Hard Limit)로, 이후의 운영자 지시에도 그대로 유지됩니다.

### 시간 창(Time Window)

권한 부여의 유효 기간입니다. **로그 타임스탬프**가 시간 오라클(Time Oracle)입니다. 클라이언트 시계는 시간 검증에서 명시적으로 제외됩니다.

### 운영자 지시 해시(Operator Instruction Hash)

위임 시점에 운영자가 명시한 지시의 암호화 해시입니다. 운영자가 이후에 에이전트에게 다르게 지시하는 경우, 추가적인 신뢰 가정 없이 로그에서 차이점을 감지할 수 있습니다.

사용자는 **WebAuthn/FIDO2를 통해 기기 보안 엔클레이브(Device Secure Enclave)**를 사용하여 개인 키로 이 객체에 서명합니다. 서명은 에이전트 작업 전에 로그에 게시됩니다. 이후의 모든 에이전트 작업은 영수증 해시를 참조합니다. 범위를 벗어난 작업은 암호학적으로 유효하지 않습니다.

---

## 신뢰 스택 아키텍처(Trust Stack Architecture)

세 가지 프로토콜 계층이 세 가지 신뢰할 수 있는 제3자를 제거합니다.

### 계층 1 — 서명된 기능 매니페스트(Signed Capability Manifest) *(레지스트리(Registry)에 대한 신뢰 제거)*

현재 MCP 생태계에서는 도구 서버의 설명이 실제 동작과 일치한다는 암호학적 증명이 없습니다. 운영자는 임의의 스키마를 제시할 수 있습니다.

해결책: 사용자 권한 부여 전에 도구 서버가 **암호학적으로 서명된 기능 매니페스트**를 게시합니다. 위임 영수증의 `scope` 필드는 운영자가 자체 보고한 스키마가 아닌 **이 매니페스트의 해시**를 참조합니다. 서버 동작과 매니페스트 간의 차이는 로그 계층에서 감지 가능합니다.

### 계층 2 — 위임 영수증(Delegation Receipt) *(운영자(Operator)에 대한 신뢰 제거)*

사용자의 원래 의도는 운영자 지시가 에이전트에 도달하기 전에 불변하게 기록됩니다. 운영자의 이탈은 증명 가능합니다.

### 계층 3 — Safescript 실행(Safescript Execution) *(코드(Code)에 대한 신뢰 제거)*

[Safescript](https://github.com/safescript)는 AI 에이전트 실행을 위한 오픈소스 샌드박스 언어입니다. 정적 DAG 구조 덕분에 모든 프로그램의 전체 기능 서명은 실행 전에 계산 가능합니다. 동적 디스패치(Dynamic Dispatch)나 런타임 기능 확장이 없습니다.

`executes` 범위 클래스는 특정 Safescript 기능 서명 해시를 참조합니다. 운영자가 제공한 프로그램이 커밋된 해시와 일치하지 않으면 실행이 차단됩니다. 위임 후 에이전트가 다른 프로그램으로 대체될 수 없습니다.

---

## 빠른 시작(Quick Start)```js
import { AuthProof, Scope, KeyCustody } from 'authproof-sdk';

// Initialize with hardware-backed key custody (recommended)
const authproof = new AuthProof({
  custody: KeyCustody.HARDWARE, // WebAuthn/FIDO2 via device secure enclave
  log: 'https://log.authproof.dev',
});

// Define permitted operations — explicit allowlist, deny-by-default
const scope = new Scope()
  .allow('reads',  ['resource://calendar/events', 'resource://email/inbox'])
  .allow('writes', ['resource://calendar/events'])
  .deny('deletes', '*')
  .execute('sha256:a3f1c9d8...', { program: 'scheduler-v1.sg' }); // Safescript hash

// Hard limits that survive any operator instruction
const boundaries = {
  never: ['external-network', 'credential-store', 'payment-methods'],
};

// Issue the Delegation Receipt — anchored to log before any agent action
const receipt = await authproof.delegate({
  scope,
  boundaries,
  window: { duration: '8h' },           // validated against log timestamp
  operatorInstructions: instructionText, // hashed and committed
});

// receipt.id    — unique receipt identifier
// receipt.hash  — reference in every agent action
// receipt.log   — append-only log anchor

// Agent-side: validate an action against the receipt
const check = await authproof.validate({
  receiptHash: receipt.hash,
  action: { class: 'writes', resource: 'resource://calendar/events' },
});

if (!check.authorized) {
  // Out-of-scope action: surface a micro-receipt request to the user
  const microReceipt = await authproof.requestMicroReceipt({
    action: check.requestedAction,
    parent: receipt.hash,
  });
}

### Action Log API

| Method | Description |
|---|---|
| `new ActionLog()` | 새 로그 인스턴스를 생성합니다. 상태는 인메모리입니다. |
| `log.init({ privateKey, publicJwk })` | 에이전트의 ECDSA P-256 키로 초기화합니다. `record()` 전에 필요합니다. |
| `log.registerReceipt(receiptHash, receipt)` | 범위 비교를 위한 영수증을 등록합니다. `diff()` 전에 필요합니다. |
| `log.record(receiptHash, action)` | 서명되고 체인으로 연결된 항목을 추가합니다. 봉인된 항목을 반환합니다. |
| `log.verify(entryId)` | 하나의 항목의 서명과 체인 위치를 확인합니다. `{ valid, reason }`을 반환합니다. |
| `log.getEntries(receiptHash)` | 특정 영수증에 대한 모든 항목을 시간순으로 반환합니다. |
| `log.diff(receiptHash)` | 모든 항목을 영수증의 범위와 비교합니다. `{ compliant, violations, clean }`을 반환합니다. |

### 프로덕션 경고

v1의 타임스탬프는 클라이언트 시계를 사용합니다. 타임스탬프가 독립적으로 검증 가능해야 하는 규정 준수 또는 법적 맥락의 경우, 프로덕션에 배포하기 전에 RFC 3161 신뢰 타임스탬프 기관으로 대체하십시오.

### 중요

항상 명시적인 `allowedActions` 배열을 사용하여 범위를 정의하십시오. 텍스트 기반 범위 매칭은 개발 전용으로 제공되며 프로덕션이나 규정 준수 컨텍스트에는 적합하지 않습니다.

---

## 기밀 배포

하드웨어 인증 신뢰 실행 환경(TEE) 내에서 AuthProof 에이전트를 실행합니다. `ConfidentialRuntime` 클래스는 위임 영수증을 엔클레이브 측정값에 바인딩하므로, 모델 가중치, 검증기 코드 또는 플랫폼의 대체가 실행 전에 감지 가능합니다.

### 하드웨어 요구 사항

- **Intel TDX** — Intel Ice Lake Xeon 이상 (4세대 Xeon Scalable). Azure DCdsv3-series, GCP C3 Confidential VMs.
- **AMD SEV-SNP** — AMD EPYC 3세대 (Milan) 이상. Azure DCasv5-series, AWS m6a with Nitro Enclaves.

### TEE 측정값 바인딩을 사용한 영수증 생성```javascript
import { AuthProofClient } from 'authproof-sdk';

const client = new AuthProofClient();
const { receipt } = await client.delegate({
  scope: 'Summarize calendar events',
  operatorInstructions: 'Stay within scope.',
  expiresIn: '2h',
  privateKey,
  publicJwk,
  teeConfig: {
    platform:     'intel-tdx',
    verifierHash: verifierCodeHash,   // SHA-256 of your verifier binary
    modelHash:    modelWeightsHash,   // SHA-256 of model weights
  },
});
// receipt.teeMeasurement.expectedMrenclave is now bound to the receipt

Azure SKU 요구 사항: `Standard_DC4ds_v3` 또는 DCdsv3 시리즈의 더 큰 규모. 기밀 OS 디스크 암호화를 활성화합니다. 견적 검증을 위해 Microsoft Azure Attestation (MAA) 공유 엔드포인트를 사용합니다.

### AWS Nitro Enclaves에 배포```javascript
const config = ConfidentialRuntime.awsNitroConfig({
  receiptHash,
  verifierHash,
  modelHash,
  region: 'us-east-1',
});
// config.instanceType === 'c6a.xlarge'
// config.enclaveOptions.enabled === true
// config.pcr0 is the combined receipt+verifier+model measurement

YAML로 직렬화한 후 `kubectl apply -f`로 적용하십시오. 노드 선택자 `intel.feature.node.kubernetes.io/tdx: "true"`는 Kubernetes용 Intel Device Plugin이 필요합니다.

### eBPF 커널 모듈 — 도움 요청

TEE 시행 계층은 사용자 공간 측면(`ConfidentialRuntime`, `TokenPreparer`)을 통해 완료되었습니다. 최종 시행 단계—eBPF LSM 후크를 통해 모든 시스템 호출에서 서명된 기능 토큰을 검증하는 것—은 기여가 열려 있는 커널 모듈이 필요합니다.

eBPF LSM 경험이 있는 엔지니어(Isovalent, Red Canary 또는 유사한 분들)를 특히 환영합니다. https://github.com/Commonguy25/authproof-sdk/issues에서 이슈나 PR을 열어주세요.

---

## 예제

실행 가능한 두 가지 예제가 `examples/` 디렉토리에 있습니다.

**[`examples/langchain-example.js`](https://github.com/commonguy25/authproof-sdk/blob/main/examples/langchain-example.js)** — 전체 LangChain 통합 경로를 보여줍니다: 키 쌍 생성, 위임 수신 발행, `PreExecutionVerifier` 초기화, 그리고 `authproofMiddleware`로 모든 에이전트를 감싸서 `invoke()` 호출이 에이전트 런타임 제어 전에 게이트되도록 합니다. 즉시 실행할 수 있는 모의 에이전트와 실제 `AgentExecutor`를 위한 정확한 코드 패턴을 포함합니다. `npm run example:langchain`으로 실행하십시오.

**[`examples/webauthn-example.html`](https://github.com/commonguy25/authproof-sdk/blob/main/examples/webauthn-example.html)** — 완전한 위임 흐름을 보여주는 자체 포함된 3-카드 브라우저 데모입니다. 카드 1에서는 범위, 경계 및 운영자 지침을 정의하고 로컬 키로 수신에 서명할 수 있습니다(실제 WebAuthn의 경우 `navigator.credentials`로 교체). 카드 2에서는 수신 ID, 만료 시간, 시스템 프롬프트 및 원시 JSON을 표시합니다. 카드 3에서는 제안된 작업을 입력하고 수신에 대해 실시간으로 검증하여 각 검사 결과를 보여줍니다. 브라우저에서 직접 열 수 있으며 빌드 단계가 필요하지 않습니다.

---

## 설치```bash
npm install authproof-sdk