各国・地域は、自らの通貨を管理する必要があります。そのシステム同士を結ぶ決済には、異なるルール、非公開データ、バリデーターネットワークを尊重する共通プロトコルが必要です。SORA Nexusは、この二つの要請を両立します。
各機関は、独自のポリシーとアクセスルールを持つ環境「データスペース」で運用できます。共通のプログラム可能な決済層が各スペースを接続し、承認済みの取引が一つの論理台帳上を移動します。
取引例をたどってみましょう。ある法域の機関が、別の法域の機関に資産の代金を支払います。双方は独自のルールとデータを保持し、共通のプロトコルがデータスペース間の支払いと引き渡しを調整します。
各機関が独自のポリシー境界を保ちながら、支払いと資産の引き渡しを同時に決済できます。
機関がすでに使っている決済メッセージから始めます。
決済要求は、Irohaの受付インターフェースであるToriiからNexusに入ります。ゲートウェイはpacs.008やpacs.009など、対応するISO 20022メッセージを検証し、適用ポリシーに従って台帳の命令に対応付けます。
pacs.002ステータスで結果を送信者に返します。これにより金融機関のシステムは、使い慣れた決済メッセージを共有台帳上の承認済み操作へつなげられます。
機関の支払い指示をpacs.008とpacs.009の形式で受け取ります。
検証済みメッセージは、ローカルポリシーに従って明示的なIroha命令に変換されます。
pacs.002ステータスが、要求の受理・拒否・決済完了を記録します。
pacs.008とpacs.009のメッセージを検証・実行し、決定論的なpacs.002の結果を返します。
ISO 20022により、機関の決済メッセージをブロックチェーン上のプログラム可能な決済やデジタル経済へ接続できます。
各機関が自らのルールと非公開データを管理したまま、機関同士をつなぎます。
到着した要求は、責任を持つ機関のルールに従う必要があります。主権型データスペースは、ガバナンス、バリデーター委員会、可視性のルール、取引の受け入れ条件という境界を定めます。
各スペースは独自のポリシーを適用します。スペース間の承認済み取引では、Nexusが必要な価値、コミットメント、証明を一つの論理台帳上で連携させ、非公開の取引データは各境界内に保持します。
各機関は、権限、可視範囲、取引の受付について明示的なルールを維持します。
制限付きの処理は、独立した別チェーンになることなく、独自の委員会を利用できます。
スペースの境界を越えるのは、承認された価値と証拠だけです。非公開の状態全体は渡しません。
公開スペースと制限付きスペースは、独自のローカルポリシーを保ち、明示的に承認された処理だけが境界を越えます。
公開環境と主権型環境が、異なる境界を保ちながら一つのエンジンを共有します。
異なる主権型システム間でも、支払いと資産の引き渡しを連携させ、同時に決済します。
アトミック取引（AMX）は、関係するすべてのデータスペースと、読み取り・変更する状態を指定します。各スペースは共通のスナップショットから自分の処理を準備します。Nexusは、必要な結果がすべて有効な場合にのみ変更を確定します。
いずれかのスペースが準備できない場合や、証拠の検証に失敗した場合、取引全体を中止し、部分的な変更は残しません。非公開スペースは、取引データを内部に保ったままコミットメントと証明を提供できます。
参加する全スペースを同時に確定するか、部分的な決済を一切残さず取り消します。
参加するデータスペースと、予定される読み取り・書き込みを、確定前に確認できます。
制限付きスペースは、生の非公開データの代わりに状態コミットメントと妥当性の証拠を外部に渡せます。
二つの参加委員会が一つの権限スナップショットに基づいて仮適用し、2-of-2のラッチで支払いと引き渡しを交換してから、ともに確定またはロールバックします。
二つのローカルな変更を、一つの共有結果に。
取引のローカルな支払義務を、運用者が再現・照合できる決済結果に変換します。
取引の照合に向けて、決済ルーターは正確な数量換算、設定済みのマージンとヘアカット、各実行レーンの準備金バッファ規則を使って支払義務を計算します。同じ入力とルールからは、常に同じ結果が得られます。
各ブロックは決済をレーンとデータスペースごとにまとめ、結果のコミットメントとバッファー状態を記録します。受領記録と運用指標により、運用者と監査者は共通の記録を照合できます。
厳密な数量、オラクル入力、マージン、丸めルールから、再現可能な結果を生成します。
設定したバッファー状態に応じて、警告、処理制限、XORのみでの決済、決済停止を選択できます。
決済のコミットメントと運用テレメトリは、同じレーンとデータスペースの識別情報を共有します。
正規化した金額、ポリシーに基づく経路、レーンのコミットメント、照合用受領記録が、一つの再現可能な流れを構成します。
再現可能な債務、確認できる準備残高、照合に使える受領記録。
次に、この取引の実行をたどります。ネットワークは一貫した処理を行い、使用する処理能力を管理し、確定結果に合意しなければなりません。受信側の機関には、独立して検証できる証拠が必要です。
双方が確定結果を照合でき、別のシステムも信頼できる起点からその確定性を検証できます。
参加するすべてのバリデーターに、共通の取引実行ルールを提供します。
ここまでの交換には、参加者が検証できる実行基盤が必要です。Hyperledger Iroha 3がそれを提供します。Toriiが要求の入口となり、Kotodamaがプログラムをコンパイルし、Iroha Virtual Machine（IVM）がそのロジックを決定論的に実行します。
実行レーンは並列に処理を進めます。合意機構のSumeragiが結果に合意し、Kuraが確定済みブロックを保存します。レーンを追加・廃止しても、これらが一つの台帳履歴を維持します。
Kotodamaはプログラムを、バリデーターが安全に実行できるIVMバイトコードにコンパイルします。すべてのピアが、同じ制約付きロジックを実行します。
レーンを追加・廃止すると、ルーティング、マニフェスト、テレメトリが適応します。新しいチェーンは不要です。
並列レーンで処理量を増やしても、Sumeragiによる確定とKuraによる永続化は、一つの正規履歴に集約されます。
Toriiによる受け入れ、Kotodamaによるコンパイル、IVMでの決定論的実行、レーンへの振り分け、そして一つの正規コミット。
一つのランタイム。複数のレーン。一つの台帳。
一つの台帳履歴を保ちながら、より多くの処理を並列に実行します。
決済量が増えたら、独立した処理を別々の実行レーンに振り分けられます。各レーンは処理を実行し、結果の状態に対するコミットメントを生成します。
マージ台帳は、それらのコミットメントを一つの順序付き履歴にまとめます。機関が実行能力を増やしても、利用者と資産は同じ台帳を共有し続けます。
処理量の多いワークロードを複数レーンに分散し、一つの実行経路への集中を防ぎます。
マージ台帳が、断片的なシャードの寄せ集めではなく、一つの台帳としてネットワークを維持します。
拡張によって増やすのは処理能力です。チェーン、ラッパー、ブリッジ処理は増やしません。
並列のワークロードが独立したコミットメントを生成し、一つの正規マージ台帳ブロックに合流します。
並列レーンは別々のチェーンに分かれず、一つの台帳に合流します。
合意で承認された更新により、金融機関の処理量に合わせて実行能力を調整します。
運用者は、承認済みの署名付き取引でレーンを追加・置換・廃止できます。計画は、運用者が確認した正確なカタログと稼働中のレーンインスタンスに結び付きます。カタログが古い場合、計画が無効な場合、要求に権限がない場合は、構成を変更しません。
合意によって更新が確定すると、すべてのピアが同じカタログを適用し、経路と上限を更新してストレージを整合させます。認証済みの処理が未統合または未適用のままでは、レーンを廃止できません。
ライフサイクルの変更には通常の署名済み取引を使い、ブロックの確定とともに公開します。
カタログとインスタンス世代のコミットメントにより、遅れて届いた要求が別の構成を変更することを防ぎます。
ルーティング、マニフェスト、ストレージ配置、データ可用性の状態、リレーキャッシュを一緒に更新します。
一つの正規台帳を維持したまま、処理能力を追加し、経路を設定し、監視し、廃止できます。
すべてのピアが従う一つの確定計画に基づき、処理能力を変更します。
並列の処理を、バリデーターが合意する一つの確定結果にまとめます。
Sumeragiは、提案されたブロックを確定する合意機構です。バリデーターはPrepareとCommitの二段階で認証します。各クォーラム証明書（QC）は、投票を正確なブロック、その高さ、固定済みバリデーター名簿、状態遷移に結び付けます。
バリデーターはPrepareの前にブロックを検証・永続保存し、Commitの前にロックを保存し、適用の前にCommit QCによる決定を永続化します。矛盾する投票は拒否して証拠として記録し、クォーラムには数えません。
PrepareとCommitのクォーラム証明書が、確定までの過程を明確にします。
プロトコルを進める前に、本体、投票の意思、ロック、決定をそれぞれ永続化します。
結果とともに確定記録を渡せるため、リレーや監査者が確定性を独立して検証できます。
正確なブロックがPrepareとCommitのクォーラム証明書を経て確定します。矛盾する投票は拒否し、報告します。
バリデーターはPrepareとCommitの両段階で同じ正確な本体を認証します。Commit QCは、持ち運べる確定性の証拠になります。
受信側の機関に、信頼できる起点から検証可能な取引確定の証拠を渡します。
持ち運べる証明は、正規のブロックヘッダーとSumeragi合意の正確な永続記録を一つにまとめます。その記録には、固定されたブロック高の文脈、認証されたブロック対象、実行コミットメント、Commitクォーラム証明書（QC）、バリデーター名簿に対応する鍵保有証明が含まれます。
受信側は、各記録の結び付き、署名者の所属と順序、バリデーターの鍵保有、集約BLS署名を検査します。バリデーター数と投票権の両方の閾値を満たす必要があります。最初の証明を受け入れる前に、独立して信頼するチェーンと文脈のアンカーにも結び付けます。
認証された対象、実行ルート、コミット証明書、固定済みバリデーター名簿、鍵の保有証明を保持します。
署名者集合は、異なるバリデーターの必要数と、3分の2を厳密に超える投票権の両方を満たす必要があります。
証明に含まれる名簿は、それ自体の正当性を保証できません。最初に受け入れる文脈は、独立した信頼できる経路を通じて固定します。
正規のヘッダーと正確なSumeragi確定記録を持ち運べる証拠にまとめ、検証者が独立して信頼するチェーンの文脈と照合します。
持ち運べる証拠が、あるシステムの確定結果を別のシステムの検証につなぎます。
交換には、明確な条件も必要です。操作できるアカウントを定め、支払いと引き渡しの条件をコード化し、承認された操作をいつ実行するかを決めます。共通の記録が、これらのルールと周辺のアプリケーションをつなぎます。
プログラムが交換条件を表現し、権限が実行できる主体を定めます。
市場、決済、アプリケーションのルールをコードで表現します。
共通の実行・確定モデルが整えば、チームはアプリケーションの動作を定義できます。Kotodamaは、市場ロジック、支払い条件、機関のポリシーをプログラムで表現するための言語です。
コンパイラーがプログラムをIroha Virtual Machine（IVM）のバイトコードに変換します。バリデーターはランタイムの制約内で同じロジックを実行し、同じ状態遷移を導きます。
開発者はランタイム内部の低水準コードではなく、読みやすいプログラムを書けます。
すべてのバリデーターが共有する一つの実行モデルに向けてコンパイルします。
同じプログラミングモデルで、市場ロジック、自動化、制御を表現できます。
読みやすいソースを制約付きバイトコードにコンパイルし、すべてのピアで同じ決定論的な状態を生成します。
高水準プログラムをコンパイルし、ネットワーク全体で共有する一つの決定論的ランタイムで実行します。
台帳が標準で扱える操作から、日々の資産フローを組み立てます。
多くのアプリケーションは、資産の登録、発行、送付、権限の付与、焼却という共通の基本操作を使います。Irohaはこれらを、型付きのネイティブ命令として提供します。
各命令が、必要な権限とポリシーを検査します。順序付きバッチでは、依存する複数の操作を準備してまとめて確定できます。いずれかの命令が失敗すれば、準備した変更をすべて破棄します。
よく使う台帳操作は、プラットフォーム自体に組み込まれています。
共通の基本機能を組み合わせることで、同じ処理を一から作り直す必要がなくなります。
監査者は、よく似た多数の仕様ではなく、一つのルール体系を確認できます。
登録・発行・送付・権限付与・焼却の型付き命令を順に実行し、明示的な権限の下で決定論的な台帳状態を準備します。
型付き命令の順序付きバッチが決定論的な台帳変更を準備し、一つの確定状態にまとめます。
各参加者のアカウントに、必要な権限だけを定められた期間付与します。
ケイパビリティ・マニフェストは、ユニバーサルアカウントが一つのデータスペースで行える操作を記録します。許可するプログラム、メソッド、資産、必要に応じてアトミック取引での役割を指定します。有効化と失効のエポックが、権限の適用期間を定めます。
任意の最大金額設定で当該要求を制限します。許可された場合は、許容量の集計期間もメタデータとして返します。一致する拒否ルールが優先され、有効化・失効・取り消しはライフサイクルイベントで監視できます。
権限の範囲を、指定したデータスペース、プログラム、メソッド、資産、役割に限定します。
当該金額を設定された上限と照合し、スロット単位・分単位・日単位の許容量の集計期間を許可結果とともに返します。
一致する明示的な拒否ルールが許可候補に優先し、構造化した理由を返します。
データスペースを指定した要求を、明示された範囲、当該要求の金額上限、拒否優先のポリシーに照らして評価します。
各許可は、特定のアカウント、操作、データスペースに結び付きます。
登録したイベントが発生したら、承認済みの操作を実行します。
権限は操作で何ができるかを定め、トリガーはいつ実行するかを定めます。各トリガーには実行処理、一つのイベントフィルター、権限、繰り返しポリシーを保存します。フィルターは、スケジュール、特定のブロック高などの承認済みパイプラインイベント、台帳データイベント、または権限を持つ呼び出し要求に一致します。
フィルターが一致すると、Irohaは登録された権限と通常の実行ポリシーに従って操作を実行します。権限、繰り返し上限、燃料やサイクル、ガス、実行の深さによって処理を制約します。記録される結果は、トリガー、実行ハッシュ、ステップを識別します。
定期実行やイベント駆動の処理に、別のボットやcronサービスは不要です。
登録済みトリガーは、すべての発生源を同時に監視するのではなく、一つの決定論的イベントフィルターに従います。
権限、繰り返し回数、燃料やサイクル、ガス、実行の深さによって、自動処理を制約します。
登録された一つのイベントフィルターが、宣言された権限の下で制約付きの処理を起動し、完了結果を記録します。
登録された一つのイベントフィルターが制約付きの操作を起動し、その完了結果を記録します。
すべての参加者が同じデータを一意に読み取れるようにします。
プログラム、命令、証明には共通のデータ形式が必要です。Noritoは、型付きの値を定められたフィールド順で符号化します。40バイトのNRT0ヘッダーが、バージョン、想定スキーマ、圧縮方式、長さ、チェックサム、レイアウトを示します。
読み取り側はこれらのフィールドとCRC64-XZ整合性チェックサムを確認してから、値を復元します。同じスキーマと明示的な非圧縮レイアウトであれば、同じ値は同じバイト列になります。任意の圧縮を使っても復号後の内容は保たれますが、圧縮後のバイト列はバックエンドによって異なる場合があります。
16バイトのスキーマハッシュが、ペイロードをデコーダーの想定する型に結び付けます。
読み取り側は宣言されたペイロードを読み取り、そのCRC64-XZ整合性チェックサムを検証します。
正規のフィールド順序と明示的なレイアウトルールにより、変換と復元の曖昧さをなくします。
型付きの値をスキーマに結び付いたNRT0フレームに変換し、チャンク単位で読み込み、形式と整合性の検査を経て正確に復元します。
一つの型付きの値を検証済みNRT0フレームに変換し、曖昧さなく復元します。
アプリケーションがコンテンツを取得し、届いた内容を検証できるようにします。
アプリケーションには、取引外のデータも必要です。SoraNetがその要求を運びます。厳格なリレーモードでは、秘匿化したコンテンツ要求が入口・中継・出口のリレーを通ります。SoraFSは、ルート、チャンク順序、長さ、想定ダイジェストを指定するマニフェストを使ってコンテンツを取得します。
プロバイダーのチャンクを検証し、コンテンツを再構成して取得証拠とともに返します。承認された台帳上の支払いは、別の操作として扱います。これらを組み合わせれば、サービスを要求し、届いた結果を確認し、明示的なポリシーに従って支払うソフトウェアを支えられます。
秘匿化したリクエストが、選択された入口・中継・出口を通ります。
マニフェストは、取得時に満たすべき正確なチャンク、順序、長さ、ダイジェストを定めます。
プロバイダーのチャンクを検証・再構成してからオブジェクトを返します。承認された支払いは別の操作として組み合わせられます。
秘匿化したコンテンツ要求が、選択された3ホップのSoraNet経路を通ります。SoraFSはマニフェストを解決し、複数のプロバイダーからチャンクを取得・検証してペイロードを復元し、検証済みオブジェクトを取得証拠とともに返します。
SoraNetがリレー経路を選択し、SoraFSがコンテンツを取得・検証・再構成します。
同じ交換の仕組みを、機関に代わって計算資源などのサービスを購入するソフトウェアエージェントへ広げられる可能性があります。これは将来のユースケースです。利用できるアカウント、権限、支出の権限は、引き続き人が定めます。
将来のエージェント経済でも、同じ決済の構成要素を使い、人や機関が権限を割り当てます。
将来のユースケース · Irohaはアカウント、資産、ポリシー、決済の基本機能を提供します。AIモデルはプロトコルの外部で動作します。
交換の仕組みを、将来のサービス経済へ広げます。AIエージェントも、同じアカウント、権限、決済のルールに従ってサービスを購入できる可能性があります。
金融機関が、他の提供者から計算資源を買う権限をエージェントに与える場面を考えてみましょう。エージェントは、通常の鍵で管理されたIrohaアカウントを通じて操作します。利用できる役割、権限、予算、支出上限、取引権限は、人や機関が割り当てる想定です。
承認済みアカウントは、資産の登録・発行・送付・交換の命令を組み合わせられます。これらを使って、計算資源のクレジット、データセットへのアクセス、モデルのライセンス、ストレージ容量、エネルギー単位、作業の受領記録、デジタル成果物の権利を表せます。
Iroha Virtual Machine（IVM）上のKotodamaプログラムとオンチェーントリガーは、支払い、引き渡し条件、定期処理、受領記録を自動化できます。アトミック取引では、データスペースをまたぐ支払いと資産の引き渡しを、ともに成功させるか、ともに取り消せます。Noritoの正規記録とSumeragiの確定性により、承認・決済された内容を監査できる履歴を提供できます。
これはIrohaの経済、自動化、ポリシーの基本機能を用いる将来のユースケースです。IrohaはAIモデルを実行せず、アカウントがAIによって操作されているか判定せず、エージェントに無制限の自律性を与えることもありません。
承認済みアカウントは、代替可能な資産、NFT、サービス利用権を作成・交換できます。
支払いとデジタルな引き渡しを同時に確定するか、どちらにも部分的な結果を残さず終了できます。
役割、ケイパビリティ、予算、上限、監査記録が、エージェントの操作範囲を定めます。
許可されたソフトウェアエージェントは、支払いとデジタル権利をアトミックに交換し、正規の受領記録を残せます。失敗時は部分的な移転を残さずロールバックできます。
アカウント、資産、人が定めたルールから構成する、将来のサービス経済。
最初の機関間取引に戻りましょう。双方が必要とするのは、互いの記録への無制限なアクセスではなく、必要な確認を通過した証拠です。元のデータを保護し、承認済みの証明を受け入れ、コミット済み情報を復元可能に保ちます。
参加者は必要な証拠を確認できます。保護された状態はローカルに保ち、コミット済みの情報は復元可能にします。
実行トレースをデータスペース内に保持しながら、非公開実行の証拠を検査します。
機関の決済にも自動化されたサービスにも、機密性の高い処理が含まれます。FASTPQは機密実行の証明パイプラインを提供します。非公開の実行トレースはデータスペース内に保ち、そのコミットメントを証明の入力にします。
受信側は、必要な証拠を検証してから結果を受け入れるか判断します。非公開トレース全体を受け取らずに、その証拠を確認できます。
機密性の高い実行は、それを行ったデータスペースの内部に保ちます。
正規のコミットメントによって、非公開の結果自体を公開せずに、その結果と証明を結び付けます。
必須の証明は、キューに入る前に公開された受付ルールで合否を判定できます。
非公開トレースのコミットメントから、トレースを開示せずに公開証明入力と検証済みの判断を得ます。
非公開のトレースはローカルに残し、受信側はその証明を検査します。
非公開取引を実行キューに入れる前に、承認済みの証拠を要求します。
非公開の取引にも、検証できる証拠が必要です。各レーンのマニフェストには、Merkleルートや証明記述子など、処理内容に対して承認されたプライバシー・コミットメントを登録します。取引は、保護対象の状態を公開経路に出さずに、そのコミットメントの証拠を添付できます。
受付時に証拠を宛先レーンのレジストリと照合し、レーンのコンプライアンスルールを適用します。証明が必須の取引では、ウィットネスの欠落、不正な形式、未登録コミットメントへの紐付けがあれば拒否します。
ガバナンスは、安定したコミットメント識別子と承認済みの検証パラメーターを公開します。
ランタイムと監査ツールは、同じ正規の証明の紐付けを評価します。
証明が必須の取引は、適切な証拠がなければキューに入る前に拒否されます。
非公開レーンが、基となる主権型システムの活動を開示せず、承認済みルートに対するコミットメントを証明します。
保護対象の状態はローカルに保持し、承認済みの証拠に基づいて受け入れます。
確定済み履歴を支えるデータを、復元可能な状態に保ちます。
結果の検証は、信頼を支える一要素です。ネットワークには、取引完了後もコミットメントの元となるデータを復元できることが必要です。
確定済みデータを、復元可能なシャードに符号化します。可用性サンプリングで各断片を取得できるか検査し、必要な閾値以上のシャードから元のデータを復元します。
確定済みデータは、書き込みから長い時間が経っても復元できる必要があります。
可用性の検査によって、信頼を基のデータに結び付けます。
この技術スタックは、記録が長年にわたって役立つ必要のあるシステムのために設計されています。
分割されたデータをサンプリングし、一部が失われても残りの断片から復元します。
サンプリングと復元の経路が、ネットワークの記憶を守ります。
貴機関に必要な取引から始めましょう。
アーキテクチャを評価し、実装を確認し、SORAコミュニティでユースケースを話し合えます。
