#cryptography

リモートアテステーションは、遠隔にあるシステムの信頼性を検証するセキュリティ技術です。この技術により、ソフトウェアやハードウェアの状態が正規のものであることを確認し、改ざんや不正な変更が行われていないことを証明できます。クラウドコンピューティングやIoTセキュリティなどの分野で重要な役割を果たします。

本論文は、ネットワーク環境において秘密情報を安全かつ耐故障性をもって保存するための手法を提案する。分散システムにおけるノード障害や攻撃に対処しつつ、秘密情報の機密性と可用性を維持する方式について理論的枠組みと具体的なプロトコルを提示する。

Protonの暗号技術は、透明性（Transparent）やOPAQUEプロトコルの基準を満たしておらず、そのセキュリティ設計には根本的な問題があると指摘する批判的考察。同サービスの暗号方式は実際のところ透明性を欠き、OPAQUEにも準拠していないと論じている。

Zk.golfは、ZK回路の最適化を競う協力的なプラットフォームです。参加者は回路の制約数を削減する腕を競い合い、コミュニティ全体で効率的なゼロ知識証明の実装を促進します。この取り組みは、ZK技術の進化と実用性向上に貢献します。

パスワードハッシュアルゴリズムであるArgon2とBcryptを比較検証する。Argon2はメモリハードネスや並列処理耐性で優位性を持つが、使い方次第ではBcryptも十分に安全である。実装の複雑さや互換性も考慮した上で、適切なアルゴリズム選択の指針を提供する。

Teekitは、TEE（Trusted Execution Environment）を活用したエンドツーエンドで検証可能なスタックを提供するオープンソースプロジェクトです。このツールキットは、TEEベースのアプリケーションの開発と検証を簡素化し、セキュアな実行環境における透過性と信頼性を向上させることを目的としています。

NSAがmlkem（耐量子暗号アルゴリズム）の標準化プロセスを弱体化させようとしていると報じられている。標準化の妨害や特定の実装の制限を試みる動きがあり、暗号コミュニティから懸念の声が上がっている。

本記事では、MD5ハッシュ関数の既知の脆弱性、特にアバランシェ効果の欠如に焦点を当て、実際に衝突攻撃を試みた分析結果を紹介する。MD5の暗号学的弱点を理解することは、セキュリティ実践においてSHA-256などより安全な代替手段を選択する重要性を強調する。

Power House は、Rust と Python で構築された検証可能な計算アーティファクトのためのツールキットです。計算結果の正しさを暗号学的に証明する機能を提供し、信頼性の高い分散コンピューティング環境を実現します。

本論文は、ユーザーの身元を開示せずに年齢や属性を検証できるプライバシー保護技術を提案する。従来の年齢確認では氏名や住所などの個人情報の提示が必要だったが、提案手法ではゼロ知識証明などの暗号技術を活用し、必要な属性情報のみを検証可能にする。これにより、オンラインサービスにおけるプライバシーとコンプライアンスの両立が期待される。

本記事では、Meta（旧Facebook）が画像に付与する「安定した署名」としての特徴量に深刻な脆弱性があることを指摘する。特定の画像変換や編集によって署名が不変であるべきところ、簡単に変化させられてしまう問題を実証し、コンテンツ認証や出所追跡における信頼性に疑問を投げかけている。

暗号文を正しくフォーマットするための実践的なガイド。文字エンコーディング（Base64やHex）、区切り文字の選択、ラベルやメタデータの付加方法など、暗号文を安全かつ可読性高く扱うためのベストプラクティスを解説する。特に、異なるシステム間で暗号文をやり取りする際に発生しがちな互換性の問題を回避するための具体的な手法を紹介する。

Markovianは、AIエージェントの出力に対して鍵管理を必要としない、Bitcoinにアンカーされた来歴（プロビナンス）保証プロトコルです。出力の真正性と発信元を分散検証可能にすることで、AI生成コンテンツの信頼性を高めることを目的としています。

本論文は、耐量子暗号（PQC）の一つであるML-KEM（CRYSTALS-Kyber）の検証プロセスをハードウェア実装する際のサイドチャネル攻撃対策について論じる。鍵共有のセキュリティを保つために、電力解析やタイミング攻撃などの物理的攻撃から保護する回路設計手法を提案し、その有効性を評価する。

本RFCは、OpenPGPプロトコルに耐量子計算機暗号（ポスト量子暗号）を統合するための枠組みを定義している。現在の公開鍵暗号方式は量子コンピュータの脅威に直面しているため、OpenPGPの将来の安全性を確保するための移行戦略と新しいアルゴリズムの仕様について述べられている。

マイクロソフトリサーチが発表した「Vega」は、AI時代におけるデジタルアイデンティティ保護のためのゼロ知識証明技術です。ユーザーは個人情報を開示することなく、自分の身元や属性を検証できるようになります。この技術は、プライバシーを重視した安全な認証を実現し、AIが生成した偽情報やなりすまし被害の防止に貢献することが期待されています。

Trail of Bitsは、Python向けにポスト量子暗号（PQC）を実装したライブラリをリリースした。この取り組みは、量子コンピュータによる既存の暗号方式の脅威に備え、Pythonエコシステムで量子耐性のある暗号を利用可能にすることを目的としている。

本稿では、分散型ブロックチェーンシステムにおける「協調的トラスト」の概念を再定義し、従来の信頼モデルの限界を克服する新しいフレームワークを提案する。提案手法は、検証可能性を核心に据え、参加者間の協調関係を数学的にモデル化することで、より堅牢で透明性の高い分散システムの実現を目指す。

Basha256.sh は、Bash 3.2 のみで記述された sha256 ハッシュ関数の純粋実装です。外部依存関係や外部コマンドに頼らず、シェルスクリプトだけで sha256 の計算を可能にします。レガシーな環境や制約のあるシステムでのハッシュ検証に有用な軽量スクリプトです。

暗号学における「難読化（Obfuscation）」の概念を解説。プログラムの動作を完全に隠蔽しながらも正しく実行できる技術であり、暗号学の「ラスボス」とも呼ばれるその可能性と課題について、基礎から丁寧に紐解く前編。

This article explores obfuscation as a "holy grail" of cryptography, explaining how it enables hiding program logic while maintaining functionality, its theoretical foundations, practical applications in blockchain and smart contracts, and the current state of research in making obfuscation practical and secure.

ある人物が、AIを用いてECDSA（楕円曲線デジタル署名アルゴリズム）を解読するために設計された、最も優れた公開量子回路の1つを上回る成果を達成した。これは量子コンピューティングと暗号解読の分野における画期的な進展を示している。

ハッシュはデータの完全性を検証する便利な手段だが、そのデータが誰によって作成されたか、どこから来たのかを保証するものではない。本記事では、ハッシュの本質的な限界と、ソースの信頼性を確認するために必要な追加の認証手段について解説する。

アラン・マシソン・チューリング（1912-1954）は、英国の数学者、論理学者、暗号解読者であり、コンピュータ科学の父の一人と広く見なされている。彼はチューリングマシンの概念を導入し、現代のコンピューティングの理論的基盤を築いた。第二次世界大戦中は、エニグマ暗号の解読において極めて重要な役割を果たし、その功績は戦争終結に大きく貢献した。

サイファーパンク運動に関連する歴史的文書やエッセイ、マニフェストなどを集めたオンラインアーカイブ。暗号技術、プライバシー、デジタル権利に関する重要な一次資料を無料で公開しており、この分野の研究や理解に役立つリソースを提供している。

本記事では、Protonが採用する暗号プロトコルについて、同社が主張する「Transparent」や「OPAQUE」といった特性が実際には満たされていないことを指摘する。暗号学的な透明性やOPAQUEプロトコルの本来の要件とProtonの実装を比較し、その乖離を技術的に解説している。

ポスト量子暗号（PQC）証明書は、量子コンピュータによる攻撃に耐性のある暗号アルゴリズムを使用するデジタル証明書です。従来のRSAやECC暗号は、Shorのアルゴリズムを用いる強力な量子コンピュータで破られる可能性があります。PQC証明書は、格子ベース、ハッシュベース、符号ベース、多変数暗号などの方式に依存しており、古典的・量子的両方の攻撃者に対して安全とされています。

著名暗号学者ダニエル・J・バーンスタイン（djb）氏が、ポスト量子TLS（PQTLS）を弱体化させようとする動きについてライブ討論。次世代暗号規格のセキュリティと実装に影響を与える問題点を掘り下げる。

暗号化や乱数生成において、modulo（%）演算を使用して数値の範囲を制限する場合、生成される乱数の品質が低下する可能性があるかどうかを考察した議論。特に、元の乱数が一様分布であっても、modulo操作によってバイアスが生じるケース（例えば、範囲が割り切れない場合）について解説している。

アラン・チューリングが第二次世界大戦後、極秘に開発した音声暗号化装置「デリラ」の知られざる物語。エニグマ解読で知られるチューリングが、電話回線を通じて暗号化された音声をリアルタイムで送信する革新的なシステムを構築した。しかし、プロジェクトは完成目前で中止され、長く埋もれた歴史を持つ。