임계 키 관리: 존재하지 않는 키

상태가 암호화되어 있다면 자연히 이런 질문이 따릅니다. 그 키는 누가 가지고 있는가? Celar의 답은 누구도, 언제도 가지고 있지 않다입니다. TFHE 복호화 키는 100개 위원회 좌석에 흩어진 지분 형태로만 존재합니다. 분산 의식을 통해 생성되며, 복구 과정을 포함해 어디에서도 언제도 결코 재구성되지 않습니다.

작동 방식

• 분산 키 생성. 공개 검증이 가능한 의식이 기록을 공개하면서 키 지분을 생성하며, 부정 행위를 한 참여자는 제네시스 이전에 배제됩니다.
• 임계 복호화. 모든 복호화와 재암호화에는 좌석 정족수의 협력이 필요합니다. 모든 부분 복호화는 서명되고 귀속 가능하며 부정 증명으로 쓸 수 있어, 허가 없는 서비스 제공에는 강력한 슬래싱이 따릅니다. 키 위원회의 기밀성 임계값은 배포된 구성에서 100석 중 24석 이며, 이는 실제 운영 의식에서 측정된 값입니다. 임의의 24석은 아무것도 알지 못하며, 재구성에는 그보다 엄격히 더 많은 수가 필요합니다. c = 100에서 진행한 개발용 키 생성 실행은 임계값 33을 사용했습니다. 설계 목표는 79/100이며, 그 격차는 설계가 아니라 현재 사용 중인 전처리 엔진의 특성에서 비롯됩니다. 분산 차수를 세션 임계값에서 분리하는 방법은 문헌에 나와 있고 다른 임계 FHE 라이브러리에 구현되어 있으며, Celar가 지금 진행 중인 엔지니어링 과제입니다. 백서 §7.1에 두 수치와 그 경로가 모두 기재되어 있습니다.
• 선제적 지분 재분배. 지분은 에포크마다 갱신되어 이전 지분은 쓸모없어집니다. 공격자는 복호화 정족수 전체를 단일 에포크 안에 장악해야 하며, 그 좌석들은 25에포크의 엇갈린 임기로 교체됩니다.
• 잡음을 주입한 복호화. 허가된 부분 복호화에는 보정된 잡음이 실려 있어, 공격자가 의도적으로 만든 암호문에 대해서도 반복 복호화가 안전하게 유지됩니다.

직접 확인할 수 있는 보안 수치

대부분의 체인은 「탈중앙화되어 있다」고 말합니다. Celar는 한계를 수치로 제시합니다. 적격 스테이크의 55%를 보유한 공격자가 10년 이동 구간 안에 복호화 정족수를 장악할 확률은 ≤ 1 in 10,000 입니다. 이는 헌법적 상수로서 매년 그리고 파라미터가 바뀔 때마다 다시 도출되며, 이를 약화시키려면 하드포크밖에 방법이 없습니다. 그 위에 실시간 건전성 규칙이 적용됩니다. ℋ ≥ 2 공격 비용은 언제나 훔칠 수 있는 가치의 최소 두 배여야 합니다.