ZK : tournant clé dans la voie : découplage entre le développement de la compilation et la puissance de calcul côté backend

Écriture : Haotian

L’adoption massive et réelle de ZK a toujours été freinée par deux obstacles majeurs : la difficulté d’écriture et le coût élevé en puissance de calcul. Mais récemment, deux « fonctions de saut » (Step functions) qui devraient bientôt être mises en œuvre dans le secteur pourraient améliorer cette situation :

L’une est la prochaine version OpenVM V2 de @openvm_org, qui permet aux développeurs d’écrire des applications en utilisant un langage général familier, tandis que le moteur sous-jacent se charge automatiquement de « traduire » de manière fiable ces instructions en preuves ZK ;

L’autre est la solution de @powdr_labs, qui propose une précompilation automatique (Auto-precompiles) pour la production. Le compilateur peut reconnaître automatiquement les opérations cryptographiques coûteuses en temps, et les router directement vers le matériel optimal, évitant ainsi aux développeurs de devoir optimiser manuellement le bas niveau.

Ces deux avancées ressemblent à l’équipement d’un « compilateur idiot » et d’un « système d’accélération automatique ».

Mais pourquoi cela est-il bénéfique pour le secteur ZK ?

Faisons une simple déduction commerciale pour mieux comprendre : lorsque la barrière à l’entrée pour le développement devient quasi nulle et que les applications ZK connaissent une explosion, cela engendrera forcément une demande massive en calculs de preuve (Proving). Or, le marché de la preuve ZK (Proving Market) est déjà en avance, mais la demande pour les applications ZK n’est pas encore suffisante…

C’est précisément pour cette raison que des marchés de preuve ouverts comme @boundless_xyz ont de grandes attentes envers ces avancées technologiques. En effet, sans une demande massive pour des applications ZK, comment pourrait-on justifier une telle demande en calculs de preuve ? Et comment, dans un contexte de virtualisation technologique, prouver la supériorité et la valeur commerciale de la technologie ZK Prove ?

Ainsi, l’arrivée de ces deux Step Functions est en réalité cruciale pour le progrès global du secteur ZK. Elles permettent de désolidariser complètement le développement ZK en front-end de la preuve de puissance de calcul en back-end, le développeur front-end se concentrant sur la recherche d’applications, tandis que le centre de calcul en back-end se concentre sur l’amélioration de l’efficacité et la réduction des coûts de preuve.

Ce progrès simultané des deux côtés est essentiel pour réellement stimuler l’émergence explosive du secteur ZK.