"Hoy en día hay muchos problemas con ZK." Invitamos a @donnoh_eth (Investigador en @l2beat) a presentar en nuestra Cumbre Ethproofs de Berlín para ofrecer una perspectiva contraria sobre ZK - y eso es exactamente lo que obtuvimos. Algunos puntos clave: • Los verificadores son opacos. Los contratos inteligentes pueden ser inspeccionados, pero una vez que llegas a un verificador ZK, estás mirando números aleatorios - y sin reproducir el verificador desde la fuente, no puedes saber qué es lo que realmente se está probando. • La reproducibilidad es difícil. Muchos proyectos no publican los hashes de commit exactos o las versiones de herramientas necesarias para regenerar sus verificadores. En algunos casos, es prácticamente imposible confirmar qué está funcionando en la cadena. • Las herramientas personalizadas añaden riesgo. Cada proyecto construye su propia pila, lo que hace que la verificación sea compleja e inconsistente en todo el ecosistema. • Las auditorías no son suficientes. Las auditorías pueden ser parciales, estar desactualizadas o pasar por alto correcciones. Simplemente afirmar "totalmente auditado" es engañoso sin enlaces y alcance transparentes. El punto central de Luca: ZK no necesariamente elimina la confianza. En cambio, la desplaza - y el desafío es minimizar y aclarar dónde reside esa confianza. Mira la charla completa: