"Hay muchos problemas hoy en día con ZK". Invitamos a @donnoh_eth (investigador de @l2beat) a presentar en nuestra Cumbre Ethproofs de Berlín para dar una perspectiva contraria sobre ZK, y eso es exactamente lo que obtuvimos. Algunas conclusiones clave: • Los verificadores son opacos. Los contratos inteligentes se pueden inspeccionar, pero una vez que golpeas un verificador ZK, estás viendo números aleatorios, y sin reproducir el verificador de la fuente, no puedes saber qué se está probando realmente. • La reproducibilidad es difícil. Muchos proyectos no publican los hashes de confirmación exactos o las versiones de herramientas necesarias para regenerar sus verificadores. En algunos casos, es prácticamente imposible confirmar lo que se está ejecutando en la cadena. • Las herramientas personalizadas agregan 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, obsoletas o no corregir. Simplemente afirmar "totalmente auditado" es engañoso sin enlaces transparentes y alcance. El punto central de Luca: ZK no necesariamente elimina la confianza. En cambio, lo cambia, y el desafío es minimizar y aclarar dónde se encuentra esa confianza. Vea la charla completa: