Dos tipos de pruebas de conocimiento cero 1⃣ Pruebas interactivas de conocimiento cero ▰ Preguntas de validación (desafío) ▰ El probador regresa de acuerdo con el desafío ▰ Múltiples rondas de ida y vuelta, confirmación de validez del validador 2⃣ Pruebas de conocimiento cero no interactivas ▰ El probador solo necesita generar un archivo (prueba) ▰ Los validadores pueden verificar de forma independiente cuando lo obtienen, y no hay necesidad de interacción de ida y vuelta Tres propiedades de las pruebas ZK ▰ Integridad Si la proposición es cierta, la prueba definitivamente pasará la verificación ▰ Confiabilidad - Solidez Si la proposición es falsa, nadie puede crear una prueba falsa para pasar la verificación ▰ Conocimiento cero - Conocimiento cero Los verificadores no pueden derivar entradas secretas de pruebas Debido a las propiedades de blockchain, es básicamente una prueba de conocimiento cero no interactiva en aplicaciones prácticas. Las pruebas de conocimiento cero no interactivas son desafíos autoaleatorios del probador para determinar la autenticidad de una prueba. @brevis_zk Notas de estudio ~