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

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

3/ Mas nem todos os usos do cheque de soma são iguais. Os SNARKs mais rápidos o usam de forma inteligente, explorando a estrutura repetida para minimizar o trabalho do provador. Técnicas chave: – Argumentos de avaliação em lote – Verificação de memória – Polinômios virtuais – Verificações de soma esparsas – Preservação de pequeno valor

Para adicionar mais nuances, a verificação de soma pode ajudar a tornar mais rápido o compromisso com pequenos valores com compromissos baseados em hash. por exemplo, FRI-Binius empacota muitos valores pequenos em um único elemento de campo antes de aplicar um esquema de compromisso semelhante a FRI aos valores empacotados. A verificação de soma é então usada para relacionar os valores descompactados (que são o que o verificador realmente se preocupa) com os compactados que estão realmente confirmados.