Feature complete with all cryptographic proofs

Feature complete with all cryptographic proofs