🕐 소프트웨어의 모든 신뢰 메커니즘은 하나의 질문으로 귀결됩니다

그 기록은 누가 만들었는가.

로그는 시스템이 사후에 만들며 시스템이 쓰기로 정한 내용만 담고 있습니다. 감사는 사람이 나중에 그 로그를 바탕으로 만듭니다. 증명은 연산이 실행되는 동안 연산 자체가 만듭니다.

아무도 쓰지 않습니다. 아무도 고칠 수 없습니다. 차이는 그게 전부입니다.

지난주에 올린 두 번째 글에서는 이렇게 말했습니다: 서명된 로그는 올바른 모델이 실행됐다고 알려줍니다. 더 저렴한 모델을 몰래 돌린 시스템이 만든 서명된 로그도 똑같이 그렇게 말해줍니다.

📱 원문 보기