Implement CommRing instance for CMvPolynomial#138

Open

eliasjudin wants to merge 1 commit intoVerified-zkEVM:masterfrom

eliasjudin:phase1-55-commring-salvage

Commits on Mar 3, 2026

Implement CMvPolynomial CommRing via transfer lemmas

eliasjudin
and
Aristotle-Harmonic
committed