リレー間の相互認証

クライアントと入口の回線は nk を使い、リレー間の回線は検証済みロスターの鍵で kk を使います。 認証ありのリレーは、未知の相手と認証なしの基準構成を fallback なしで拒否します。 クライアントは入口に対して認証されないままです。

回線は noise の対称状態遷移を使います。エンドツーエンドの層は、共通のトークン状態機械で互換性を保ちます。 標準ベクトルは、暗号と固定の一時鍵入力だけを差し替え、本番の状態遷移を検査します。 xchacha と gost は独自のアルゴリズム構成を使い、既存 noise との通信互換性や構成の形式的証明は主張しません。

最初の kk メッセージは再送可能で、応答側の静的鍵が漏れると偽造できます。 応答側は、開始側のフレームで最終鍵が確認されるまで、チェーン確立を処理せず、アプリケーションデータも送りません。 ヘッダーと開始リレーのアドレスは平文で見えます。

残る境界は制約に記載しています。計測表は元のリビジョンのままです。