fn create_constant_prime( prev_state: &ProtocolState, w: &mut Witness<Fp>, ) -> ConsensusConstantsChecked