Function generalized_candidate_valid 

pub exec fn generalized_candidate_valid<const DER: bool>(
    bytes: &[u8],
    main_end: usize,
    zone_start: usize,
) -> bool

requires

zone_start <= bytes.len(),

returns

generalized_candidate_wf::<DER>(bytes@, main_end, zone_start),

Verified executable implementation of generalized_candidate_wf.