Soundness issue with Plonky2 look up tables

As tabelas de consulta do Plonky2 têm uma falha que permite a um provador desonesto provar falsamente que qualquer função retorna 0 quando recebe 0 como entrada, a menos que o tamanho da tabela atenda a requisitos específicos. Isto compromete a segurança das provas geradas.

A vulnerabilidade ocorre devido ao preenchimento com zeros em LookupTableGate quando o comprimento da tabela não é divisível por 26 (floor(num_routed_wires / 3)), permitindo a um provador malicioso forjar provas para o par entrada-saída f(0) = 0 independentemente do conteúdo real da tabela. Este problema de solidez compromete a integridade criptográfica dos SNARKs baseados em PLONK e é mitigado estendendo tabelas para comprimentos divisíveis ou atualizando para versão 1.0.1.