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