스테이블코인 브리지

하나의 토큰, 일곱 개의 준비금

zUSD는 단일 토큰이지만 그 담보는 준비금별로 계산됩니다. 준비금은 하나의 원래 체인 위의 하나의 코인이며, 심볼이 아니라 이 쌍을 키로 삼습니다. Ethereum에 잠긴 USDT와 Tron에 잠긴 USDT는 서로 다른 수탁에 있고, Rand는 각각이 잠근 양을 기록합니다. 상환은 코인과 체인을 지정하며 해당 준비금이 금액보다 적으면 거부되므로, 한 체인에서의 상환이 다른 체인의 수탁을 끌어다 쓸 수 없습니다. zUSD 공급량은 구성상 일곱 준비금의 합과 같습니다.

전송 값은 소수점 이하 8자리를 사용합니다. 토큰이 18자리를 쓰는 경우 컨트랙트는 표현 가능한 금액만 잠그고, 6자리를 쓰는 경우 상환액은 해당 코인 고유의 최소 단위의 정수배여야 합니다. 어느 경우든 해제할 수 있는 증명이 없는 잠긴 단위는 남지 않습니다.

가디언 8명, 서명 6명

가디언 집합은 증명 키의 순서 있는 목록입니다. 메시지는 그 3분의 2를 넘는 수가 서명할 때 증명된 것으로 간주됩니다. 이는 검증자 집합의 비잔틴 임계값을, Rand의 검증자가 합의 내부에서는 볼 수 없는 체인들을 감시하는 위원회에 적용한 것입니다. 형식은 Wormhole의 것을 새로 만들지 않고 이식했으므로, 가디언, Solidity 검증기, Rust 검증기를 서로 대조해 확인할 수 있습니다.

Rand에서의 발행에는 두 번째 쿼럼도 필요합니다. 같은 8명의 가디언 중 6명이 Rand 체인에 결속된 동일한 다이제스트에 Dilithium2로 서명하며, 둘 중 하나라도 없으면 Rand는 발행을 거부합니다. 원본 체인에서의 해제는 여전히 secp256k1 쿼럼만으로 이루어집니다.

가장 약한 구성 요소

프로토콜의 나머지 부분은 모두 암호학적 난해성, 또는 스테이킹되고 슬래싱 가능한 밸리데이터 집합에 대한 비잔틴 한계로 환원됩니다. 브리지는 그렇지 않으며, 논문도 같은 표현으로 이를 명시합니다. zUSD 논문의 Proposition 2.8은 바로 이러한 구성에 반대하는 논증이었습니다. 이 명제는 여전히 유효하므로 수정 없이 그대로 수록했으며, 모든 zUSD 백킹이 증명된(attested) 레그이므로 모든 단위의 보장은 수탁 지급능력과 이중 가디언 임계값 무결성 중 더 약한 쪽으로 정해집니다.

최전선

합의, 프라이버시, 귀속은 포스트 퀀텀입니다. STARK 건전성, 384비트 트랜스크립트 해시, Dilithium 서명이 그 근거입니다. secp256k1 기반의 가디언 증명(attestation)은 그렇지 않으며, 인출 경로는 여전히 이것에만 의존합니다. 양자 공격자는 공개된 공개키로부터 모든 가디언 키를 복구하여 수탁 중인 잔액 전체를 인출할 수 있습니다. 시스템의 포스트 퀀텀 보안은 구성 요소 가운데 최솟값이며, 인출 측에서는 이 구성 요소가 이전하기 전까지 0비트입니다.