1/ Nova pesquisa: A verificação de soma é tudo o que você precisa. Acabamos de publicar uma pesquisa sobre os princípios de design por trás do Jolt e dos SNARKs de prova rápida de forma mais ampla. É, sem dúvida, a primeira vez que as ideias centrais foram todas escritas em um só lugar.

2/ O que é o protocolo de verificação de soma? É a espinha dorsal dos SNARKs mais rápidos de hoje. Uma prova interativa que verifica uma enorme soma com um overhead mínimo. Nos SNARKs, permite que os provadores se comprometam com muito menos dados. A maior parte do trabalho torna-se simples adições e multiplicações.

3/ Mas nem todos os usos do sum-check são iguais. Os SNARKs mais rápidos utilizam-no de forma inteligente, explorando estruturas repetidas para minimizar o trabalho do provador. Técnicas chave: – Argumentos de avaliação em lote – Verificação de memória – Polinómios virtuais – Sum-checks esparsos – Preservação de pequenos valores