Documentation

Cryptlib.Primitives.StreamCipher.AES256CTR

AES-256-CTR #

The IV is a big-endian 128-bit counter, incremented once per block with wraparound.

source
def Cryptlib.Primitives.StreamCipher.AES256CTR.keystream (key : Vector UInt8 32) (iv : Vector UInt8 16) (len : Nat) :
ByteArray

len bytes of AES-256-CTR keystream.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    theorem Cryptlib.Primitives.StreamCipher.AES256CTR.keystream_size (key : Vector UInt8 32) (iv : Vector UInt8 16) (len : Nat) :
    (keystream key iv len).size = len
    source
    def Cryptlib.Primitives.StreamCipher.AES256CTR.aes256CTR :
    StreamCipher

    AES-256-CTR as a StreamCipher.

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For