Function verify_next_digests

pub fn verify_next_digests<Header: HeaderT>(
    params: NextDigestsVerificationParams<'_, Header>,
) -> Result<(), Error>

Derives and verifies next digest items based on their respective intervals.