Nytt på ZKM-bloggen: Multivariate Sumcheck Protocol - Part 2 Den här artikeln ger praktisk vägledning om multilinjära utvidgningar i två representationer, med implementerbara procedurer för punktutvärdering, addition och elementvis multiplikation. Den omfattar representationskompromisser, minnes-/körningsbeteende och hur du integrerar dessa steg i en bevisare/verifierarpipeline utan onödiga konverteringar. Läs del 2: