« Il y a de nombreux problèmes aujourd'hui avec ZK. » Nous avons invité @donnoh_eth (Chercheur chez @l2beat) à présenter lors de notre Sommet Ethproofs à Berlin pour donner une perspective contrariante sur ZK - et c'est exactement ce que nous avons obtenu. Quelques points clés à retenir : • Les vérificateurs sont opaques. Les contrats intelligents peuvent être inspectés, mais une fois que vous atteignez un vérificateur ZK, vous regardez des nombres aléatoires - et sans reproduire le vérificateur à partir de la source, vous ne pouvez pas savoir ce qui est réellement prouvé. • La reproductibilité est difficile. De nombreux projets ne publient pas les hachages de commit exacts ou les versions d'outils nécessaires pour régénérer leurs vérificateurs. Dans certains cas, il est pratiquement impossible de confirmer ce qui fonctionne sur la chaîne. • Les outils personnalisés ajoutent des risques. Chaque projet construit sa propre pile, rendant la vérification complexe et incohérente à travers l'écosystème. • Les audits ne suffisent pas. Les audits peuvent être partiels, obsolètes ou manquer des corrections. Simplement revendiquer « entièrement audité » est trompeur sans liens et portée transparents. Le point central de Luca : ZK n'élimine pas nécessairement la confiance. Au lieu de cela, elle la déplace - et le défi est de minimiser et de clarifier où cette confiance réside. Regardez la présentation complète :