A Foundational Proof Cryptography Framework for Cryptographygithub.com/adampetcher1 pointkushti10 years ago