pub fn latex_constraints<G>() -> HashMap<&'static str, Vec<Vec<String>>>where
    G: CommitmentCurve,
Expand description