개념 · CELAR 문서
FHE와 ZK: 블록체인 프라이버시의 두 갈래
영지식 증명과 완전동형암호는 둘 다 「프라이버시 기술」로 불리지만 서로 다른 문제를 풉니다. 이 차이를 이해하면 Celar 아키텍처의 대부분이 설명됩니다.
ZK: 드러내지 않고 증명하기
영지식 증명은 본인의 데이터를 로컬에서 계산한 뒤, 입력을 드러내지 않고도 그 결과가 유효함을 체인에 납득시킬 수 있게 해 줍니다. 비공개 결제에 이상적인 방식으로, Zcash가 개척했고 Celar의 실드 풀도 이를 사용합니다. 운영자 집합에 대한 프라이버시는 무조건적입니다. 검증자 전원이 담합하더라도 실드 전송은 비공개로 남습니다.
FHE: 숨겨진 채로 연산하기
ZK에는 구조적 한계가 있습니다. 바로 공유된 비공개 상태 를 만들 수 없다는 점입니다. 여러 사용자가 건드리지만 누구도 읽을 수 없는 상태 말입니다. 비공개 오더북, 공유된 암호화 풀 잔액, 봉인 입찰 경매에서는 누군가가 여러 주체에 동시에 속한 데이터 위에서 연산해야 합니다. FHE가 바로 그 일을 합니다. 검증자와 코프로세서가 암호문 위에서 직접 컨트랙트를 실행하므로, 체인은 자신의 운영자를 포함해 누구도 읽을 수 없는 상태를 유지합니다.
각각이 감수하는 대가
| ZK(실드 풀) | FHE(암호화 상태) | |
|---|---|---|
| 공유 암호화 상태 | 불가 — 개인 상태만 | 가능 — 바로 그것이 핵심 |
| 신뢰 가정 | 운영자에 대한 신뢰 불필요(암호학만) | 임계 위원회가 키를 보호 |
| 프로그래밍 가능성 | 고정된 회로 | 범용 스마트 컨트랙트 |
| 무너지는 방식 | 담합으로는 무너지지 않음 | 복호화 정족수에 도달한 연합은 복호화 가능 |
Celar가 둘 다 제공하는 이유
사용자가 둘 중 하나를 고르도록 강요할 이유가 없기 때문입니다. 암호화된 값 위에서 컨트랙트를 돌려야 할 때는 프로그래밍 가능한 기밀성(FHE 계층)을, 프라이버시가 무엇보다 중요할 때는 위원회에 의존하지 않는 최대치의 프라이버시(ZK 풀)를 쓰면 되고, 이는 거래마다 선택할 수 있습니다. 그리고 FHE 계층의 신뢰 가정은 엔지니어링으로 최대한 낮춥니다. 참고: 임계 키 관리.
다음: 존재하지 않는 키 →