💻 computer science

Self-Verifying Measurement Records: Hash-Linked Evidence Graphs for Hardware Benchmarking

본 논문은 확률적 식별자와 암호학적 챌린지를 사용하여 보고된 성능 지표를 검증 가능한 증거에 결합함으로써, 부동 소수점 노이즈와 적대적 위협을 고려하는 동시에 다양한 GPU 아키텍처 전반에서 결과의 오프라인, 무신뢰 검증을 가능하게 하는 하드웨어 벤치마킹을 위한 변조 방지 및 해시 연결형 투명성 로그를 제안한다.

원저자: Faruk Alpay, Baris Basaran

게시일 2026-06-29

📖 4 분 읽기☕ 가벼운 읽기

CC BY 4.0

원저자: Faruk Alpay, Baris Basaran

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

당신이 자동차를 샀는데, 판매원이 "이 차는 시속 200마일로 달립니다"라고 적힌 종이 한 장을 건네준다고 상상해 보십시오. 당신은 그들의 말을 믿을 수밖에 없습니다. 차는 이미 떠났고, 트랙은 폐쇄되었으며, 설령 테스트할 수 있다고 해도 엔진이 특정 조건에서만 나타나는 결함을 숨기고 있을지도 모릅니다.

이 논문은 하드웨어 성능(예: 컴퓨터 칩의 속도)을 보고하는 새로운 방법을 제안합니다. 이 방법의 핵심은 보고서를 작성한 사람을 믿을 필요가 없다는 것입니다. 대신, 모든 숫자에는 그 자체로 "생존 증명(proof of life)"과 "진실 증명(proof of truth)"이 첨부됩니다.

다음은 이 내용을 쉬운 비유를 통해 설명한 것입니다.

1. "변조 불가능한 일기장" (증거 그래프)

성능 보고서를 정적인 PDF가 아니라, 특수한 디지털 잠금장치(해시)를 사용하여 각 항목이 다음 항목과 사슬처럼 연결된 디지털 일기장이라고 생각하십시오.

작동 방식: 만약 누군가 일기 중간의 숫자(예: "100마일"을 "200마일"로 변경)를 바꾸려고 시도하면, 디지털 잠금장치가 깨지며 전체 사슬이 무효화됩니다.
이점: 당신은 인터넷이나 원래의 컴퓨터 없이도 오프라인에서 일기장을 확인하여 숫자가 조작되지 않았음을 검증할 수 있습니다. 이는 마치 공증인이 모든 페이지에 도장을 찍는 것과 같지만, 그 도장은 수학적이며 위조가 불가능한 형태입니다.

2. 수학을 위한 "샘플 검사" (선형 양)

컴퓨터가 거대한 수학 문제(예: 두 개의 거대한 숫자 격자를 곱하는 작업)를 수행할 때, 전체 답을 확인하는 데는 시간이 너무 오래 걸립니다. 저자들은 **"확률적 항등식(probabilistic identity)"**이라는 영리한 기술을 사용합니다.

비유: 제빵사가 완벽한 쿠키 1,000개를 구웠다고 주장한다고 가정해 봅시다. 조사관은 1,000개를 모두 맛보는 대신, 무작위로 한 줌을 집어 들고, 비밀스러운 "맛보기 향신료(무작위 프로브)"를 더한 뒤, 그 맛이 레시피와 일치하는지 확인합니다.
함정: 만약 제빵사가 속였다면, 조사관은 거의 확실하게 그를 잡아낼 것입니다. 만약 조사관이 8번을 확인한다면, 사기꾼이 들키지 않을 확률은 256분의 1 미만입니다.
"바닥(Floor)" 보정: 컴퓨터는 완벽하지 않습니다. 미세한 반올림 오차(예: 1그램 정도 오차가 있는 저울)를 발생시킵니다. 저자들은 이 자연적인 오차가 정확히 어느 정도인지 측정했습니다. 그들은 이 "허용 범위"를 바탕으로 "용인 구역"을 설정했습니다. 만약 계산이 약간 틀렸다면, 이는 정상적인 것으로 간 kabul됩니다. 하지만 너무 많이 틀렸다면, 이는 거짓말이거나 고장 난 칩으로 간주됩니다.

3. "이중 확인" (교차 장치 검증)

더 확실히 하기 위해, 그들은 두 개의 동일한 칩을 사용하여 동시에 똑같은 수학 문제를 풀게 했습니다.

비유: 이는 두 명의 쌍둥이가 똑같은 시험을 치르는 것과 같습니다. 만약 두 사람이 마지막 자리 숫자까지 정확히 똑같은 답을 낸다면, 당신은 그 답이 옳다는 것을 알 수 있습니다. 만약 한 명이 다른 답을 낸다면, 둘 중 하나가 거짓말을 하고 있거나 혼란을 겪고 있다는 것을 알 수 있습니다.
보너스: 쌍둥이는 동일하지만, 구동 속도는 약간 다를 수 있습니다(예: 한 명은 약간 더 빨리 달립니다). 보고서는 이 미세한 속도 차이를 해당 특정 칩의 "지문"으로 기록하여, 그것이 가짜가 아닌 진짜임을 증명합니다.

4. "스트레스 테스트" (물리적 한계)

저자들은 다음과 같은 질문을 던졌습니다: 해커가 칩을 속여서 우리가 알아채지 못하게 잘못된 답을 내놓게 만들 수 있을까?

실험: 그들은 칩을 뜨겁게 만들고 전력 사용량을 변동시켜(예: 전력 서지) 칩에 "스트레스"를 주는 실험을 했습니다.
결과: 칩은 고장 나거나 잘못된 답을 내놓지 않았습니다. 대신, 스스로를 보호하기 위해 속도를 늦췄습니다. 이는 "침묵하는 오류(silent errors, 칩이 불평 없이 잘못된 답을 내놓는 현상)"가 드물며, 주로 결함이 있는 칩에서 발생할 뿐 정상적인 사용자로부터 스트레스를 받는 건강한 칩에서는 발생하지 않음을 시사합니다.

5. "타임머신" (재구성)

컴퓨터 칩이 고장 나거나 버려지면 어떻게 될까요? 예전의 보고서를 여전히 신뢰할 수 있을까요?

해결책: 보고서에는 "시드(seed, 레시피와 같은 것)"가 포함되어 있어, 이를 통해 다른 컴퓨터에서 수학 계산을 다시 실행할 수 있습니다.
한계: 당신은 수학과 논리를 완벽하게 재검증할 수 있습니다. 그러나 이전 칩의 속도는 재검증할 수 없습니다. 왜냐하면 그 속도는 해당 칩의 구체적인 물리적 상태(열, 노후도, 특정 제조 특성)에 의존했기 때문입니다. "수학적 진실"은 살아남지만, "구형 기계의 속도"는 시간 속으로 사라집니다.

요약

이 논문은 컴퓨터 성능에 대한 자기 검증 영수증을 구축합니다.

신뢰가 필요 없음: 제조자를 믿는 것이 아니라, 수학과 디지털 잠금장치를 믿습니다.
샘플 검사: 무작위 수학 기술을 사용하여 거짓을 즉각적으로 잡아냅니다.
이중 목격자: 두 개의 칩을 사용하여 서로를 확인합니다.
정직함: 수학은 영원히 참임을 증명할 수 있지만, 칩의 구체적인 속도는 재현될 수 없는 찰나의 순간임을 인정합니다.

목표는 칩을 더 빠르게 만드는 것이 아니라, 우리가 읽는 칩에 관한 숫자들을 조작 불가능하고 검증하기 쉽게 만드는 것입니다.

기술 요약: 하드웨어 벤치마킹을 위한 자기 검증형 측정 기록

문제 정의
하드웨어 성능 벤치마크는 전통적으로 신뢰에 기반하여 수용됩니다. 보고된 수치(예: FLOP/s 비율)는 그 근거가 되는 기초 증거, 즉 특정 장치 상태, 드라이버 버전, 정확한 입력 형상 등이 결과가 발표될 시점에는 소실되는 경우가 많습니다. 더욱이 하드웨어는 결함이 없을 수 없습니다. 플릿 연구(fleet studies)에 따르면, 약 1,000개 중 하나꼴로 오류를 발생시키지 않으면서도 잘못된 산술 결과를 생성하는 코어들이 존재합니다. 결과적으로, 보고된 성능 수치는 그 측정의 기원과 기초 연산의 정확성에 대한 증거가 결여되어 있습니다. 본 논문은 이를 무결성 문제로 다루며, 생산자를 신뢰할 필요 없이 독립적으로 검증 가능하고 변조가 불가능한 측정 기록을 만드는 것을 목표로 합니다.

방법론
저자들은 모든 보고된 양이 콘텐츠 해시를 통해 관측 및 검증에 결합되는 투명성 로그인 **해시 연결 증거 그래프(hash-linked evidence graph)**를 제안합니다. 이 시스템은 다음과 같은 상호 연결된 메커니즘을 통해 작동합니다:

증거 그래프 구조: 기록은 관측값(원시 측정값), 축약(중앙값 또는 분산과 같은 순수 함수), 그리고 주장(최종 보고된 수치)을 나타내는 노드로 구성된 비순환 그래프입니다. 엣지는 콘텐츠 해시(SHA-256)입니다. 오프라인 감사는 원본 하드웨어나 네트워크 접속 없이도 해시와 축약을 재계산함으로써 전체 그래프를 검증할 수 있습니다.
선형 양(행렬 곱)의 검증: 행렬 곱($C=AB$)과 같은 선형 연산의 경우, 시스템은 확률적 항등식 검사(Freivalds 알고리즘)를 채택합니다. 무작위 프로브 행렬 $X$ $X$ 를 사용하여 잔차 $\|A(BX) - CX\|$ $∥ A (B X) - C X ∥$ 를 계산합니다.
- 교정된 허용 오차: 이론적 경계 대신, 시스템은 부동 소수점 오차 분석으로부터 도출되고 특정 장치의 "잔차 바닥(residual floor, 올바른 실행에서 관찰된 가장 낮은 잔차)"에 맞춰 교정된 허용 오차( $\tau$ )를 사용합니다. 이는 정당한 저정밀도 반올림과 실제 오류를 구분합니다.
- 다단계 트랜스크립트: 검증은 일련의 단계(획득, 증언, 결정, 복구)로 기록됩니다. 결과가 허용 오차를 초 exceed하면 플래그가 지정되고, 더 높은 정밀도의 재계산을 통해 복구된 후 다시 증언됩니다.
비선형 양의 검증: 저렴한 대수적 검사가 없는 연산(예: 어텐션 메커니즘, 원자적 누적)의 경우, 다음을 사용합니다:
- 대수적 가드(Algebraic Guards): 어텐션을 행렬 곱(Freivalds로 검증됨)과 소프트맥스 불변량(행 합계 확인)으로 분해합니다.
- 가중 체크섬: 원자적 누적을 위한 가중 합계 검사는 실행 간의 차이 검사로는 놓칠 수 있는 일관된 결함을 탐지합니다.
- 재현성 클래스: 양(quantity)은 비트 안정형( $S_0$ ) 또는 측정된 발산에 의해 제한되는 형태( $S_{nd}$ )로 분류됩니다.
교차 장치 상호 확증: 두 개의 동일한 카드를 사용하여 시스템은 차이 $D[q] = q(\text{card}_1) - q(\text{card}_0)$ 를 측정합니다. 결정론적 커널은 제로 차이를 생성하며, 이는 비트 단위로 일치하는 독립적인 증인이 됩니다. 처리량 차이는 부품별 지문 역할을 합니다.
보안 강화: 공격자가 약속된 프로브 시드(probe seed)를 악용하여 프로브의 영공간(null space)에 오류를 숨기는 것을 방지하기 위해, 시스템은 주장된 출력값에 기반한 피아트-샤미르(Fiat-Shamir) 챌린지를 통해 프로브 시드를 유도합니다. 이를 통해 챌린지가 검증 대상인 출력값에 의존하도록 보장합니다.

주요 결과
저자들은 Blackwell (RTX PRO 6000 Max-Q) 및 Hopper 아키텍처와 소비자용(RTX 5090) 및 서버 구성을 대상으로 구축을 입증했습니다.

잔차 바닥(Residual Floors): 본 연구는 다양한 정밀도(FP16, TF32, BF16, FP8) 및 크기에 따른 행렬 곱의 잔차 바닥을 측정했습니다. 이러한 바닥은 아키텍처 독립적인 불변량(다양한 Blackwell 장치 간에 안정적임)이지만, 장치의 처리량과는 구별되는 특성을 가짐을 발견했습니다.
탐지 능력:
- 행렬 곱에서의 단일 비트 플립은 높은 확률( $1 - 2^{-k}$ )로 거부되었습니다.
- 재현성 검사를 통과하는 비선형 연산에서의 일관된 결함은 대수적 가드에 의해 포착되었습니다.
- FP16으로 교정된 허용 오차를 초과하는 FP8 곱은 FP32 누적을 통해 성공적으로 플래그가 지정되고 복구되었습니다.
장치 독립성: 약속된 시드를 사용하여 "전이 가능한 불변량"(잔차 바닥 및 수치 클래스)을 다른 장치(RTX 5090, RTX PRO 6000 Server)에서 성공적으로 재구성하였으며, 이러한 특정 클레임에 대해 100%의 복구율을 달-성했습니다. 장치 로컬 메트릭(처리량)은 예상대로 복구되지 않았습니다.
물리적 스트레스 테스트: 열적 소크(thermal soak) 및 $di/dt$ 파워 바이러스스(power virus) 스트레스 하에서도 잔차 바닥은 불변성을 유지했으며, 139,264회의 검사 동안 자연적인 무음 오류(silent error)는 관찰되지 않았습니다. 이는 무음 오류가 표준 테넌트 워크로드에 의해 유도되는 것이 아니라, 결함이 있는 부품이거나 특권 접근이 필요한 영역임을 시사합니다.
보안 분석: 피아트-샤미르 챌린지는 프로브 인식 공격자가 오류의 50%를 영공간에 숨길 수 있는 공격 표면을 성공적으로 차단했습니다. 4개의 비트 동일한 증인을 가로지르는 협력 공격 또한 출력 유도형 챌레지에 의해 포착되었습니다.

의의 및 주장
본 논문은 하드웨어 벤치마킹을 "신뢰 기반" 모델에서 "증거 기반" 모델로 전환한다고 주장합니다. 주요 의의는 다음과 같습니다:

변조 방지 기록: 생산자를 신뢰하지 않고도 독자가 수치의 정확성과 기원을 오프라인에서 검증할 수 있는 구조를 제공합니다.
교정된 신뢰: 수치에 대한 신뢰는 부착된 증거에 비례해야 함을 확립합니다. 이 방법은 허용 오차를 실리콘의 물리적 실체(잔차 바닥)에 맞춰 교정함으로써 적절한 의존과 잘못된 믿음을 구분합니다.
증인으로서의 하드웨어: 하드웨어를 단순히 테스트의 대상이 아니라, 측정의 증인이자 서명자로 취급합니다.
재구성 가능성: 장치가 퇴역한 후에도 그 "전이 가능한 불변량"(연산의 수학적 특성)을 후속 하드웨어에서 재도출할 수 있음을 입증하여, 역사적 기록의 무결성을 보존합니다.

저자들은 이를 하드웨어 루트 오브 트러스트(기록을 생성하는 호스트가 물리적으로 침해될 경우를 대비해 필요한 것)를 대체하는 것이 아니라, 확률적 항등식과 콘텐츠 주소 지정(content addressing)을 엄격하게 적용한 것으로 규정합니다. 이 작업은 코드, 관측값, 검증 트랜스크립트가 단일 루트 해시에 결합된 완전하고 감사 가능한 아카이브로 제시되며, 이를 통해 단 한 번의 패스로 오프라인 감사가 가능하게 합니다.