jurupapa https://blog.hatena.ne.jp/jurupapa/ Maxima で綴る数学の旅 https://maxima.hatenablog.jp/ セキュリティ 数学 安永先生の本「暗号理論入門」では第３章で計算量的な安全性を導入します。 ここからは勉強したことのメモとLean4による定義および定理を述べますが、理論の背景は述べません。ぜひ安永先生の本で勉強してください。またLean4による証明も記載しませんが、Githubには公開するので参考にしてみてください。 第３章冒頭では完全識別不可能性をベースに計算量的識別不可能性を定義します。攻撃者Aの使える計算量をtに縛るとともに、確率の一致の代わりに確率の差分が一定の精度εに収まってしまうことで計算量的識別不可能性を定義します。 ただこの定義だと任意のm0, m1 について暗号文の確率分布が一定精度でしか識別… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmaxima.hatenablog.jp%2Fentry%2F2026%2F04%2F16%2F183000" title="計算量的識別不可能性と意味的安全性 - Maxima で綴る数学の旅" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/j/jurupapa/20260329/20260329132010.jpg Hatena Blog https://hatena.blog 2026-04-16 18:30:00 rich https://maxima.hatenablog.jp/entry/2026/04/16/183000 1.0 100%