중앙 신뢰기관 없이 노드 간 상호 검증(mutual attestation)을 하려면 각 노드가 상대 노드의 예상 코드 측정값(참조값)을 보유해야 하는데, 이를 노드 코드에 서로 내장하려는 단순한 접근은 무한 퇴행에 빠진다. 저자들은 이를 '참조값 부트스트래핑 문제'로 정의하고, 기존 해법이 신뢰된 제3자(TTP)나 외부 공급 참조값에 의존하는 것과 달리 이 문제를 상호 고정점 방정식 체계로 표현해 클레이니의 제2재귀정리로 해결한다. 이를 통해 노드들은 내장 데이터만으로 서로의 정확한 소스코드를 재구성해 참조값을 얻을 수 있으며, 파이썬 스크립트용 트랜스파일러 PyReflect와 AWS Nitro Enclaves용 Nix 트랜스파일러 NixReflect로 실제 증명(PoC)까지 구현했다. 이 방식은 아키텍처에 독립적이고 TTP나 외부 참조값 없이 기존 검증 스택과 그대로 호환된다.

• •무신뢰 제3자 상호검증에서 참조값 내장의 무한퇴행 문제를 '부트스트래핑 문제'로 정의
• •클레이니의 제2재귀정리로 상호 고정점 방정식을 풀어 문제 해결
• •파이썬용 PyReflect 트랜스파일러로 TPM 상호검증 PoC 구현
• •AWS Nitro Enclaves용 Nix 트랜스파일러 NixReflect로 상호 PCR 재구성 PoC 구현
• •TTP나 외부 참조값 불필요, 아키텍처 독립적이며 기존 검증 스택과 호환