Cosa vedremo nei progetti di produzione che utilizzano Starks in futuro? Dimensione della prova doppia per Starks sotto sicurezza dimostrabile? Aumento del 2-3% della dimensione della prova sotto la nuova congettura, come suggerito nella tabella 1 del documento? Nessuna modifica per ora poiché non c'è un attacco costruttivo (aiui) sui sistemi attuali?