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

# 추론 증명

모든 결정은 독립적으로 검증 가능한 산출물의 연쇄로 뒷받침되며, 어떤 중앙 팀이 아니라 수학과 공개적인 이의 제기로 강제됩니다:

* **출처(zkTLS):** 증거에는 특정 출처에서 실제 보안 세션을 통해 비롯되었음을 증명하는 암호학적 영수증이 포함됩니다. 유효한 증명이 없는 증거는 허용되지 않습니다.
* **실행(결정론적 재생 / opML)**: 추론 절차는 사전에 확정되고 결정적으로 실행되며; 누구나 이를 다시 재생할 수 있고, 불일치는 다툼이 있는 단계만 재실행하는 온체인 분쟁으로 해결됩니다.
* **출력(스키마 제약)**: 결과는 엄격하고 계약으로 정산 가능한 형식으로 생성되며; 서로 충돌하는 서명된 출력은 단순한 서명 비교로 증명 가능합니다.
* **집행(Sentinels)**: 허가 없이 참여하는 담보 예치 챌린저들이 공개 이의 제기 기간 동안 이 연쇄를 독립적으로 재검증하며, 위반은 객관적으로 증명 가능하므로 정직한 챌린저 한 명이면 충분합니다.

이 메커니즘들은 증거가 진본이고, 확정된 절차가 충실히 실행되었으며, 출력이 올바른 형식임을 증명합니다. 이는 자연어 판단이 의미론적으로 참임을 증명하는 것으로 간주되지 않습니다. 판단 문제는 확정된 명세, 이의 제기 기간, 그리고 제한된 검토를 따르며 — 토큰 가중 투표를 따르지 않습니다.

#### 네트워크 역할

1. **진실 담보**: 네트워크가 제기하는 모든 주장은 검증 가능하다는 데에 무언가를 걸고 참여한 참여자에 의해 뒷받침됩니다. 증거에는 출처 증명이 포함되고, 담보가 예치된 **수집자** (아래 네트워크 역할 표 참조); 추론에는 재생 가능한 커밋과 담보가 예치된 **감사자** (아래 네트워크 역할 표 참조); 출력에는 스키마와 담보가 예치된 판정자가 따라붙습니다. 감시에도 보증금이 붙습니다. 책임은 원자적이며, 집행은 증명 가능성에 비례하고, 진실은 결코 매매 대상이 아닙니다. <br>

   |  역할  |                기여               |                         담보 예치 약정                         |
   | :--: | :-----------------------------: | :------------------------------------------------------: |
   |  수집자 |    zkTLS 출처 증명과 함께 증거를 가져옵니다    |                  출처 담보 — 출처, 최신성, 권한 부여                  |
   |  감사자 |    사전 약정된 재생 가능한 추론 절차를 실행합니다   |                실행 지분 — 약정된 절차가 실제 실행과 일치함                |
   |  판정자 | 스키마를 준수하고 계약으로 정산 가능한 출력을 생성합니다 |               판정 담보 — 형식이 잘못되거나 상충하는 출력 없음               |
   |  앵커  |       검증된 신뢰 실행 인프라를 제공합니다      |                서비스 수준 지분 — 증명 유효성 및 가동 시간                |
   | 에이전트 |     증거 추적이 포함된 확률적 평가를 게시합니다    | 신호 담보 — 증거의 진본성 및 버전 약속; 품질은 장기적으로 평가되며, 결과별로 벌을 받지 않습니다 |
   |  센티넬 |    작업을 독립적으로 재검증하고 이의를 제기합니다    |             이의 제기 담보 — 증거로 뒷받침되는 이의 제기, 충돌 공개            |

   \
   \
   각 역할은 독립적으로 지분을 걸고 자신의 검증 가능한 의무에 대해서만 책임을 지며, 한 기능의 오류가 다른 기능의 정직한 참여자에게 벌을 주는 일은 없습니다. 모든 역할의 보상은 효용 기반입니다. 즉, 수행된 검증 가능한 작업에 대한 수수료와 네트워크 인센티브가 검증 기간이 끝난 뒤 확정되며, 단지 토큰을 보유하고 있다는 사실만으로는 절대 결정되지 않습니다.

2. **경제적 직무 분리:** 결제, 보안 자본, 사용자 보호는 의도적으로 분리됩니다. 즉, **네트워크 토큰** 참여와 책임을 담습니다; **외부 보안 담보** 더 높은 가치의 서비스에 경제적 보안을 추가하며, 객관적으로 증명 가능한 위반이 있을 때만 몰수될 수 있습니다; **안정적인 정산 자산** 고객 결제, 환불, 그리고 안전 및 보장 준비금을 뒷받침하므로, 사용자 보호는 보호가 필요한 순간의 토큰 시세에 결코 의존하지 않습니다.

#### 경제적 순환

고객은 정산 자산으로 검증 가능한 서비스를 구매합니다. 수익은 공개된 배분 방식에 따라 작업을 수행한 기여자, 그 작업을 보호한 담보 제공자, 그리고 프로토콜 준비금으로 배분됩니다. 기여자는 검증 가능한 작업에 대해 효용 기반 보상을 받는데, 여기에는 서비스 수준 의무 하에서의 인프라 운영(앵커), 위반자의 몰수 담보에서 자금을 조달하는 성공적인 증거 기반 이의 제기(센티넬), 그리고 네트워크가 실행하는 작성된 추론 워크플로에 대한 사용량 기반 수수료가 포함됩니다. 인센티브는 검증 및 이의 제기 기간이 끝난 뒤에만 확정되며, 실제 사용이 초기 발행을 대체할수록 인센티브 예산은 단계적으로 줄어듭니다.