È stato molto divertente riprendere il gruppo di discussione sui documenti di @zeroknowledgefm, ZK Study Club. La scorsa settimana, abbiamo ospitato non uno, ma DUE gruppi di co-autori! Il punto principale del lavoro di entrambi i team è che una congettura ampiamente accettata sulla robustezza dei gap di prossimità per i codici RS, specialmente vicino alla massima capacità di codifica, è falsa sotto parametri crittografici realistici.

Anche se questo lavoro è piuttosto teorico, ha importanti conseguenze per i sistemi pratici. I limiti stabiliti attraverso la teoria sono in molti modi il "miglior caso" dal punto di vista della sicurezza; e questi limiti tendono a restringere, non ad espandere, lo spazio dei protocolli sicuri.

Anche se penso che il campo della crittografia nel suo complesso sia probabilmente un po' *troppo* conservativo quando si tratta di valutare il compromesso tra sicurezza e praticità, capisco e apprezzo che i sistemi crittografici, una volta implementati, sono difficili da correggere.

Per i sistemi che garantiscono valore (come ZK nella blockchain), essere eccessivamente aggressivi nella regolazione dei parametri potrebbe essere un modo per ottenere metriche di performance di alto livello che suscitano attenzione. Ma potrebbe comportare un costo in termini di fiducia a lungo termine.