ステーブルコインブリッジ

1 つのトークン、7 つの準備金

zUSD は単一のトークンですが、その裏付けは準備金ごとに集計されます。準備金とは、1 つの本拠チェーン上の 1 つのコインを指し、シンボルではなくこの組で識別されます。Ethereum にロックされた USDT と Tron にロックされた USDT は別々のカストディにあり、Rand は各々のロック量を記録します。償還ではコインとチェーンを指定し、その準備金が額を下回る場合は拒否されるため、あるチェーンでの償還が別のチェーンのカストディを引き出すことはできません。zUSD の供給量は、構成上、この 7 つの合計に等しくなります。

ワイヤ上の値は小数 8 桁です。トークンが 18 桁を用いる場合、コントラクトは表現可能な額だけをロックします。6 桁の場合、償還額はそのコイン自身の最小単位の整数倍でなければなりません。いずれの場合も、解放できるアテステーションを持たないロック済みの単位は残りません。

ガーディアン 8 人、署名は 6 人

ガーディアンセットとは、順序付けられたアテステーション鍵のリストです。メッセージは、その 3 分の 2 を超える鍵が署名したときに証明されたものとなります。これはバリデータセットのビザンチン閾値を、Rand のバリデータがコンセンサスの内側からは見えないチェーンを監視する委員会に適用したものです。フォーマットは Wormhole のものを独自に作り直さずに移植しており、ガーディアン、Solidity のバリファイア、Rust のバリファイアを互いに照合して検証できます。

Rand でのミントには、2 つ目のクォーラムも必要です。同じ 8 人のガーディアンのうち 6 人が、Rand チェーンに結び付けられた同一のダイジェストに Dilithium2 で署名し、どちらかが欠けるミントを Rand は拒否します。ソースチェーン上での解放は、引き続き secp256k1 のクォーラムのみに依拠します。

最も弱い構成要素

プロトコルのそれ以外の部分はすべて、暗号学的な困難性か、ステークされスラッシュ可能なバリデータ集合に対するビザンチン耐性の上限に帰着します。ブリッジはそうではなく、論文もまさにその言葉でそう述べています。zUSD論文の命題2.8は、まさにこの構成に反対する議論を行っていました。この命題は今も正しいため、変更せずに再掲しています。また、zUSDの裏付けはすべて証明された(attested)レッグであるため、各単位に対する保証は、カストディの支払能力と、二重のガーディアン閾値の完全性のうち、劣るほうになります。

フロンティア

コンセンサス、プライバシー、帰属はポスト量子です。STARKの健全性、384ビットのトランスクリプトハッシュ、Dilithium署名がそれを支えます。一方、secp256k1によるガーディアンのアテステーションはポスト量子ではなく、引き出し経路は今もそれだけに依存しています。量子敵対者は、公開されている公開鍵からすべてのガーディアン鍵を復元し、カストディされた残高の全額を引き出せます。システムのポスト量子安全性は、各構成要素のうちの最小値で決まります。引き出し側では、この構成要素が移行されるまで0ビットです。