Summary

  • 개인 자격으로 제출된 IETF 초안은 주체가 자동화 에이전트의 지출 한도를 서명하도록 한다. 초안의 예시에서는 200파운드 한도에 대해 한 기록부의 지출이 230파운드에 이르자 검증기가 초과를 잡아낸다.
  • 검증의 회계 범위는 기록부 하나다. 동일한 허가로 두 기록부에서 각각 125파운드를 쓰면 둘 다 통과할 수 있지만, 주체가 부담할 합계는 250파운드가 된다.

초록 불 두 개가 50파운드를 만들었다

사무실 물품을 사는 에이전트에게 총 200파운드가 주어진다. Pavel Izmaylov의 초안에 실린 허가 예시는 주문당 100파운드 상한도 둔다. 공급업체는 주문마다 역서명을 하고, 60파운드를 넘는 주문에는 허가 주체의 별도 승인이 필요하다. 예시 기록부에는 45, 80, 25, 80파운드짜리 주문이 들어간다. 합계 230파운드. 검증기는 총액 초과와 필요한 승인 하나의 부재를 표시한다. 기록부가 하나일 때는 이 장부가 제 할 일을 한다.

같은 서명된 허가가 두 집행 지점으로 가면 그림이 달라진다. 두 지점은 각자 기록부를 쓰고 125파운드씩 집행한다. 필요한 승인과 공급업체 서명이 모두 있다고 가정하자. 각 검증기는 자신의 장부에서 200파운드보다 작은 숫자만 본다. 두 결과는 모두 통과하고 청구서는 250파운드다. 이는 초안의 규칙을 이용해 만든 산술 사례이며 확인된 실제 사건이 아니다. 초안의 보안 절은 총액, 건수, 기간별 제한을 기록부 한 개 안에서 검증한다고 명시한다. 한 허가의 영수증이 두 기록부에 나뉘어 있으면 합산하지 않는다.

가짜 서명이 없어도 이런 일이 가능하다. 허가 주체가 200파운드에 실제로 서명했고, 에이전트가 모든 행위를 서명했으며, 공급업체도 자기 주문에 정확히 서명했을 수 있다. 기록은 모두 진실인데 결론이 틀릴 수 있는 이유는 간단하다. 사람은 전체 예산을 정했고, 기계는 자기 앞의 장부만 더했다. 운영자가 장부 한 권의 초록 불을 전체 예산 준수의 증거로 내밀 때 권한의 범위를 넓혀 말하는 셈이다.

초안이 제시한 장치와 그 경계

개정판 01은 2026년 10월 24일 공개됐다. IETF의 공식 문서 기록은 이를 담당 Area Director나 공식 IETF 스트림이 없는 개인 인터넷 초안으로 표시한다. 제안의 장치는 구체적이다. 주체가 패스키로 기계가 읽을 수 있는 허가에 서명한다. 총액, 단일 금액, 행위 횟수, 이동 기간의 제한을 넣을 수 있다. 에이전트는 각 행위의 영수증에 서명한다. 기록 담당자는 영수증을 서명된 트리 헤드와 타임스탬프가 붙은 구조에 넣는다. 제3자는 받은 자료를 나중에 오프라인에서 검산할 수 있다.

개정판은 키 인코딩, 서명 길이, 필드 이름 등 검증기가 받아들일 조건을 일부 엄격하게 고쳤다. 부록 C는 초판 00에서 레코드의 바이트가 바뀌지 않았다고 밝힌다. 한 장부의 기록을 더 엄밀히 읽게 된 것이다. 옆 장부의 지출을 보게 된 것은 아니다.

이 설계의 검증은 행위가 일어난 뒤에 작동한다. 초안에는 효력이 생기기 전에 구매를 거부하는 집행 지점이 규정돼 있지 않다. 예시의 230파운드는 한도를 넘긴 주문이 기록된 뒤 드러난다. 그 결과는 분쟁이나 정산에서 쓸 수 있다. 계산대에서 200파운드 상한을 실제로 지키려면 주문을 받아들이기 전에 공유 잔액을 예약해야 한다. 두 지역의 동시 요청, 늦은 응답, 통신 실패 뒤 같은 주문의 재전송도 하나의 잔액에 반영해야 한다.

서명마다 증명하는 대상도 다르다. 공급업체의 역서명은 명시된 키의 보유자가 특정 영수증에 서명했다는 사실을 보여준다. 초안은 그 키만으로 보유자의 실제 신원을 확정할 수 없다고 경고한다. 주체의 추가 승인은 특정 행위에 붙는다. 서명된 트리 헤드는 그 헤드가 덮는 기록부의 이력을 묶는다. 다른 기록부가 동일한 허가에서 이미 얼마를 가져갔는지는 이런 서명만으로 알 수 없다.

트리의 무결성과 지갑의 잔액은 다른 문제다

초안은 RFC 9162의 머클 트리를 사용한다. 일관성 증명은 트리의 과거를 다시 쓰지 않고 항목을 덧붙였음을 확인하는 데 쓰인다. 독립적인 제3자가 서명된 헤드를 보관하면 그가 본 부분을 나중에 잘라내는 행위도 드러날 수 있다. 어느 한 기록부의 역사를 둘러싼 다툼에는 유용하다. 별도의 트리에서 벌어진 구매가 합산됐는지를 입증하는 장치는 아니다.

초안은 마지막 헤드를 누구도 보관하지 않을 때의 삭제 위험과 기록 담당자가 서로 다른 관찰자에게 다른 이력을 보여줄 위험도 열거한다. 그러나 두 장부에 125파운드씩 기록하는 경우에는 이력 조작조차 필요 없다. 두 기록 담당자가 모두 정직해도 돈은 250파운드 나간다. 실패 지점은 암호 알고리즘이 아니라 한도를 적용하는 회계 범위다. 장부가 여러 권인 순간 누군가는 그 사이의 합계를 책임져야 한다.

구현 현황 절에는 제안자 본인이 만든 두 라이브러리가 나온다. 문서에 따르면 Python 라이브러리는 트리 헤드의 SLH-DSA 서명 검증이 아직 없고, 타임스탬프 속성을 처리하는 알려진 문제도 있다. 알려진 독립 구현은 기재돼 있지 않다. 판단을 바꿀 자료는 동일한 허가를 두 동시 기록 담당자에게 제시하는 공개 시험이다. 합계가 상한을 넘는 요청을 거부하고, 독립 검증자가 전체 지출을 재구성할 수 있어야 한다.

Sources