LINKA · SHELL

Linka · ここにいられる場所

更新日 ·

ローカル候補版 · 公開のお知らせではありません

家と広場

LinkaはRaphael M. Francoが開発する、ブラジル発の独立したソーシャル・エコシステムです。現在はクローズドベータです。広場は話題を、サークルは親しさと許可を整理します。投稿、カルーセル、会話、通話、ラジオ、共に過ごす機能が一つの場所にあります。広告を事業モデルとしていません。連合型ネットワークではなく、インフラはLinkaが運営しています。

Ghost、Shell、Gabriel

Ghostは、アイデンティティ、意思、記憶、関係の主体としての人を指します。Shellはその主体性を守るための権限アーキテクチャと技術的な憲章です。Gabrielはリポジトリ、継続的インテグレーション、起動時に、権利と仕組みとテストを結び付けます。会話を読むことはなく、独立した監査人でもありません。規則を文書にしただけでは、製品全体での実施は証明できません。

STCC:継続性を大切にする

Shell Transcendent Cryptography Chainは、本人性、端末の承認、暗号状態、継続性を組み合わせたLinka独自の構成名です。v5はLinkaのプロトコルの版であり、Signalの第5版ではありません。AndroidではX25519とML-KEM-768でハイブリッドなセッションを確立します。Double RatchetとSPQRを並行して進め、KDFで寄与を結合してAES-256-GCMに用います。Rustプロバイダーの状態は、Android Keystoreのエクスポート不可の鍵で保護されます。

サーバーは暗号化されたエンベロープを運び、公開バンドル、受領記録、チェックポイントを保存します。永続化、冪等な再試行、追記専用witness、チェックポイントのgossipによって、対象シナリオで継続性の喪失、ロールバック、矛盾した履歴の検出を目指します。WebSocketはイベントを運ぶもので、状態機械の代わりではなく、それだけで配達や復号を保証しません。本番のwitnessはPython/PostgreSQLの運営主体に属し、独立機関ではありません。

ログインと鍵の復元は別です

ログインセッション、端末承認、暗号上の権限は別々の状態です。ローカル候補版では、APK 137でR8が改名していたJNIコールバックを保持します。隔離テストでプロセス終了後の失敗を再現し、データを消さずに更新した後は、本人性を保持した再起動を含めて通過しました。すべてのテスターの実際の会話を証明したわけではありません。この欠陥を隠すためのデータ削除や再インストールは、適切な復旧手順ではありません。

新しいパスワードは15文字以上で、文章、空白、Unicodeが使えます。強度の表示は推定です。任意のパスキーはチャレンジを検証し、Linkaは指紋を受信・保存しません。アカウントの復旧で、失われたメッセージ鍵が自動的に再生成されるわけではありません。

データの流れごとに境界があります

保護されたチャットのメディアはアップロード前に暗号化されます。公開投稿のメディアは別経路で、メディアサービスが変換する場合があります。通話は認証されたネゴシエーションを伴うWebRTCとDTLS-SRTPを使い、通話メディアを耐量子暗号と称してはいません。ネイティブ通知のプレビューは補助的な従来型P-256/HKDF/AESチャネルを使います。通知が読めても、チャットが同じv5エンベロープを開けた証明にはなりません。

翻訳は端末上で復号後に行います。人同士のチャットはDAMAに自動送信されません。AIセッション用に選んだ内容は外部事業者が処理する場合があり、その推論中はE2EEではありません。PostgreSQLが永続データの正本で、Redis/Valkeyはイベントと在席状態を調整します。これらは異なる境界です。

次の一式、まだ配信完了ではありません

候補版にはネイティブv5の再開、パスワード案内、ライト/自動テーマ、書体とフレーム、招待リンク、メッセージへの返信、セーフエリア、ラジオ、合成音声のサウンド署名が含まれます。Ghostモードは、閲覧側端末での表示許可と、露出前の画面取得ブロックの実証がまだ必要です。ローカル変更をストア配信済みとは扱いません。確認した版、日付、証拠は公開の事実記録にあります。

約束できる範囲

SignalやiMessageとの運用上の同等性、独立した暗号監査、能動的な量子攻撃者に耐える認証、ブラウザーでのネイティブv5は主張していません。サーバーにはなおメタデータが見えます。画面取得の制限はクライアントとOSに依存し、外部カメラ、侵害端末、取得済みのコピーを防げません。単体的な隔離テスト、範囲を限定した統合検証、実環境のエンドツーエンド検証は別の証拠水準です。テスト数でその違いは消えません。