1/ Nový průzkum: Sum-check je vše, co potřebujete. Právě jsem zveřejnil průzkum o principech návrhu Joltu a rychle testovaných SNARKů v širším měřítku. Je to pravděpodobně poprvé, co jsou všechny základní myšlenky zapsány na jednom místě.

2/ Co je to protokol pro kontrolu součtu? Je to páteř dnešních nejrychlejších SNARKů. Interaktivní důkaz, který kontroluje obrovskou částku s minimální režií. V SNARKech umožňuje dokazovatelům zavázat se k mnohem menšímu množství dat. Většina práce se stává prostým sčítáním a násobením.

3/ Ale ne všechna použití součtu jsou stejná. Nejrychlejší SNARKy jej používají inteligentně a využívají opakovanou strukturu k minimalizaci zkušební práce. Klíčové techniky: – Argumenty vyhodnocení šarže – Kontrola paměti – Virtuální polynomy – Kontroly řídkých součtů – Uchování malé hodnoty

Chcete-li přidat další nuance, funkce sum-check může potenciálně pomoci urychlit přijímání malých hodnot pomocí závazků založených na hashování. Např. FRI-Binius zabalí mnoho malých hodnot do jednoho prvku pole a poté na zabalené hodnoty použije schéma závazku podobné FRI. Sum-check se pak používá k tomu, aby se nezabalené hodnoty (které jsou tím, co ověřovatele skutečně zajímá) a zabalenými hodnotami, které jsou skutečně commitovány.