BTQ TECHNOLOGIES CORP. BTQ Technologies Corp. a annoncé son partenariat d'écosystème avec Cysic. Ce partenariat est centré sur Keelung, le langage spécifique au domaine (DSL) récemment publié par BTQ pour le développement d'applications rapides, privées et sécurisées.
Keelung permet aux développeurs de créer des preuves à connaissance nulle post-quantique sûres et fiables sans nécessiter de compétences spécialisées en cryptographie. Il a été mis en œuvre en Haskell, ce qui permet aux développeurs de produire des preuves à connaissance nulle de haut niveau protégées par le système de types de pointe de Haskell tout en tirant parti de l'écosystème et de l'outillage étendus de Haskell. Le partenariat entre la BTQ et Cysic explorera l'intégration de Keelung avec les solutions d'accélération matérielle de Cysic, offrant aux utilisateurs finaux un accès à une génération de preuves à connaissance nulle plus rapide, plus efficace et plus sécuritaire.
Grâce à l'expertise de Cysic en matière d'accélération matérielle et au fait que le BTQ se concentre sur la cryptographie à connaissance zéro post-quantique, le partenariat vise à créer un écosystème à connaissance zéro plus ouvert et plus inclusif qui profite à toutes les parties prenantes. Les protocoles à connaissance nulle peuvent être coûteux en termes de calcul, en particulier lorsqu'ils traitent de grandes quantités de données. C'est là qu'intervient l'accélération matérielle de la connaissance zéro.
En déchargeant les parties du protocole à connaissance nulle les plus gourmandes en calcul vers du matériel spécialisé, les performances globales du protocole peuvent être grandement améliorées. Dans le contexte d'un langage de programmation à connaissance nulle, l'accélération matérielle à connaissance nulle peut permettre d'écrire des programmes qui s'appuient fortement sur des protocoles à connaissance nulle, sans souffrir de lenteurs d'exécution. Cela peut être particulièrement important dans les applications où la sécurité et la confidentialité sont essentielles, comme dans les transactions financières, le partage de données médicales et d'autres cas d'utilisation sensibles.
En outre, l'accélération matérielle des protocoles à connaissance nulle peut en améliorer la sécurité en réduisant le risque d'attaques par canal latéral, une vulnérabilité courante dans les implémentations logicielles. En utilisant du matériel spécialisé, il est possible de créer un environnement d'exécution sûr et fiable pour les protocoles à connaissance nulle qui est beaucoup plus difficile à attaquer qu'une mise en œuvre uniquement logicielle. En tant que partenaire de lancement, Cysic apporte une grande expertise pour améliorer la performance et la sécurité des preuves à connaissance nulle écrites dans Keelung, les rendant plus pratiques et plus efficaces pour une large gamme d'applications.
