🚀 Teil 2 ist da! Nachdem wir die Grundlagen der mehrdimensionalen Polynome behandelt haben, tauchen wir nun in den Algorithmus ein, der in "Speeding-up SUMCHECK proving" von Bagad, Dao, Domb und Thaler vorgeschlagen wird. SUMCHECK spielt eine zentrale Rolle in schnellen Beweissystemen, und dieser Beitrag zeigt, wie es noch effizienter gestaltet werden kann.