fn same_checkpoint_window(
constants: &ConsensusConstantsChecked,
prev: &GlobalSlot,
next: &GlobalSlot,
w: &mut Witness<Fp>,
) -> Boolean
fn same_checkpoint_window(
constants: &ConsensusConstantsChecked,
prev: &GlobalSlot,
next: &GlobalSlot,
w: &mut Witness<Fp>,
) -> Boolean