Function is_valid_digest 

pub fn is_valid_digest(
    challenge: &[u8; 32],
    nonce: &[u8; 8],
    digest: &[u8; 16],
) -> bool

Checks if the digest is a valid Equihash construction.