try to fix bug in decryption proof