gistfile1.txt

chk_encrypt :: AESKey128 -> (Integer -> IO B.ByteString) -> IO (Integer -> IO B.ByteString)
chk_encrypt key read_cleartext  = do
  ivref <- newIORef zeroIV
  return $ \len -> do
    cleartext <- read_cleartext len
    iv <- readIORef ivref
    let (ciphertext, new_iv) = ctr key iv cleartext
    writeIORef ivref new_iv
    return ciphertext

def chk_encrypt(key, read_cleartext):
    iv = ["\x00" * 16]
    def read(len):
        cleartext = read_plaintext(len)
        ciphertext, iv[0] = ctr(key, iv[0], cleartext)
        return ciphertext
    return read