10 principles
1. 낯선 이도 검증할 수 있어야 한다.
증명이 네트워크 안에 있기를 요구한다면 — 멤버십, 키, 관계 — 그건 허가이지 증명이 아니다. 허가는 괜찮다. 신뢰라고 부르지 마라.
2. 페일 클로즈드.
증거가 없거나, 낡았거나, 검증 불가능할 때 답은 아니오다. 증거의 부재는 무죄의 증거가 아니다. 답이 없는 질문일 뿐이고, 답 없는 질문은 돈을 움직일 권한을 주지 않는다.
3. 검증자를 검증하라.
베리파이어는 주장의 일부다. 아무도 탐색하지 않은 스코어링 엔진은 증명되지 않은 증명이다. 우리는 우리의 러너를 그것을 꺾으려는 뮤턴트들과 맞붙게 한다 — 그리고 결과를 공개한다.
4. 진실은 바이트에서 유도된다.
메타데이터는 거짓말한다. 사이드카는 거짓말한다. 대시보드는 거짓말한다. 정규 바이트에 대한 서명은 입론해서 입장을 바꾸게 할 수 없다. 진실은 유도되는 것이지, 선언되는 것이 아니다.
5. 신선도는 양방향이다.
미래 날짜의 크레덴셜은 과거의 것만큼 깨져 있다. 창에는 하한과 상한이 있다. 둘 다 검증하라 — 아니면 아무것도 하지 마라.
6. 폐기는 발행의 일부다.
폐기하는 법을 공개하지 않고 증명을 공개하는 것은 절반짜리 약속을 공개하는 것이다. 키, 러너, 정책은 폐기 가능해야 한다 — 그리고 연결 끊긴 베리파이어는 서명된 메모 한 장으로 따라잡을 수 있어야 한다.
7. 앵커는 앵커를 박는 자의 통제 밖에 산다.
무엇이 공개되었는지의 기록은, 발행자가 다시 쓸 수 없는 곳에 있어야 한다. 우리는 매 릴리스를 공개 투명성 로그(Rekor / Sigstore)에 앵커한다. 그 포함 증명은 우리가 갖지 않은 키로 검증된다.
8. 키 없으면 게이트 없다.
API 키를 요구하는 검증은 꺼질 수 있고, 비싸질 수 있고, 기록될 수 있는 검증이다. 검증은 오프라인에서, 키 없이, 밀리초 안에, 어떤 기기에서든 돌아야 한다.
9. 재현 가능하지 않으면 일어나지 않은 것이다.
낯선 이가 공개 소스에서 아티팩트를 재구성해 같은 바이트를 얻지 못한다면, 그 아티팩트는 신앙의 대상이다. 우리 것은 바이트 단위로 재구성하고 증명한다.
10. 로드맵이 아니라 영수증.
약속은 마케팅이다. 영수증은 아무도 편집할 수 없는 로그 속의 체크섬이다. 슬라이드가 아니라 명령어를 보여라. 누구나 우리를 감사할 수 있다. 명령어는 여기 있다.
Verify everything
— AliceLabs / MarketNow, 2026-09-09