1/ Uusi kysely: Summatarkistus on kaikki mitä tarvitset. Julkaisin juuri kyselyn Joltin ja pikakokeiden SNARKien suunnitteluperiaatteista laajemmin. Tämä on luultavasti ensimmäinen kerta, kun kaikki ydinajatukset on kirjoitettu yhteen paikkaan.

2/ Mikä on summatarkistusprotokolla? Se on nykypäivän nopeimpien SNARKien selkäranka. Interaktiivinen todiste, joka tarkistaa valtavan summan minimaalisilla yleiskustannuksilla. SNARKeissa se antaa todistajille mahdollisuuden sitoutua paljon pienempään dataan. Suurin osa työstä muuttuu yksinkertaisiksi yhteen- ja kertolaskuiksi.

3/ Mutta kaikki summashekin käyttötavat eivät ole samanarvoisia. Nopeimmat SNARKit käyttävät sitä älykkäästi ja hyödyntävät toistuvaa rakennetta minimoidakseen koetyön. Keskeiset tekniikat: – Erän arvioinnin argumentit – Muistin tarkistus – Virtuaaliset polynomit – Harvat summatarkastukset – Pienarvoinen säilytys