Neu auf dem ZKM-Blog: Multivariate Sumcheck-Protokoll - Teil 2 Dieser Artikel bietet praktische Anleitungen zu multilinearen Erweiterungen in zwei Darstellungen, mit umsetzbaren Verfahren für Punktbewertung, Addition und elementweise Multiplikation. Er behandelt die Kompromisse bei der Darstellung, das Speicher-/Laufzeitverhalten und wie man diese Schritte in eine Prover/Verifier-Pipeline integriert, ohne unnötige Konvertierungen. Lese Teil 2:
56,4K