diff --git a/filepath-crypto/changes.md b/filepath-crypto/changes.md index ccff5c1..0c551fc 100644 --- a/filepath-crypto/changes.md +++ b/filepath-crypto/changes.md @@ -1,3 +1,6 @@ +# 0.0.0.2 + - Improved documentation + # 0.0.0.1 - Improved documentation diff --git a/filepath-crypto/filepath-crypto.cabal b/filepath-crypto/filepath-crypto.cabal index 9d18540..59084fb 100644 --- a/filepath-crypto/filepath-crypto.cabal +++ b/filepath-crypto/filepath-crypto.cabal @@ -1,5 +1,5 @@ name: filepath-crypto -version: 0.0.0.1 +version: 0.0.0.2 synopsis: Reversable and secure encoding of object ids as filepaths license: BSD3 license-file: LICENSE diff --git a/filepath-crypto/src/System/FilePath/Cryptographic.hs b/filepath-crypto/src/System/FilePath/Cryptographic.hs index 2c40e4a..8500269 100644 --- a/filepath-crypto/src/System/FilePath/Cryptographic.hs +++ b/filepath-crypto/src/System/FilePath/Cryptographic.hs @@ -23,9 +23,9 @@ guaranteed to cause runtime errors in all cases. Since the serialized payload is padded to the length of the next cipher block we can detect namespace mismatches by checking that all bytes expected to have been inserted during padding are nil. -The probability of detecting a namespace mismatch is thus -\[1 - 2^{b \cdot \left \lceil \frac{l}{b} \right \rceil-l}]) -where \(l\) is the length of the serialized payload. +The probability of detecting a namespace mismatch is thus \(1 - 2^{b \left \lceil \frac{l}{b} \right \rceil - l}\) +where \(l\) is the length of the serialized payload and \(b\) the length of a +ciphertext block (both in bits). -} module System.FilePath.Cryptographic ( CryptoID(..)