Nuovo sul blog ZKM: Protocollo Multivariato Sumcheck - Parte 2 Questo articolo offre indicazioni pratiche sulle estensioni multilineari in due rappresentazioni, con procedure implementabili per la valutazione dei punti, l'addizione e la moltiplicazione elemento per elemento. Tratta i compromessi nelle rappresentazioni, il comportamento in termini di memoria/runtime e come integrare questi passaggi in un pipeline prover/verifier senza conversioni non necessarie. Leggi la Parte 2: