Vitalik Buterin présente le protocole GKR pour optimiser la scalabilité d'Ethereum et l'efficacité de ZK.
En bref Vitalik Buterin a proposé d'utiliser le protocole GKR pour améliorer les systèmes zk-SNARK et zk-STARK d'Ethereum, offrant jusqu'à 15 fois plus d'efficacité et soutenant sa vision d'un « Lean Ethereum » évolutif et résistant aux systèmes quantiques.
Vitalik Buterin, cofondateur d'Ethereum, a présenté l'application potentielle du protocole GKR pour améliorer l'efficacité des systèmes traditionnels zk-SNARK et zk-STARK. Le 20 octobre, il a publié un tutoriel sur son blog personnel, vitalik.eth.limo, présentant le protocole Goldwasser-Kalai-Rothblum. Cette technique d'agrégation de preuves récursive pourrait modifier la gestion de la mise à l'échelle et de la vérification par Ethereum.
Il a souligné que les développements récents en cryptographie à divulgation nulle de connaissance (ZK) se sont concentrés sur des solutions spécialisées pour des tâches de calcul distinctes, certaines étant optimisées pour les circuits arithmétiques et d'autres pour les transitions d'état. Le protocole GKR, initialement proposé en 2010, combine ces avantages, permettant la vérification de millions de calculs par seconde sans validation d'étapes intermédiaires.
Selon Vitalik Buterin, GKR est particulièrement adapté aux opérations impliquant de grandes quantités de données uniformes organisées en couches, comme le hachage de masse avec Poseidon2 ou les processus de réseaux neuronaux où un seul algorithme s'applique à plusieurs jeux de données. Contrairement aux systèmes traditionnels comme STARK, qui nécessitent la génération de preuves à chaque étape de calcul, y compris la construction d'arbres de Merkle et le hachage de toutes les données sous-jacentes, GKR ne requiert des engagements cryptographiques que pour les valeurs d'entrée et de sortie, éliminant ainsi les opérations intermédiaires fastidieuses.
En pratique, le protocole a démontré une efficacité jusqu'à 15 fois supérieure à celle des solutions basées sur zk-STARK. Il repose sur une méthode de vérification par somme (sumcheck) qui simplifie séquentiellement la vérification : le système prouve d'abord que le résultat final est correct, puis vérifie itérativement chaque étape de calcul précédente, réduisant ainsi progressivement la complexité de la tâche.
Ethereum progresse vers des réseaux évolutifs, efficaces et résistants aux attaques quantiques grâce à l'intégration du protocole GKR.
Le protocole GKR complète Vitalik Buterin Le concept plus large de « Lean Ethereum », une vision d'une conception de réseau rationalisée et résistante aux attaques quantiques, contribue directement aux efforts d'Ethereum pour accélérer la finalisation, permettre l'agrégation de preuves pour les cumuls et améliorer l'évolutivité basée sur ZK.
Ce développement fait suite à plusieurs propositions antérieures du cofondateur d'Ethereum, notamment des outils d'interopérabilité avancés pour les réseaux de couche 2, des clients partiellement sans état pour réduire les besoins de stockage des nœuds et des mécanismes de gouvernance pris en charge par les preuves ZK. Collectivement, ces initiatives visent à rendre Ethereum plus efficace, plus privé et plus accessible.
Alors que les développeurs commencent à expérimenter des implémentations basées sur GKR, le cadre cryptographique d'Ethereum pourrait devenir plus léger et plus rapide, soutenant l'objectif à long terme de Vitalik Buterin d'un calcul évolutif et vérifiable.
Avertissement : le contenu de cet article reflète uniquement le point de vue de l'auteur et ne représente en aucun cas la plateforme. Cet article n'est pas destiné à servir de référence pour prendre des décisions d'investissement.
Vous pourriez également aimer
Broadcom publie des résultats supérieurs aux attentes et relève ses prévisions face à la forte demande de puces IA.
Partager le lien:Dans cet article : Broadcom a dépassé les estimations de bénéfices et de revenus du quatrième trimestre, annonçant un BPA de 1,95 $ et un chiffre d'affaires de 18,02 milliards de dollars. La société prévoit un chiffre d'affaires de 19,1 milliards de dollars pour le trimestre en cours, soit une hausse de 28 % sur un an. Les ventes de puces IA devraient doubler pour atteindre 8,2 milliards de dollars, portées par les puces personnalisées et les puces de réseau.
Le responsable de l'IA chez Microsoft promet un arrêt du développement si la technologie présente un risque existentiel
Partager le lien:Dans cet article : Mustafa Suleyman a déclaré que Microsoft arrêterait le développement de l'IA si celle-ci risquait de devenir incontrôlable. Microsoft n'a pas pu développer AGI jusqu'à ce que son accord d'octobre avec OpenAI en modifie les termes. Suleyman a confirmé que Microsoft travaille actuellement sur une superintelligence capable de surpasser les humains.
Le Pakistan désigne les cryptomonnaies comme fondement de son nouveau système financier national.
Partager le lien:Dans cet article : Un haut responsable pakistanais a déclaré que le Bitcoin et les actifs numériques devraient créer un nouveau système financier pour le pays. Le Pakistan devient de plus en plus l'un des marchés de cryptomonnaies à la croissance la plus rapide au monde. En septembre, le pays a notifié aux entreprises internationales de cryptomonnaies qu'elles devaient demander une licence en vertu de sa nouvelle réglementation fédérale.
Wall Street affiche un optimisme débordant concernant Baidu, principal concurrent de Nvidia sur le marché des puces en Chine.
Partager le lien:Dans cet article : Les analystes de Wall Street soutiennent Baidu suite à l'annonce d'une possible introduction en bourse de sa filiale de semi-conducteurs Kunlunxin. Goldman Sachs et Macquarie affirment que les puces de Baidu peuvent rivaliser avec celles de Nvidia à mesure que la demande se tourne vers l'inférence. Trump a autorisé l'importation du processeur H200 de Nvidia en Chine, mais Xi Jinping privilégie les puces locales.
En vogue
PlusPrix des cryptos
Plus
