• Computes the cipher for a single block in CTR mode.

    Parameters

    • iv_plus_ctr: Field

      The sum of the IV and counter.

    • key: Byte16

      The 128-bit key.

    • message: Byte16

      The plaintext message block.

    Returns Byte16

    The ciphertext produced by XORing the plaintext with the key stream.

    The key stream is computed by applying an iterative AES-128 encryption on the IV+counter.