Un aperçu rapide des nouveaux outils de preuve de connaissance zéro basés sur SNARK Lasso et Jolt lancés par a16z

Éditeurs : Félix, PANews

a16z Crypto a lancé deux technologies liées à SNARK : Lasso et Jolt. Parmi eux, Lasso est un nouveau paramètre de recherche qui peut augmenter considérablement le coût du prouveur ; Jolt (Just One Lookup Table) est un framework conçu pour les Rollups compatibles avec la machine virtuelle Ethereum, une nouvelle façon de construire des machines virtuelles SNARK en utilisant la méthode Lasso. Lasso et Jolt peuvent considérablement accélérer la mise à l’échelle et la création d’applications dans Web3, et ensemble, ils représentent une nouvelle approche de la conception SNARK qui peut améliorer les performances des chaînes d’outils largement déployées d’un ordre de grandeur ou plus. Il offre également une meilleure expérience de développement plus pratique et facilite l’audit. Lasso et Jolt répondent à trois préoccupations clés : les performances, l’expérience des développeurs et l’auditabilité.

Performances plus rapides

Lasso est un nouveau paramètre de recherche où le prouveur promet des valeurs moins nombreuses et plus petites que les travaux précédents. L’équipe de recherche d’a16z crypto a déclaré que Lasso peut améliorer considérablement la vitesse globale des prouveurs SNARK, par rapport à des outils tels que la chaîne d’outils Halo2, les performances peuvent être améliorées de dix fois, aidant ainsi à développer des cumuls ZK plus rapides. On s’attend à ce que les performances augmentent d’environ 40 fois une fois l’optimisation terminée. Par conséquent, l’équipe estime que la technologie de preuve de Lasso surpassera toutes les technologies de preuve SNARK à connaissance nulle existantes utilisées par les principales solutions de mise à l’échelle Ethereum L2.

Jolt implémente la “singularité de recherche” - une vision proposée à l’origine par Barry Whitehat de la Fondation Ethereum pour permettre des outils plus simples et des circuits légers et centrés sur la recherche. L’équipe s’attend à ce que Jolt obtienne des performances similaires ou meilleures par rapport au zkVM existant et, surtout, qu’il offre une expérience de développement plus simple et plus accessible.

Expérience développeur plus pratique

Lasso offre une voie plus conviviale pour les développeurs et vérifiable pour la mise en œuvre de zkVM que les approches existantes.

Les approches précédentes de la conception de SNARK formulaient les instructions du processeur sous forme de circuits et les optimisaient manuellement, une tâche de bas niveau et sujette aux erreurs qui nécessitait une expertise linguistique spécifique à un domaine. En revanche, les développeurs de différents écosystèmes linguistiques devraient pouvoir utiliser Lasso avec une relative facilité.

En effet, dans Lasso, une instruction est définie par sa décomposition en sous-tables : sa “grande” table de recherche peut être composée d’un certain nombre de “sous-tables” plus petites. Plus important encore, de telles décompositions peuvent être décrites succinctement dans des langages de programmation de haut niveau. Par exemple, une instruction peut être implémentée en seulement 50 lignes de Rust. De plus, de nombreuses instructions dans différents jeux d’instructions sont conceptuellement identiques et une grande quantité de code peut être répétée - par exemple, WASM, EVM et RISC-V spécifient tous les mêmes opérations arithmétiques de base, au niveau du bit et de comparaison.

Plus facile à réviser

La façon dont Lasso simplifie l’expérience du développeur facilite également l’audit que les méthodes précédentes. L’auditabilité de zkVM est particulièrement précieuse car de nombreux SNARK ont déjà acquis une valeur énorme sur les blockchains aujourd’hui. Étant donné que Lasso implémente la logique d’instruction dans Rust et encourage la duplication de code entre les jeux d’instructions, il concentre les zones à auditer dans une base de code relativement petite et lisible.

Actuellement, en plus du travail requis pour implémenter pleinement Jolt, de nombreuses tâches sont en cours ou attendent d’être terminées par d’autres développeurs, notamment :

• Implémenter/intégrer différents schémas d’engagement polynomial, tels que les variantes multilinéaires de KZG (PST, Zeromorph, etc.), Dory, Ligero, Brakedown et Sona
• Réaliser l’optimisation des paramètres du produit décrite dans la section 6 de l’article Quarks
• Analyse comparative et gestion des erreurs plus approfondies
• Utiliser la récursivité SNARK pour obtenir une vérification efficace de la preuve en chaîne

Références : Le Bloc, a16z Crypto

Lecture connexe : Zero Knowledge Proof | Qu’est-ce que ZK-STARK et quels sont ses avantages techniques ?