01
運用者向けクライアント
一つのコマンドラインクライアントが、バリデーターまたはノードの設定、実行、確認を行います。設定は環境変数から取得し、鍵は参照されるのみで、ホスト上に保存されることはありません。
バリデーターとノード運用者
市場を決済するネットワークを、保護する。
バリデーターは、ORBITRA ONE™の決済レイヤーを保護します。QSEのもとで、明示的な職務を受け入れ、提供するサービスを証明し、取引、送金、コントラクトをファイナライズする状態遷移に署名します。
- Quorum-Staked Execution
- 決定論的BFTファイナリティ
- HSMとMPCによる鍵の管理
- 署名付きリリース
Quorum-Staked Execution
三つの力。一つの確定した状態。
QSEはHotStuff系のBFT構成です。ステークは経済的セキュリティを提供し、権限は提案者と委員会の職務を定め、検証済みワークは可用性、検証、サービスを測定します。プルーフ・オブ・ワークによるマイニングではありません。
- ステーク経済的セキュリティとスラッシングのリスク
- 権限提案者および委員会の職務
- ワーク検証された可用性、検証作業、サービス
バリデーターの投票
クォーラム証明書
ファイナライズされた状態
7 / 10
ステーク、権限、検証済みワークがバリデーターセットへ流れ込む。バリデーターは同じ状態遷移に投票し、設定されたビザンチン・クォーラムが署名を終えると、その投票がクォーラム証明書となり、状態がファイナライズされる。規定された障害モデルのもとでは、ファイナライズ後の再編成はない。
役割
すべての職務に、担い手がいる。
- 01
提案者
VectorLanesが生成する状態遷移を提案として順序付け、委員会へ送ります。この役割は、バリデーターポリシーに従って権限が交代します。
- 02
委員会メンバー
各提案を再実行し、結果として得られる状態ルートを確認し、投票に署名します。設定されたクォーラムが同じ状態遷移に署名すると、その投票がクォーラム証明書を形成します。
- 03
ノード運用者
ファイナライズされたすべての状態遷移を再生し、アプリケーション、ウォレット、機関向けシステムに状態、履歴、インデックスストリーム、証明を提供します。
検証済みワーク
サービスは、前提とされるのではなく、測定される。
ステークだけでは、バリデーターの役割は決まりません。QSEは各運用者が実際に行う作業を測定し、それを職務と報酬に反映します。
- 可用性
- 割り当てられた際の参加。提案の配信、投票の実施、証明書への署名
- 検証
- 状態遷移の正しい再実行と、ファイナライズされた状態ルートとの一致
- サービス品質
- 状態、履歴、証明の提供など、運用者が提供するネットワークサービスの品質
- 職務への影響
- 測定されたサービスが、今後の提案者・委員会への割り当てを形づくる
- 報酬への影響
- 報酬は、ステークとともに測定されたサービスを重視します。結果は変動します
- 証拠
- 測定値は、いかなる参加者も検証できる署名付きのプロトコル記録から導かれます
責任
リスクは、明示されている。
ステークは、矛盾する状態遷移への署名といった証明可能な不正行為に対して、スラッシングのリスクを生みます。証拠はいかなる参加者も検証できるため、罰則は運用者の裁量ではなく、プロトコルの規則に従います。
不十分なサービスは、不正行為とは異なる扱いを受けます。可用性や検証における継続的な不足は、運用者の検証済みワークの測定値を下げ、それが今後の職務と報酬を形づくります。
クライアントの多様性は、連鎖的な障害からネットワークを保護します。形式仕様は独立した実装を可能にするため、一つのクライアントの欠陥が、ネットワーク全体の欠陥になるとは限りません。
- 資産セキュリティMPC/HSMポリシー、遅延出金、アローリスト
- プロトコルセキュリティ形式仕様、クライアントの多様性、スラッシング
- アプリケーションセキュリティサンドボックス化、ケイパビリティ、アップグレード管理
- 市場セキュリティ監視、サーキットブレーカー、オラクルの信頼度
- 運用セキュリティゼロトラスト、権限分離、署名済みリリース
- Q-Switch・すべての層にわたる暗号方式の柔軟性
セキュリティの姿勢
鍵は、シグナーの中に留まる。
バリデーターのセキュリティモデルは、署名用の鍵を、ノードを実行するホストとは別に、ハードウェアセキュリティモジュールまたはMPC署名サービスの中に保持します。鍵を運用から分離することで、侵害されたマシンが単独で署名することはできなくなります。
ノードのソフトウェアは、インストール前に検証される署名付きリリースとして提供されます。暗号標準が進化する際には、Q-Switchが、緊急の鍵再生成ではなく、バージョン管理された署名スイートとハイブリッド認証情報を通じてバリデーターの認証情報をローテーションします。
- HSMまたはMPCによる鍵の管理
- 署名付きで検証可能なリリース
- 署名と運用の役割の分離
- バージョン管理された署名スイートと鍵のローテーション
スイートv1・従来型
スイートv2・ハイブリッド型
スイートv3・ポスト量子対応
- 01バージョン管理されたスイート
- 02ハイブリッド認証情報
- 03鍵のローテーション
- 04アドレスの移行
02
職務の可視化
割り当てられた提案者・委員会の職務、クォーラムへの参加、見逃した職務がアラート用に公開されます。
03
サービステレメトリ
可用性、検証、サービス品質の測定値を、独自の監視スタックへエクスポートします。
04
リリースの検証
すべてのリリースは署名され、クライアントはアップグレードを準備する前に署名を確認します。
報酬
バリデーターの報酬は、可能性であり、約束ではない。
報酬は、ステーク、実行した職務、測定されたサービス品質、ネットワークパラメーターによって決まり、スラッシングによって減少する場合があります。バリデーターの運用には、インフラ、セキュリティ、市場のリスクが伴います。バリデーターサービスは、十二のAlphaStackの活動の一つです。一般的なリスク開示をご覧ください。
バリデーターとしての関心登録
運用に申し込む。
ご自身のインフラ、鍵管理の方針、法域をお知らせください。参加は適格性とネットワークパラメーターによります。
- 01申請は、セキュリティの姿勢と運用の準備状況について審査されます。
- 02適格な運用者には、技術文書とオンボーディングの案内が提供されます。
- 03職務が割り当てられる前に、ステーク、カストディ、法域の要件が確認されます。
- 04秘密鍵やシードフレーズを求めることは一切ありません。