“Ci sono molti problemi oggi con ZK.” Abbiamo invitato @donnoh_eth (Ricercatore presso @l2beat) a presentare al nostro Berlin Ethproofs Summit per fornire una prospettiva contraria su ZK - e questo è esattamente ciò che abbiamo ottenuto. Alcuni punti chiave: • I verificatori sono opachi. I contratti intelligenti possono essere ispezionati, ma una volta che si arriva a un verificatore ZK si stanno guardando numeri casuali - e senza riprodurre il verificatore dalla sorgente, non si può sapere cosa venga realmente provato. • La riproducibilità è difficile. Molti progetti non pubblicano gli hash di commit esatti o le versioni degli strumenti necessari per rigenerare i loro verificatori. In alcuni casi, è praticamente impossibile confermare cosa stia girando on-chain. • Gli strumenti personalizzati aggiungono rischio. Ogni progetto costruisce il proprio stack, rendendo la verifica complessa e incoerente nell'ecosistema. • Le audit non sono sufficienti. Le audit possono essere parziali, obsolete o perdere correzioni. Semplicemente affermare “completamente auditato” è fuorviante senza collegamenti e ambito trasparenti. Il punto centrale di Luca: ZK non elimina necessariamente la fiducia. Invece, la sposta - e la sfida è minimizzare e chiarire dove risiede quella fiducia. Guarda il discorso completo: