1/ Nowa ankieta: Sum-check to wszystko, czego potrzebujesz. Właśnie opublikowano ankietę na temat zasad projektowania stojących za Jolt oraz szybkimi dowodami SNARK w szerszym kontekście. Można argumentować, że to pierwszy raz, kiedy wszystkie kluczowe pomysły zostały zapisane w jednym miejscu.

2/ Czym jest protokół sum-check? To kręgosłup dzisiejszych najszybszych SNARKów. Interaktywne dowody, które sprawdzają ogromną sumę przy minimalnym narzucie. W SNARKach pozwala to dowodzącym zobowiązać się do znacznie mniejszej ilości danych. Większość pracy sprowadza się do prostych dodawania i mnożenia.

3/ Ale nie wszystkie zastosowania sum-check są równe. Najszybsze SNARKi wykorzystują to inteligentnie, wykorzystując powtarzającą się strukturę, aby zminimalizować pracę dowodzącego. Kluczowe techniki: – Argumenty oceny wsadowej – Sprawdzanie pamięci – Wirtualne wielomiany – Rzadkie sum-checki – Zachowanie małych wartości

Aby dodać trochę więcej niuansów, sum-check może potencjalnie pomóc w szybszym zobowiązywaniu się do małych wartości za pomocą zobowiązań opartych na haszowaniu. e.g., FRI-Binius pakuje wiele małych wartości w jeden element pola przed zastosowaniem schematu zobowiązania podobnego do FRI do spakowanych wartości. Sum-check jest następnie używany do powiązania rozpakowanych wartości (które są tym, co weryfikator naprawdę interesuje) z tymi spakowanymi, które są faktycznie zobowiązane.