LOOM Day 14 — 컴파일러는 영수증을 남겨야 합니다
요약
AI가 생성한 코드의 신뢰성을 보장하기 위해 효과 타입 언어인 LOOM이 컴파일러 증거(Compiler Evidence) 시스템을 도입했습니다. WebAssembly 생성 과정에서 검증 가능한 증거 체인을 남겨, 코드의 속성과 실행 환경의 무결성을 독립적으로 검증할 수 있게 합니다.
핵심 포인트
- AI 생성 코드의 신뢰 계층으로서 효과 타입 언어 LOOM 활용
- 컴파일러 프로필과 WASM 등가성을 결합한 검증 가능한 증거 체인 구축
- in-toto/SLSA 스타일의 로컬 증거를 통한 코드 무결성 보장
- 자율 시스템이 언어를 성장시키고 검사기를 통해 스스로를 검증하는 구조
LOOM은 아주 작은 효과 타입 언어 (effect-typed language)입니다. 즉, AI가 작성한 코드를 위한 신뢰 계층 (trust layer)입니다. 모든 함수는 자신의 효과 (effects)를 선언하며, 검사기 (checker)는 단 한 줄의 코드가 실행되기 전에 전이적으로 (transitively) 그 선언을 증명합니다. 전제 조건은 불편하지만 단순합니다. AI가 코드를 작성할 때, 당신은 작성자를 신뢰할 수 없으므로 언어가 신뢰 판단을 수행해야 한다는 것입니다.
지금까지 LOOM은 코드의 속성, 즉 효과가 정직한지, 예산 (budgets)이 유지되는지, 재귀가 종료되는지 ((prove (descent f)))를 증명해 왔습니다. 오늘 그 관문 (gate)은 WebAssembly를 생성한 컴파일러의 정확한 바이트 (bytes)에 결합된 검증 가능한 증거를 남기기 시작했습니다.
Compiler Evidence v1은 컴파일러 프로필 (compiler profile), 아티팩트 결합 (artifact binding), 소스↔WASM 등가성 (equivalence), 그리고 ABI를 하나의 증거로 묶습니다. 컴파일러를 바꾸거나, 아티팩트를 바꾸거나, 속성을 위조하기 위해 해시 (hash)를 재계산하더라도 실행 전에 각각 거부됩니다. 모듈형 및 독립형 컴파일러는 심지어 별도의 콘텐츠 ID (content identities)를 가지고 있어 교차 속성 부여 (cross-attribution) 시도가 실패하도록 설계되었습니다. Receipt v3는 이를 구성하며, Workflow v3는 CLI와 브라우저 플레이그라운드 (playground)를 통해 그 경로를 노출합니다.
한 줄 요약: 이는 평판 (reputation)이 아닌 언어 자체의 라이브 검사기 (live checker)에 고정된 로컬 in-toto/SLSA 스타일의 증거 체인입니다. "내가 확인했으니 믿어줘"가 아니라, "독립적인 검증자가 재확인할 수 있도록, 실제로 실행된 것과 정확히 결합된 영수증이 여기 있습니다"라고 말하는 것입니다.
489개의 자가 검증 (self-verifying) 체크가 모두 통과되었습니다 — 단 하루 만에 +33개가 추가되었습니다. 검증된 하나의 프로그램은 인터프리터 (interpreter)에서 실행되며, Python, JavaScript, 그리고 실제 브라우저 내 WebAssembly로 컴파일되어 동일한 출력을 생성합니다. 코드를 붙여넣고 검사기가 실시간으로 거짓을 거부하는 것을 지켜볼 수 있는 플레이그라운드가 있습니다.
어떻게 구축되었는지, 그리고 제가 무엇을 비밀로 유지하고 있는지에 대하여. 저는 이 언어를 직접 손으로 작성하지 않습니다. 제가 구축한 자율 시스템(autonomous system)이 언어를 성장시킵니다. 저는 구축 방식은 비공개로 유지하고 있으며, 엔진이 바로 저의 소유입니다. 제가 말씀드릴 수 있는 것은 그것이 무엇을 하는가입니다. 그것은 아이디어를 제안하고, 라이브 검사기(live checker)를 통해 각 아이디어를 증명하며, 자신의 작업물을 적대적으로 공격(adversarially attacks)합니다. 그리고 모든 검사와 인간의 관문(human gate)을 통과하지 않고서는 아무것도 안착시키지 않습니다. 이것은 AI입니다. 정확히 말하면 LOOM이 말하듯 그 말만으로는 신뢰할 수 없는 존재이기에, 결코 스스로를 인증(self-certifies)하지 않습니다. 이 프로세스는 언어가 강제하는 규칙을 준수합니다.
전체 글 (언어, 그리고 제가 밝힐 수 있는 범위 내에서의 유기체): 👉 [게시 후 자신의 LinkedIn 기사 URL을 여기에 삽입하세요]
우크라이나 🇺🇦에서 혼자, 공개적으로 구축되었습니다. 피드백과 비판은 언제나 환영합니다. 특히 모델이 틀린 부분에 대해서는 더욱 그렇습니다.
GitHub: https://github.com/umbraaeternaa/loom
Site: https://umbraaeternaa.github.io/loom
Playground: https://umbraaeternaa.github.io/loom/play.html
Instagram: https://instagram.com/umbra_owner_architect_ai
Support: https://send.monobank.ua/jar/AHaziFXjYX
AI 자동 생성 콘텐츠
본 콘텐츠는 Dev.to AI tag의 원문을 AI가 자동으로 요약·번역·분석한 것입니다. 원 저작권은 원저작자에게 있으며, 정확한 내용은 반드시 원문을 확인해 주세요.
원문 바로가기