Laissez-moi vous raconter une histoire. Mi-2023. Je venais de décider de lancer Ferma. J’ai sauté sur un appel avec quelques personnes en qui j’ai profondément confiance, y compris Amit Sahai, un cryptographe de renommée mondiale avec des contributions fondamentales à l’espace ZK. Je partageais la vision : ZK devrait être facile pour les développeurs. Personne ne devrait avoir à se battre pour mettre en place une infrastructure de test et l’optimiser ; Ils devraient être en mesure de déléguer la preuve à une plateforme qui le fait. Amit: « Qu’en est-il des données des témoins ? Comment peut-on faire confiance à des GPU aléatoires avec des données de témoins sensibles ? Me: « La plupart des applications en production aujourd’hui n’utilisent même pas la partie à connaissance zéro des ZKP – juste la concision. » Amit a ri : « C’est donc comme ZK sans le ZK ! Alors, que font les applications qui se soucient de la confidentialité pour générer des preuves ? Me:... Après l’appel, j’ai eu beaucoup de réunions et j’ai été agité toute la journée. J’ai écrit à Amit quelque chose comme : « Le fait que la technologie ZK ne soit pas accessible aux personnes mêmes pour lesquelles elle a été initialement conçue est sauvage. Mais je ne suis pas sûr que ce soit le bon moment pour construire une solution. Je vais devoir faire une étude de marché. J’ai donc commencé par une approche simple : Étape 1. Faites une liste des applications qui commencent à montrer des signes prometteurs pour devenir énormes Étape 2. Voyez lesquels d’entre eux ont besoin de ZK en toute confidentialité Effectivement, deux des principales applications étaient ZK-identity et zkTLS. Laissez-moi vous dire rapidement pourquoi j’étais optimiste à leur sujet avant de commencer l’histoire. J’ai été stupéfait de voir à quel point la preuve de la personnalité est convaincante pour assurer un avenir axé sur l’IA - et comment Sam Altman, ouvrant la voie à l’IA, a souligné la nécessité de l’identité ZK avec @worldcoin. zkTLS est une histoire plus personnelle. J’ai sauté dans ce train alors qu’il n’y avait à peu près que quelques personnes à bord. C’était il y a 5 ans. J’ai dirigé le produit et la mise en œuvre d’un projet zkTLS chez @MinaProtocol. Je savais déjà à l’époque que le moment viendrait où l’adoption de la crypto serait alimentée par l’exploitation de là où l’adoption existe déjà : le Web2. Et ce pont est zkTLS. J’étais convaincu que nous devions résoudre ce problème. Il était clair que nous devions suivre la voie du MPC - FHE est encore trop optimiste pour ce genre de travail lourd. J’ai fouillé dans des articles de recherche et je suis tombé sur l’article collaboratif de Dan Boneh et Alex Ozdemir sur SNARK et la ligne de travail qui a suivi. L’idée est que plusieurs machines effectuent la génération de preuves via un protocole MPC, garantissant ainsi qu’aucune machine n’a accès aux données sensibles. Avance rapide jusqu’en octobre/novembre 2023, je dirigeais toute la vision de Fermah par Dan. C’était beau d’obtenir ses bénédictions sur Fermah et sa vision. À partir de là, j’ai poursuivi notre levée de fonds, avec une thèse de base : construire ce pour quoi Fermah est connu aujourd’hui - un marché universel de preuves - et ajouter une cerise dorée par-dessus : le MPC-zkVM. Ma vision est de construire un ZKVM qui soit compatible avec MPC et qui soit livré avec une délégation de preuve confidentielle intégrée. L’idée est la suivante : Les développeurs peuvent écrire des calculs dans des langages populaires comme Rust B. Ils n’ont pas à se soucier de l’UX - plus de preuve côté client C. Ils n’ont pas à gérer la preuve infra Leurs clients envoient simplement une transaction « prouvez-le en toute confidentialité » à Fermah – et il en résulte une preuve, générée de manière confidentielle C’est le cœur de notre protocole de délégation de preuve confidentielle (DPC). Je suis ravi de partager nos premiers pas vers cette vision : le CPD pour les épreuves Groth16 - toujours l’un des systèmes de preuve les plus utilisés. Nous sommes sur les épaules de géants : - @Ingo_zk 's Icicle, qui booste la preuve sur les GPU - Taceo, qui a apporté MPC à Circom - Boneh-Ozdemir, qui a ajouté MPC à Arkworks Notre protocole CPD fonctionne main dans la main avec la couche de mise en relation de Fermah pour offrir une solution complète à tous ceux qui construisent en tenant compte de ZK et de la confidentialité. Nous sommes également incroyablement reconnaissants envers @worldcoin d’avoir cru en cette vision dès le début. Ils nous ont accordé une subvention pour explorer le CPD pour le système de preuve Restreign, ce qui était particulièrement significatif compte tenu de l’optimisme que nous portons à Fermah sur ZK-identity. Un grand merci à @recmo et @DCbuild3r pour leur soutien et leur confiance. Nous sommes également reconnaissants envers les incroyables @nico_mnbl, Ryan et Daniel d’ex-Modulus Labs et maintenant chez World d’être une caisse de résonance ! Nous travaillons déjà avec quelques clients phénoménaux et serions ravis d’aider tous ceux qui partagent la vision de ZK en matière de confidentialité. En avant!