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

Jos haluat lisätä vivahteita, summatarkistus voi mahdollisesti nopeuttaa sitoutumista pieniin arvoihin hajautuspohjaisilla sitoumuksilla. Esimerkiksi FRI-Binius pakkaa useita pieniä arvoja yhteen kenttäelementtiin ennen kuin se soveltaa FRI:n kaltaista sitoumusjärjestelmää pakattujen arvojen osalta. Sum-checkiä käytetään sitten suhteuttamaan pakkaamattomat arvot (joista todentaja todella välittää) pakattuihin arvoihin, jotka todella sitoutuvat.