Tahoe.CHK.Validate

Documentation

validFingerprint :: Verifier -> Share -> Bool

Determine the validity of the given share's fingerprint as defined by the given capability.

matchingCrypttextHashRoot :: Share -> Bool

True if the root of the crypttext hash tree in the share matches the crypttext hash root given in the URI extension block. False otherwise.

matchingBlockHashRoot :: Int -> Share -> Bool

True if the share's own hash in the shareNeededHashes list equals the root of the share's block hash merkle tree, False otherwise.

validShareRootHash :: [(Int, Share)] -> [Bool]

Determine the validity of each of the given shares' "share root hash" values with respect to the other shares in the list.

showHashes :: (Show a, Show b) => [(a, b)] -> String

showHash :: (Show a, Show b) => (a, b) -> String

shareValidBlocks :: Share -> [Maybe ByteString]

Get only and all the blocks from the given share with hashes that match the values in the Share's "block hash tree".

validSegment :: Digest' SHA256d -> Crypttext -> Maybe Crypttext

Compare the hash of one segment to an expected hash value and return Nothing if it does not match or Just the segment if it does.

validSegments :: [Digest' SHA256d] -> [Crypttext] -> [Maybe Crypttext]

Apply validSegment to lists of values.