🚀 Часть 2 здесь! После того как мы рассмотрели основы многомерных полиномов, теперь мы погружаемся в алгоритм, предложенный в "Ускорении доказательства SUMCHECK" Багадом, Дао, Домбом и Талером. SUMCHECK играет центральную роль в быстрых системах доказательства, и в этом посте показано, как его можно сделать еще более эффективным.