Without access to login to their server and look at the running code anytime you like, you still don't have any "proofs" of the encryption/deletion -- regardles

Without access to login to their server and look at the running code anytime you like, you still don't have any "proofs" of the encryption/deletion -- regardless of whether the code is open source or not.