> For the complete documentation index, see [llms.txt](https://docs.cournot.ai/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.cournot.ai/docs-ko/architecture/fast-and-slow-paths.md).

# 빠른 경로와 느린 경로

Cournot의 이중 계층 아키텍처는 즉각적 실행과 분산 검증을 결합합니다.

<figure><img src="https://3804525479-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FWPGzY99JooaGhfRwwXbw%2Fuploads%2FVAvI1I8QyWryb379Vm8d%2Fimage.png?alt=media&amp;token=ef1fd934-011f-4e1b-a590-0f7d6728828e" alt=""><figcaption></figcaption></figure>

### 패스트 경로: 즉시 확정성 <a href="#the-fast-path-execution-of-por-sub-second-settlement" id="the-fast-path-execution-of-por-sub-second-settlement"></a>

Anchor 노드는 신뢰 실행 환경(TEE) 내에서 작동하여 1초 미만의 정산으로 추론 증명 결과를 생성합니다. Anchor 노드는 최종 판정, 추론 루트, 그리고 커밋된 PromptSpec 해시를 서명하여 즉시 사용할 수 있는 결과를 만들어냅니다.

### 슬로우 경로: opML을 통한 분산 보안 <a href="#the-slow-path-verification-of-por-the-security-guarantee" id="the-slow-path-verification-of-por-the-security-guarantee"></a>

허가 불필요 **센티널 노드** 다음을 통해 패스트 경로 결과를 검증합니다 **opML 낙관적 검증** 모델:

1. **증거 검증(zkTLS)**: 센티널 노드는 zkTLS 증명을 검증하여 각 증거가 승인된 출처에서 비롯되었는지 확인합니다. 단 하나의 유효하지 않은 증명만으로도 전체 증거 묶음을 무효화할 수 있습니다.
2. **추론 검증(opML 리플레이)**: 센티널이 추론에 결함이 있다고 의심하면 opML 챌린지를 시작합니다. 고정된 입력(PromptSpec, 증거 묶음, 모델 해시)은 다시 실행되며, 모든 차이는 이분 분할 프로토콜을 통해 온체인에서 증명 가능한 단일 계산 단계까지 분리됩니다.
3. **출력 검증(결정성 검사)**: 판정은 PromptSpec의 판정 스키마와 대조되어 허용된 출력 공간에 부합하는지 확인됩니다.

zkTLS와 opML이 모두 **단일 정직 노드 보안 모델**하에서 작동하므로, 슬로우 경로는 쿼럼이나 다중 노드 재실행을 필요로 하지 않습니다. 결함을 감지한 단 하나의 정직한 센티널만으로도 수정과 슬래싱을 촉발하기에 충분합니다. 이는 저가치 시장에서도 분산 보안을 경제적으로 지속 가능하게 만듭니다.

### **세분화된 챌린지 메커니즘**

핵심 혁신은 Pinpoint Verification입니다: Merkle화된 추론 추적과 opML 이분 분할의 결합은 분쟁이 전체 결과가 아니라 특정 추론 단계만을 겨냥할 수 있게 합니다. 도전자는 전체 추론을 다시 실행할 필요가 없습니다 — 분쟁을 추론이 갈라진 정확한 리프 노드로 좁힌 뒤, 그 단일 단계를 온체인에서 증명합니다. 이는 검증 비용을 극적으로 줄입니다:

* **opML이 없을 경우**: 분쟁 해결을 위해 여러 노드에 걸친 전체 추론 재실행이 필요함 → 비용은 모델 크기 × 노드 수에 비례함
* **opML이 있을 경우**: 이분 분할을 통해 분쟁이 단일 계산 단계로 좁혀짐 → 비용은 모델 복잡도와 무관하게 상한이 있음

결과: **즉시 확정성** 신뢰할 수 있는 하드웨어 실행을 통해, 그리고 **분산 보안** opML의 단일 정직 노드 보장과 스테이크 슬래싱에 연동된 경제적 인센티브를 통해 유지됩니다.