Recientemente he estado estudiando la prueba de conocimiento cero, que a menudo se llama zkp.
En el pasado, solo pensaba que zk era mejor que op, por ejemplo, más rápido, más conveniente, más seguro, etc. Estos comentarios generales en realidad ignoraron un punto importante, es decir, por qué es mejor que op y qué es. la esencia de zk?
Uno de los métodos de prueba utilizados por zk se llama snark. Este método de prueba es muy interesante. El probador generará una prueba para indicar que se ha completado un determinado cálculo y el verificador solo necesita verificar la exactitud de la prueba para confirmar. Esto realmente sucedió.
Esta descripción puede ser un poco abstracta. Utilizo una metáfora más vívida para describir la cuestión de la "prueba".
Cuando tienes un modelo de IA grande que necesita ser calculado pero no tienes las herramientas informáticas correspondientes a mano, Xiao Ming sale y dice que tiene una máquina dispuesta a ayudarte a calcularlo, siempre y cuando le pagues una tarifa. Diez días después, Xiao Ming le da un resultado de IA: "El mercado de valores de mañana caerá". En este momento, ¿cómo puede juzgar si Xiao Ming realmente le ha ayudado a calcular? ¿O debería simplemente decirte un resultado y dejarlo pasar? En otras palabras, "¿Es Xiao Ming digno de confianza?" La mejor manera de verificarlo es buscar a otra persona para que haga el cálculo nuevamente y comparar los resultados de las dos personas. Sin embargo, esto generará el doble de costos. Después de todo, usted es el más confiable. así que presente a otra persona. El problema es que carece de las herramientas para realizar este complejo cálculo de IA.
Entonces, ¿cómo resolver este problema de crisis de confianza?
Matemáticos inteligentes inventaron un método de prueba llamado snark. La característica de este método es que se registra cada paso del proceso de cálculo y estos resultados intermedios se forman mediante una serie de cambios algebraicos para formar una pequeña prueba, que es la llamada prueba. "Prueba", la característica de esta prueba es que está fuertemente relacionada con el proceso de cálculo. Si el proceso de cálculo no coincide con las expectativas, entonces la prueba cambiará.
Como verificador, es decir, usted, solo necesita demostrar que esta prueba es correcta para asegurarse de que Xiao Ming hizo lo que dije y no inventó un resultado para mí.
Debo recordarles que el proceso de generación de pruebas es muy complicado, pero el proceso de verificación de pruebas es muy simple. Es decir, como aceptador, solo necesito asegurarme de que la prueba sea correcta y luego la transacción sea razonable. , lo que ahorra mucho tiempo de verificación. Gastos; en este caso, no necesita buscar a otra persona para que haga los cálculos usted mismo.
Básicamente, zkp resuelve el problema de la confianza entre las personas. ¿Cómo pueden dos desconocidos comunicarse y comerciar eficazmente sin la intervención de un tercero como supervisor? zkp ofrece una buena solución.
De manera similar, cuando se asigna al mundo blockchain, ¿por qué la capa 2 usa zkp? Porque los cálculos complejos se pueden poner fuera de la cadena y el proceso de carga en la cadena solo necesita verificar una prueba, o incluso solo guardar una prueba. Para los bloques de la red principal donde el terreno es escaso, es una de las mejores soluciones para la expansión de la capacidad.
A través de mi comprensión de zkp, me di cuenta de dos cosas: en primer lugar, zkp no solo puede resolver el problema de congestión de Ethereum, sino que también proporciona un método de prueba de seguridad en la vida real y acelera la cooperación entre las personas; en segundo lugar, la mayoría de las innovaciones de las personas son en realidad; Para reparar los malos hábitos de las personas, si no se pueden reparar, los atenderán. Por ejemplo, las personas nacen para hacer trampa, por lo que es necesario introducir tecnología para evitarlo. más Si estás contento, habrá oportunidades de negocio.
