> 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-kr/architecture/fast-and-slow-paths.md).
# Fast Path와 Slow Path
Cournot의 이중 레이어 아키텍처는 즉시 실행과 탈중앙화 검증을 결합합니다.
### Fast Path: 즉시 완결성(Instant Finality)
Anchor 노드는 TEE(신뢰 실행 환경) 안에서 동작하며 1초 미만 정산으로 PoR 결과를 생성합니다. Anchor 노드는 최종 판정, 추론 루트, 커밋된 PromptSpec 해시에 서명하여 즉시 사용할 수 있는 결과를 생성합니다.
### Slow Path(저속 검증 경로): opML을 통한 탈중앙화 보안
비허가형 **Sentinel 노드**는 **opML 옵티미스틱 검증** 모델로 Fast Path 결과를 검증합니다.
1. **증거 검증(zkTLS)**: Sentinel 노드는 zkTLS 증명을 검증해 각 증거가 승인된 소스에서 비롯되었는지 확인합니다. 유효하지 않은 증명이 하나만 있어도 전체 증거 번들이 무효화됩니다.
2. **추론 검증(opML 재실행)**: Sentinel은 추론에 결함이 있다고 의심되면 opML 챌린지를 시작합니다. 고정된 입력(PromptSpec, 증거 번들, 모델 해시)을 재실행하고, 결과가 갈리는 부분은 이분법 프로토콜을 통해 온체인에서 증명 가능한 단일 연산 단계까지 좁혀 분리합니다.
3. **출력 검증(결정성 검사)**: 판정을 PromptSpec의 판정 스키마와 대조하여 허용된 출력 공간을 따르는지 확인합니다.
zkTLS와 opML은 모두 **정직한 노드 하나 보안 모델**에서 동작하므로, Slow Path에는 정족수(quorum)나 다중 노드 재실행이 필요하지 않습니다. 정직한 Sentinel 하나가 결함을 감지하는 것만으로도 수정과 슬래싱을 트리거하기에 충분합니다. 이 덕분에 소액 마켓에서도 탈중앙화 보안을 경제적으로 지속할 수 있습니다.
### **세분화된 챌린지 메커니즘(Granular Challenge Mechanism)**
핵심 혁신은 Pinpoint Verification(정밀 단계 검증)입니다. 머클화된 추론 추적과 opML 이분법을 결합하면 분쟁이 전체 결과가 아닌 특정 추론 단계를 겨냥할 수 있습니다. 챌린저는 전체 추론(inference)을 다시 실행할 필요가 없습니다. 추론(reasoning)이 갈라진 정확한 리프 노드로 분쟁 범위를 좁히고, 그 단일 단계만 온체인에서 증명하면 됩니다. 이를 통해 검증 비용이 크게 줄어듭니다.
* **opML이 없는 경우**: 분쟁이 생기면 여러 노드에서 전체 추론을 재실행해야 합니다 → 비용이 모델 크기 × 노드 수에 비례해 증가
* **opML을 사용하는 경우**: 이분법으로 분쟁 범위가 단일 연산 단계까지 좁혀집니다 → 모델 복잡도와 관계없이 비용이 한정됨
결과적으로 신뢰할 수 있는 하드웨어 실행을 통한 **즉시 완결성**을 얻는 동시에, opML의 정직한 노드 하나 보장과 스테이크(stake) 슬래싱에 연동된 경제적 인센티브를 통해 **탈중앙화 보안**이 유지됩니다.
.png?alt=media&token=b2e9c65f-5b25-4da9-9521-9f00946f1f28)