proofs.py some cleanup - Githubissues

dstebila / pygamehop

[work in progress] Python framework for supporting cryptographic game-hopping proofs

13 stars 0 forks source link

Closed mckaguem closed 3 years ago

mckaguem commented 3 years ago

I did some work on proofs.py, attempting to make it more readable and possibly easier to extend. Main points:

new class proofStep and subclass distingushingProofStep to encapsulate some of the code that was it check()
check() now cleaner, using some helper functions and the proofStep class
more lines! The file has successfully grown

mckaguem commented 3 years ago

I think that it is OK now. make test shows no errors on my end.