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