pub fn xl_solve<F: Field>(
sys: &MQSystem<F>,
max_degree: usize,
) -> Option<Vec<F>>Expand description
Solve an MQ system by XL: linearize at increasing degrees d up to max_degree, and at
each degree read the linear variables off the linear solution and verify them against the
original system. Returns a verified common zero, or None if none was found by
max_degree.