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