目標とロードマップ
約束ではなく計画です。日程と範囲は、計測の結果に合わせて変わります。
- 誰と誰が話しているかを隠す
- 何を話したかだけではありません。リレーのチェーン、固定サイズのセル、リレーの時計は、暗号化が残すメタデータを狙います。
- 保護の価値を計測する
- すべての保護に、それへの攻撃と帯域や遅延で測ったコストを添えることが目標です。基本的な攻撃ひとつによるフローの結び付けでは実施済みです。クライアントのセル鍵の協調的な系列は完了し、記述的な結果を示します。受動的な攻撃の計測を置き換えません。過去の c25519 タイミング透かし系列は f0f1885 で計測し、正しい指定と応答性を合わせて評価しました。外部からの鍵の取得、記録した通信の復号、リレーの侵害、コンテナの計測は未計測です。残るリレー観測の全計測は v0.4.0 に必須ですが、設計中で未実装です。
- 鍵を手の届かない場所に
- 鍵のバッファはロックされたメモリに置かれ、使用後にゼロで消去されます。リレー自身はディスクに何も書きません。クライアントのコンテナにも鍵素材はありませんが、そのファイルとボリュームのパスワードがあれば、身元の鍵と取り出し権限を再現できます。暗号ライブラリがヒープに持つコピーはロックされず、スワップに書き出される可能性があります。プロセスのメモリ全体のロックは計画中です。
- オープンであり続ける
- システム、攻撃、計測環境を agpl-3.0 で公開しているので、誰でもグラフを再現できます。
卒業研究
システムとその計測。
- 3つのリレーのチェーン、入れ子の層、固定サイズのセル
- 鍵のバッファはロックされたメモリに置き、リレー自身はディスクに何も書かない
- 計測ツールとしての独自のトラフィック相関攻撃
- 標準は x25519 スイート、同じインターフェースの裏に gost スイート
- リレーの認証：署名付きディスクリプタを、クライアントが認証局のアンカーで検証
- リレー間の回線の認証：リレーは自分のロスターにあるリレーにだけチェーンを延ばし、クライアントはチェーンのバンドルを入口のリレーだけから受け取る
- チェーンの層の前方秘匿性：リレーはオニオン鍵をタイマーで取り替え、古い鍵を解放する。保存されたチェーン確立のセルを開けるのは、その鍵が生きているあいだだけ
- 3つより多いリレーの一覧：クライアントは入口と残りのチェーンを、自分の一覧にあるリレーから無作為に選ぶ。計測環境のリレーは5つ
- クライアント間のエンドツーエンドの層：同じ暗号インターフェースの上の kk ハンドシェイクとハッシュラチェット、両方のスイートで
- 出口のメールボックス：自分では読めないレコードだけをメモリに保持し、計測環境では2つのクライアントがそれを通してやり取りする
- クライアント間のオフラインの否認可能な認証：本番のセッションのコードで会話を偽造して示す
- 一定サイズで1つまたは2つのボリュームを持ち、一度だけ書き込むクライアントのコンテナ：ファイルに鍵はないが、ファイルとボリュームのパスワードから身元の鍵と取り出し権限を再現できる
- 過去の c25519 タイミング透かし系列を計測済み。能動/sham 対照、誤指定、元のチェーンの応答性を明記
- 書き出した Object ペイロード内のクライアントのセル鍵3つを調べる協調的な実験：動作中と後片付け後に none と all を比較し、定めた系列を計測済み
- 次：残るリレー観測の全計測は v0.4.0 に必須で設計中。身元をコンテナに保つ -peer クライアント、ボリュームが1つか2つかを見分ける識別器、メールボックスを通る経路の計測。外部からの取得、ディスク/スワップ/履歴、記録した通信の復号は未計測で v0.4.0 より後に延期
アルファ版
手に取れるクライアント。
- 同じ go のコアの上に、モバイルとデスクトップのクライアント
- このサイトのアプリ画面を本物にする
日本での研究
修士課程と、プロダクトのための研究。
- メタデータ保護に関するひとつの研究貢献
- 独立した運営者のリレーへの信頼の分散
- リレーの os の堅牢化、のちに機密コンピューティング
- セキュリティ分野の学会での発表
プロダクト
オープンコア、忘れるリレー。
- agpl のオープンコア、リレーは ram のみで動作
- クライアントから入口リレーまでの差し替え可能なトランスポート
- 鍵を固定した現代的な回線ハンドシェイク、固定サイズのフレームは維持
- 公開ベータ、その後に凍結版の独立監査