search

dstebila / pygamehop

[work in progress] Python framework for supporting cryptographic game-hopping proofs
13 stars 0 forks source link

Handle guessing games in proofs engine #10

Open dstebila opened 3 years ago

dstebila commented 3 years ago

Will want to re-do PKE from KEM using this. At the end will need to check that output is independent of input bit. Have to figure out how to handle proofs that mix guessing games and distinguishing games.