Hay un argumento interesante circulando sobre que las pruebas de conocimiento cero requieren "confianza en las matemáticas" - pero, ¿no es eso literalmente cada sistema criptográfico que usamos?

Piénsalo: cada repositorio de blockchain, cada línea de código criptográfico exige el mismo salto de fe. Estás confiando en los fundamentos matemáticos Y en cómo las bibliotecas implementan realmente esas teorías. Esto se aplica de manera universal, ya sea que estemos hablando de circuitos ZK o esquemas de encriptación tradicionales.

La distinción que la gente intenta hacer entre la tecnología ZK y otros enfoques criptográficos parece algo arbitraria cuando se descompone. El modelo de confianza no cambia fundamentalmente; siempre estás apostando a que las pruebas matemáticas se mantengan en implementaciones del mundo real. Tal vez las capas de complejidad difieran, pero la suposición básica de confianza? Prácticamente idéntica en todos los aspectos.

Lo que hace que uno sea "más confiable" que otro no es la presencia o ausencia de matemáticas avanzadas, sino la calidad de ejecución y la auditoría de seguridad.