Livaraプライベートメッセンジャー、ホーム
日本語 ▾

Livara 検証ラボ: 確認を、自分の手で。

ローカルの暗号化実演と APK のハッシュ比較

ブラウザで試せる五つの確認。Android ファイルを公開ダイジェストと比較し、鍵を生成し、メッセージを暗号化し、改ざんの拒否を試します。これらはローカルの実演であり、Livara の完全なプロトコルの監査でも、アプリの認証でもありません。

Current verification target: 0.9.2 (50) · livara-beta-android-0.9.2.apk

ラボの進み具合

0% の確認が完了

0 / 5 件の確認をこの端末で完了しました。

APK は公開ダイジェストと一致自分のファイルを自分のブラウザでハッシュ化し、下の値と比較します。
提供されている暗号の基本要素が、実際に暗号文を生成する本物の P-256、HKDF、AES-GCM をローカルで実行します。LVR1/LGS1 全体の組み合わせは、この実験台の対象外です。
改ざんされたメッセージは、黙って受け入れず拒否する暗号文の 1 ビットを反転させ、認証で拒否される様子を確認します。
鍵を互いに区別できる識別情報を生成し、フィンガープリントを比較します。少数のサンプルは手順を示すもので、衝突が不可能だと証明するものではありません。
どれも私たちのサーバーを必要としなかったこのページのすべてはオフラインで動きます。接続を切って、もう一度試してください。

検証ツール 01 · ビルドの同一性

このファイルは 私たちが公開したもの?

この実験台は、選んだファイルの SHA-256 ダイジェストを、Android 向け Livara 0.2 (74) の公開ダイジェストと比較します。ファイルはアップロードせず、ローカルでハッシュを計算します。一致は参照値との整合性を確認するもので、独立したセキュリティ監査ではありません。

sha256.local何もアップロードしません
自分のファイルのダイジェスト
ファイルを待っています。
published.digest0.2 (74)
このビルドについて公開した SHA-256
CB786010 069CF257 186AD743 55BDC0EA 6DE1CF15 6BD0712B A8827C40 D1442E91
生の .sha256 ファイル
ファイル
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 で本文を暗号化します。返されるものが、中継サーバーが実際に持つ形式です。

handshake.liveP-256 · HKDF · AES-256-GCM
公開鍵のフィンガープリント
まだ生成されていません。
relay.storageサーバーが保持するもの
暗号文
「暗号化する」を押すと、中継サーバーに見える唯一の文章の形がここに入ります。
受信側の出力
まだ何も開いていません。

率直な脚注。 この実験台は P-256、HKDF、AES-GCM を実行しますが、Livara の完全なプロトコルではありません。LVR1 はメッセージチェーンと別の ML-KEM-768 エポックルートも使います。LGS1 は署名付きのグループ送信者チェーンを加えます。これらの実演はプロトコル監査ではありません。

検証ツール 03 · 識別情報

比べてみよう、鍵のフィンガープリント.

フィンガープリントは、公開鍵を表す短く読みやすい識別子です。1 年話してきた相手の鍵が突然変わったことに、気づくためのものです。何度か押してみてください。

identity.generateP-256 · SHA-256
何度か押してみる

検証ツール 04 · 静けさ

どれも サーバーに連絡していないか確認。

ブラウザはリソースのタイムラインに要求を記録します。このツールは、ページ読み込み後に記録された要求を数えます。包括的なネットワーク監査ではありません。ローカル動作を確かめるには、読み込み完了後に切断し、実演をもう一度試してください。

network.auditブラウザのリソースタイムライン
ページ読み込み後に記録されたリソース要求
0

確認のあとに

このページで 証明できないこと。

すべてを決着させると主張する検証ページは、長い広告にすぎません。確認できたことの境界を、正確に示します。

確認できたこと
  • 選択した APK のバイト列が、このサイトの公開ダイジェストと一致すること
  • ブラウザの実演が、自分の端末で表示どおりに動くこと
  • 1 ビットの変更が、黙って受け入れられず拒否されること
  • 生成した識別情報に、比較できるフィンガープリントがあること
  • どの確認にも私たちのサーバーが不要だったこと
確認できていないこと
  • サーバーがルーティングメタデータを保存しないこと — 配信と同期のために保存します
  • 配信チャンネルがプライベートであること — 公開を前提に設計されています
  • この実験台が LVR1/LGS1 全体を監査したり、アプリの安全性を認証したりすること
  • 他人の手にあるロック解除済みスマートフォンが保護されること
  • 将来のリリースが事前検証済みであること — ビルドごとにダイジェストを確認してください
メッセージ配信中に Livara サーバーが読めるものと読めないもの
対象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+