安全性の保証
PiNS のアーキテクチャは、絶対的なセキュリティ、不変性、分散化を保証し、単一のエンティティがドメイン データベースを破壊できないことを保証します。
ZK-SNARK: 暗号による完全性の証明
標準のデータベース システムでは、データベース管理者 (またはシーケンサー) がレコードを変更しないことを信頼する必要があります。 PiNS では、信頼は数学に置き換えられます。
- Arbitrum スマート コントラクト は、有効な ZK 証明が伴う場合にのみルート アップデートを受け入れます。
- zkVM Rust ゲスト プログラム はドメイン所有権とトランザクション ルールを厳密に適用するため、シーケンサーはドメインを別の所有者に恣意的に割り当てたり、署名なしでアドレスを変更したり、リストを二重に使用したりすることはできません。試行すると、ZK プルーフの生成は失敗し、Arbitrum コントラクトは更新を拒否します。
ソブリンロールアップモデル
PiNS は概念的には ZK-Rollup と同じです。
- データの可用性: 生のトランザクション データは PIVX に保存され、PIVX のネイティブ セキュリティと不変性を利用できます。
- 実行: 処理は SP1 zkVM オフチェーンにオフロードされます。
- 決済: Arbitrum は、状態のルートを固定する非常に効率的なコンセンサス コーディネーターとして機能し、ミリ秒単位で計算を検証します。
コンセンサスの維持 (スプリットブレイン問題の解決)
分散システムにおける一般的な問題は、異なるサーバーが同じドメインに対して異なるターゲット アドレスを示す「スプリット ブレイン」です。 PiNS は Arbitrum Checkpoints を使用してこれを解決します。
- Arbitrum コントラクト上のすべての検証済みステート ルート更新は、それが表す正確な PIVX ブロック高さにマッピングされます。
- インデクサーはこの特定のブロックの高さに同期し、独自のローカル マークル ツリーを計算します。
- インデクサーのローカル ルートがコントラクトのチェックポイントと異なる場合、インデクサーは、トランザクションの欠落、データの処理順序の誤り、またはデータベース エラーの発生をすぐに認識します。
- その後、インデクサーは検証された履歴に安全に同期し、すべてのリゾルバーが単一の一貫した状態をグローバルに維持できるようにします。
トラストレスな監査可能性（外部からの監査）
すべての生のトランザクション データはパブリック PIVX ブロックチェーンに記録され、ゲスト プログラムのルールはオープンソースであるため、システムは 完全に監査不要で透過的です。
- 検証キー (vkey) の保証: 誰でも オープンソース Rust ゲスト プログラム をダウンロードし、標準 SP1 ツールを使用してローカルでコンパイルし、生成された
vkeyがPiNSAnchorスマート コントラクトに保存されているprogramVkeyと一致することを確認できます。これは、スマート コントラクトが、隠された抜け穴やバックドアなしで、正確で変更されていないプロトコル ルールを強制していることを証明します。 - 状態遷移の検証: 誰でも PiNS Genesis Block から PIVX ブロックチェーンをスキャンし、すべてのネーム サービス トランザクションを抽出し、ゲスト プログラムを通じてローカルで実行できます。
- 状態ルート マッチング: トランザクションを再生することで、ローカル インデクサー は、Arbitrum スマート コントラクトに記録されている検証済みルートと一致するマークル ルートを計算します。
- 状態検証: これにより、サードパーティ、開発者、または監査人は、ネーミング サービスが有効で安全であり、作成以来改ざんされていないことを暗号的に証明できます。
これが非スマートコントラクト チェーンにとって最適なソリューションである理由
スマート コントラクトよりもセキュリティとトランザクション速度を優先するビットコインや PIVX のようなブロックチェーンの場合、複雑なアプリをネイティブに構築することは不可能です。標準的な代替案は、信頼できる集中サーバーを使用することですが、これにより単一障害点と検閲が発生します。
PiNS は 3 番目の方法、ゼロ知識検証による分散オフチェーン実行 を提供します。 PIVX のコア プロトコルを変更することなく、EVM グレードのセキュリティと命名機能を PIVX にもたらし、ユーザーの秘密鍵を安全に保ち、絶対的な分散所有権を維持します。