Vitalik Buterin Chiede un'Apertura Completa e una Verificabilità per Garantire un Futuro Digitale Sicuro

Buterin sostiene che il codice open source, l’hardware verificabile e la crittografia con preservazione della privacy (ZK‑SNARKs, FHE, privacy differenziale) siano essenziali per prevenire la centralizzazione, le backdoor integrate e le vulnerabilità della catena di approvvigionamento che concentrano il potere ed erodono la fiducia. Cita lezioni dalle disuguaglianze dei vaccini COVID, minacce dai sistemi sanitari proprietari e BCI, e rischi nel voto elettronico e nelle prove forensi per mostrare perché le tecnologie civiche, commerciali e di pubblica sicurezza devono essere ispezionabili. Le proposte includono sistemi operativi aperti e sicuri e portafogli hardware, scanner di chip verificabili localmente, sensori ambientali e biologici accessibili, software formalmente verificato e stack aperti mirati per casi d’uso ad alta sicurezza non critici in termini di prestazioni per avviare un’adozione più ampia.