O que veremos nos projetos de produção usando Starks daqui para frente? Tamanho de prova dupla para Starks sob segurança comprovável? Aumento de 2-3% no tamanho da prova sob novas conjecturas, conforme sugerido na tabela 1 do artigo? Sem mudanças por enquanto, pois não há um ataque construtivo (aiui) aos sistemas atuais?