[HW2] Does CBC.dec should remove padding?

[Engineer-HaMa]

Your Name

하승종

Question

한국어 질문

CBC.mli 에 명시된 dec의 타입은 다음과 같습니다.

val dec : Block.t -> Block.t -> string -> Block.t list

과제 문서에선 CBC decryption의 동작을 다음과 같이 설명하고 있습니다

Decryption
Given a key, IV, and ciphertext, function dec will decrypt it with a CBC mode. Students should decrypt the ciphertext and
remove the padding.

하지만 패딩을 제거하게 되면 패딩의 크기에 따라 마지막 block이 16bit 가 아니게 되고 dec 함수의 리턴 타입이 문서에서 명시한 Block.t list 가 되지 않는 상황이 발생하는데, dec 함수에서 패딩을 제거해야 하는 것인지, 아니면 제거하지 말아야 하는 것인지 궁금합니다.

English Translation

The type of dec specified in CBC.mli is as follows:

val dec : Block.t -> Block.t -> string -> Block.t list

The assignment document describes the CBC decryption process as follows:

Decryption
Given a key, IV, and ciphertext, function dec will decrypt it with a CBC mode. Students should decrypt the ciphertext and
remove the padding.

However, if padding is removed, the last block may not be 16 bytes long, which contradicts the return type Block.t list specified in the document.

I am wondering whether the dec function should remove the padding or not, considering this discrepancy.

[Engineer-HaMa]

test 코드를 살펴보니 패딩을 제거하고 마지막 블록이 1바이트가 되는 것이 맞는 것 같습니다!
After reviewing the test code, it seems that removing the padding and having the last block be 1 byte long is correct!