Livara 検証ラボ: 確認を、自分の手で。
ローカルの暗号化実演と APK のハッシュ比較
ブラウザで試せる五つの確認。Android ファイルを公開ダイジェストと比較し、鍵を生成し、メッセージを暗号化し、改ざんの拒否を試します。これらはローカルの実演であり、Livara の完全なプロトコルの監査でも、アプリの認証でもありません。
Current verification target: 0.9.2 (50) · livara-beta-android-0.9.2.apk
ラボの進み具合
0% の確認が完了
0 / 5 件の確認をこの端末で完了しました。
検証ツール 01 · ビルドの同一性
このファイルは 私たちが公開したもの?
この実験台は、選んだファイルの SHA-256 ダイジェストを、Android 向け Livara 0.2 (74) の公開ダイジェストと比較します。ファイルはアップロードせず、ローカルでハッシュを計算します。一致は参照値との整合性を確認するもので、独立したセキュリティ監査ではありません。
- ファイル
- livara-beta-android-0.9.2.apk
- サイズ
- 141.5 MiB
- 最低要件
- Android 7.0+ · ARM64
自分のツールがよいですか? このページも、信じる必要はないはずです。
sha256sum livara-beta-android-0.9.2.apkshasum -a 256 …certutil -hashfile … SHA256検証ツール 02 · 暗号化
メッセージが 読めなくなるところを。
ボタンを押すと、ブラウザで二つの識別情報を生成します。P-256 ECDH で、通信路には存在しない秘密を合意し、HKDF-SHA-256 で拡張して、AES-256-GCM で本文を暗号化します。返されるものが、中継サーバーが実際に持つ形式です。
検証ツール 03 · 識別情報
比べてみよう、鍵のフィンガープリント.
フィンガープリントは、公開鍵を表す短く読みやすい識別子です。1 年話してきた相手の鍵が突然変わったことに、気づくためのものです。何度か押してみてください。
検証ツール 04 · 静けさ
どれも サーバーに連絡していないか確認。
ブラウザはリソースのタイムラインに要求を記録します。このツールは、ページ読み込み後に記録された要求を数えます。包括的なネットワーク監査ではありません。ローカル動作を確かめるには、読み込み完了後に切断し、実演をもう一度試してください。
確認のあとに
このページで 証明できないこと。
すべてを決着させると主張する検証ページは、長い広告にすぎません。確認できたことの境界を、正確に示します。
- 選択した APK のバイト列が、このサイトの公開ダイジェストと一致すること
- ブラウザの実演が、自分の端末で表示どおりに動くこと
- 1 ビットの変更が、黙って受け入れられず拒否されること
- 生成した識別情報に、比較できるフィンガープリントがあること
- どの確認にも私たちのサーバーが不要だったこと
- サーバーがルーティングメタデータを保存しないこと — 配信と同期のために保存します
- 配信チャンネルがプライベートであること — 公開を前提に設計されています
- この実験台が LVR1/LGS1 全体を監査したり、アプリの安全性を認証したりすること
- 他人の手にあるロック解除済みスマートフォンが保護されること
- 将来のリリースが事前検証済みであること — ビルドごとにダイジェストを確認してください
| 対象 | 1 対 1 の個別チャット | 対応するプライベートグループ | チャンネル |
|---|---|---|---|
| メッセージ本文 | 耐量子エンドツーエンド暗号化(LVR1) | エンドツーエンド暗号化(LGS1) | 公開ブロードキャストチャンネル |
| 本文の編集 | 耐量子エンドツーエンド暗号化(LVR1) | エンドツーエンド暗号化(LGS1) | 公開ブロードキャストチャンネル |
| 写真、動画、ファイル、キャプション | 耐量子エンドツーエンド暗号化(LVR1) | エンドツーエンド暗号化(LGS1) | 公開ブロードキャストチャンネル |
| 誰と話したか | ルーティングメタデータのみ | ルーティングメタデータのみ | 公開ブロードキャストチャンネル |
| いつ話したか | 配信タイムスタンプのみ | 配信タイムスタンプのみ | 公開ブロードキャストチャンネル |
| 自分のパスワード | 端末を離れない | 端末を離れない | 端末を離れない |
| 自分の秘密鍵 | 暗号化せずにアップロードしない | 暗号化せずにアップロードしない | 暗号化せずにアップロードしない |
質問
みんなが 実際に聞く質問。
Livara APK が改ざんされていないか確認するには?
ここか自分のツールで、ダウンロードした APK の SHA-256 ダイジェストを計算し、公開ダイジェストとすべての文字を比較してください。異なる場合はインストールしないでください。一致はそのダイジェストとの整合性を確認するもので、ファイルとダイジェストの両方が置き換えられた場合、真正性は証明できません。
検証ラボは Livara のサーバーに何か送りますか?
実演はローカルで動き、選択した APK はアップロードされません。ページ自体は先に読み込む必要があります。読み込み後は切断して、もう一度実演を試せます。表示される要求カウンターは、包括的なネットワーク監査ではありません。
暗号化デモは本物の Livara の暗号化ですか?
Livara が使う基本要素である、本物の P-256 ECDH、HKDF-SHA-256、AES-256-GCM を動かしますが、完全な LVR1 や LGS1 プロトコルではありません。LVR1 には古典方式のダブルラチェットと ML-KEM-768 エポックラチェットもあります。LGS1 は LVR1 内で配布される署名付き送信者チェーンを使います。このラボで確かめるのは基本要素と改ざんの拒否であり、組み合わせ全体や外部監査ではありません。
暗号化メッセージの 1 バイトを変えたら?
AES-256-GCM の認証タグの検証に失敗し、受信側はメッセージを完全に拒否します。壊れたものや一部だけ復号したものは表示しません。下でメッセージを暗号化し、1 ビットを反転して、復号が拒否される様子を見てください。
インストールの順序
確認しましたか? それから インストールを。
ハッシュ比較は一つの確認であり、アプリの安全性の保証ではありません。公式の配布元から入手し、上に書いた限界も考慮してください。
0.9.2 (50) · 141.5 MiB · Android 7.0+