Two (equivalent) definitions of computational indistinguishability, two (isomorphic) ways of doing h

It wasn’t until recently did I realise there are two isomorphic ways (different styles) of writing hybrid proofs. They actually correspond to the two equivalent definitions of computational indistinguishability — one based on guessing and the other based on distinguishing. Actually, I’ve been writing both kinds of proofs subconciously.

文章来源:

Author:Gee Law’s Blog
link:https://geelaw.blog/entries/compind-hyb-nuances/?utm_source=feed&utm_medium=rss