BTQ Technologies Corp. ha anunciado su asociación de ecosistema con Cysic. La asociación se centra en Keelung, el recientemente lanzado lenguaje específico de dominio (DSL) de BTQ para el desarrollo de aplicaciones rápidas, privadas y seguras.

Keelung proporciona a los desarrolladores la capacidad de crear pruebas de conocimiento cero post-cuánticas seguras y fiables sin necesidad de conocimientos especializados de criptografía. Se ha implementado en Haskell, lo que permite a los desarrolladores producir pruebas de conocimiento-cero de alto nivel protegidas por el vanguardista sistema de tipos de Haskell, al tiempo que aprovechan el amplio ecosistema y las herramientas de Haskell. La asociación de BTQ con Cysic explorará la integración de Keelung con las soluciones de aceleración de hardware de Cysic, ofreciendo a los usuarios finales acceso a una generación de pruebas de conocimiento-cero más rápida, eficiente y segura.

Con la experiencia de Cysic en aceleración de hardware y el enfoque de BTQ en la criptografía post-cuántica de conocimiento-cero, la asociación pretende crear un ecosistema de conocimiento-cero más abierto e inclusivo que beneficie a todas las partes interesadas. Los protocolos de conocimiento-cero pueden ser costosos desde el punto de vista computacional, especialmente cuando se trata de grandes cantidades de datos. Aquí es donde entra en juego la aceleración por hardware del conocimiento-cero.

Al descargar las partes computacionalmente intensivas del protocolo de conocimiento-cero a un hardware especializado, el rendimiento global del protocolo puede mejorar enormemente. En el contexto de un lenguaje de programación de conocimiento-cero, la aceleración por hardware de conocimiento-cero puede hacer posible escribir programas que dependen en gran medida de protocolos de conocimiento-cero, sin sufrir tiempos de ejecución lentos. Esto puede ser especialmente importante en aplicaciones en las que la seguridad y la privacidad son críticas, como en las transacciones financieras, el intercambio de datos sanitarios y otros casos de uso sensibles.

Además, la aceleración de hardware de conocimiento-cero puede mejorar la seguridad de los protocolos de conocimiento-cero al reducir el riesgo de ataques de canal lateral, que son una vulnerabilidad común en las implementaciones de software. Mediante el uso de hardware especializado, es posible crear un entorno de ejecución seguro y de confianza para los protocolos de conocimiento-cero que es mucho más difícil de atacar que una implementación sólo de software. Como socio de lanzamiento, Cysic aporta una gran experiencia para mejorar el rendimiento y la seguridad de las pruebas de conocimiento-cero escritas en Keelung, haciéndolas más prácticas y eficaces para una amplia gama de aplicaciones.