Foi muito divertido retomar o grupo de discussão do paper @zeroknowledgefm, ZK Study Club. Na semana passada, recebemos não um, mas DOIS conjuntos de co-autores! A principal conclusão do trabalho de ambas as equipas é que uma conjectura amplamente aceita sobre a robustez das lacunas de proximidade para códigos RS, especialmente perto da capacidade máxima de codificação, é falsa sob parâmetros criptográficos realistas.

Embora este trabalho seja bastante teórico, ele tem consequências importantes para sistemas práticos. Os limites estabelecidos pela teoria são, de muitas maneiras, o "melhor caso" do ponto de vista da segurança; e esses limites tendem a encolher, e não a expandir, o espaço de protocolos seguros.

Embora eu ache que o campo da criptografia como um todo é provavelmente um pouco *demais* conservador quando se trata de pesar a troca entre segurança e praticidade, eu entendo e aprecio que os sistemas criptográficos, uma vez implementados, são difíceis de corrigir.

Para sistemas que asseguram valor (como o ZK em blockchain), ser excessivamente agressivo na afinação de parâmetros pode ser uma forma de obter métricas de desempenho de topo que chamam a atenção. Mas isso pode ter um custo em termos de confiança a longo prazo.