En la conferencia EDCON en Montenegro, @VitalikButerin explicó los desafíos técnicos de la red Ethereum en términos de expansión, privacidad, seguridad, etc., y finalmente concluyó que zk-SNARK será tan importante como blockchain en los próximos 10 años. ¿Qué es zk-SNARK que V God no escatima esfuerzos en promover? ¿Qué problemas actuales de blockchain puede resolver la tecnología zk-SNARK? A continuación, Thread, permítanme aportar algunas ideas a la discusión. 1/n

SNARK significa (argumento de conocimiento sucinto no interactivo), que es un argumento de conocimiento conciso no interactivo. Su núcleo es construir un sistema de prueba a través de algoritmos matemáticos, lo que permite al verificador verificar la exactitud de los datos sin conocer el original. datos. El proceso de implementación implica tecnologías complejas como circuitos verificables, principios de criptografía de curva elíptica, funciones hash, algoritmos de cifrado, etc., por lo que no entraré en demasiados detalles aquí. 2/n

Dado que SNARK puede comprimir los datos originales en una prueba muy pequeña para verificar la exactitud de sus datos de entrada, junto con la base técnica de conocimiento cero de zk, zk-SNARK puede lograr grandes avances en escalabilidad, privacidad, seguridad y otros aspectos. Especialmente después de que Ethereum lanzó el algoritmo aleatorio Makarov (MAST) en 2018, zk-SNARK se puede integrar directamente en el sistema Ethereum para resolver el problema actual de cuello de botella de la red Ethereum. 3/n

Por eso, aunque la tecnología zk-STARK nativa de @Statrknet puede manejar problemas informáticos más complejos (evitando ataques de computación cuántica, etc.), zk-SNARK tiene mayores expectativas. En particular, algunas de las paradojas de blockchain que confunden a todos pueden resolverse efectivamente después de reemplazar la capa inferior de zk-SNARK, como: protección de la privacidad y posibles problemas de lavado de dinero de piratas informáticos, problemas de recuperación social que no pueden escapar de la interferencia de instituciones centralizadas. , etc. 4/n

Hablemos primero de escalabilidad. zk-rollup está muy por delante del op-rollup y es una solución final para la segunda capa de Ethereum. OP primero muestra optimismo por defecto para todas las transacciones y luego pasa por un período de desafío a prueba de fraude de 7 días después de enviarlo a la cadena. ZK puede garantizar de manera rápida y segura que cada transacción en la cadena sea legal según algoritmos matemáticos. 5/n

https://twitter.com/tmel0211/status/1649274901596094464?s=20 Aquí zk-SNARK resuelve un problema paradójico de la escalabilidad de Ethereum, la contradicción entre escalabilidad y centralización, aunque la solución op-rollup en realidad se implementa en el escenario. más maduro, pero todavía tiene el riesgo potencial de centralización en el secuenciador y el proceso de verificación de desafío optimista. Por supuesto que podemos ser "optimistas", pero para lograr un resumen absolutamente descentralizado, debemos tener SNARK. 6/n

Miremos la privacidad. Según el contexto actual de la tecnología blockchain, nuestro desarrollo de la tecnología de privacidad caerá en una paradoja lógica. ¿En última instancia servirá a los piratas informáticos? Sin embargo, si se basa en zk-SNARK, se puede desarrollar una solución de Prueba de inocencia (POI) para proteger a los usuarios de depositar y retirar dinero a través de la privacidad y, al mismo tiempo, evitar que los delincuentes la utilicen para hacer el mal. Específicamente, la tecnología POI se puede aplicar a protocolos similares a Tornado 7/n;

La tecnología POI proporciona a cada usuario una huella digital generada en función del historial del estado de la cadena de bloques y las claves privadas. Cuando un pirata informático intenta lavar dinero a través del grupo de transacciones de mezcla de divisas de Tornado, si la dirección de solicitud de retiro y la dirección de depósito proporcionadas por él son inconsistentes (si es privada). La clave es diferente), será interceptada y devuelta a la dirección de mezcla original. Los activos no identificados equivalentes a los piratas informáticos no pueden evadir el seguimiento a través del sistema de mezcla de divisas 8/n;

Por supuesto, también puede crear directamente una lista de exclusión del árbol Merkel, como señaló Buterin en su discurso, lo que equivale a agregar un mecanismo de lista negra al protocolo tornado. Los usuarios normales pueden generar pruebas inocentes si sus depósitos no están en la lista. entonces será normal. Con Tornado ocurre lo contrario. Aunque la lista negra es eficaz, conlleva el riesgo de centralización. Es más eficaz bloquear transacciones con claves privadas de depósito y retiro inconsistentes.

9/n Finalmente, hablemos de la cuestión de la paradoja anticensura (seguridad) de terceros. No hay duda de que la función de Recuperación Social es el camino inevitable para la aplicación a gran escala de blockchain. Sin embargo, no es difícil ver en las protestas comunitarias que sufrió Leager al abrir esta función hace dos días que no se puede construir sobre la Recuperación Social. la premisa de que el tercero está centralizado. Y la tecnología zk-SNARK puede resolver este problema. 10/n

En pocas palabras, cuando un usuario genera varios fragmentos de clave privada, puede cifrar los fragmentos y utilizar el sistema de certificación zk-SNARK para generar un certificado y luego distribuirlo a una institución de confianza o a un amigo. Si se pierde la clave privada del usuario. se puede solicitar que un tercero proporcione certificados de datos fragmentados y luego utilice zk-SNARK para verificar la exactitud de estos certificados, realizando así la función de recuperación social sin revelar la fragmentación de la clave privada. 11/n

Una vez que se comprende completamente el contenido anterior, no es difícil ver la importancia de la tecnología zk-SNARK para el sistema blockchain. Puede resolver varios problemas en la red Ethereum actual, como escalabilidad y centralización, privacidad y maldad, seguridad y anti-. La censura. El problema de la paradoja del desarrollo. Por lo tanto, Buterin dijo que zk-SNARK será tan importante como blockchain en 10 años. Quizás la capa inferior de Ethereum también sea zk-SNARK. Bueno, zk-SNARKS gobierna todo a mi alrededor. 12/12