System now enciphers and deciphers with verifiable correctness