> 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/tokenomics/proof-of-reasoning.md).

# Verification Chain(검증 체인)

모든 결과 확정은 독립적으로 검증 가능한 아티팩트의 체인으로 뒷받침되며, 이 체인은 중앙 팀이 아니라 수학과 공개 챌린지로 강제됩니다.

* **출처(zkTLS)**: 증거에는 실제 보안 세션을 통해 특정 소스에서 비롯되었음을 증명하는 암호학적 영수증이 포함됩니다. 유효한 증명이 없는 증거는 채택되지 않습니다.
* **실행(결정론적 재실행 / opML)**: 추론 절차는 사전에 커밋되어 결정론적으로 실행됩니다. 누구나 이를 재실행할 수 있으며, 결과가 갈리면 분쟁 대상 단계만 다시 실행하는 온체인 분쟁으로 해결합니다.
* **출력(스키마 제약)**: 결과는 컨트랙트로 정산할 수 있는 엄격한 형식으로 생성되며, 서로 충돌하는 서명된 출력은 간단한 서명 비교로 증명할 수 있습니다.
* **집행(Sentinel)**: 보증금을 예치한 비허가형 챌린저가 공개 챌린지 기간 동안 이 체인을 독립적으로 재검증하며, 위반은 객관적으로 증명할 수 있으므로 정직한 챌린저 하나로 충분합니다.

이러한 메커니즘은 증거가 진본이고, 커밋된 절차가 충실하게 실행되었으며, 출력의 형식이 올바르다는 것을 증명합니다. 다만 자연어 판단이 의미상 참이라는 것까지 증명한다고 주장하지는 않습니다. 판단이 필요한 문제는 커밋된 명세, 챌린지 기간, 범위가 제한된 검토를 따르며, 토큰 가중 투표는 절대 사용하지 않습니다.

#### 네트워크 역할

1. **Truth Collateral**: 네트워크가 내놓는 모든 주장은 검증 가능성에 무언가를 스테이킹한 참여자가 뒷받침합니다. 증거에는 출처 증명과 보증금을 예치한 **Collector**(아래 네트워크 역할 표 참조)가, 추론에는 재실행 가능한 커밋먼트와 보증금을 예치한 **Auditor**(아래 네트워크 역할 표 참조)가, 출력에는 스키마와 보증금을 예치한 Judge가 따르며, 감시에도 보증금이 따릅니다. 책임성은 원자적이고, 집행은 증명 가능성에 비례하며, 진실은 결코 매매 대상이 아닙니다.<br>

   |     역할    |               기여              |                                  보증금 담보 이행 약속                                 |
   | :-------: | :---------------------------: | :---------------------------------------------------------------------------: |
   | Collector |     zkTLS 출처 증명과 함께 증거를 수집    |                      소스 보증금(Source bond) — 출처, 신선도, 승인 여부                     |
   |  Auditor  |    사전 커밋된 재실행 가능한 추론 절차를 실행   |                  실행 스테이크(Execution stake) — 커밋된 절차와 실제 실행의 일치                 |
   |   Judge   | 스키마를 준수하고 컨트랙트로 정산 가능한 출력을 생성 |                판정 보증금(Verdict bond) — 형식이 잘못되었거나 서로 충돌하는 출력이 없음               |
   |   Anchor  |       증명된 신뢰 실행 인프라를 제공       |                서비스 수준 스테이크(Service-level stake) — 증명 유효성과 가동 시간               |
   |   Agent   |      증거 추적과 함께 확률적 평가를 게시     | 시그널 보증금(Signal bond) — 증거 진본성과 버전 커밋먼트, 품질은 장기간에 걸쳐 점수화되며 결과 하나하나에 따라 처벌받지 않음 |
   |  Sentinel |    작업을 독립적으로 재검증하고 챌린지를 제출    |                챌린지 보증금(Challenge bond) — 증거에 기반한 챌린지, 이해 상충 공개                |

   \
   \
   각 역할은 독립적으로 스테이킹하며 자신의 검증 가능한 의무에 대해서만 책임을 지므로, 한 기능에서 발생한 오류가 다른 기능의 정직한 참여자에게 불이익을 주는 일은 없습니다. 모든 역할의 보상은 유틸리티 기반(utility-based)입니다. 즉, 수행한 검증 가능한 작업에 대한 수수료와 네트워크 인센티브로 지급되고, 검증 기간이 끝난 뒤에 확정되며, 단순히 토큰을 보유한다는 이유로 지급되지 않습니다.
2. **경제적 직무 분리(Economic Separation of Duties):** 결제, 보안 자본, 사용자 보호는 의도적으로 분리되어 있습니다. **네트워크 토큰**은 참여와 책임성을 담당하고, **외부 보안 담보**는 고가 서비스에 경제적 보안을 더하며 객관적으로 증명 가능한 위반이 있을 때만 몰수될 수 있습니다. **스테이블 결제자산**은 고객 결제, 환불, Safety & Coverage 준비금(안전·보상 준비금)을 뒷받침하므로, 사용자 보호가 보호가 필요한 시점의 토큰 시장 가격에 좌우되지 않습니다.

#### 경제 순환 구조

고객은 결제자산으로 검증 가능한 서비스를 구매합니다. 수익은 공개된 템플릿에 따라 작업을 수행한 기여자, 담보로 그 작업을 보호한 보안 제공자, 프로토콜 준비금으로 돌아갑니다. 기여자는 검증 가능한 작업에 대해 유틸리티 기반 보상을 받습니다. 여기에는 서비스 수준 의무에 따른 인프라 운영(Anchor), 위반자의 몰수된 담보를 재원으로 하는 증거 기반 챌린지 성공(Sentinel), 기여자가 작성하고 네트워크가 실행하는 추론 워크플로에 대한 사용량 기반 수수료가 포함됩니다. 인센티브는 검증 기간과 챌린지 기간이 끝난 뒤에만 확정되며, 실제 사용량이 초기(부트스트랩) 인센티브 발행분(bootstrap emissions)을 대체해 감에 따라 인센티브 예산은 단계적으로 줄어듭니다.