¿Cómo ayuda ZeroSync a llevar la tecnología ZKP a la red Bitcoin?
Puntos claves:
- ZeroSync ya ha creado un prototipo funcional que permite a los usuarios autenticar el estado actual y el historial de transacciones de la cadena de bloques de Bitcoin sin tener que descargar la cadena completa ni depender de un tercero.
- Si bien el prototipo puede validar las reglas de consenso de Bitcoin, no puede validar las firmas de transacciones.
- ZeroSync lleva la sugerencia de Satoshi un paso más allá al confirmar las transacciones utilizando evidencia criptográfica en lugar de simplemente confiar en nodos honestos.
Las pruebas de conocimiento cero (ZKP) se han debatido en la comunidad criptográfica durante más de una década. Incluso Satoshi Nakamoto era consciente de que eran primitivos que podían explotarse, y el concepto de incorporarlos a Bitcoin se exploró ya en 2010, cuando todavía estaban en funcionamiento.
¿Qué pasaría si Bitcoin implementara pruebas de conocimiento cero? ¿Cómo se comunicaría la red Bitcoin con los usuarios si el estado de la cadena pudiera comprobarse rápidamente sin descargar datos de bloques ni depender de terceros?
ZeroSync, una iniciativa recientemente anunciada, lidera la creación de un sistema de prueba de concepto de Bitcoin.
La Asociación Suiza sin fines de lucro ZeroSync y la firma de infraestructura Bitcoin Blockstream han anunciado planes para transmitir pruebas de conocimiento cero de Bitcoin -un tipo de criptografía que ha surgido como una de las tendencias tecnológicas blockchain más candentes del año- desde el satélite de Blockstream, ayudando en el desarrollo de un futuro de Bitcoin con propiedades como privacidad, interoperabilidad y escalabilidad.
¿Qué es ZeroSync?
Tres informáticos alemanes fundaron la Asociación ZeroSync en Suiza para ayudar a escalar Bitcoin mediante el uso de pruebas de conocimiento cero (zk-proofs), un enfoque criptográfico que ha ganado terreno a favor de la cadena competidora Ethereum.
La criptografía se utiliza en pruebas de conocimiento cero para mostrar la validez de la información sin exponer la información misma. El uso de una prueba zk para verificar la cadena de bloques de Bitcoin permite que los nodos se sincronicen muy inmediatamente en lugar de necesitar horas (o incluso días) para descargar los 500 GB de datos actuales de la cadena.
ZeroSync construyó un prototipo funcional en febrero de este año que permite a los usuarios autenticar el estado (quién posee qué en este momento) y el historial de transacciones de la cadena de bloques de Bitcoin sin descargar la cadena completa ni depender de un tercero.
El prototipo es capaz de validar las reglas de consenso de Bitcoin pero no las firmas de transacciones. También es un poco incómodo y hay que ajustarlo en cuanto a velocidad y seguridad, por lo que aún no está listo para el horario de máxima audiencia, pero la clave es que funciona.
Geometry y StarkWare, dos empresas íntimamente comprometidas con las tecnologías de privacidad de conocimiento cero, están financiando el desarrollo de ZeroSync. Tom Walton-Pocock, ex director ejecutivo de Aztec Network, es el director de Geometría. El desarrollo inicial de ZeroSync fue financiado por una subvención de investigación. OnlyDust, el esfuerzo de código abierto de StarkWare, también ofrece fondos para el desarrollo.
En la cadena de bloques de Bitcoin, siempre han existido clientes ligeros, también conocidos como nodos de verificación de pago simple (SPV). Satoshi Nakamoto, de hecho, describió la noción en su documento técnico inicial. Estos son cruciales para dispositivos pequeños que no pueden descargar la cadena de bloques completa, como los teléfonos móviles.
Los sistemas de prueba de ZeroSync
Las pruebas sucintas de conocimiento cero prometen marcar el comienzo de una nueva era de escalabilidad y privacidad de blockchain. Aunque se está invirtiendo un importante esfuerzo técnico en la comunidad Ethereum para implementar esta tecnología, aún no se ha realizado dicha inversión para la red Bitcoin. Como resultado, se fundó ZeroSync para introducir estos mecanismos de prueba en Bitcoin por primera vez.
Es computacionalmente costoso probar cientos de terabytes de historia de blockchain, pero nuestra reducción da como resultado una prueba muy compacta. Una vez creada una prueba, cualquier número de nodos de la red pueden utilizarla para sincronizarse rápidamente con la red. Las pruebas son concisas, independientemente de la longitud de la cadena. Cada probador puede ampliar progresivamente la prueba de la cadena anterior cuando se extrae el nuevo bloque.
ZeroSync se compromete a implementar pruebas ZK concisas en la cadena de bloques de Bitcoin, generando pruebas ZK para la red de Bitcoin utilizando la prueba de validez de prueba de conocimiento transparente escalable de conocimiento cero (zk-STARK) patentada de StarkWare y siendo capaz de verificar instantáneamente el último estado de la cadena de bloques. sin descargar datos de bloques ni depender de terceros. ZeroSync también utiliza el lenguaje Cairo de StarkWare para crear pruebas de Bitcoin.
Los sistemas de prueba complementan eficazmente la inmutabilidad de Bitcoin. Permiten comprimir la cadena y complementarla con nuevas estructuras de datos, como un compromiso establecido UTXO, sin necesidad de modificaciones por consenso. Los usuarios pueden elegir si utilizar prueba o arranque tradicional. Además de la estricta capa básica de Bitcoin, los sistemas ZKP brindan una flexibilidad significativa y presentan una variedad de aplicaciones únicas para la investigación.
¿Cómo se implementa ZeroSync en Bitcoin?
ZeroSync proporciona pruebas en cadena en tres etapas: pruebas en cadena de encabezados, pruebas en cadena teóricamente válidas y pruebas en cadena completa, las dos primeras de las cuales ZeroSync tiene prototipos terminados.
La primera evidencia en la que está trabajando el equipo de ZeroSync, que ya debería estar disponible, aborda la validez del encabezado del bloque. Verifica que cada bloque de la cadena satisfaga adecuadamente el criterio de dificultad en ese momento y monitorea cada ajuste de dificultad para garantizar que cada bloque coincida con el objetivo correcto. Esto también afectará significativamente la arquitectura de billetera de Verificación de Pago Simple (SPV).
La cadena de prueba solo verifica los encabezados de los bloques, la prueba de trabajo y los cambios de dificultad, ampliados con un árbol Merkle en todos los encabezados de los bloques para ofrecer pruebas concisas de inclusión para todos los bloques y transacciones. Se distingue por su reducido peso y bajo coste computacional.
La segunda prueba se centra en la validez real del contenido del bloque; sin embargo, al igual que la función Assume Valid de Bitcoin Core, no verifica la validez de los datos testigo.
Examinará y verificará los límites de tamaño de las transacciones, las reglas de inflación monetaria y otros datos de testigos, pero no ofrecerá garantía de que las firmas, los bloqueos de hash y otros datos de testigos sean correctos. Por el contrario, esta prueba utilizará Utreexo para incluir el UTXO establecido en cada altura de bloque en el procedimiento ZKP general para la cadena.
Finalmente, la prueba final utilizará tanto el ZKP para los encabezados de bloque como el ZKP para Assume Valid para demostrar la validez de cada dato testigo en la cadena histórica. Técnicamente, un nodo que emplee el sistema de prueba final ZeroSync podrá arrancar con una prueba única y un conjunto UTXO con un mejor modelo de verificación que Bitcoin Core de forma predeterminada.
Todas las reglas de consenso de Bitcoin, incluida la información de firmas, se verifican mediante Full Chain Proof. Como resultado, las pruebas serán bastante caras.
Además, ZeroSync publicará un conjunto de herramientas para desarrolladores para ayudarlos a incorporar pruebas de conocimiento cero en sus negocios o servicios. Los escenarios de aplicación específicos incluyen, entre otros, intercambios de Bitcoin que revelan la capacidad de pago a sus clientes sin revelar información específica sobre el saldo o el historial de transacciones; las pruebas pueden transformar o filtrar datos de blockchain y crear índices para consultas eficientes; las pruebas se pueden ampliar y personalizar más fácilmente gracias a su capacidad de composición; ninguna o menos confianza Interoperabilidad entre cadenas y más; vender datos de prueba con pagos contingentes de conocimiento cero.
En resumen, ZeroSync no solo permitirá una verificación rápida del estado de la cadena, sino que también, idealmente, marcará el comienzo de un cambio de paradigma en la escalabilidad, interoperabilidad y privacidad de Bitcoin. Por supuesto, siguen existiendo obstáculos en términos de mejora de la seguridad y rendimiento de la prueba para desarrollar una prueba de Bitcoin de grado de producción.
Conclusión
ZeroSync acelera el proceso de integración de tecnologías ZKP en la capa primaria de Bitcoin. En Bitcoin, un verificador de pruebas proporciona una serie de características nuevas importantes, como acumulaciones de validez, vinculaciones bidireccionales sin confianza y total privacidad de las transacciones. Los ZKP tienen el potencial de ser una herramienta muy poderosa para Bitcoin, incluso si no están incluidos en la capa de consenso ni se utilizan para bloquear y gastar Bitcoin.
EXENCIÓN DE RESPONSABILIDADES: La información de este sitio web se proporciona como un comentario general del mercado y no constituye un consejo de inversión. Le animamos a que haga su propia investigación antes de invertir.
Únase a nosotros para estar al tanto de las novedades: https://linktr.ee/coincu
Harold
Coincú Noticias
Autor
Conocimiento
¿Cómo ayuda ZeroSync a llevar la tecnología ZKP a la red Bitcoin?
Puntos claves:
- ZeroSync ya ha creado un prototipo funcional que permite a los usuarios autenticar el estado actual y el historial de transacciones de la cadena de bloques de Bitcoin sin tener que descargar la cadena completa ni depender de un tercero.
- Si bien el prototipo puede validar las reglas de consenso de Bitcoin, no puede validar las firmas de transacciones.
- ZeroSync lleva la sugerencia de Satoshi un paso más allá al confirmar las transacciones utilizando evidencia criptográfica en lugar de simplemente confiar en nodos honestos.
Las pruebas de conocimiento cero (ZKP) se han debatido en la comunidad criptográfica durante más de una década. Incluso Satoshi Nakamoto era consciente de que eran primitivos que podían explotarse, y el concepto de incorporarlos a Bitcoin se exploró ya en 2010, cuando todavía estaban en funcionamiento.
¿Qué pasaría si Bitcoin implementara pruebas de conocimiento cero? ¿Cómo se comunicaría la red Bitcoin con los usuarios si el estado de la cadena pudiera comprobarse rápidamente sin descargar datos de bloques ni depender de terceros?
ZeroSync, una iniciativa recientemente anunciada, lidera la creación de un sistema de prueba de concepto de Bitcoin.
La Asociación Suiza sin fines de lucro ZeroSync y la firma de infraestructura Bitcoin Blockstream han anunciado planes para transmitir pruebas de conocimiento cero de Bitcoin -un tipo de criptografía que ha surgido como una de las tendencias tecnológicas blockchain más candentes del año- desde el satélite de Blockstream, ayudando en el desarrollo de un futuro de Bitcoin con propiedades como privacidad, interoperabilidad y escalabilidad.
¿Qué es ZeroSync?
Tres informáticos alemanes fundaron la Asociación ZeroSync en Suiza para ayudar a escalar Bitcoin mediante el uso de pruebas de conocimiento cero (zk-proofs), un enfoque criptográfico que ha ganado terreno a favor de la cadena competidora Ethereum.
La criptografía se utiliza en pruebas de conocimiento cero para mostrar la validez de la información sin exponer la información misma. El uso de una prueba zk para verificar la cadena de bloques de Bitcoin permite que los nodos se sincronicen muy inmediatamente en lugar de necesitar horas (o incluso días) para descargar los 500 GB de datos actuales de la cadena.
ZeroSync construyó un prototipo funcional en febrero de este año que permite a los usuarios autenticar el estado (quién posee qué en este momento) y el historial de transacciones de la cadena de bloques de Bitcoin sin descargar la cadena completa ni depender de un tercero.
El prototipo es capaz de validar las reglas de consenso de Bitcoin pero no las firmas de transacciones. También es un poco incómodo y hay que ajustarlo en cuanto a velocidad y seguridad, por lo que aún no está listo para el horario de máxima audiencia, pero la clave es que funciona.
Geometry y StarkWare, dos empresas íntimamente comprometidas con las tecnologías de privacidad de conocimiento cero, están financiando el desarrollo de ZeroSync. Tom Walton-Pocock, ex director ejecutivo de Aztec Network, es el director de Geometría. El desarrollo inicial de ZeroSync fue financiado por una subvención de investigación. OnlyDust, el esfuerzo de código abierto de StarkWare, también ofrece fondos para el desarrollo.
En la cadena de bloques de Bitcoin, siempre han existido clientes ligeros, también conocidos como nodos de verificación de pago simple (SPV). Satoshi Nakamoto, de hecho, describió la noción en su documento técnico inicial. Estos son cruciales para dispositivos pequeños que no pueden descargar la cadena de bloques completa, como los teléfonos móviles.
Los sistemas de prueba de ZeroSync
Las pruebas sucintas de conocimiento cero prometen marcar el comienzo de una nueva era de escalabilidad y privacidad de blockchain. Aunque se está invirtiendo un importante esfuerzo técnico en la comunidad Ethereum para implementar esta tecnología, aún no se ha realizado dicha inversión para la red Bitcoin. Como resultado, se fundó ZeroSync para introducir estos mecanismos de prueba en Bitcoin por primera vez.
Es computacionalmente costoso probar cientos de terabytes de historia de blockchain, pero nuestra reducción da como resultado una prueba muy compacta. Una vez creada una prueba, cualquier número de nodos de la red pueden utilizarla para sincronizarse rápidamente con la red. Las pruebas son concisas, independientemente de la longitud de la cadena. Cada probador puede ampliar progresivamente la prueba de la cadena anterior cuando se extrae el nuevo bloque.
ZeroSync se compromete a implementar pruebas ZK concisas en la cadena de bloques de Bitcoin, generando pruebas ZK para la red de Bitcoin utilizando la prueba de validez de prueba de conocimiento transparente escalable de conocimiento cero (zk-STARK) patentada de StarkWare y siendo capaz de verificar instantáneamente el último estado de la cadena de bloques. sin descargar datos de bloques ni depender de terceros. ZeroSync también utiliza el lenguaje Cairo de StarkWare para crear pruebas de Bitcoin.
Los sistemas de prueba complementan eficazmente la inmutabilidad de Bitcoin. Permiten comprimir la cadena y complementarla con nuevas estructuras de datos, como un compromiso establecido UTXO, sin necesidad de modificaciones por consenso. Los usuarios pueden elegir si utilizar prueba o arranque tradicional. Además de la estricta capa básica de Bitcoin, los sistemas ZKP brindan una flexibilidad significativa y presentan una variedad de aplicaciones únicas para la investigación.
¿Cómo se implementa ZeroSync en Bitcoin?
ZeroSync proporciona pruebas en cadena en tres etapas: pruebas en cadena de encabezados, pruebas en cadena teóricamente válidas y pruebas en cadena completa, las dos primeras de las cuales ZeroSync tiene prototipos terminados.
La primera evidencia en la que está trabajando el equipo de ZeroSync, que ya debería estar disponible, aborda la validez del encabezado del bloque. Verifica que cada bloque de la cadena satisfaga adecuadamente el criterio de dificultad en ese momento y monitorea cada ajuste de dificultad para garantizar que cada bloque coincida con el objetivo correcto. Esto también afectará significativamente la arquitectura de billetera de Verificación de Pago Simple (SPV).
La cadena de prueba solo verifica los encabezados de los bloques, la prueba de trabajo y los cambios de dificultad, ampliados con un árbol Merkle en todos los encabezados de los bloques para ofrecer pruebas concisas de inclusión para todos los bloques y transacciones. Se distingue por su reducido peso y bajo coste computacional.
La segunda prueba se centra en la validez real del contenido del bloque; sin embargo, al igual que la función Assume Valid de Bitcoin Core, no verifica la validez de los datos testigo.
Examinará y verificará los límites de tamaño de las transacciones, las reglas de inflación monetaria y otros datos de testigos, pero no ofrecerá garantía de que las firmas, los bloqueos de hash y otros datos de testigos sean correctos. Por el contrario, esta prueba utilizará Utreexo para incluir el UTXO establecido en cada altura de bloque en el procedimiento ZKP general para la cadena.
Finalmente, la prueba final utilizará tanto el ZKP para los encabezados de bloque como el ZKP para Assume Valid para demostrar la validez de cada dato testigo en la cadena histórica. Técnicamente, un nodo que emplee el sistema de prueba final ZeroSync podrá arrancar con una prueba única y un conjunto UTXO con un mejor modelo de verificación que Bitcoin Core de forma predeterminada.
Todas las reglas de consenso de Bitcoin, incluida la información de firmas, se verifican mediante Full Chain Proof. Como resultado, las pruebas serán bastante caras.
Además, ZeroSync publicará un conjunto de herramientas para desarrolladores para ayudarlos a incorporar pruebas de conocimiento cero en sus negocios o servicios. Los escenarios de aplicación específicos incluyen, entre otros, intercambios de Bitcoin que revelan la capacidad de pago a sus clientes sin revelar información específica sobre el saldo o el historial de transacciones; las pruebas pueden transformar o filtrar datos de blockchain y crear índices para consultas eficientes; las pruebas se pueden ampliar y personalizar más fácilmente gracias a su capacidad de composición; ninguna o menos confianza Interoperabilidad entre cadenas y más; vender datos de prueba con pagos contingentes de conocimiento cero.
En resumen, ZeroSync no solo permitirá una verificación rápida del estado de la cadena, sino que también, idealmente, marcará el comienzo de un cambio de paradigma en la escalabilidad, interoperabilidad y privacidad de Bitcoin. Por supuesto, siguen existiendo obstáculos en términos de mejora de la seguridad y rendimiento de la prueba para desarrollar una prueba de Bitcoin de grado de producción.
Conclusión
ZeroSync acelera el proceso de integración de tecnologías ZKP en la capa primaria de Bitcoin. En Bitcoin, un verificador de pruebas proporciona una serie de características nuevas importantes, como acumulaciones de validez, vinculaciones bidireccionales sin confianza y total privacidad de las transacciones. Los ZKP tienen el potencial de ser una herramienta muy poderosa para Bitcoin, incluso si no están incluidos en la capa de consenso ni se utilizan para bloquear y gastar Bitcoin.
EXENCIÓN DE RESPONSABILIDADES: La información de este sitio web se proporciona como un comentario general del mercado y no constituye un consejo de inversión. Le animamos a que haga su propia investigación antes de invertir.
Únase a nosotros para estar al tanto de las novedades: https://linktr.ee/coincu
Harold
Coincú Noticias
Otras publicaciones
Artículos Relacionados
Noticias
Las tarifas de la red Ethereum caen a un récord con un pronóstico optimista próximamente para Altcoins
Noticias
El ataque a Io.net se ha solucionado, el protocolo vuelve al funcionamiento normal
Noticias
El grupo norcoreano Lazarus apunta a estafas criptográficas a través de cuentas falsas de LinkedIn
Comunicados de prensa
AIEMP anuncia el lanzamiento de un innovador proyecto de seguridad de IA
Noticias
La demanda de Ripple ante la SEC continúa con la respuesta de la empresa a una multa de 2 millones de dólares
Noticias
La subasta de FTX Solana se prepara para realizarse después de una venta de $ 300 millones en marzo
Noticias
Dos abogados de la SEC dimitieron por alegar abuso grave de poder en un caso criptográfico
Conocimiento
Las 10 principales plataformas comerciales de IA para 2024: clasificaciones y reseñas de expertos
Conocimiento
Los 5 principales proyectos de SocialFi que debes conocer en 2024
Conocimiento
¿Qué es un ETF al contado de Ethereum? ¿Qué importancia tiene el nuevo ETF de Ether?
Noticias
El exploit de día cero de iOS descubierto por Trust Wallet está causando confusión entre los usuarios de iPhone
Conocimiento
