Feature complete with all cryptographic proofs