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