Vemos cada vez más equipos que adoptan tecnología de prueba de conocimiento cero en la infraestructura de blockchain y dApps. Algunos de estos nuevos esquemas pueden acelerar la aplicación de pruebas de conocimiento cero en el espacio de la cadena de bloques y ayudar a la privacidad y la escalabilidad de una mejor manera. Sin embargo, la mayoría de los proyectos se desarrollan en base a Ethereum, mientras que Bitcoin carece de la debida atención en el campo de las pruebas de conocimiento cero.
Puntos clave
La prueba de conocimiento cero puede mejorar la privacidad de Bitcoin porque puede ocultar los detalles de la transacción, como el monto, la dirección, la entrada y la salida, etc., al tiempo que preserva la validez y la integridad de la transacción, para que pueda evitar terceros de Rastree y analice las actividades de transacciones de los usuarios.
**La prueba de conocimiento cero puede mejorar la escalabilidad de Bitcoin porque puede reducir el tamaño de los datos de transacción y el tiempo de verificación. ** Por ejemplo, al usar ZK-STARK o sus versiones mejoradas, se pueden empaquetar y verificar múltiples transacciones usando pruebas de conocimiento cero, ahorrando espacio y tiempo.
**La prueba de conocimiento cero puede mejorar la innovación de Bitcoin porque admite más funciones y aplicaciones. ** Por ejemplo, al usar ZK-SNARK, se pueden implementar más lógica y cálculos, y se pueden ejecutar contratos más complejos y flexibles sin exponer información ni aumentar los gastos generales.
**En última instancia, las pruebas de conocimiento cero harán que Bitcoin sea más confiable y descentralizado, en línea con sus valores fundamentales. **Con el continuo desarrollo y mejora de la tecnología, el potencial de Bitcoin y ZKP también se explorará continuamente.
Cada vez más equipos están adoptando tecnología de prueba de conocimiento cero en la infraestructura de blockchain y dApps. Sin embargo, la mayoría de los proyectos se desarrollan en base a Ethereum. Sin embargo, Bitcoin y las pruebas de conocimiento cero en realidad tienen una combinación natural, y este campo actualmente carece de la debida atención. ¿Qué tipo de empoderamiento traerá la combinación de tecnología de prueba de conocimiento cero y Bitcoin a la red de Bitcoin? En esta publicación de blog de Bing Ventures, exploraremos este tema desde la perspectiva de los principios técnicos y las perspectivas de aplicación.
Una prueba de conocimiento cero (ZKP) es un método matemático que permite que una parte (llamada probador) pruebe un hecho a otra parte (llamada verificador) sin proporcionar al verificador ninguna información sobre la prueba. Este enfoque es muy efectivo para preservar la privacidad porque el probador puede proporcionar la prueba al verificador sin revelar ninguna información sobre la prueba en sí.
**Bitcoin se puede combinar con prueba de conocimiento cero para tener una combinación natural de genes. **Bitcoin es una moneda virtual descentralizada que utiliza blockchain para registrar transacciones y toda la información de las transacciones es pública. Sin embargo, esto también significa que cualquier persona puede ver la información de las transacciones de Bitcoin, por lo que existe el riesgo de fuga de privacidad. Y la prueba de conocimiento cero puede resolver este problema.
**Al utilizar la prueba de conocimiento cero, los usuarios de Bitcoin pueden cifrar la información de la transacción y probar su validez sin revelar la información, logrando así un mayor nivel de protección de la privacidad. **Las pruebas de conocimiento cero también pueden mejorar la escalabilidad de Bitcoin. Actualmente, la velocidad de transacción de Bitcoin está limitada por el tamaño de la cadena de bloques y la congestión de la red, lo que limita su uso en aplicaciones comerciales a gran escala. Sin embargo, al usar pruebas de conocimiento cero, los usuarios de Bitcoin pueden procesar una gran cantidad de información de transacciones en lotes y comprimir el tamaño de sus pruebas a un tamaño extremadamente pequeño, mejorando así la escalabilidad y la eficiencia de Bitcoin.
Antecedentes y justificación
ZK-SNARKs和ZK-STARKs
Tanto ZK-SNARK como ZK-STARK son variantes de pruebas de conocimiento cero, y lo que tienen en común es probar la validez de ciertos datos u operaciones sin revelar información sensible. Sin embargo, difieren en su implementación, rendimiento y ámbito de aplicación.
ZK-SNARKs (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) es una tecnología de prueba de conocimiento cero basada en criptografía de curva elíptica. Puede convertir un problema computacional complejo en una prueba simple de tamaño muy pequeño y que no requiere interacción. Esto significa que los ZK-SNARK pueden verificar la exactitud de los cálculos sin revelar ninguna información de cálculo. Los campos de aplicación de ZK-SNARK incluyen principalmente moneda de cifrado y protección de la privacidad.
ZK-STARKs (Zero-Knowledge Scalable Transparent Argument of Knowledge) es un nuevo tipo de tecnología de prueba de conocimiento cero, que es más flexible y segura que ZK-SNARK. La implementación de ZK-STARK no se basa en la criptografía de curva elíptica, sino que utiliza funciones hash y técnicas de interpolación polinomial. Esto hace que los ZK-STARK sean más confiables porque en lugar de depender de acertijos matemáticos impredecibles, se basan en la irreversibilidad de las funciones hash. Además, el tamaño de prueba de ZK-STARK es mayor que el de ZK-SNARK, pero su prueba es más verificable, por lo que se puede aplicar a una gama más amplia de campos, como la informática distribuida y la seguridad de Internet de las cosas.
Dificultades en el uso de prueba de conocimiento cero para Bitcoin
Tomando Zcash como ejemplo, Zcash usa ZK-SNARK en tecnología de prueba de conocimiento cero, que se puede usar para ocultar los detalles de la transacción, incluido el monto de la transacción, la identidad del participante, etc., para lograr una mejor protección de la privacidad. Zcash adopta el principio técnico de ZK-SNARKS de la siguiente manera:
Hay dos tipos de direcciones en Zcash: direcciones transparentes (dirección t) y direcciones ocultas (dirección z). Las direcciones transparentes son similares a las direcciones de Bitcoin en el sentido de que revelan los montos de las transacciones y los participantes en la cadena de bloques. Las direcciones ocultas utilizan pruebas de conocimiento cero para proteger la privacidad de los montos de las transacciones y los participantes.
Cuando un usuario envía fondos de una dirección oculta a otra, debe generar una prueba ZK-SNARKS de que tiene fondos suficientes y que no está gastando fondos que ya se hayan gastado. Este proceso implica algunas operaciones matemáticas y criptográficas complejas, como generar parámetros públicos, calcular hashes y construir circuitos aritméticos.
Generar pruebas ZK-SNARKS requiere muchos recursos informáticos y tiempo, pero verificar las pruebas ZK-SNARKS es muy rápido y fácil. El verificador solo necesita verificar si la transacción cumple con las reglas de blockchain y no necesita saber nada sobre el monto de la transacción o los participantes.
Al usar ZK-SNARKS, Zcash puede lograr transacciones completamente anónimas y verificables, mejorando la privacidad y usabilidad del usuario mientras mantiene la seguridad y la descentralización de la cadena de bloques.
Sin embargo, la tecnología de prueba de conocimiento cero adoptada por Zcash también tiene algunas limitaciones. En primer lugar, Zcash está basado en UTXO, lo que significa que la información de la transacción no está completamente enmascarada, solo bloqueada. Por lo tanto, los atacantes pueden inferir información útil mediante el análisis de patrones y flujos de información de transacciones. Esto también lleva a que el grado de protección de la privacidad de Zcash no sea completamente confiable.
En segundo lugar, Zcash es una red independiente basada en Bitcoin, lo que dificulta su integración con otras aplicaciones. Esto, a su vez, limita sus posibilidades de una aplicación más amplia, lo que dificulta aún más su desarrollo. Aunque Zcash implementa transacciones privadas, la tasa de uso real no es alta. Una de las razones es que el costo de las transacciones privadas es muy superior al de las transacciones públicas, lo que limita su ámbito de aplicación.
Ventajas técnicas de ZK-STARKs
El uso de la tecnología ZK-SNARKs en Bitcoin puede lograr el anonimato de las transacciones y la protección de la privacidad, pero esta tecnología tiene algunas desventajas, como la necesidad de configuraciones y equipos confiables, y la necesidad de una gran cantidad de recursos informáticos y de almacenamiento. Para resolver estos problemas, también han surgido algunas nuevas tecnologías de prueba de conocimiento cero, como la tecnología ZK-STARK.
En términos simples, el proceso de ZK-STARK incluye los siguientes pasos:
El probador convierte el cálculo que quiere probar en un sistema de ecuaciones polinómicas con información secreta como variables.
El probador realiza una serie de transformaciones y simplificaciones en este sistema de ecuaciones para obtener un sistema de ecuaciones más simple.
El probador muestrea y codifica este sistema de ecuaciones simplificado para obtener un vector de baja dimensión.
El probador procesa y firma este vector para obtener una cadena corta como su prueba.
Después de recibir esta cadena, el verificador puede verificar si es correcta a través de algunos parámetros y algoritmos públicos, sin conocer la información secreta o el cálculo original.
En comparación con la tecnología ZK-SNARK, la tecnología ZK-STARK tiene las siguientes ventajas:
La tecnología ZK-STARKs no requiere configuraciones confiables, es decir, no necesita confiar en un generador específico, lo que mejora la seguridad de la tecnología.
La tecnología ZK-STARK puede adaptarse mejor a dispositivos livianos y escenarios de aplicaciones más amplios porque requiere menos recursos informáticos y de almacenamiento. Esto se debe a que su proceso de generación de pruebas es más eficiente que el de ZK-SNARK, que requiere operaciones complejas de cifrado y descifrado. Además, la tecnología ZK-STARK también puede utilizar mejor las capacidades de la computación paralela y la computación distribuida, de modo que las tareas informáticas se puedan procesar de manera más eficiente en algunos casos.
La tecnología ZK-STARK también puede admitir más algoritmos y operaciones, como funciones hash, operaciones polinómicas, etc., lo que también brinda más posibilidades para la expansión y actualización de la tecnología.
### Combinación de Bitcoin y ZK-STARK
Tecnología EC-STARK
La tecnología de STARK es un nuevo tipo de tecnología de prueba criptográfica que puede comunicarse con terceros transfiriendo datos mientras mantiene la privacidad de los datos. Esta técnica permite el cálculo y el almacenamiento fuera de la cadena de datos de verificación, lo que mejora la escalabilidad. En comparación con la tecnología ZK-SNARK, la tecnología STARK es más avanzada y puede resistir los ataques de las computadoras cuánticas.
La tecnología EC-STARKs es la próxima generación de la tecnología STARKs, cuyo objetivo es mejorar la escalabilidad y la seguridad de Bitcoin reemplazando la función hash con curvas elípticas. Esta tecnología podría hacer que las soluciones de escalabilidad que ya existen en Ethereum sean compatibles con Bitcoin. Usando la tecnología EC-STARK, es posible ejecutar el protocolo Bitcoin fuera de la cadena y almacenar pruebas en STARK.
En resumen, Bitcoin se puede emular en STARK, lo que permite protocolos muy complejos para crear tokens basados en Bitcoin utilizando las mismas claves de curva elíptica. El uso de la tecnología EC-STARK puede ejecutarse en el protocolo fuera de la cadena de Bitcoin, manteniendo la prueba en STARK. Este enfoque no solo mejora la escalabilidad de Bitcoin, sino que también permite establecer protocolos altamente complejos en Bitcoin con mayor privacidad.
Esta tecnología lleva la escalabilidad y la privacidad de Bitcoin a un nivel completamente nuevo, lo que convierte a Bitcoin en una mejor plataforma. De esta forma, los desarrolladores pueden crear aplicaciones más complejas en Bitcoin, haciendo que la posición de Bitcoin en el mercado de criptomonedas sea más estable.
La perspectiva de aplicación de ZK-STARK en Bitcoin
La aplicación de ZK-STARK también está en línea con la filosofía de diseño conservador de Bitcoin. No requiere una colección confiable, sino que utiliza tecnologías como funciones hash, árboles de Merkle y polinomios para mejorar la transparencia y la seguridad de Bitcoin. Una ventaja de EC-STARKS sobre Bitcoin es que puede mejorar la privacidad de Bitcoin porque no requiere que se divulguen los detalles de las transacciones. Otra ventaja es que reduce los requisitos de almacenamiento de Bitcoin, ya que puede comprimir grandes cantidades de datos en una pequeña prueba. Un desafío de EC-STARKS en Bitcoin es que requiere más recursos informáticos porque necesita realizar operaciones matemáticas complejas. Otro desafío es que requiere más coordinación y estandarización, ya que debe ser compatible con el protocolo y la infraestructura existentes de Bitcoin.
Desde la perspectiva de la implementación técnica, la aplicación de ZK-STARK se puede dividir en nodos ligeros, nodos completos y métodos de verificación. Los nodos ligeros pueden usar Stark para probar el estado de los encabezados de bloque para lograr una sincronización rápida. El nodo completo puede realizar la prueba de validez a través del estado UTXO y usar la tecnología utreexo para representar el estado UTXO en un nuevo formato, de modo que no sea necesario ver el estado UTXO completo. En términos de métodos de verificación, solo necesita dar a utreexo root + estado final para comenzar a verificar los bloques entrantes.
Además, hay muchas direcciones potenciales para la aplicación de ZK-STARK. Por ejemplo, la combinación con el protocolo Taro puede hacer de Bitcoin un activo más general, lo que amplía aún más los escenarios de aplicación de Bitcoin. Al combinar ZK-STARK con TARO, se puede mejorar la escalabilidad del protocolo TARO para que pueda manejar más transacciones y el soporte para aplicaciones a mayor escala abrirá la puerta para el despliegue de cadenas múltiples del protocolo TARO. Además, la privacidad de Bitcoin siempre ha sido un problema, y la aplicación de la tecnología ZK-STARK puede mejorar en gran medida la privacidad de Bitcoin. Mediante el uso de la tecnología ZK-STARK, todo el historial de transacciones se puede comprimir en una sola transacción, ocultando efectivamente la información de la transacción del usuario.
### futuros destacados
Además, los ZK-STARK se pueden usar para la verificación de transacciones de Bitcoin, incluida la serialización de transacciones de Bitcoin, cálculos de doble SHA, operaciones secp256k1, etc. Estas operaciones son el núcleo de la verificación de transacciones de Bitcoin, y el uso de ZK-STARK puede garantizar que el proceso de verificación de las transacciones de Bitcoin sea altamente seguro y confiable. Los ZK-STARK también se pueden usar para verificar la funcionalidad incorporada acelerada de Cairo de Bitcoin. Cairo es un sistema eficiente de prueba de conocimiento cero que, cuando se usa junto con las capacidades integradas aceleradas de Cairo de Bitcoin, permite una verificación y seguridad eficientes de las transacciones de Bitcoin.
Los ZK-STARK también se pueden usar para implementar primitivas de Taro y serialización de TLV de activos, así como la implementación y verificación de MS-SMT. Estas operaciones pueden proteger eficazmente la privacidad y la seguridad de las transacciones de Bitcoin y mejorar aún más la credibilidad y confiabilidad de las transacciones de Bitcoin. Como solución de segundo nivel para las transacciones de Bitcoin, Lightning Network puede lograr transacciones de Bitcoin más eficientes y seguras al combinar la tecnología ZK-STARK. Usando la tecnología ZK-STARK, las transacciones de Bitcoin en Lightning Network se pueden verificar rápidamente sin sacrificar la privacidad de la transacción.
Vemos cada vez más equipos que adoptan tecnología de prueba de conocimiento cero en la infraestructura de blockchain y dApps. Algunos de estos nuevos esquemas pueden tener el potencial de acelerar la adopción de pruebas de conocimiento cero en el espacio de blockchain y ayudar a la privacidad y la escalabilidad de una mejor manera. Sin embargo, la mayoría de los proyectos se desarrollan en base a Ethereum, mientras que Bitcoin carece de la debida atención en el campo de las pruebas de conocimiento cero. Para empeorar las cosas, la práctica de la ingeniería, en cierto sentido, no ha alcanzado el rendimiento académico. Necesitamos más implementación y exploración en esta área, y se debe prestar más atención y apoyo a este campo.
Ver originales
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
¿Qué traerá "ZKP+Bitcoin"?
Por: Bing Ventures
Vemos cada vez más equipos que adoptan tecnología de prueba de conocimiento cero en la infraestructura de blockchain y dApps. Algunos de estos nuevos esquemas pueden acelerar la aplicación de pruebas de conocimiento cero en el espacio de la cadena de bloques y ayudar a la privacidad y la escalabilidad de una mejor manera. Sin embargo, la mayoría de los proyectos se desarrollan en base a Ethereum, mientras que Bitcoin carece de la debida atención en el campo de las pruebas de conocimiento cero.
Puntos clave
Cada vez más equipos están adoptando tecnología de prueba de conocimiento cero en la infraestructura de blockchain y dApps. Sin embargo, la mayoría de los proyectos se desarrollan en base a Ethereum. Sin embargo, Bitcoin y las pruebas de conocimiento cero en realidad tienen una combinación natural, y este campo actualmente carece de la debida atención. ¿Qué tipo de empoderamiento traerá la combinación de tecnología de prueba de conocimiento cero y Bitcoin a la red de Bitcoin? En esta publicación de blog de Bing Ventures, exploraremos este tema desde la perspectiva de los principios técnicos y las perspectivas de aplicación.
Una prueba de conocimiento cero (ZKP) es un método matemático que permite que una parte (llamada probador) pruebe un hecho a otra parte (llamada verificador) sin proporcionar al verificador ninguna información sobre la prueba. Este enfoque es muy efectivo para preservar la privacidad porque el probador puede proporcionar la prueba al verificador sin revelar ninguna información sobre la prueba en sí.
**Bitcoin se puede combinar con prueba de conocimiento cero para tener una combinación natural de genes. **Bitcoin es una moneda virtual descentralizada que utiliza blockchain para registrar transacciones y toda la información de las transacciones es pública. Sin embargo, esto también significa que cualquier persona puede ver la información de las transacciones de Bitcoin, por lo que existe el riesgo de fuga de privacidad. Y la prueba de conocimiento cero puede resolver este problema.
**Al utilizar la prueba de conocimiento cero, los usuarios de Bitcoin pueden cifrar la información de la transacción y probar su validez sin revelar la información, logrando así un mayor nivel de protección de la privacidad. **Las pruebas de conocimiento cero también pueden mejorar la escalabilidad de Bitcoin. Actualmente, la velocidad de transacción de Bitcoin está limitada por el tamaño de la cadena de bloques y la congestión de la red, lo que limita su uso en aplicaciones comerciales a gran escala. Sin embargo, al usar pruebas de conocimiento cero, los usuarios de Bitcoin pueden procesar una gran cantidad de información de transacciones en lotes y comprimir el tamaño de sus pruebas a un tamaño extremadamente pequeño, mejorando así la escalabilidad y la eficiencia de Bitcoin.
ZK-SNARKs和ZK-STARKs
Tanto ZK-SNARK como ZK-STARK son variantes de pruebas de conocimiento cero, y lo que tienen en común es probar la validez de ciertos datos u operaciones sin revelar información sensible. Sin embargo, difieren en su implementación, rendimiento y ámbito de aplicación.
ZK-SNARKs (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) es una tecnología de prueba de conocimiento cero basada en criptografía de curva elíptica. Puede convertir un problema computacional complejo en una prueba simple de tamaño muy pequeño y que no requiere interacción. Esto significa que los ZK-SNARK pueden verificar la exactitud de los cálculos sin revelar ninguna información de cálculo. Los campos de aplicación de ZK-SNARK incluyen principalmente moneda de cifrado y protección de la privacidad.
ZK-STARKs (Zero-Knowledge Scalable Transparent Argument of Knowledge) es un nuevo tipo de tecnología de prueba de conocimiento cero, que es más flexible y segura que ZK-SNARK. La implementación de ZK-STARK no se basa en la criptografía de curva elíptica, sino que utiliza funciones hash y técnicas de interpolación polinomial. Esto hace que los ZK-STARK sean más confiables porque en lugar de depender de acertijos matemáticos impredecibles, se basan en la irreversibilidad de las funciones hash. Además, el tamaño de prueba de ZK-STARK es mayor que el de ZK-SNARK, pero su prueba es más verificable, por lo que se puede aplicar a una gama más amplia de campos, como la informática distribuida y la seguridad de Internet de las cosas.
Tomando Zcash como ejemplo, Zcash usa ZK-SNARK en tecnología de prueba de conocimiento cero, que se puede usar para ocultar los detalles de la transacción, incluido el monto de la transacción, la identidad del participante, etc., para lograr una mejor protección de la privacidad. Zcash adopta el principio técnico de ZK-SNARKS de la siguiente manera:
Sin embargo, la tecnología de prueba de conocimiento cero adoptada por Zcash también tiene algunas limitaciones. En primer lugar, Zcash está basado en UTXO, lo que significa que la información de la transacción no está completamente enmascarada, solo bloqueada. Por lo tanto, los atacantes pueden inferir información útil mediante el análisis de patrones y flujos de información de transacciones. Esto también lleva a que el grado de protección de la privacidad de Zcash no sea completamente confiable.
En segundo lugar, Zcash es una red independiente basada en Bitcoin, lo que dificulta su integración con otras aplicaciones. Esto, a su vez, limita sus posibilidades de una aplicación más amplia, lo que dificulta aún más su desarrollo. Aunque Zcash implementa transacciones privadas, la tasa de uso real no es alta. Una de las razones es que el costo de las transacciones privadas es muy superior al de las transacciones públicas, lo que limita su ámbito de aplicación.
El uso de la tecnología ZK-SNARKs en Bitcoin puede lograr el anonimato de las transacciones y la protección de la privacidad, pero esta tecnología tiene algunas desventajas, como la necesidad de configuraciones y equipos confiables, y la necesidad de una gran cantidad de recursos informáticos y de almacenamiento. Para resolver estos problemas, también han surgido algunas nuevas tecnologías de prueba de conocimiento cero, como la tecnología ZK-STARK.
En términos simples, el proceso de ZK-STARK incluye los siguientes pasos:
Tecnología EC-STARK
La tecnología de STARK es un nuevo tipo de tecnología de prueba criptográfica que puede comunicarse con terceros transfiriendo datos mientras mantiene la privacidad de los datos. Esta técnica permite el cálculo y el almacenamiento fuera de la cadena de datos de verificación, lo que mejora la escalabilidad. En comparación con la tecnología ZK-SNARK, la tecnología STARK es más avanzada y puede resistir los ataques de las computadoras cuánticas.
La tecnología EC-STARKs es la próxima generación de la tecnología STARKs, cuyo objetivo es mejorar la escalabilidad y la seguridad de Bitcoin reemplazando la función hash con curvas elípticas. Esta tecnología podría hacer que las soluciones de escalabilidad que ya existen en Ethereum sean compatibles con Bitcoin. Usando la tecnología EC-STARK, es posible ejecutar el protocolo Bitcoin fuera de la cadena y almacenar pruebas en STARK.
En resumen, Bitcoin se puede emular en STARK, lo que permite protocolos muy complejos para crear tokens basados en Bitcoin utilizando las mismas claves de curva elíptica. El uso de la tecnología EC-STARK puede ejecutarse en el protocolo fuera de la cadena de Bitcoin, manteniendo la prueba en STARK. Este enfoque no solo mejora la escalabilidad de Bitcoin, sino que también permite establecer protocolos altamente complejos en Bitcoin con mayor privacidad.
Esta tecnología lleva la escalabilidad y la privacidad de Bitcoin a un nivel completamente nuevo, lo que convierte a Bitcoin en una mejor plataforma. De esta forma, los desarrolladores pueden crear aplicaciones más complejas en Bitcoin, haciendo que la posición de Bitcoin en el mercado de criptomonedas sea más estable.
La aplicación de ZK-STARK también está en línea con la filosofía de diseño conservador de Bitcoin. No requiere una colección confiable, sino que utiliza tecnologías como funciones hash, árboles de Merkle y polinomios para mejorar la transparencia y la seguridad de Bitcoin. Una ventaja de EC-STARKS sobre Bitcoin es que puede mejorar la privacidad de Bitcoin porque no requiere que se divulguen los detalles de las transacciones. Otra ventaja es que reduce los requisitos de almacenamiento de Bitcoin, ya que puede comprimir grandes cantidades de datos en una pequeña prueba. Un desafío de EC-STARKS en Bitcoin es que requiere más recursos informáticos porque necesita realizar operaciones matemáticas complejas. Otro desafío es que requiere más coordinación y estandarización, ya que debe ser compatible con el protocolo y la infraestructura existentes de Bitcoin.
Desde la perspectiva de la implementación técnica, la aplicación de ZK-STARK se puede dividir en nodos ligeros, nodos completos y métodos de verificación. Los nodos ligeros pueden usar Stark para probar el estado de los encabezados de bloque para lograr una sincronización rápida. El nodo completo puede realizar la prueba de validez a través del estado UTXO y usar la tecnología utreexo para representar el estado UTXO en un nuevo formato, de modo que no sea necesario ver el estado UTXO completo. En términos de métodos de verificación, solo necesita dar a utreexo root + estado final para comenzar a verificar los bloques entrantes.
Además, hay muchas direcciones potenciales para la aplicación de ZK-STARK. Por ejemplo, la combinación con el protocolo Taro puede hacer de Bitcoin un activo más general, lo que amplía aún más los escenarios de aplicación de Bitcoin. Al combinar ZK-STARK con TARO, se puede mejorar la escalabilidad del protocolo TARO para que pueda manejar más transacciones y el soporte para aplicaciones a mayor escala abrirá la puerta para el despliegue de cadenas múltiples del protocolo TARO. Además, la privacidad de Bitcoin siempre ha sido un problema, y la aplicación de la tecnología ZK-STARK puede mejorar en gran medida la privacidad de Bitcoin. Mediante el uso de la tecnología ZK-STARK, todo el historial de transacciones se puede comprimir en una sola transacción, ocultando efectivamente la información de la transacción del usuario.
Además, los ZK-STARK se pueden usar para la verificación de transacciones de Bitcoin, incluida la serialización de transacciones de Bitcoin, cálculos de doble SHA, operaciones secp256k1, etc. Estas operaciones son el núcleo de la verificación de transacciones de Bitcoin, y el uso de ZK-STARK puede garantizar que el proceso de verificación de las transacciones de Bitcoin sea altamente seguro y confiable. Los ZK-STARK también se pueden usar para verificar la funcionalidad incorporada acelerada de Cairo de Bitcoin. Cairo es un sistema eficiente de prueba de conocimiento cero que, cuando se usa junto con las capacidades integradas aceleradas de Cairo de Bitcoin, permite una verificación y seguridad eficientes de las transacciones de Bitcoin.
Vemos cada vez más equipos que adoptan tecnología de prueba de conocimiento cero en la infraestructura de blockchain y dApps. Algunos de estos nuevos esquemas pueden tener el potencial de acelerar la adopción de pruebas de conocimiento cero en el espacio de blockchain y ayudar a la privacidad y la escalabilidad de una mejor manera. Sin embargo, la mayoría de los proyectos se desarrollan en base a Ethereum, mientras que Bitcoin carece de la debida atención en el campo de las pruebas de conocimiento cero. Para empeorar las cosas, la práctica de la ingeniería, en cierto sentido, no ha alcanzado el rendimiento académico. Necesitamos más implementación y exploración en esta área, y se debe prestar más atención y apoyo a este campo.