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