Paperis 아티클

코드는 약속대로 작동했다 — 알고리즘 스테이블코인이 보장한 것과 보장하지 못한 것

담보 없이 1달러를 지키겠다는 설계는 2022년 5월에 무너졌다. 그런데 그 붕괴를 설명하는 형식모형은 붕괴보다 먼저 나와 있었고, 정작 그날 고장 난 것은 코드가 아니었다. 소각·발행 되먹임, 복수 균형, 차익거래의 정지, 그리고 담보형도 자유롭지 않은 '무엇이 무엇을 보장하는가'라는 질문.

점수는 올랐다. 그런데 무엇이 올랐나

오염·포화·틀린 정답·구인타당도·채점자·재현성 — 언어모델을 재는 자를 여섯 개의 축으로 뜯어본다. "재는 일이 어렵다"와 "잴 수 없다"는 다르다

블록체인으로 투표하면 조작할 수 없지 않나 — 확인할 수 있게 하되, 아무에게도 증명할 수 없게