1/ Nieuwe enquête: Som-controle is alles wat je nodig hebt. Ik heb zojuist een enquête gepost over de ontwerpprincipes achter Jolt en snel-prover SNARKs in het algemeen. Het is misschien wel de eerste keer dat de kernideeën allemaal op één plek zijn opgeschreven.

2/ Wat is het sum-check protocol? Het is de ruggengraat van de snelste SNARKs van vandaag. Een interactieve bewijsvoering die een enorme som controleert met minimale overhead. In SNARKs stelt het bewijsgevers in staat om zich te committeren aan veel minder data. Het meeste werk wordt eenvoudige optellingen en vermenigvuldigingen.

3/ Maar niet alle toepassingen van sum-check zijn gelijk. De snelste SNARKs gebruiken het intelligent, door herhaalde structuren te benutten om het werk van de prover te minimaliseren. Belangrijke technieken: – Batch evaluatie argumenten – Geheugencontrole – Virtuele polynomen – Sparse sum-checks – Behoud van kleine waarden

Om wat meer nuance toe te voegen, kan sum-check mogelijk helpen om het sneller te maken om kleine waarden te committeren met hashing-gebaseerde commitments. e.g., FRI-Binius verpakt veel kleine waarden in een enkel veldelement voordat een FRI-achtige commitment schema op de verpakte waarden wordt toegepast. Sum-check wordt vervolgens gebruikt om de uitgepakte waarden (waar de verifier daadwerkelijk om geeft) te relateren aan de verpakte waarden die daadwerkelijk zijn gecommitteerd.