Dans un récent article de blog, A16z Crypto, la division web3 de la célèbre société de capital-risque Andreessen Horowitz, a soulevé une question qui fait réfléchir dans le secteur : la plupart des machines virtuelles (zkVM) nommées « ZK » ne bénéficient en réalité pas d’une véritable protection de la vie privée à connaissance nulle. Jolt zkVM a simultanément critiqué l’abus systématique du terme « ZK » dans l’écosystème crypto.
Mauvaise utilisation des balises ZK : pourquoi la plupart des zkVM ne sont pas vraiment à connaissance nulle
Dans son blog, A16z Crypto révèle un problème répandu dans l’industrie qui est rarement abordé publiquement : « La plupart des preuves à connaissance nulle montrent que les machines virtuelles ne sont pas réellement à connaissance nulle – sauf si un processus coûteux d'« emballage » est appliqué. » Ils ont expliqué que cet enveloppement, qui consiste à vérifier récursivement les zkVM dans un autre système de preuve ZK, est non seulement coûteux en calcul mais nécessite souvent de renoncer à la transparence (c’est-à-dire introduire une configuration de confiance).
Le problème plus fondamental réside dans la déviation terminologique : le terme « zk » a été largement utilisé comme abréviation de « concision », désignant des preuves « courtes et facilement vérifiables » plutôt que de véritables protections de la vie privée à connaissance nulle. A16z Crypto a averti : « Avec l’inquiétude croissante de la communauté concernant la vie privée – la nécessité d’une véritable connaissance zéro, c’est-à-dire la confidentialité des données sensibles du proveur – ce terme abus devient un véritable problème. »
Trois confusions courantes concernant la terminologie ZK
True ZK: Prouver qu’une affirmation est vraie sans divulguer l’information sous-jacente, protégeant ainsi la vie privée du proveur
« ZK » en abréviation concise: La plupart des utilisations réelles des zkVM ne mettent l’accent que sur des preuves « courtes et facilement vérifiables » et ne protègent pas la vie privée
Emballage: Ajouter une véritable connaissance nulle par des preuves récursives, mais cela est coûteux en calcul et nécessite souvent l’introduction de paramètres de confiance, sacrifiant ainsi la transparence
La solution de Jolt zkVM : solution de pliage NovaBlindFold
En réponse aux problèmes ci-dessus, A16z Crypto a publié mardi une mise à jour importante pour le projet open source Jolt zkVM, introduisant le schéma de pliage NovaBlindFold afin de le rendre natif·le·ment en charge de la fonctionnalité zero-knowledge.
Le Folding Scheme est une technologie cryptographique qui « remonte aux années 90 du XXe siècle » et A16z a choisi de remplacer le coûteux schéma d’emballage récursif. NovaBlindFold est extrêmement efficace pour prévenir les fuites d’informations en créant des « preuves aveugles » – la preuve finale ZK n’est qu’environ 3 Ko plus grande que la preuve originale non-ZK Jolt, « la rendant adaptée aux applications de confidentialité ».
Le contexte de cette mise à jour est la résurgence des préoccupations liées à la vie privée dans l’écosystème crypto. Barry Silbert, PDG de Digital Currency Group (DCG), a également récemment déclaré qu’il s’attendait à ce qu’une importante somme d’argent afflue dans la chaîne de confidentialité. Les investisseurs institutionnels s’inquiètent de la transparence totale de la plupart des blockchains, ce qui pousse l’industrie à rechercher des solutions de confidentialité plus fiables.
Questions fréquemment posées
Pourquoi A16z Crypto critique-t-il les tags ZK ?
A16z Crypto a souligné que « ZK (zero-knowledge) » est devenu une abréviation de « simplicité » dans l’industrie, et que la plupart des zkVM n’offrent pas une véritable protection de la vie privée à connaissance zéro sauf s’ils utilisent des solutions « wrapped » qui sont coûteuses en calcul et nécessitent des paramètres fiables. Avec la demande croissante de vie privée, cette mauvaise utilisation du terme devient un véritable problème qui freine la croissance de l’industrie.
Comment la solution de pliage NovaBlindFold résout-elle ce problème ?
Le Jolt zkVM d’A16z permet une confidentialité native à connaissance nulle sans avoir besoin d’un emballage récursif coûteux en introduisant le schéma de pliage NovaBlindFold. Cette solution empêche la fuite d’informations en créant des « preuves aveugles » et n’ajoute qu’environ 3 Ko de surcharge d’espace, équilibrant efficacité avec une véritable protection de la vie privée.
Quelle est la différence fondamentale entre la véritable connaissance nulle et « ZK comme acronyme concis » ?
La véritable connaissance nulle signifie que le vérificateur ne peut déduire aucune des informations d’entrée privées du promoteur à partir de la preuve ; « ZK en tant qu’abréviation concise » souligne seulement que les preuves sont courtes et faciles à vérifier, et n’impliquent pas la protection de la vie privée des données sous-jacentes, et les deux sont fondamentalement différentes au sens cryptographique.
