Concepts
zero-knowledge proof, contract, 검증 가능한 연산 등 Midnight의 핵심 개념을 다룹니다.
핵심 개념 요약
| 개념 | 설명 |
|---|---|
| 누가 참여하는가 | Account는 Midnight에서 참여자를 정의합니다. 키, 주소, 인증을 관리하며, 시스템에서 누가 행동하는지를 나타냅니다. |
| 데이터가 어디에 있는가 | Ledger는 상태를 저장합니다. Midnight은 공개 데이터용 공개 ledger와 차폐 데이터용 비공개 ledger를 운영하며, 상태의 저장 위치와 접근 권한을 결정합니다. |
| 가치가 어떻게 이동하는가 | UTXO 모델은 소비 가능한 가치 또는 상태 조각을 정의합니다. Midnight은 이 모델을 비공개 상태 요소로 확장하여, 시스템 내 가치의 흐름을 관리합니다. |
| 앱이 어떻게 연결되는가 | Web3는 지갑, 커넥터, DApp이 contract와 통신하는 방식을 설명합니다. 사용자와 애플리케이션이 Midnight와 상호작용하는 구조를 다룹니다. |
| 프라이버시가 어떻게 보장되는가 | Zero-knowledge proof는 민감한 데이터를 노출하지 않고도 정확성을 검증합니다. 비공개 행동의 검증 가능 성을 보장하는 핵심 기술입니다. |
| 연산이 어떻게 증명되는가 | Kachina는 Midnight의 증명 시스템입니다. 비공개 연산을 검증 가능한 proof로 변환하여, 볼 수 없는 실행도 신뢰할 수 있게 만듭니다. |
| 모든 것이 어떻게 결합되는가 | zswap은 비공개 상태, proof, 기밀 실행을 활용하여 이러한 개념을 실제로 적용합니다. 프라이버시 DApp이 엔드투엔드로 작동하는 방식을 보여주는 사례입니다. |
Midnight은 zero-knowledge proof를 사용하여 contract 로직을 검증하면서도 민감한 데이터를 비공개로 유지합니다. smart contract는 공개 및 비공개 ledger에서 작동하여 transaction 상관관계를 줄이고, token 및 메타데이터의 안전한 온체인 atomic swap을 지원합니다.