🚀 Část 2 je tady! Poté, co jsme probrali základy multilineárních polynomů, se nyní ponoříme do algoritmu navrženého v článku "Urychlení dokazování SUMCHECK" od Bagada, Dao, Domba a Thalera. SUMCHECK hraje ústřední roli v systémech rychlých důkazů a tento příspěvek ukazuje, jak jej lze ještě zefektivnit.