신뢰 모델
존재하지 않는 키
Celar에서는 누가 복호화할 수 있을까요? 누구도, 언제도 할 수 없습니다. 복호화 키는 처음부터 100개 위원회 좌석에 분산되어 태어나고, 동작하려면 임계 정족수가 필요하며, 에포크마다 갱신됩니다.
보안
직접 확인할 수 있는 수치
모든 체인이 안전하다고 말합니다. Celar는 ℋ = 공격 비용 / 위험 노출 가치 ≥ 2를 공개합니다. 헌법적 하한이며, 모든 입력값이 공개되어 누구나 다시 계산할 수 있습니다.
표준
확인할 수 있는 프라이버시 주장
PF-1은 개방형 프라이버시 라벨입니다. 프로토콜이 어떤 데이터를, 어떤 공격자로부터, 어떤 가정 아래 숨기는지, 그리고 무엇이 여전히 누출되는지를 밝힙니다. 프라이버시 주장을 비교 가능하고 반증 가능하게 만듭니다.
해설
증명과 연산: ZK와 FHE가 실제로 숨길 수 있는 것
영지식 증명은 내가 가진 데이터에 관한 사실을 증명하고, FHE는 아무도 읽을 수 없는 데이터 위에서 연산합니다. 기밀 체인에 왜 둘 다 필요한지 — 상태에는 FHE를, 수취인에는 스텔스 주소를, 담합에도 견디는 익명성에는 ZK 풀을 씁니다.
공지
Celar를 소개합니다
기밀 스마트 컨트랙트를 위한 레이어 1: 아무도 읽을 수 없는 데이터 위에서 연산하는 체인입니다. 임계 FHE, 스텔스 주소, ZK 실드 풀, 그리고 반증 가능한 보안 지표를 갖췄습니다.