通过计数器模式证明解密是正确的

Question

作为评论问题，我必须证明计数器模式的解密过程是正确的。你是如何证明的？没有提供其他信息。

Encryption: Cj = E(K, Counter + j -1) ⊕ Pj 
Decryption: Pj = E(K, Counter + j -1) ⊕ Cj

Answer 1

Pj = E(K, Counter + j -1) ⊕ Cj

替换Cj = E（K，计数器+ j -1）⊕Pj

Cj = E(K, Counter + j -1) ⊕ E(K, Counter + j -1) ⊕ Pj 

由于x⊕x= 0（加密计数器自身被xored）并且0⊕x= x

Pj = 0 ⊕ Pj 
Pj = Pj

QED