// //------------------ DOK FILE -------------------------------------------------- +Header core.crypto.aes =pkg core.crypto.aes =title core.crypto.aes =short =desc Documentation in progress... // // //------------------ PROTO ----------------------------------------------------- aesCheckLength +Proto aesCheckLength =type fun Str -> Bool =mode function =pkg core.crypto.aes =impl mcy =link =desc // +arg msg =type Str =desc // +arg result =type Bool =desc // // //------------------ PROTO ----------------------------------------------------- aesCmac +Proto aesCmac =type fun Str Str -> Str =mode function =pkg core.crypto.aes =impl mcy =link =desc // +arg key =type Str =desc // +arg msg =type Str =desc // +arg result =type Str =desc // // //------------------ PROTO ----------------------------------------------------- aesDecryptCbc +Proto aesDecryptCbc =type fun Str Str Str -> Str =mode function =pkg core.crypto.aes =impl mcy =link =desc // +arg key =type Str =desc // +arg iv =type Str =desc // +arg msg =type Str =desc // +arg result =type Str =desc // // //------------------ PROTO ----------------------------------------------------- aesDecryptEcb +Proto aesDecryptEcb =type fun Str Str -> Str =mode function =pkg core.crypto.aes =impl mcy =link =desc // +arg key =type Str =desc // +arg msg =type Str =desc // +arg result =type Str =desc // // //------------------ PROTO ----------------------------------------------------- aesEncryptCbc +Proto aesEncryptCbc =type fun Str Str Str -> Str =mode function =pkg core.crypto.aes =impl mcy =link =desc // +arg key =type Str =desc // +arg iv =type Str =desc // +arg msg =type Str =desc // +arg result =type Str =desc // // //------------------ PROTO ----------------------------------------------------- aesEncryptCtr +Proto aesEncryptCtr =type fun Str BigNum Str -> Str =mode function =pkg core.crypto.aes =impl mcy =link =desc // +arg key =type Str =desc // +arg count =type BigNum =desc // +arg msg =type Str =desc // +arg result =type Str =desc // // //------------------ PROTO ----------------------------------------------------- aesEncryptCtrIncr +Proto aesEncryptCtrIncr =type fun Aes Bytes Str -> Str =mode function =pkg core.crypto.aes =impl mcy =link =desc // +arg aes =type Aes =desc // +arg count =type Bytes =desc // +arg msg =type Str =desc // +arg result =type Str =desc // // //------------------ PROTO ----------------------------------------------------- aesEncryptEcb +Proto aesEncryptEcb =type fun Str Str -> Str =mode function =pkg core.crypto.aes =impl mcy =link =desc // +arg key =type Str =desc // +arg msg =type Str =desc // +arg result =type Str =desc // // //------------------ PROTO ----------------------------------------------------- aesGcmDecrypt +Proto aesGcmDecrypt =type fun Str Str Str Str Str -> Str =mode function =pkg core.crypto.aes =impl mcy =link =desc // +arg key =type Str =desc // +arg cipherText =type Str =desc // +arg authBlock =type Str =desc // +arg iv =type Str =desc // +arg A =type Str =desc // +arg result =type Str =desc // // //------------------ PROTO ----------------------------------------------------- aesGcmEncrypt +Proto aesGcmEncrypt =type fun Str Str Str Str -> [Str Str] =mode function =pkg core.crypto.aes =impl mcy =link =desc // +arg key =type Str =desc // +arg plainText =type Str =desc // +arg iv =type Str =desc // +arg A =type Str =desc // +arg result =type [Str Str] =desc // // //------------------ PROTO ----------------------------------------------------- aesGcmInitDecrypt +Proto aesGcmInitDecrypt =type fun Str -> (fun Str Str Str Str -> Str) =mode function =pkg core.crypto.aes =impl mcy =link =desc // +arg key =type Str =desc // +arg result =type fun Str Str Str Str -> Str =desc // // //------------------ PROTO ----------------------------------------------------- aesGcmInitEncrypt +Proto aesGcmInitEncrypt =type fun Str -> (fun Str Str Str -> [Str Str]) =mode function =pkg core.crypto.aes =impl mcy =link =desc // +arg key =type Str =desc // +arg result =type fun Str Str Str -> [Str Str] =desc