Textes originaux : Bart Stephens, Ryan Sproule et Yuan Han Li,
《Démocratisation de l'informatique sans connaissance : la puissance du réseau Bonsai de RISC Zero》
Editeur : Zen, PANews
Le 19 juillet, RISC Zero, une société d'infrastructure conçue pour aider les développeurs à développer des logiciels à l'épreuve du zéro, a annoncé l'achèvement d'un cycle de financement de série A de 40 millions de dollars, dirigé par Blockchain Capital, avec la participation de Galaxy Digital, IOSG et d'autres. En tant qu'investisseur principal, Blockchain Capital a écrit un article analysant le développement de l'informatique sans connaissance, les caractéristiques et les avantages de RISC Zero, et PANews l'a compilé.
Imaginez un monde où la confidentialité, la sécurité et la confiance des données ne sont plus des préoccupations, où les chaînes d'approvisionnement en logiciels sont transparentes et vérifiables, et où une nouvelle génération d'applications peut exploiter la puissance de l'informatique sans connaissance pour résoudre certains des défis les plus urgents de l'ère numérique. C'est la promesse de l'informatique sans connaissance (ZK) et c'est pourquoi nous avons investi dans RISC Zero, une entreprise pionnière qui vise à démocratiser l'accès au ZK via son réseau Bonsai.
L'informatique sans connaissance est une primitive révolutionnaire qui permet aux applications et aux protocoles d'exploiter les trois propriétés clés de la simplicité, de l'exactitude et de la connaissance zéro. Cela signifie qu'en vérifiant une preuve ZK (exactitude), un vérificateur peut savoir avec une garantie presque exacte qu'un calcul a été effectué correctement.
De plus, la preuve vérifiée sera beaucoup plus concise que le calcul d'origine, et la propriété de connaissance nulle de la preuve peut également être exploitée pour s'assurer que le vérificateur ne sait rien du calcul lui-même. Cette combinaison unique de propriétés a des implications considérables et offre une nouvelle façon de vérifier les informations. Ensemble, ces propriétés équilibrent le besoin de confidentialité, de sécurité et de confiance, offrant le potentiel d'un monde numérique plus sûr et plus privé. Mais il y a encore des obstacles avant que ZK puisse atteindre son plein potentiel.
Premièrement, exécuter des calculs dans ZK est trop long et coûteux. Les temps et les coûts de preuve doivent chuter considérablement pour permettre des calculs complexes dans ZK. La bonne nouvelle, c'est qu'ils diminuent considérablement : les trajectoires des temps et des coûts de preuve ZK ont suivi des tendances familières dans l'histoire de la technologie, qu'il s'agisse de la loi de Moore (le coût de l'informatique est divisé par deux tous les deux ans), de la loi de Flatley (le coût de séquençage du taux lent de déclin humain) ou la loi de Clyde (la densité des disques double environ tous les 13 mois). Les avancées architecturales récentes dans les systèmes de preuve (Plonky2, Hyperplonk, STARK) et les avancées dans la cryptographie sous-jacente (Poséidon) réduisent les frais généraux requis pour créer des preuves ZK de tout calcul. Et les progrès dans ces domaines continueront à se produire à un rythme similaire (en particulier le récent afflux de talents dans ZK), prouvant que les frais généraux bénéficieront également des progrès de l'accélération matérielle (MSM, NTT), ce qui a jusqu'à présent été sous-exploité.
Un autre énorme obstacle à l'adoption massive de ZK est les mathématiques et la cryptographie très complexes inhérentes aux systèmes ZK. La profondeur et le niveau d'expertise requis pour stimuler l'innovation ZK ne sont disponibles que pour un petit groupe de développeurs de technologies hautement qualifiés.
Idéalement, les développeurs seraient libres d'écrire des programmes dans leur langage préféré tout en étant capables de prouver des calculs avec une connaissance nulle sans avoir à écrire à la main des entrées et à concevoir des circuits dans un langage de programmation de bas niveau spécifique à ZK. C'est là que la plateforme Bonsai de RISC Zero change la donne pour les développeurs du monde entier, et c'est pourquoi nous avons investi dans RISC Zero.
En créant une machine virtuelle sans connaissance (zkVM) qui émule l'architecture de jeu d'instructions RISC-V (ISA), RISC Zero a construit un système capable de prouver l'exécution de code de bas niveau. Étant donné que l'ISA est un pont entre le code lisible par l'homme et les instructions interprétables par la machine, cette réalisation signifie que le réseau Bonsai peut prouver que tout programme de haut niveau peut être compilé sur cette architecture. Étant donné que la plupart des langages de programmation modernes sont compatibles RISC-V, Bonsai de RISC Zero est capable d'exécuter pratiquement n'importe quel programme informatique arbitraire sans aucune connaissance.
Dans un avenir où l'informatique sans connaissance (ZK) devient courante, de nombreuses applications auparavant impossibles deviendront possibles. Cela inclut non seulement les applications basées sur Ethereum utilisant le réseau Bonsai de RISC Zero en tant que coprocesseur (effectuant un travail hors chaîne gourmand en ressources avant de valider les résultats en chaîne), mais s'étendra également au-delà des crypto-monnaies. Bonsai, par exemple, permet aux hackers white hat de prouver l'existence de failles de sécurité et de bogues sans les divulguer directement. Il peut également empêcher les futures attaques de la chaîne d'approvisionnement contre les logiciels en permettant aux utilisateurs de télécharger et de vérifier les épreuves ZK pour s'assurer que le code qu'ils exécutent est pré-audité dans Bonsai. Plus excitant encore, l'adoption généralisée de Bonsai pourrait conduire à des cas d'utilisation entièrement nouveaux qui n'ont pas encore été imaginés.
En plus de l'impressionnante percée technologique, il y a une équipe solide et unique derrière RISC Zero. **Les trois co-fondateurs, Brian Retford, Jeremy Bruestle et Frank Laub, se connaissent depuis plus de 20 ans. Leur expérience commune comprend la co-fondation de plusieurs sociétés, plus récemment une entreprise d'optimisation et de compilation d'IA qui a finalement été acquise par Intel. **
Chaque membre du trio apporte une riche expérience à RISC Zero : Brian a travaillé sur les systèmes de tarification et de mesure chez Google Cloud Platform ; Jeremy est un passionné de mathématiques depuis toujours travaillant sur l'accélération GPU pour le séquençage génétique, et avec une formation en cryptographie, haute performance l'informatique (HPC) et la sécurité ; Frank possède une solide expérience dans les compilateurs et a construit de nombreuses bases de code. Avec une histoire commune et des compétences diverses, l'équipe RISC Zero est particulièrement bien placée pour apporter l'informatique sans connaissance aux masses, remodelant potentiellement le paysage numérique dans le processus.
Alors que nous nous tournons vers un avenir où l'informatique sans connaissance est largement disponible, les possibilités d'innovation sont infinies. Capable de prendre en charge un large éventail de langages de programmation, le réseau Bonsai de RISC Zero démocratisera l'informatique ZK et permettra aux développeurs de créer des applications sécurisées, privées et sans confiance dans divers domaines. Qu'il s'agisse de renforcer les mesures de cybersécurité, d'améliorer la confiance dans les chaînes d'approvisionnement en logiciels ou d'augmenter considérablement la puissance de calcul disponible pour les applications en chaîne, l'impact potentiel de l'informatique sans connaissance est énorme. La baisse rapide des temps et des coûts de preuve ZK, l'équipe fidèle de RISC Zero et l'émergence de Bonsai en tant que plate-forme informatique polyvalente annoncent une nouvelle ère de l'informatique, avec la confidentialité, la sécurité et la confiance intégrées dans le tissu de notre monde numérique.
Voir l'original
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
Blockchain Capital : Pourquoi avons-nous dirigé le cycle de financement de 40 millions de dollars de la société d'infrastructure ZK RISC Zero ?
Textes originaux : Bart Stephens, Ryan Sproule et Yuan Han Li,
《Démocratisation de l'informatique sans connaissance : la puissance du réseau Bonsai de RISC Zero》
Editeur : Zen, PANews
Le 19 juillet, RISC Zero, une société d'infrastructure conçue pour aider les développeurs à développer des logiciels à l'épreuve du zéro, a annoncé l'achèvement d'un cycle de financement de série A de 40 millions de dollars, dirigé par Blockchain Capital, avec la participation de Galaxy Digital, IOSG et d'autres. En tant qu'investisseur principal, Blockchain Capital a écrit un article analysant le développement de l'informatique sans connaissance, les caractéristiques et les avantages de RISC Zero, et PANews l'a compilé.
Imaginez un monde où la confidentialité, la sécurité et la confiance des données ne sont plus des préoccupations, où les chaînes d'approvisionnement en logiciels sont transparentes et vérifiables, et où une nouvelle génération d'applications peut exploiter la puissance de l'informatique sans connaissance pour résoudre certains des défis les plus urgents de l'ère numérique. C'est la promesse de l'informatique sans connaissance (ZK) et c'est pourquoi nous avons investi dans RISC Zero, une entreprise pionnière qui vise à démocratiser l'accès au ZK via son réseau Bonsai.
L'informatique sans connaissance est une primitive révolutionnaire qui permet aux applications et aux protocoles d'exploiter les trois propriétés clés de la simplicité, de l'exactitude et de la connaissance zéro. Cela signifie qu'en vérifiant une preuve ZK (exactitude), un vérificateur peut savoir avec une garantie presque exacte qu'un calcul a été effectué correctement.
De plus, la preuve vérifiée sera beaucoup plus concise que le calcul d'origine, et la propriété de connaissance nulle de la preuve peut également être exploitée pour s'assurer que le vérificateur ne sait rien du calcul lui-même. Cette combinaison unique de propriétés a des implications considérables et offre une nouvelle façon de vérifier les informations. Ensemble, ces propriétés équilibrent le besoin de confidentialité, de sécurité et de confiance, offrant le potentiel d'un monde numérique plus sûr et plus privé. Mais il y a encore des obstacles avant que ZK puisse atteindre son plein potentiel.
Premièrement, exécuter des calculs dans ZK est trop long et coûteux. Les temps et les coûts de preuve doivent chuter considérablement pour permettre des calculs complexes dans ZK. La bonne nouvelle, c'est qu'ils diminuent considérablement : les trajectoires des temps et des coûts de preuve ZK ont suivi des tendances familières dans l'histoire de la technologie, qu'il s'agisse de la loi de Moore (le coût de l'informatique est divisé par deux tous les deux ans), de la loi de Flatley (le coût de séquençage du taux lent de déclin humain) ou la loi de Clyde (la densité des disques double environ tous les 13 mois). Les avancées architecturales récentes dans les systèmes de preuve (Plonky2, Hyperplonk, STARK) et les avancées dans la cryptographie sous-jacente (Poséidon) réduisent les frais généraux requis pour créer des preuves ZK de tout calcul. Et les progrès dans ces domaines continueront à se produire à un rythme similaire (en particulier le récent afflux de talents dans ZK), prouvant que les frais généraux bénéficieront également des progrès de l'accélération matérielle (MSM, NTT), ce qui a jusqu'à présent été sous-exploité.
Un autre énorme obstacle à l'adoption massive de ZK est les mathématiques et la cryptographie très complexes inhérentes aux systèmes ZK. La profondeur et le niveau d'expertise requis pour stimuler l'innovation ZK ne sont disponibles que pour un petit groupe de développeurs de technologies hautement qualifiés.
Idéalement, les développeurs seraient libres d'écrire des programmes dans leur langage préféré tout en étant capables de prouver des calculs avec une connaissance nulle sans avoir à écrire à la main des entrées et à concevoir des circuits dans un langage de programmation de bas niveau spécifique à ZK. C'est là que la plateforme Bonsai de RISC Zero change la donne pour les développeurs du monde entier, et c'est pourquoi nous avons investi dans RISC Zero.
En créant une machine virtuelle sans connaissance (zkVM) qui émule l'architecture de jeu d'instructions RISC-V (ISA), RISC Zero a construit un système capable de prouver l'exécution de code de bas niveau. Étant donné que l'ISA est un pont entre le code lisible par l'homme et les instructions interprétables par la machine, cette réalisation signifie que le réseau Bonsai peut prouver que tout programme de haut niveau peut être compilé sur cette architecture. Étant donné que la plupart des langages de programmation modernes sont compatibles RISC-V, Bonsai de RISC Zero est capable d'exécuter pratiquement n'importe quel programme informatique arbitraire sans aucune connaissance.
Dans un avenir où l'informatique sans connaissance (ZK) devient courante, de nombreuses applications auparavant impossibles deviendront possibles. Cela inclut non seulement les applications basées sur Ethereum utilisant le réseau Bonsai de RISC Zero en tant que coprocesseur (effectuant un travail hors chaîne gourmand en ressources avant de valider les résultats en chaîne), mais s'étendra également au-delà des crypto-monnaies. Bonsai, par exemple, permet aux hackers white hat de prouver l'existence de failles de sécurité et de bogues sans les divulguer directement. Il peut également empêcher les futures attaques de la chaîne d'approvisionnement contre les logiciels en permettant aux utilisateurs de télécharger et de vérifier les épreuves ZK pour s'assurer que le code qu'ils exécutent est pré-audité dans Bonsai. Plus excitant encore, l'adoption généralisée de Bonsai pourrait conduire à des cas d'utilisation entièrement nouveaux qui n'ont pas encore été imaginés.
En plus de l'impressionnante percée technologique, il y a une équipe solide et unique derrière RISC Zero. **Les trois co-fondateurs, Brian Retford, Jeremy Bruestle et Frank Laub, se connaissent depuis plus de 20 ans. Leur expérience commune comprend la co-fondation de plusieurs sociétés, plus récemment une entreprise d'optimisation et de compilation d'IA qui a finalement été acquise par Intel. **
Chaque membre du trio apporte une riche expérience à RISC Zero : Brian a travaillé sur les systèmes de tarification et de mesure chez Google Cloud Platform ; Jeremy est un passionné de mathématiques depuis toujours travaillant sur l'accélération GPU pour le séquençage génétique, et avec une formation en cryptographie, haute performance l'informatique (HPC) et la sécurité ; Frank possède une solide expérience dans les compilateurs et a construit de nombreuses bases de code. Avec une histoire commune et des compétences diverses, l'équipe RISC Zero est particulièrement bien placée pour apporter l'informatique sans connaissance aux masses, remodelant potentiellement le paysage numérique dans le processus.
Alors que nous nous tournons vers un avenir où l'informatique sans connaissance est largement disponible, les possibilités d'innovation sont infinies. Capable de prendre en charge un large éventail de langages de programmation, le réseau Bonsai de RISC Zero démocratisera l'informatique ZK et permettra aux développeurs de créer des applications sécurisées, privées et sans confiance dans divers domaines. Qu'il s'agisse de renforcer les mesures de cybersécurité, d'améliorer la confiance dans les chaînes d'approvisionnement en logiciels ou d'augmenter considérablement la puissance de calcul disponible pour les applications en chaîne, l'impact potentiel de l'informatique sans connaissance est énorme. La baisse rapide des temps et des coûts de preuve ZK, l'équipe fidèle de RISC Zero et l'émergence de Bonsai en tant que plate-forme informatique polyvalente annoncent une nouvelle ère de l'informatique, avec la confidentialité, la sécurité et la confiance intégrées dans le tissu de notre monde numérique.