Rosenpass – 正式に検証されたサブミット量子 WireGuard

プロトコルの安全性評価 プロベリフの活用

はじめに

まず、 設定ローゼンパスまで。 次に、rp の特典機能を試してください。 & ローゼンパス:

練習 クイックスタート手順 VPN を起動して動作させるための手順 ツールのアーキテクチャ

rosenpass ツール は Rust で書かれ、 liboqs を排出します 1

および libsodium2. ツールは対称キーを確立し、それを WireGuard に渡します。 PSK の目的を介して WireGuard にキーを与えるため、Rosenpass+WireGuard の使用は、プライベートでの WireGuard の使用 (「ハイブリッド セキュリティ」) と同様に、暗号学的にコツをつかむことができます。 Rosenpass は 2 分ごとに対称キーを更新します。コード実行) が存在します。 Rosenpass アプリケーションは Rust プログラミング言語で書かれているため、このようなコンポーネントの影響はほとんどありません。 Rosenpass は、WireGuard にキーを提供する代わりに、recordsdata にキーを書き込むこともできます。スクリプトを少し記述するだけで、実装のスタンドバイ モードは、コンテナ、VM、または別のホストでの適用を突進する可能性があります。 さらに、このモードでは、WireGuard ではなくツールと Rosenpass が混在する可能性があります。

The rp bashで書かれたツールを使えば簡単にVPN は WireGuard と Rosenpass の利用。

rp は簡単で開きますが、2 つの欠点があります。 それは root として実行され、WireGuard と Rosenpass の両方の非公開鍵への迷惑な catch エントリであり、インターフェイスの監視を支援し、正確に 1 つのインターフェイスで動作します。 Rosenpass を root として操作することに自信がないことを証明する必要があります。おそらく、コンテナ、jail、またはデジタル マシンの使用に関するセットアップのコツをつかむために、スタンバイ モードの排気をミュートすることもあるでしょう。 ネットワークとポート

rp の割り当て2 つの UDP ポート。 ポート N が rosenpass に指定されている場合、これは単に WireGuard にポート N+1 を割り当てる可能性があります。

WireGuard を崇拝します。購入者とサーバー間の分離を強化します。 ヒア 確率的に、Rosenpass と WireGuard がランダムなポートに引っかかります。 ここが

クライアントモード。 endpoint を指定しないようにする必要があります。 、Rosenpass は behold に参加しようとせず、ピアからの接続の代替ウォッチとしても使用しません。 ここがサーバーモード。 おそらく、両方を指定することもできます。 両方を省略することは禁じられていませんが、さらにはあまり役に立ちません. セキュリティ評価

セキュリティの暗号証明に取り組んでいます。しかし、私たちはすでに整理装置の一部としてプロベリフの利用を象徴的な評価を提供しています. 依存関係のインストールを処理する nix 機器マネージャーを使用して、保護評価を突進できる可能性があります。それ以外の場合は、おそらく ./analyze.sh スクリプトを一瞬で。 この場合、おそらくあなたはおそらくまた、それを確実に達成することができるでしょうproverif, graphviz 、および cpp はあなたのマシンにインストールされています。 (nix) $ nix create .#proof-proverif –print-create-logs (マニュアル) $ ./analyze.sh

好評のアレンジエンジニアリングと歩調を合わせて評価が適用されます提案: C プリプロセッサを使用して、評価を複数のレコードデータに分割する準備が整い、反復を避けるためにいくつかのメタプログラミングを使い果たします。 コードは、マネキンへの秘密関数の使用が/悪意のある設定に依存していたため、評価を進めるためのさまざまな最適化を使い果たしました。 マネキンを、並行して分析される可能性が高い 2 つの別個のエントリ アスペクトに分割します。 どちらも、両方のデバイスを組み合わせた場合よりもはるかに高速です。 ラッパー スクリプトは、どのクエリが期待どおりにアタッチされているかについての迅速なフィードバックを色で提供します: 問い合わせが失敗した場合は深紅色の恐れがあり、失敗した場合は経験の浅い人が見てみましょう.

Rosenpass は、さらに多くのディストリビューション用にパッケージ化されていますが、おそらくあなたの確率のディストリビューション用にさらに多くなっていますか?

経由で資金提供) NLNet と欧州金利の財政支援 NGI保証プログラム.

https://openquantumsafe.org/liboqs/ ↩

https://doc.libsodium.org/↩

𝚆𝚊𝚝𝚌𝚑 𝙽𝙾𝚆 📺