A16z Crypto met à jour Jolt zkVM et remet en question l’utilisation abusive du label ‘ZK’

A16z Crypto, la branche web3 du grand fonds de capital-risque Andreessen Horowitz, s’est attaquée à l’usage courant du terme “ZK” dans certains environnements de développement lors d’un récent article de blog concernant son Jolt zkVM. 

« La plupart des zkVM ne sont en réalité pas à connaissance nulle — sauf si une procédure de ‘wrapping’ coûteuse est appliquée », peut-on lire sur le blog. « Ce wrapping implique généralement de prouver récursivement la vérification de la preuve zkVM à l’intérieur d’un autre système de preuve qui

Les auteurs ont également noté que souvent « zk » est devenu une sorte d’abréviation pour « la propriété de brièveté », signifiant des preuves qui sont « courtes et rapides à vérifier », plutôt qu’une véritable confidentialité à connaissance nulle. 

« Alors que l’attention de la communauté se porte de plus en plus sur la confidentialité — nécessitant une vraie connaissance nulle, qui concerne la confidentialité des données sensibles du prouveur — cet abus de terminologie devient un véritable problème », a ajouté a16z. 

Qu’est-ce qu’une preuve ZK ?

Les preuves ZK sont une technique cryptographique qui permet à une partie (le prouveur) de convaincre une autre partie (le vérificateur) qu’une affirmation est vraie sans révéler aucune information sous-jacente autre que le fait que l’affirmation est juste.

D’abord développées dans le monde académique, la première application commerciale à grande échelle des preuves ZK a sans doute vu le jour dans l’industrie crypto, notamment avec le lancement de Zcash, qui a déployé un type de preuve succincte appelée zk-SNARKs pour assurer la confidentialité onchain en masquant les données des transactions.  

Cependant, la cryptographie à connaissance nulle a depuis été appliquée dans plusieurs cas d’usage innovants sur blockchain, notamment comme solution de mise à l’échelle pour les blockchains Ethereum Layer 2 et d’autres zk-Rollups. 

La confidentialité elle-même est redevenue une préoccupation importante parmi les développeurs et investisseurs crypto, qui estiment que la nature transparente de la plupart des blockchains limite l’adoption, notamment parmi les institutions.

Barry Silbert, CEO de Digital Currency Group, a par exemple récemment déclaré qu’il s’attendait à des flux financiers significatifs vers les blockchains axées sur la confidentialité. 

La solution de Jolt

Pour sa part, la Jolt zkVM open-source de a16z a lancé mardi une mise à jour majeure afin de prendre en charge de manière native les preuves à connaissance nulle.

Les machines virtuelles dites à connaissance nulle (Zero-Knowledge Virtual Machines) sont utilisées pour exécuter des programmes et générer une preuve que certaines fonctions du code ont été exécutées sans en révéler les entrées.

À l’instar des applications mentionnées dans l’article, Jolt utilisait initialement les preuves ZK pour la brièveté plutôt que pour une confidentialité totale, un problème que les développeurs ont résolu en adoptant un schéma de pliage qui « remonte aux années 1990 ».

En particulier, Jolt a utilisé le schéma de pliage NovaBlindFold pour créer des preuves aveuglées afin de prévenir les fuites d’informations, « le rendant ainsi adapté aux applications axées sur la confidentialité ».

« Le résultat est une preuve ZK qui n’est que d’environ 3 KB plus grande que la preuve Jolt non-ZK originale », note le blog.