모든 체인이 안전하다고 말합니다. 업계에서 가장 반증하기 어려운 문장입니다. 누구로부터 안전하다는 것인지, 어느 정도의 비용에서인지, 어떤 가정 아래인지, 그리고 그것이 더 이상 사실이 아니게 되었을 때 어떻게 알 수 있는지가 빠져 있기 때문입니다. 보안은 프라이버시와 똑같은 방식으로 주장됩니다. 믿고 받아들이라는 형용사로 말이죠.
Celar는 대신 수치를 공개합니다. 이름은 ℋ이고, 하나의 비율입니다.
시스템을 깨뜨리는 비용은 그렇게 해서 얻을 수 있는 가치의 최소 두 배를 유지해야 합니다. 프로토콜이 그 아래에서 운영되는 것은 허용되지 않으며, 더 중요한 것은 이 비율에 들어가는 모든 입력값이 공개된다는 점입니다. 덕분에 누구나 다시 계산해 저희가 진실을 말하는지 확인할 수 있습니다.
01 /왜 약속이 아니라 비율인가
Celar의 기밀성은 임계 위원회에 기반합니다. 네트워크의 복호화 키는 100개 좌석에 분산된 지분으로만 존재하고, 평문을 만들어 내려면 그중 임계 정족수가 필요합니다. 따라서 진짜 질문은 「암호학이 훌륭한가」가 아니라 「그 위원회를 충분히 장악하는 데 공격자는 얼마를 써야 하며, 그 비용이 얻을 것에 비해 값어치가 있는가」입니다.
이것은 경제적 질문이고, ℋ는 경제적으로 답합니다. 공격 비용 은 복호화 임계값을 장악하기 위해 공격자가 확보하고 위험에 노출해야 하는 것, 즉 스테이크와 감수해야 할 슬래싱입니다. 위험 노출 가치 는 기밀성이 보호하는 것, 즉 실드 풀에 담긴 가치입니다. 공격 비용이 위험 노출 가치의 두 배라면 시스템을 깨뜨리는 일은 구조적으로 손해 보는 거래가 됩니다. 보안은 의도에 관한 주장이 아니라 유인에 관한 주장이 되고, 가격을 매길 수 있게 됩니다.
02 /입력값이 공개되므로 주장은 반증 가능합니다
비율은 그 안에 무엇이 들어 있는지 볼 수 있을 때에만 정직합니다. Celar의 건전성 페이지 는 모든 입력값을 공개합니다. 위원회 규모와 임계값, 위험에 노출된 스테이크, 슬래싱 파라미터, 풀에 담긴 가치까지 말이죠. 따라서 이 수치는 저희가 제대로 계산했으리라 믿어야 하는 대상이 아닙니다. 직접 다시 계산하시면 됩니다. 저희 계산이 틀렸다면, 그것은 공개적으로 틀린 것입니다.
이는 Celar가 공개하는 다른 모든 것 — 누출 매트릭스, PF-1 라벨 — 의 바탕에 있는 원칙과 같습니다. 확인할 수 없는 보안 주장은 마케팅과 구별되지 않습니다. 저희는 반증 불가능한 채 언제나 「안전한」 쪽보다, 확인 가능하고 때로 정정되는 쪽을 택하겠습니다.
03 /거버넌스가 투표로 없앨 수 없는 하한
두 가지 성질이 ℋ를 단순한 대시보드 계기판 이상으로 만듭니다.
거버넌스는 많은 파라미터를 조정할 수 있지만 ℋ 하한을 낮출 수는 없습니다. 안전을 성장과 직접 맞바꾸는 그 지렛대만은 재량 통제에서 빼 두었습니다.
풀이 커졌거나 스테이크가 얇아져 비율이 하한에 가까워지면, 프로토콜은 여유가 회복될 때까지 풀이 받아들이는 규모를 제한합니다. 스스로 자신의 불변식을 지키는 것입니다.
성장 압박을 받는 네트워크가 더 많은 가치를 풀에 들이려고 조용히 자신의 안전 여유를 완화하는 일은 불가능하며, 누군가 알아차리고 조치해 주기를 기다릴 필요도 없습니다. 시스템이 스스로 불변식을 강제합니다.
04 /무엇을 다루고 무엇을 다루지 않는가 — 솔직하게
ℋ는 기밀성 계층의 경제적 보안, 즉 위원회 장악과 풀 가치 사이의 관계를 다룹니다. 이것은 아닙니다 . 기반 계층 합의에 관한 주장이 아니며(그것은 f < n/3 조건의 표준 BFT 안전성으로 별개의 성질입니다), 경제가 아니라 암호분석으로 암호가 깨지지 않는다는 주장도 아닙니다. ℋ가 답하는 것은 구체적이고 중요한 하나의 질문입니다. 위원회를 공격하는 일이 수지맞는 거래가 될 수 있는가? 아니요. 최소 두 배만큼 아닙니다.
그리고 메인넷 이전 단계에 관한 단서입니다. 정직한 공개라는 원칙은 저희 자신에게도 똑같이 적용되니까요. 현재 건전성 페이지는 공개된 가정에 기반한 모델 입력값으로 동작하며, 체인의 실시간 피드가 아닙니다. 페이지에도 그렇게 표시해 두었습니다. 블록마다 실제 수치를 공개하는 온체인 피드는 메인넷과 함께 가동됩니다. 지금 존재하는 것은 뼈대와 공식, 그리고 검토를 위해 드러내 놓은 모든 가정이며, 출시와 함께 그 위로 실시간 데이터가 흐르게 됩니다.
05 /요점
「우리를 믿으세요, 우리는 안전합니다」는 검증할 수 없는 주장을 믿으라는 요구입니다. ℋ는 그것을 하나의 수치와 그 입력값, 그리고 그 수치가 2 아래로 내려갈 수 없다는 규칙으로 대체합니다. 저희가 아는 한, 이런 방식으로 구성된 최초의 L1 보안 주장이며 그 특징은 틀렸는지 여부를 공개적으로 확인할 수 있다는 점입니다. 「완벽하게 안전하다」보다 낮은 기준이지만 훨씬 유용합니다. 실제로 저희에게 책임을 물을 수 있기 때문입니다.
문의 — press@celar.network · 실시간 지표 — celar.network/health · $CELAR