Follow

ワンタイムパッドを使った暗号の安全性は証明されている…があまり実用的でない上、使う乱数が本当に乱数かの証明の問題がでてくるんだろうな。

計算量的な安全性の証明はP=NP?に引っかかって絶対的な証明はできていない。

色々仮定を置いてなら、なんらかの証明を与えるのが暗号を提案するときにはもはや普通。

共通鍵暗号はそうでもないか。

@yoriyuki Sarahの暗号とかCAB暗号とかの話を読んだのですが、「この暗号を破るにはDHPを解かなければならない、よって安全!」とか謳われてたものが、実は巧妙に式変形するとDHPを迂回して復号出来たりとか、1回では安全だけど100回分の暗号文を集めると頻度攻撃出来ましたとか、攻撃の手法って無数にあるので、無理なんじゃないかなーと。

@kuboon その問題が解けると、DHPも解ける、みたいなことを証明するのがもはや普通になっていると思います。

攻撃が無数にあると言うより、安全性の概念が無数にあり得るので、ある安全概念で安全と言えても実用上は安心できない、ということはあると思います。

Sign in to participate in the conversation
Mathtodon

■ Post mathematical formulae on Mathtodon. / 数式が書けるSNS、ついに登場。 This is a Mastodon instance named Mathtodon, where you can post toots with mathematical formulae in TeX/LaTeX style. Let's enjoy mathematical talks, mathematical discussions, and mathematical jokes in Mathtodon! Please join us! 数式が書けるMastodon、その名もMathtodonです! (˃̵ᴗ˂̵ ζ) 数式は TeX, LaTeX 形式です。数学の情報発信や数学の議論や数学ギャグの投稿など、様々に楽しみましょう〜! ■ Donation / ご寄付について Thankfully I'm getting many inquiries about donation. Although I of course spend some amount of my pocket money such as server fee and domain fee, I think that using your brains to create a gentle world of mathematics is very valuable and is the best donation. If you still want to make a donation, please use here 1AhmL4t7aqgQzs4ZG1PPcS2uY8Bz39DRQv (Bitcoin). ありがたくも「寄付はどうすればいい?」というお言葉を数多くいただいています。 もちろんサーバ代・ドメイン代などポケット予算より費やしておりますが、今はそれよりも「数学が好きな人の集まる優しい世界」を構築することに、皆様の頭脳と貴重な時間とほんの少しずつ分けていただければそれが最高の donation だと思います。(←決まった!) それでもなお donation をお考えという奇特な方は、 1AhmL4t7aqgQzs4ZG1PPcS2uY8Bz39DRQv (Bitcoin) か、あるいはAmazonの謎のリンクをご覧ください。