Electric Coin Company (ECC), que lanzó y apoya el desarrollo de la moneda de privacidad Zcash recientemente publicó un artículo llamado: Halo: Recursive Proof Composition sin una configuración de confianza.
El 10 de septiembre, ECC anunció en un artículo que el ingeniero y criptógrafo Sean Bowe había descubierto una forma de "crear técnicas de prueba criptográfica prácticas, escalables y sin confianza", que pretende poner fin a una búsqueda de 10 años de duración por parte de las comunidades criptográficas. Llamó a la solución Halo.
Halo elimina la necesidad de una'configuración de confianza'.
La estrategia de Halo tiene el potencial de comprimir cantidades ilimitadas de computación, crear sistemas distribuidos auditables, construir cadenas de bloques altamente escalables y proteger la privacidad. El artículo dice:
"El concepto es una prueba que verifica la exactitud de otra instancia de sí misma, permitiendo que cualquier cantidad de esfuerzo computacional y de datos produzca una prueba corta que puede ser verificada rápidamente.
El descubrimiento de Sean implica una 'amortización anidada' - colapsando repetidamente múltiples instancias de problemas difíciles en ciclos de curvas elípticas para que las pruebas computacionales puedan ser usadas para razonar sobre sí mismas eficientemente, lo que elimina la necesidad de una configuración confiable".
En criptografía, una configuración confiable es cuando se crea un conjunto de parámetros iniciales que en una etapa posterior serán destruidos. Se llama una configuración de confianza porque uno debe confiar en la persona que creó los parámetros para destruirlos en lugar de guardarlos para futuras ganancias ilícitas.
The Electrical Coin Company señala que las configuraciones de confianza son difíciles de coordinar, podrían presentar un riesgo sistémico y siempre tienen que repetirse para cada actualización de protocolo importante. Según ECC, la eliminación de las configuraciones de confianza debería suponer una mejora sustancial en la seguridad de los protocolos actualizables.
Los autores del trabajo, Sean Bowe, Daira Hopwood y Jack Grigg, afirmaron que obtuvieron el primer ejemplo práctico de composición de pruebas recursivas sin una configuración fiable, utilizando únicamente ciclos ordinarios de curvas elípticas. Añadieron:
"Nuestra principal contribución es una técnica novedosa para amortizar los costosos procedimientos de verificación desde dentro del ciclo de verificación de pruebas, de modo que podamos obtener la recursión utilizando una composición de protocolos y técnicas existentes. Diseñamos una técnica para amortizar el costo de verificar múltiples argumentos internos del producto que pueden ser de interés independiente".
No dejes de leer:
La fundación Zcash dice que el desarrollador de ZEC rompió la promesa de la marca
La compañía detrás de Zcash reporta pérdidas en el primer trimestre del 2019
Telx Technologies lanza la primera tarjeta SIM para facilitar el uso de las criptos
Startup Particl revela la función de creación y gestión de mercados