目標とロードマップ
約束ではなく計画です。日程と範囲は、計測の結果に合わせて変わります。
- 誰と誰が話しているかを隠す
- 何を話したかだけではありません。リレーのチェーン、固定サイズのセル、リレーの時計は、暗号化が残すメタデータを狙います。
- 数字で示す
- すべての保護は、それへの攻撃と、帯域と遅延で計測したコストとともに提供します。
- 鍵を手の届かない場所に
- 鍵素材はロックされたメモリに置かれ、使用後にゼロで消去され、ディスクには触れません。
- オープンであり続ける
- システム、攻撃、計測環境を agpl-3.0 で公開しているので、誰でもグラフを再現できます。
卒業研究
システムとその計測。
- 3つのリレーのチェーン、入れ子の層、固定サイズのセル
- 鍵はロックされたメモリに置き、ディスクには何も書かない
- 計測ツールとしての独自のトラフィック相関攻撃
- 標準は x25519 スイート、同じインターフェースの裏に gost スイート
- 次：クライアントによるリレー鍵の認証
アルファ版
手に取れるクライアント。
- 同じ go のコアの上に、モバイルとデスクトップのクライアント
- リレー鍵の認証付き配布
- チェーンの層の前方秘匿性
- このサイトのアプリ画面を本物にする
日本での研究
修士課程と、プロダクトのための研究。
- メタデータ保護に関するひとつの研究貢献
- 独立した運営者のリレーへの信頼の分散
- リレーの os の堅牢化、のちに機密コンピューティング
- セキュリティ分野の学会での発表
プロダクト
オープンコア、忘れるリレー。
- agpl のオープンコア、リレーは ram のみで動作
- クライアントから入口リレーまでの差し替え可能なトランスポート
- 鍵を固定した現代的な回線ハンドシェイク、固定サイズのフレームは維持
- 公開ベータ、その後に凍結版の独立監査