diff --git a/plonkish_backend/src/accumulation/protostar/hyperplonk.rs b/plonkish_backend/src/accumulation/protostar/hyperplonk.rs index 9f7833e..f22e31b 100644 --- a/plonkish_backend/src/accumulation/protostar/hyperplonk.rs +++ b/plonkish_backend/src/accumulation/protostar/hyperplonk.rs @@ -646,5 +646,5 @@ pub(crate) mod test { tests!(gemini_kzg, Gemini>); tests!(zeromorph_kzg, Zeromorph>); tests!(gemini_ipa, Gemini>); - //tests!(zeromorph_ipa, Zeromorph>); + tests!(zeromorph_ipa, Zeromorph>); } diff --git a/plonkish_backend/src/accumulation/sangria/hyperplonk.rs b/plonkish_backend/src/accumulation/sangria/hyperplonk.rs index 169cdec..1fc082b 100644 --- a/plonkish_backend/src/accumulation/sangria/hyperplonk.rs +++ b/plonkish_backend/src/accumulation/sangria/hyperplonk.rs @@ -58,5 +58,5 @@ pub(crate) mod test { tests!(gemini_kzg, Gemini>); tests!(zeromorph_kzg, Zeromorph>); tests!(gemini_ipa, Gemini>); - //tests!(zeromorph_ipa, Zeromorph>); + tests!(zeromorph_ipa, Zeromorph>); } diff --git a/plonkish_backend/src/pcs/multilinear/zeromorph.rs b/plonkish_backend/src/pcs/multilinear/zeromorph.rs index abc6fde..c7c3804 100644 --- a/plonkish_backend/src/pcs/multilinear/zeromorph.rs +++ b/plonkish_backend/src/pcs/multilinear/zeromorph.rs @@ -306,9 +306,11 @@ where let got = poly.evals().len() - 1; return Err(err_too_large_deree("commit", pp.degree(), got)); } - let uni_poly = UnivariatePolynomial::monomial(poly.evals().to_vec()); - UnivariateIpa::commit(pp, &uni_poly) + let bases = pp.monomial(); + Ok(UnivariateIpaCommitment( + variable_base_msm(poly.evals(), &bases[..poly.evals().len()]).into(), + )) } fn batch_commit<'a>(