🚀 Część 2 jest tutaj! Po omówieniu podstaw wielomianów wieloliniowych, teraz zagłębiamy się w algorytm zaproponowany w "Przyspieszaniu dowodzenia SUMCHECK" autorstwa Bagada, Dao, Domba i Thalera. SUMCHECK odgrywa kluczową rolę w szybkich systemach dowodowych, a ten post pokazuje, jak można go uczynić jeszcze bardziej efektywnym.