2026/10/22 22:33

eMudhra、グローバルSSL/TLS証明書事業から撤退

RSS: https://news.ycombinator.com/rss

要約▶

Japanese Translation:

eMudhra社は2026年10月22日に、同社の取締役会がグローバルSSL/TLS証明書ビジネスを自主的に撤退することを決定したことを発表した。議長であるV．Srinivasan氏は、最近の出来事について、影響を受けた認証局（CA）は発見から14時間以内に取消しを行い、かつ迅速に開示されたこと、影響を受けたCAが発行したエンド・エンティティ証明書は存在せず、インフラストラクチャの侵害もなければデータ漏洩もなかったこと、すべてのセキュリティ制御が維持されていることを述べた。グローバルSSL/TLSセグメントはeMudhra社の世界全体での収益の約1%に寄与しており、複雑さ、コスト、および増加するデータ主権要件によってビジネスの可能性と投資対効果が低下している。取締役会は、このセグメントの規模に対して不釣り合いなソーシャルメディアからの監視があるため、撤退することが正しい決定であると結論付けた。

これより先、eMudhra社はSSL/TLS以外のコアエンタープライズソリューションおよび信頼サービスに注力し、顧客への最大限の価値創造を目指す。SSL/TLSインフラストラクチャは別々に動作しているため、コア業務には影響がない。グローバルデジタル署名証明書（DSC）、eSign、emCA、CertiNext、emSigner、SecurePass、およびemASは通常通り継続する。G1 RSAルートは移行が完了するまで引き続き顧客にサービスを提供し、ブラウザプログラムおよび顧客と連携する。影響を受けた顧客には、移行期間中にパートナーを通じて無料ですべての証明書を置き換えるよう連絡が行われる。取消しおよび証明書ステータスサービスは、発行されたすべての証明書が期限切れになったか置換されるまでの間、稼働を継続する。eMudhra社はブラウザルートプログラムに対する残りのコミットメントを果たすものとして、この出来事に関する完全な原因報告書を交付する予定である。同社は17年以上の専門知識に基づき、CertiNext、SecurePass、およびPrivaTrust製品スイートを通じて、35以上の国におけるBFSI、エンタープライズ、および政府を支援している。

本文

eMudhra、SSL/TLS サーティフィケート事業から撤退しコア業務へ集約

インド・ベンガルール、2026 年 10 月 22 日――グローバルなデジタルトラスト企業である eMudhra Limited（BSE: 543533｜NSE: EMUDHRA）は本日、取締役会で自発的に世界の SSL/TLS サーティフィケート事業から撤退することを決定したと発表した。

背景：事業見直しの理由

eMudhra の会長である V. スリニワサン氏は、直近のグローバル SSL/TLS 関連事案を取り扱いながら、以下の点を確認したことを明かした。

影響範囲: エンドエンティティーサーティフィケートの発行は行われていない。
セキュリティ状況: インフラへの侵害やデータ漏洩は発生していない。物理的・論理的なセキュリティ制御はすべて有効に機能している。

撤退判断に至る要因

収益性が低下している
- SSL/TLS 事業は世界全体の収益の約 1％に過ぎない。
- データ主権やコンプライアンス要件の強化によりコスト増大。
- 大手企業による SSL/TLS の無償発行により、投資対効果（ROI）が大幅に低下。
社会的な監視と不釣り合い
- ソーシャルメディア上の言及拡大により、事業規模に見合わない厳しい監視が続いている。
- SSL/TLS はコアポートフォリオの一部であり、これに集中すると他の高価値領域がおろそかになる恐れがある。

今後の戦略方向

取締役会は、株主にとって最良の決断であると結論付けた。エネルギーを以下のような分野へ再配分する。

コアエンタープライズソリューション
信頼サービスへの焦点を明確化すること

カスタマーケアと移行体制

eMudhra は円滑な移行を確保するために以下の措置を取る。

G1 RSA ルートの継続支援: 移行完了までブラウザプログラムおよび顧客に対し、G1 RSA ルートを継続して提供する。
無償の代替切り替え: パートナーを通じて、影響を受けた顧客に対して代替サーティフィケートへの無償切り替えを開始する。
サービス継続: 停止命令および証明書状態照会サービスは、有効期限切れまたは代替完了まで稼働を継続する。
コミットメント完了: ブラウザルートプログラムに関する残存コミットメント（完全な原因分析報告書含む）を完了させる。

コア事業への影響はなし

SSL/TLS インフラストラクチャは他事業と完全に分離して運用されているため、以下のコア事業には一切影響がない。通常通りの運営が確認された。

グローバルデジタル署名サーティフィケート（DSC）
eSignおよびその他の署名サービス（インド国内含む）
エンタープライズ PKI ソリューション（emCA、CertiNext プラットフォーム）
emSigner エレクトロニック署名スイート
アイデンティティおよび認証ソリューション（SecurePass、emAS）

企業概要：eMudhra

17 年以上にわたる専門知見を持つ同社は、以下の領域で世界中の 35 カ国以上の銀行・金融機関（BFSI）、エンタープライズ、政府機関に対し、安全なデジタルトランスフォーメーションを実現している。

主要製品ポートフォリオ
- CertiNext: PKI とサーティフィケートライフサイクル管理
- SecurePass: アイデンティティおよびアクセスクエストメント、多要素認証、統合型アイデンティティ
- PrivaTrust: グローバルなデータプライバシーコンプライアンス対応（DSAR）、データディスカバリーおよび同意管理

これらのソリューションにより、人口規模に応じた高水準のデジタルトラストを提供している。

同じ日のほかのニュース

一覧に戻る →

2026/10/23 8:45

Docker は変だ

## Japanese Translation: 本文は、主に Linux コンテナが特定のコア機能を利用して孤立化されたプロセスであり、仮想マシンとは異なること、また Docker がイメージをフォルダとして管理することを明確にしています。完全な仮想化と異なり、コンテナは隔離にはネームスペースを用い、リソース管理には cgroups を用いて、管理されたディレクトリ内でバイナリを直接実行します。重要な技術的詳細として、Go で記述される `runc` ランタイムがあり、これは初期システムコールの処理に C モジュールを使用して Linux カーネルとインターフェースする必要があります。Go は `fork` などの特定の機能へのネイティブサポートを持っていないため、不足している振る舞いを近似させるために `/proc/self/exe` などのワークアラウンドが必要です。さらに、標準的な Linux カーネル API は通常ルートの権限を必要とするため、Docker デモンはデフォルトで昇権限（elevated permissions）で動作します。これを解決するためには、ルートレスコンテナランタイムは、通常ルートベースのセットアップが提供する機能を複製するために、ユーザースペースのネットワーキングスタックを再構築する必要があります。結局のところ、これらのアーキテクチャ的な制約を理解することは、安全なルートレス環境を管理するユーザーにとって不可欠であり、不要な権限昇格を避けながらシステム安定性を維持する互換性のあるインフラを設計する企業にとっても重要です。

2026/10/23 7:54

LLM が大規模な正式なソフトウェア検証の実現を可能にしています

## Japanese Translation: 研究者は、大規模言語モデル（LLM）の Claude を用いて、100 以上のオープンソースソフトウェアライブラリに対して前例のない規模での形式的検証を実行し、歴史的なマイルストーンを達成しました。Theorem との協力により、プロダクション向けソフトウェアに対する初の大規模 AI 主導の形式的検証として、アセンブリ（RISC-V）レベルで実装されたコードが検証されました。その結果、64 MB 未満の入力に対して、123 のライブラリの実行可能アーティファクトがメモリ安全性エラーやフェイルするアサートなしに正常終了することが証明されました。この達成には、Claude が Rocq コードを約 1.8 億行生成し、239 のエントリポイントを対象にクラッシュしない仕様を証明するとともに、従来のフォージングで検出されなかった深刻なバグを特定・修正する作業が行われたことが寄与しました。具体的には、カウンタのアンダーフローや境界外読み取りといった複雑な問題を含むものが含まれます。検証の対象は Linux でコンパイルされた RISC-V 命令であり、ユーザーが信頼しなくてもよいのは既知のハードウェア/ソフトウェアの数学モデル、定理ステートメント自体、および Rocq の証明チェッカーのみです。基本的安全性を超えて、このアプローチはデータ圧縮の精度やアルゴリズムの正しさ（例：red-black トリーの再平衡）といった高位のプロパティも検証しました。チームは共有作業空間戦略を採用し、証明の再利用によりトークン使用量を 17%削減するものであり、Mathlib のような数学ライブラリの成長に類似しています。形式的に検証済みであっても、形式仕様が実態と異なったり機械モデルが現実と異なる場合（例：x86/ARM システム上）には、完全なバグの不在を保証しないことに留意する必要があります。本プロジェクトでは公衆の検討のために一部の証明をリリースしており、AI 支援による検証をソフトウェア開発ワークフローでの標準へと導く道筋を用意しています。

2026/10/22 23:32

Quad9（DNS レゾルバー）がフランスから退出します

## Japanese 訳： 2026 年 11 月 24 日より、Quad9 はフランスのユーザーに対して、無料のサイバープロテクトおよび一般的なサービスを提供を永久に停止いたします。この決断は、beIN が提起した重大な訴訟において Quad9 に不利となるフランス裁判所の判断を受けたものです。beIN は、特定のドメイン名の再帰的 DNS 解決をブロックすることが、視聴覚的な権利を保護するために必要であると主張しました。裁判所は、違反が完了するまで（11 月 14 日）の金融ペナルティを約 580,000 �ーロから毎日上記 1,000 ユーロに減額しましたが、Quad9 は再帰的 DNS 解決が中立かつ受動的なサービスであり、応答を変更することはそのミッションであるプライバシー、セキュリティ、そしてインテグリティに違反するとする理由をもってこれに従うことができないと述べています。さらに、Quad9 の無料サービスには登録や身元証明は不要であり、ユーザーと管轄区域を関連付けるデータベースを持たないため、geoIP ベースの管轄区域マッピングは技術的に不可能です。フランス裁判所の要求を満たすためにグローバルなブロックを実施することは、French の法律を全世界のユーザーに適用することを意味し、Quad9 にとって許容されない越境的な先例となります。以前にも地理的な IP ブロックの実施を試みた際（例：2021 年から 2023 年にかけてドイツ）、原告が VPN を介してブロックを回避したために裁判所に対する軽蔑罪として罰金が科されるなどしました。Quad9 に対して数百のドメイン名のブロックを求めて進行中の訴訟が約 20 件あり、累積的な法的リスクは大きいです。上訴は進行中ですが、Quad9 は予定通り撤退を進めることにします。この動きにより、国家機関（例：DINUM, EDF, SNCF）、研究ネットワーク（RENATER）、大学、医療提供者、および民間企業を含む何百万人ものフランスのユーザーが、サイバー脅威からほぼ 9 年間も重要な保護を失うことになります。Quad9 は、将来、監督なしで民間企業が DNS コンテンツフィルタリングを自動化することを可能にする法律に対して警告を発し、市民に対し、日常のドメイン名lookup が刑事犯罪ではないことを明確化することを目指しています。