El sistema de pruebas de conocimiento cero se originó en el artículo de 1985 de Goldwasser, Micali y Rackoff, que explora la cantidad de conocimiento que se necesita intercambiar para probar la validez de una afirmación en sistemas interactivos. Si se puede realizar un intercambio de conocimiento cero, se llama prueba de conocimiento cero. Los primeros sistemas de prueba de conocimiento cero tenían una eficiencia y usabilidad deficientes, permaneciendo principalmente en el ámbito teórico. En la última década, con el auge de la criptografía en el campo de las criptomonedas, las pruebas de conocimiento cero han experimentado un rápido desarrollo.
El avance clave de los zk-SNARKs es la teoría propuesta por Groth en 2010. En 2015, Zcash aplicó zk-SNARKs a la protección de la privacidad de las transacciones, abriendo escenarios de aplicación más amplios. Otros avances importantes incluyen:
Protocolo Pinocchio de 2013: comprimió el tiempo de prueba y verificación
Groth16 de 2016: redujo el tamaño de la prueba y mejoró la eficiencia de verificación
2017 Bulletproofs: se propusieron pruebas de conocimiento cero no interactivas y cortas
2018 zk-STARKs: protocolo sin necesidad de configuración confiable
Además, PLONK, Halo2 y otros han realizado importantes mejoras en zk-SNARKs.
2. Aplicaciones principales de zk-SNARKs
zk-SNARKs actualmente se aplica principalmente en dos áreas: protección de la privacidad y escalabilidad.
protección de la privacidad
Los proyectos de transacciones privadas tempranas como Zcash y Monero han recibido mucha atención, pero a medida que la demanda ha disminuido, han pasado gradualmente a un segundo plano. Los principales proyectos de transacciones privadas incluyen:
Zcash: utiliza zk-SNARKs
Monero: usar Bulletproof
Tornado Cash: un pool de mezcla basado en Ethereum
escalabilidad
Las aplicaciones de zk-SNARKs en la escalabilidad se centran principalmente en zk-rollup. zk-rollup incluye dos tipos de roles: Sequencer y Aggregator.
El secuenciador es responsable de empaquetar las transacciones
El Agregador es responsable de combinar transacciones y generar zk-SNARKs
Las ventajas de zk-rollup son bajos costos y rápida finalización, mientras que sus desventajas son una gran carga computacional y la necesidad de una configuración confiable.
Los proyectos zk-rollup más destacados son: StarkNet, zkSync, Aztec Connect, Polygon Hermez, Loopring, Scroll, entre otros. Tienen diferencias en la elección de SNARK/STARK y la compatibilidad con EVM.
Tres, el principio básico de ZK-SNARKs
zk-SNARKs representa pruebas de conocimiento cero concisas y no interactivas, que tienen las siguientes características:
Zero Knowledge: el proceso de prueba no revela información adicional
Succinct: verificación sencilla
No interactivo: no interactivo
Argumentos de Conocimiento: el probador necesita conocer información válida
El proceso de prueba zk-SNARKs de Groth16 es el siguiente:
Convertir el problema en un circuito
Convertir el circuito a la forma R1CS
Conversión de R1CS a forma QAP
Generar parámetros de configuración confiables
Generación y verificación de pruebas
zk-SNARKs sigue en rápido desarrollo y se espera que desempeñe un papel importante en más campos en el futuro.
Esta página puede contener contenido de terceros, que se proporciona únicamente con fines informativos (sin garantías ni declaraciones) y no debe considerarse como un respaldo por parte de Gate a las opiniones expresadas ni como asesoramiento financiero o profesional. Consulte el Descargo de responsabilidad para obtener más detalles.
7 me gusta
Recompensa
7
5
Compartir
Comentar
0/400
OnchainUndercover
· hace14h
Por ejemplo, realmente no entiendo.
Ver originalesResponder0
EthMaximalist
· hace14h
¿No es solo zk-snark? Has visto demasiado.
Ver originalesResponder0
NftRegretMachine
· hace14h
No puedo seguir el razonamiento de los expertos.
Ver originalesResponder0
LiquidatedAgain
· hace14h
¿Vuelves a aprovechar el momento para tomar a la gente por tonta? Estás mirando mi precio de liquidación.
Ver originalesResponder0
MoneyBurnerSociety
· hace14h
Después de diez años de investigar zero proof, la cuenta sigue con saldo cero...
Análisis completo de los tres grandes campos de zk-SNARKs: historia, aplicaciones y principios técnicos
Historia, aplicaciones y principios de zk-SNARKs
I. Desarrollo de zk-SNARKs
El sistema de pruebas de conocimiento cero se originó en el artículo de 1985 de Goldwasser, Micali y Rackoff, que explora la cantidad de conocimiento que se necesita intercambiar para probar la validez de una afirmación en sistemas interactivos. Si se puede realizar un intercambio de conocimiento cero, se llama prueba de conocimiento cero. Los primeros sistemas de prueba de conocimiento cero tenían una eficiencia y usabilidad deficientes, permaneciendo principalmente en el ámbito teórico. En la última década, con el auge de la criptografía en el campo de las criptomonedas, las pruebas de conocimiento cero han experimentado un rápido desarrollo.
El avance clave de los zk-SNARKs es la teoría propuesta por Groth en 2010. En 2015, Zcash aplicó zk-SNARKs a la protección de la privacidad de las transacciones, abriendo escenarios de aplicación más amplios. Otros avances importantes incluyen:
Además, PLONK, Halo2 y otros han realizado importantes mejoras en zk-SNARKs.
2. Aplicaciones principales de zk-SNARKs
zk-SNARKs actualmente se aplica principalmente en dos áreas: protección de la privacidad y escalabilidad.
protección de la privacidad
Los proyectos de transacciones privadas tempranas como Zcash y Monero han recibido mucha atención, pero a medida que la demanda ha disminuido, han pasado gradualmente a un segundo plano. Los principales proyectos de transacciones privadas incluyen:
escalabilidad
Las aplicaciones de zk-SNARKs en la escalabilidad se centran principalmente en zk-rollup. zk-rollup incluye dos tipos de roles: Sequencer y Aggregator.
Las ventajas de zk-rollup son bajos costos y rápida finalización, mientras que sus desventajas son una gran carga computacional y la necesidad de una configuración confiable.
Los proyectos zk-rollup más destacados son: StarkNet, zkSync, Aztec Connect, Polygon Hermez, Loopring, Scroll, entre otros. Tienen diferencias en la elección de SNARK/STARK y la compatibilidad con EVM.
Tres, el principio básico de ZK-SNARKs
zk-SNARKs representa pruebas de conocimiento cero concisas y no interactivas, que tienen las siguientes características:
El proceso de prueba zk-SNARKs de Groth16 es el siguiente:
zk-SNARKs sigue en rápido desarrollo y se espera que desempeñe un papel importante en más campos en el futuro.