jakiro
Muchas personas se confundieron después de leer las imágenes y textos de Zoo Science recientemente publicados de @Zksync, comparando el zoológico con el circuito de circuito, tratando a los animales con habilidades especiales como «puerta lógica» y tomar fotos de los animales felizmente como «prueba», para que La entrada de datos al circuito se completa a través de una serie de cálculos complejos sin revelar el contenido específico, y se completa un proceso de prueba de conocimiento cero.Vamos, me esforzaré por popularizar:
El zoológico corresponde a «circuitos». Un elemento básico que constituye una computadora.Por lo tanto, los «datos» pasados al circuito se pueden insertar en varias fórmulas y operaciones realizadas.
En el entorno de Lay2, hay algunos valores de hash de transacción, cuentas, saldos de datos, etc. Estos datos se pueden convertir en fórmulas para el cálculo. Fórmulas.
Las puertas lógicas en los circuitos correspondientes de varios animales, en el modo de zoológico, son: cajas de madera que representan números que no se muestran públicamente, llamados «variables»; Piedra: un número que representa un número inmovible, considerado como una «constante»;
Las cebras tienen la capacidad de comparar si dos números son «iguales», y la cebra estará feliz si son iguales; ;Diferentes animales representan diferentes fórmulas de adición, resta, multiplicación y división, y los animales están felices o tristes de representar la estructura de las operaciones de fórmula.
Muchos animales + diferentes tipos de cajas se combinan en un circuito. Finalmente, verifiquemos si la fórmula es válida.Tenga en cuenta que no tiene que preocuparse por por qué diferentes animales tienen diferentes habilidades.
Un circuito complejo es la construcción de todo tipo de animales (puertas lógicas) y cajas (reglas).
Supongamos que la fórmula 2x+3 = y ingresó justo ahora, que es equivalente a la oruga cebra y otros animales que están siendo felices, y luego se generará una «prueba» para la fórmula. La prueba es precisa.Por lo tanto, para garantizar la credibilidad de la prueba, el administrador del zoológico, el constructor del circuito, simuló un animal especial llamado Zeek puede ver si otros animales están contentos, lo cual es equivalente al verificador en el sistema de capa2.
El proceso de observación de Zeek si los animales están contentos es en realidad el proceso de verificación del sistema Prover.Por supuesto, hay miles de animales en el zoológico, y Zeek no puede verlos uno por uno.
El proceso de tomar una foto es equivalente al proceso de generación de pruebas de snark o KZG, mientras que el negativo impreso es equivalente a la prueba de Stark \ Snark. Los animales están felices de tomar fotos se completará y se generará una prueba de prueba.
Hay muchos animales en un zoológico.Esto causará cierta congestión y retraso y errores, lo que causará una conversión de estado no válida, y la verificación final no será posible.
arriba.
