요약

  • draft-ietf-rats-epoch-markers-05는 Epoch Bell이 재사용 가능한 마커를 발행하게 하여, 모든 증명자가 신뢰할 수 있는 벽시계 시각을 유지할 필요 없이 증명자와 신뢰 당사자가 제한된 신선도 좌표를 공유할 수 있게 한다.
  • 유효한 Bell 서명은 마커와 그 서명 문맥을 인증하지만, 보편적 시간, 동일한 전달, 세션별 고유성, 올바른 Bell 정책 또는 증명 증거가 측정된 시점을 증명하지는 않는다.
  • 검증자에게는 Bell 신원, 마커 유형, 전달 경로, 로컬 수신 시각, 논스 바인딩, 허용 구간, 재전송 상태, 그리고 마커를 증거에 연결한 정책 결정을 기록하는 신선도 연결 영수증이 필요하다.

신선도는 타임스탬프가 아니라 관계다

원격 증명의 중심에는 겉보기에는 단순한 질문이 있다. 증거가 이 결정을 뒷받침할 만큼 최근인가? 논스는 증거를 챌린지에 연결함으로써 그 질문의 일부에 답한다. 신뢰할 수 있는 시계는 사건을 시간상에 위치시킴으로써 또 다른 일부에 답할 수 있다. 어느 쪽도 공짜가 아니다. 제약된 증명자는 신뢰할 수 있는 실시간 시계를 유지하지 못할 수 있고, 검증자는 증거가 신뢰 당사자에 도달하기 전 여러 중개자를 거쳐야 할 수도 있다.

현재 RATS 제안은 Epoch Marker를 발행하는 Epoch Bell을 도입한다. 분산된 행위자들은 그 발행을 공유 시계의 틱처럼 다룰 수 있다. 증명자는 마커 또는 마커에 대한 간결한 핸들을 서명된 증거에 포함한다. 검증자는 나중에 그 좌표를 자신이 수용하는 마커 상태와 비교한다. 이 설계는 애드혹 챌린지-응답, 비요청 브로드캐스트 또는 멀티캐스트 배포, 요청 기반 구독을 지원한다.

이것이 유용한 이유는 바로 증명자가 일상 시각을 알 필요가 없다는 점이다. 그러나 그 편의성은 언어적 함정을 만든다. 마커에는 POSIX 타임스탬프, 순서가 있는 카운터, 간결한 키 기반 값 또는 서명된 타임스탬프 토큰이 들어갈 수 있다. 일단 서명되면 그 바이트 문자열은 “현재”에 관한 휴대 가능한 진실처럼 보일 수 있다. 그러나 그렇지 않다. 신선도는 발행, 전달 경로, 증거 생성 행위, 검증 행위, 정책 구간 사이에 존재한다. 마커는 그 관계 속의 하나의 좌표일 뿐이다.

Bell이 실제로 서명하는 것

개정 05는 여러 마커 유형을 설명한다. 배포에서는 CBOR 시간 태그, 고전적인 RFC 3161TSTInfo, 그 구조의 CBOR 표현, Epoch Tick, 틱 목록, 단조 증가 카운터 또는epoclet을 사용할 수 있다. 이 형태들은 서로 다른 주장을 하며 서로 다른 운영 비용을 수반한다.

시간을 담는 변형은 Bell의 신뢰할 수 있는 시계에 의존한다. 카운터는 그 카운터를 정의하고 보존하는 문맥 안에서만 순서를 확립한다. 틱은 많은 소비자가 재사용할 수 있으며, 이는 한 번의 교환을 위해 만들어진 검증자 논스와 크게 다르다. 틱 목록은 수신자가 최근 위치 여러 개를 복원하게 해 주지만, 수신자 상태와 재동기화 수단도 필요로 한다. 초안의epoclet형태는 약 44~64바이트로 간결하며 POSIX 시간, 배포 키 식별자, HMAC을 결합한다. 그 경제성은 거버넌스를 공유 키 저장, 교체, 서버 시계 동기화로 옮긴다.

따라서 서명이나 MAC이 확립하는 것은 제한된 명제다. 지정된 키의 보유자가 마커의 형식에 따라 이 마커를 생성하거나 인증했다는 것이다. 그것은 Bell의 시계가 정확했는지, 카운터 상태가 재시작 후에도 살아남았는지, 모든 수신자가 같은 순간에 같은 틱을 받았는지, 키가 침해되지 않은 채 남아 있었는지를 독립적으로 확립하지 않는다. 최초 서명자는 신뢰 사슬의 한 역할이지 오라클이 아니다.

제안을 둘러싼 표준들은 그 경계를 강화한다. RFC 9052는 COSE 서명 구조를 제공하고, RFC 8392와 RFC 8949는 CWT와 CBOR 구성 요소를 제공하며, RFC 9581은 RATS 개념 메시지와 역할을 정의한다. 그 메커니즘은 진술을 보호하고 주장을 함께 묶을 수 있다. 그러나 운영상의 가정을 물리적 사실로 바꿀 수는 없다.

하나의 발행이 여러 다른 시점에 도착한다

제안은 마커의 발행과 수신을 인터넷 시계 틱처럼 명시적으로 다룬다. 가까운 수신자와 먼 수신자가 같은 사용 가능한 최신 기준점을 관측할 필요는 없다. 큐, 멀티캐스트 복제, 간헐적 링크, 중개자 처리는 서로 다른 지연과 시계 편차를 만든다. 지연되었지만 진본인 마커는 여전히 진본이다.

이 구분은 RATS 아키텍처의 Passport와 Background-Check 배포 패턴 모두에서 중요하다. Passport 흐름에서는 증명자가 마커를 얻거나 수신하고, 증거를 생성한 뒤 그 결과를 신뢰 당사자 쪽으로 전달할 수 있다. Background-Check 흐름에서는 평가가 다른 곳에서 일어나고 신뢰 당사자가 증명 결과를 받을 수 있다. 정책은 신뢰 당사자가 사용한 경로를 고려해야 하며, 결과는 신선도 판단을 뒷받침한 마커나 핸들에 계속 바인딩되어야 한다.

같은 Bell을 구독하는 두 검증자를 생각해 보자. 검증자 A는 틱 820을 즉시 받는다. 검증자 B는 일시적으로 연결이 끊겼고 선언된 허용 범위 안에서 여전히 틱 818을 수용한다. 두 정책 모두 정당할 수 있다. “최신 틱: 820”만 저장하는 데이터베이스는 A의 네트워크 위치를 조용히 보편 규칙으로 바꾸고, B에 전송된 정직한 증거를 거부할 수 있다. 반대로 818이 한때 B의 구간 안에 들어왔다는 이유로 무기한 보존하면 재전송이 저렴해진다.

올바른 객체는 관측된 경로에 붙는 수용 구간이다. 여기에는 로컬 수신 시각, 예상 배포 채널, 전송 및 처리에 대한 허용치, 근거 있는 만료가 필요하다. 긴 구간은 멀리 있거나 잠든 증명자에 대한 거짓 거부를 줄이지만, 포획된 선량한 증거의 수명을 늘린다. 짧은 구간은 재전송을 제한하지만 정당한 지연을 벌한다. 표준은 메커니즘을 설명할 수 있지만, 그 트레이드오프는 신뢰 당사자가 소유한다.

재사용 가능은 일회용이 아니다

Epoch Tick은 의도적으로 재사용 가능하다. 많은 증명자가 같은 Bell 발행을 참조할 수 있고, 한 증명자가 이를 둘 이상의 증거 생성에 사용할 수도 있다. 그 확장성은 장점이지만, 마커가 서명된 토큰 안에 들어 있다는 이유만으로 신선한 챌린지의 보안 의미를 물려받을 수는 없다는 뜻이다.

검증자는 예상 Bell 키, 마커 유형, 배포 도메인, 범위를 바인딩해야 한다. 세션에 고유성이 필요하면 검증자 논스도 기여해야 한다. 초안은 암호학적으로 안전한 난수 생성기로 만든 최소 64비트 엔트로피의 논스를 요구하고 최대 512비트 길이를 허용한다. 논스와 마커는 서로 다른 문제를 푼다. 논스는 결과를 하나의 챌린지에 묶고, 마커는 그 결과를 Bell 좌표에 대응시킨다.

증거는 증명자 신원 또는 키, 증거 다이제스트와 함께 둘 모두를 바인딩해야 한다. 그렇지 않으면 공격자가 아직 수용 가능한 재사용 마커를 세션 사이에 이식하거나, 새로 받은 마커 옆에 오래된 선량한 증거를 제시할 수 있다. 서명된 봉투는 내부 주장이 결합되지 않으면 충분하지 않다.

이 때문에 마커 유형 협상에는 다운그레이드 규칙이 필요하다. 서명된 시간 토큰, 단조 증가 틱, epoclet을 수용할 준비가 된 검증자가 신뢰할 수 없는 피어가 가장 약한 해석을 선택하게 해서는 안 된다. 수용되는 유형, 알고리즘, Bell 키는 정책에 속한다. 이들 사이의 변경은 거버넌스 사건이지 무해한 인코딩 선택이 아니다.

저렴한 비교가 정책이 되는 곳은 상태다

카운터와 틱 배포에는 기억된 상태가 필요하다. 가장 저렴한 설계는 전체 Bell 도메인에 대해 최고 관측 값을 하나만 유지할 수 있다. 이는 저장 공간을 제한하지만, 가장 빠른 경로를 모든 증명자의 최신 기준점으로 만든다. 그러면 다른 경로에서 지연된 증거는 정직하게 생성되었더라도 거부될 수 있다. 증명자별 상태는 비용이 더 들지만, 각 증명자의 시퀀스와 연결 패턴을 독립적으로 평가할 수 있게 한다.

어느 선택도 보편적으로 옳지 않다. 긴밀하게 연결된 데이터센터 플릿은 전역 최신 기준점과 좁은 구간을 선호할 수 있다. 간헐적으로 연결되는 산업 플릿은 증명자별 이력, 명시적 중단 상태, Bell 또는 검증자 재시작 후의 신중한 복구가 필요할 수 있다. 중요한 점은 수치 비교가 정책을 제거하지 않는다는 것이다. 상태 범위가 문서화되지 않으면 정책을 숨긴다.

재동기화도 같은 주의를 기울일 가치가 있다. 틱 목록은 수신자가 따라잡는 데 도움이 될 수 있지만, 목록의 더 오래된 구성원을 수용하려면 여전히 규칙이 필요하다. 상태를 잃은 뒤의 카운터 재설정은 롤백처럼 보일 수 있다. Bell 키 교체는 사람이 보는 타임스탬프가 매끄럽게 이어지더라도 새로운 신뢰 에포크를 만들 수 있다. 운영은 마지막으로 수용한 마커, 키 에포크, 재동기화 이유, 새로운 최신 기준점을 허용한 규칙을 보존해야 한다.

서명이 맞아도 Bell은 틀릴 수 있다

침해되었거나 잘못 구성된 Bell은 완벽하게 검증 가능한 마커를 발행할 수 있다. 그 시계가 점프할 수 있고, 카운터가 반복될 수 있으며, 키가 두 위치에서 사용되거나 일부 선택된 수신자가 지연된 뷰를 받을 수 있다. 그러면 암호학적 검증은 성공하지만 신선도 전제는 실패한다.

대응은 Bell을 기본적으로 신뢰할 수 없다고 선언하는 것이 아니다. Bell 거버넌스를 검사 가능하게 만드는 것이다. 배포에는 이름이 지정된 운영자, 키 보관, 교체 및 폐기 절차, 시계 또는 상태 건강 모니터링, 배포 측정, 불확실성 중 발행된 마커에 대한 사고 규칙이 필요하다. 여러 Bell은 의존성을 줄일 수 있지만, 정책이 그것들이 대안인지, 쿼럼인지, 별도 범위인지를 말할 때만 그렇다. 여러 Bell의 서명되지 않은 가정을 결합해도 합의 시간이 생기지는 않는다.

프라이버시는 또 다른 경계다. 예측 가능한 틱은 관찰자가 공유 발행을 중심으로 트래픽을 묶을 수 있기 때문에, 다른 방식으로 보호된 메시지를 연관시킬 수 있다. 타이밍, 증분, 범위를 변화시키면 연결 가능성을 줄일 수 있지만, 검증자의 구간과 상태 가정을 바꾼다. 따라서 프라이버시 완화책은 프로토콜 배포 후에 덧붙이는 것이 아니라 신선도 정책과 함께 평가해야 한다.

마커만이 아니라 연결을 기록하라

지속적인 신선도 연결 영수증은 Bell 신원, 검증 키, 키 에포크, 마커 유형, 바이트 또는 다이제스트, 선언된 도메인과 범위, 형식에 포함된 경우 발행 주장, 로컬 수신 시각, 배포 채널, 측정되거나 예산에 반영된 전송 및 처리 지연, 수용 구간 규칙으로 시작해야 한다.

그다음 증명자, 증거 다이제스트, 증거 생성 문맥을 식별해야 한다. 검증자 논스가 사용되었다면 영수증은 그 논스와 그것이 지시하는 세션을 기록한다. 또한 상태가 전역인지, 증명자별인지, 그 밖의 방식으로 분할되었는지, 이전에 수용한 최신 기준점, 재전송 또는 재정렬 결과, 시계 가정, 재동기화 사건, 결정을 낳은 정확한 정책 버전을 기록한다.

마지막으로 결과, 만료, 폐기, 검토 필드가 필요하다. 나중에 Bell 사고가 발생했을 때 역사를 다시 쓰지 않고도 영향을 받은 결정을 찾을 수 있어야 한다. 영수증은 이 필드들이 Epoch Marker 명세에 속한다고 가장하지 않는다. 상호운용 가능한 메커니즘은 좁게 유지하고, 그 옆에 로컬 거버넌스를 명시적으로 둔다.

이것은 유용한 규율을 따른다. 최소 공통 객체를 구현하고, 미래의 선택을 로컬화하며, 아키텍처 선호를 프로토콜 교리로 바꾸는 대신 현실에 관한 증거를 보존한다. Epoch Marker는 훌륭한 신선도 좌표가 될 수 있다. 운영자가 이를 보편적 시간이라고 부르지 않을 때 그 가치는 더 커진다.

프로세스 상태는 배포 증거가 아니다

연구 기준 시점에draft-ietf-rats-epoch-markers-05는 활성 RATS 워킹 그룹 인터넷 드래프트였으며, 2026년 7월 3일 갱신되었고 2027년 1월 4일 만료 예정이었다. Datatracker에는 “WG Document Doc Shepherd Follow-up Underway”와 IESG 상태 “I-D Exists”가 표시되었고, 담당 지역 디렉터나 텔레챗 날짜는 없었다. 드래프트 헤더는 Standards Track을 설명했지만 Datatracker의 의도된 RFC 상태 필드는 비어 있었다. 그 불일치는 조용히 해소하지 말고 보존해야 한다.

그 어떤 프로세스 사실도 구현이나 운영 신뢰를 입증하지 않는다. 도입 증거는 배포된 Bell 소프트웨어와 키, 문서화된 마커 유형, 측정된 전달, 증명자 통합, 검증자 상태, 영수증에서 재현할 수 있는 결정에서 시작된다. 표준 이정표는 기대를 바꿀 수 있지만, 빠진 논스나 지연 기록을 소급해 제공할 수는 없다.

출처