// //------------------ DOK FILE -------------------------------------------------- +Header core.crypto.block =pkg core.crypto.block =title core.crypto.block =short =desc Documentation in progress... // // //------------------ PROTO ----------------------------------------------------- unPaddingISO_7816_4 +Proto unPaddingISO_7816_4 =type fun Str -> Int =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg str =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- unPaddingTLS +Proto unPaddingTLS =type fun Str -> Int =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg str =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- unPaddingPKCS_5 +Proto unPaddingPKCS_5 =type fun Str -> Int =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg str =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- unPaddingISO_10126 +Proto unPaddingISO_10126 =type fun Str -> Int =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg str =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- unPaddingANSI_X9_23 +Proto unPaddingANSI_X9_23 =type fun Str -> Int =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg str =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- paddingTLS +Proto paddingTLS =type fun Str Int -> Str =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg str =type Str =desc // +arg blockLen =type Int =desc // +arg result =type Str =desc // // //------------------ PROTO ----------------------------------------------------- paddingISO_7816_4 +Proto paddingISO_7816_4 =type fun Str Int -> Str =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg str =type Str =desc // +arg blockLen =type Int =desc // +arg result =type Str =desc // // //------------------ PROTO ----------------------------------------------------- paddingPKCS_5 +Proto paddingPKCS_5 =type fun Str Int -> Str =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg str =type Str =desc // +arg blockLen =type Int =desc // +arg result =type Str =desc // // //------------------ PROTO ----------------------------------------------------- paddingISO_10126 +Proto paddingISO_10126 =type fun Str Int -> Str =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg str =type Str =desc // +arg blockLen =type Int =desc // +arg result =type Str =desc // // //------------------ PROTO ----------------------------------------------------- paddingANSI_X9_23 +Proto paddingANSI_X9_23 =type fun Str Int -> Str =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg str =type Str =desc // +arg blockLen =type Int =desc // +arg result =type Str =desc // // //------------------ PROTO ----------------------------------------------------- paddingZero +Proto paddingZero =type fun Str Int -> Str =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg str =type Str =desc // +arg blockLen =type Int =desc // +arg result =type Str =desc // // //------------------ PROTO ----------------------------------------------------- gcmDecrypt +Proto gcmDecrypt =type fun Str Str Int Str Str (fun Str -> Str) (fun BigNum -> BigNum) (fun BigNum -> (fun Str -> Bytes)) -> Str =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg cipher =type Str =desc // +arg T =type Str =desc // +arg blockLen =type Int =desc // +arg iv =type Str =desc // +arg A =type Str =desc // +arg fEncrypt =type fun Str -> Str =desc // +arg fNextCount =type fun BigNum -> BigNum =desc // +arg fMakeMulH =type fun BigNum -> (fun Str -> Bytes) =desc // +arg result =type Str =desc // // //------------------ PROTO ----------------------------------------------------- gcmEncrypt +Proto gcmEncrypt =type fun Str Int Str Str (fun Str -> Str) (fun BigNum -> BigNum) (fun BigNum -> (fun Str -> Bytes)) -> [Str Str] =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg msg =type Str =desc // +arg blockLen =type Int =desc // +arg iv =type Str =desc // +arg A =type Str =desc // +arg fEncrypt =type fun Str -> Str =desc // +arg fNextCount =type fun BigNum -> BigNum =desc // +arg fMakeMulH =type fun BigNum -> (fun Str -> Bytes) =desc // +arg result =type [Str Str] =desc // // //------------------ PROTO ----------------------------------------------------- gcmProcess +Proto gcmProcess =type fun Str Int Str Str Bool (fun Str -> Str) (fun BigNum -> BigNum) (fun BigNum -> (fun Str -> Bytes)) -> [Str Str] =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg data =type Str =desc // +arg blockLen =type Int =desc // +arg iv =type Str =desc // +arg A =type Str =desc // +arg encrypt =type Bool =desc // +arg fEncrypt =type fun Str -> Str =desc // +arg fNextCount =type fun BigNum -> BigNum =desc // +arg fMakeMulH =type fun BigNum -> (fun Str -> Bytes) =desc // +arg result =type [Str Str] =desc // // //------------------ PROTO ----------------------------------------------------- ctrEncryptOpti +Proto ctrEncryptOpti =type fun Str Int BigNum (fun Str -> Str) (fun BigNum -> BigNum) -> Str =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg msg =type Str =desc // +arg blockLen =type Int =desc // +arg count =type BigNum =desc // +arg fencrypt =type fun Str -> Str =desc // +arg fcount =type fun BigNum -> BigNum =desc // +arg result =type Str =desc // // //------------------ PROTO ----------------------------------------------------- ctrEncryptRef +Proto ctrEncryptRef =type fun Str Int Ref{BigNum} Int (fun Str -> Str) (fun Ref{BigNum} -> a1) -> list Bytes =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg msg =type Str =desc // +arg blockLen =type Int =desc // +arg count =type Ref{BigNum} =desc // +arg i =type Int =desc // +arg fencrypt =type fun Str -> Str =desc // +arg fInc =type fun Ref{BigNum} -> a1 =desc // +arg result =type list Bytes =desc // // //------------------ PROTO ----------------------------------------------------- ctrEncrypt +Proto ctrEncrypt =type fun Str Int BigNum Int (fun Str -> Str) (fun BigNum -> BigNum) -> list Bytes =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg msg =type Str =desc // +arg blockLen =type Int =desc // +arg count =type BigNum =desc // +arg i =type Int =desc // +arg fencrypt =type fun Str -> Str =desc // +arg fcount =type fun BigNum -> BigNum =desc // +arg result =type list Bytes =desc // // //------------------ PROTO ----------------------------------------------------- cbcDecrypt +Proto cbcDecrypt =type fun Str Str Int (fun Str Int -> Str) -> list Bytes =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg msg =type Str =desc // +arg iv =type Str =desc // +arg i =type Int =desc // +arg f =type fun Str Int -> Str =desc // +arg result =type list Bytes =desc // // //------------------ PROTO ----------------------------------------------------- cbcEncrypt +Proto cbcEncrypt =type fun Str Str Int (fun Str Int -> Str) -> list Str =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg msg =type Str =desc // +arg iv =type Str =desc // +arg i =type Int =desc // +arg f =type fun Str Int -> Str =desc // +arg result =type list Str =desc // // //------------------ PROTO ----------------------------------------------------- cbcDecryptIntoBytes +Proto cbcDecryptIntoBytes =type fun CBC Str -> Int =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg cbc =type CBC =desc // +arg msg =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- cbcEncryptIntoBytes +Proto cbcEncryptIntoBytes =type fun CBC Str Int Int -> Int =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg cbc =type CBC =desc // +arg msg =type Str =desc // +arg i0 =type Int =desc // +arg i1 =type Int =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- cbcCreate +Proto cbcCreate =type fun Str Bytes Int (fun Str Int Int -> a1) -> CBC =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg iv =type Str =desc // +arg out =type Bytes =desc // +arg i0 =type Int =desc // +arg f =type fun Str Int Int -> w1 =desc // +arg result =type CBC =desc // // //------------------ PROTO ----------------------------------------------------- CBC +Proto CBC =type CBC =mode structure =pkg core.crypto.block =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- ecbDecrypt +Proto ecbDecrypt =type fun Str Int Int (fun Str Int -> a1) -> list a1 =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg msg =type Str =desc // +arg blockLen =type Int =desc // +arg i =type Int =desc // +arg f =type fun Str Int -> a1 =desc // +arg result =type list a1 =desc // // //------------------ PROTO ----------------------------------------------------- ecbEncrypt +Proto ecbEncrypt =type fun Str Int Int (fun Str Int -> a1) -> list a1 =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg msg =type Str =desc // +arg blockLen =type Int =desc // +arg i =type Int =desc // +arg f =type fun Str Int -> a1 =desc // +arg result =type list a1 =desc // // //------------------ PROTO ----------------------------------------------------- ecbDecryptIntoBytes +Proto ecbDecryptIntoBytes =type fun Str Int (fun Str Int -> a1) -> Int =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg msg =type Str =desc // +arg blockLen =type Int =desc // +arg f =type fun Str Int -> a1 =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- ecbEncryptIntoBytes +Proto ecbEncryptIntoBytes =type fun Str Int (fun Str Int -> a1) -> Int =mode function =pkg core.crypto.block =impl mcy =link =desc // +arg msg =type Str =desc // +arg blockLen =type Int =desc // +arg f =type fun Str Int -> a1 =desc // +arg result =type Int =desc