How Midnight works | Midnight Korea Docs

📄️End-to-end architecture

여러분 기기에서의 비공개 연산부터 Midnight 네트워크에서의 공개 검증까지를 하나의 다이어그램으로 잇고, 각 계층이 무엇을 볼 수 있고 볼 수 없는지 설명합니다.

Midnight이 자체 스마트 컨트랙트 언어를 사용하는 이유와, Compact이 프라이버시를 고려한 circuit을 일급 요소로 다루는 방식을 설명합니다.

Midnight 트랜잭션이 intent, Zswap offer, 컨트랙트 호출, 배포를 어떻게 결합하는지, 그리고 트랜잭션 병합과 바인딩 commitment가 어떻게 동작하는지 설명합니다.

스택 기반이자 튜링 완전이 아닌 on-chain VM 언어 Impact을 설명합니다. transcript, 상태 값, opcode 표, context와 effect를 다룹니다.

Midnight 스마트 컨트랙트에서 데이터를 비공개로 유지하는 전략으로, 해시와 commitment, Merkle tree, commitment/nullifier 패턴을 다룹니다.

Midnight이 UTXO 기반 위에 account 기반 스마트 컨트랙트를 어떻게 올리는지, NIGHT이 DUST를 어떻게 생성하는지, ledger token과 contract token 중 무엇을 언제 선택할지 설명합니다.

Midnight 트랜잭션의 동작 방식을 설명합니다. ledger state와 contract state, well-formedness 검사, guaranteed 단계와 fallible 단계의 실행을 다룹니다.

Midnight의 스마트 컨트랙트가 공개 스마트 컨트랙트와 어떻게 다른지 설명합니다. 추측 게임 예제로 transcript, 영지식 증명, coin을 다룹니다.

Zerocash를 확장해 네이티브 토큰 지원과 atomic swap을 더한 shielded 토큰 메커니즘 Zswap을 설명합니다. offer, input, output, 토큰 종류를 다룹니다.