前以太坊基金会zkML研究员:简评Vitalik新作Crypto+AI

Odaily星球日报Publié le 2024-02-01Dernière mise à jour le 2024-02-01

Résumé

「有了 opML,我们就能消除密码学开销带来的挑战,保留去中心化和可验证性,让 AI x Crypto 现在就变得可行。」

原文作者:Cathie,Hyper Oracle

前期提要

Vitalik Buterin 的最新文章探讨了区块链和人工智能 (AI) 之间的交叉点,主要关注于如何将 AI 应用于加密世界,并探讨了四个交叉点: AI 作为参与者、AI 作为界面、AI 作为规则、以及 AI 作为目标。

文章讨论了在这些交叉点上的前景和挑战,强调了对抗性机器学习攻击和密码学开销的问题。 文章提到了使用零知识证明等密码学形式隐藏模型内部运作的可能性,同时指出了密码学开销和黑匣子对抗性机器学习攻击的挑战。

最后,文章讨论了创建可扩展的去中心化隐私 AI 的技术,并考虑了在 AI 安全和 AI 作为游戏目标方面的应用。 文章总结时强调了在这些领域中需要谨慎实践,但对于区块链和 AI 的交叉领域的前景表示期待。

0. 「Crypto + AI 应用前景和挑战」

在 Vitalik 的最新文章中,他讨论了人工智能与密码学的交叉,并提出了两个主要的挑战: 密码学开销和黑盒对抗性机器学习攻击。

前以太坊基金会zkML研究员:简评Vitalik新作Crypto+AI

Vitalik 认为人工智能与加密货币方向大有可为。 在帮助加密货币变得更好的过程中,人工智能可以发挥关键作用,如作为「游戏界面」或「游戏规则」。

1. 挑战: 密码学开销

a) 密码学开销问题已经被解决?

虽然 Vitalik 认为 AI x Crypto 大有可为,但他指出,主要的反对意见之一是密码学开销。 目前最主流的链上 AI/ML 方法是 zkML,它将 ML 模型编译成 zk 电路,这样就可以在链上验证密码学证明。

「人工智能计算本来就很昂贵」,再加上密码学,速度就更慢了。

Vitalik 认为,密码学开销的问题已经得到了部分解决:

  • 人工智能计算及其密码学开销适合高度加速,而且不像 zkEVM 那样存在「非结构化」计算类型。

  • 随着时间的推移,更高效的 zk 密码学方案将会被发明出来,开销也会大大减少。

b) 目前,额外开销是 1000 倍。

然而,这种方法远远不够实用,尤其是对于 Vitalik 所描述的使用案例。 下面是一些相关的例子:

  • zkML 框架 EZKL 生成一个 1 M-nanoGPT 模型的证明大约需要 80 分钟。

  • 根据 Modulus Labs 的说法,zkML 比纯计算的开销 >>1000 倍,最新报告的数字是 1000 倍。

  • 根据 EZKL 的测试,RISC Zero 的随机森林分类平均证明时间为 173 秒。

在实践中,要等待几分钟才能得到 AI 所生成的交易的易读解释是不可接受的。


2. 通过 opML 解决

a) opML: Optimistic 机器学习

在文章的最后,Vitalik 提到:「我期待在所有这些领域看到更多人工智能建设性用例的尝试,这样我们就能看到其中哪些是真正可行的规模化应用。」我们认为,zkML 在现阶段并不「可行」,无法实现上述应用。

作为 opML 的发明者和 opML 的首个开源实现的创建者,我们相信,opML 可以通过博弈论解决密码学开销问题,让人工智能 x Crypto 现在就能实现。

前以太坊基金会zkML研究员:简评Vitalik新作Crypto+AI

b) 通过激励措施实现安全性

opML 在保证安全性的同时,解决了链上 ML 的密码学开销问题。 为了简单起见,我们可以使用 Arbitrum 的 AnyTrust 假设来评估 opML 系统的安全性。

AnyTrust 假设每个主张至少有一个诚实节点,确保提交者或至少一个验证者是诚实的。 在 AnyTrust 下,安全性和有效性得以保持:

  • 安全性: 一个诚实的验证者可以通过质疑恶意节点的错误结果来强制执行正确的行为,从而通过仲裁程序进行惩罚。

  • 有效性: 提议的结果要么在最长期限内被接受,要么被拒绝。

比较「AnyTrust」和「Majority Trust」,opML 的「AnyTrust」 模型更安全。「AnyTrust」 保持了很高的安全性,在各种条件下都优于「Majority Trust」。

c) 用户隐私 > 模型隐私

Vitalik 在文章中还谈到了模型隐私问题。 事实上,对于大多数模型 ( 尤其是 zkML 目前在实践中支持的小型模型 ),都可以通过足够的推理来重建模型。

对于一般隐私,尤其是用户隐私,由于需要保持挑战的公开性,opML 似乎缺乏固有的隐私功能。 通过结合 zkML 和 opML,我们可以获得恰到好处的隐私级别,确保安全和不可逆转的混淆。

d) 实现 AI x Crypto 用例

opML 已经可以直接在以太坊上运行 Stable Diffusion 和 LLaMA 2 。 Vitalik 提到的四个类别 ( 人工智能作为玩家 / 界面 / 规则 / 目标 ) 已经可以通过 opML 实现,而且没有任何额外开销。


我们正在积极探索以下用例和方向:

  • AIGC NFT (ERC-7007), 7007 Studio 在 Story Protocol Hackathon 中获胜

  • 链上人工智能游戏 ( 如龙与地下城游戏 )

  • 使用 ML 的预测市场

  • 内容真实性 (Deepfake 验证器 )

  • 合规的可编程隐私

  • Prompt 市场

  • 信誉 / 信用评分

3. 总结

有了 opML,我们就能消除密码学开销带来的挑战,保留去中心化和可验证性,让 AI x Crypto 现在就变得可行。

Lectures associées

Rapport du premier trimestre 2026 d'Ethereum : Baisse des frais, nombre d'utilisateurs et volume de transactions à des niveaux historiques

**Rapport du T1 2026 sur Ethereum : Baisse des frais, mais nombre d'utilisateurs et volume de transactions atteignent des records** Le premier trimestre 2026 présente une dynamique clé pour Ethereum : l'utilisation explose tandis que les revenus liés aux frais baissent. Le nombre d'utilisateurs actifs mensuels (+85,9% en glissement annuel), le nombre de transactions (+81,5%) et le débit du réseau ont tous atteint des sommets historiques. En revanche, les frais totaux sur le réseau principal se sont effondrés de 81,9% sur un an. Ce paradoxe s'explique par la stratégie délibérée d'Ethereum de privilégier la croissance à court terme en réduisant le coût de l'espace bloc grâce aux mises à niveau comme Fusaka (capacité de données augmentée). C'est l'effet Jevons : la baisse des coûts libère une nouvelle demande. Le rapport souligne également un pivot narratif majeur : Ethereum consolide son rôle de couche de règlement financier mondial pour les actifs tokenisés. Il domine ce marché naissant, détenant des parts majoritaires dans les stablecoins (61,8%), les fonds tokenisés (73%), les matières premières tokenisées (84%) et les prêts DeFi (79,2%) parmi les cinq principales blockchains. L'entrée en force d'institutions comme BlackRock, JPMorgan et Fidelity, avec des produits concrets, valide cette tendance. Ainsi, Ethereum sacrifie une capture de valeur à court terme (frais, TVL, capitalisation baisse) pour renforcer ses effets de réseau et sa position d'infrastructure neutre et ouverte, pariant sur une croissance à long terme alimentée par la tokenisation massive de la finance traditionnelle.

marsbitIl y a 40 mins

Rapport du premier trimestre 2026 d'Ethereum : Baisse des frais, nombre d'utilisateurs et volume de transactions à des niveaux historiques

marsbitIl y a 40 mins

Premier entretien en podcast du PDG d'Intel, Lip-Bu Tan : « Notre objectif est une multiplication par 10 en 5-10 ans », en misant sur l'emballage avancé, les substrats en verre et le diamant synthétique

Le PDG d'Intel, Lip-Bu Tan, a exposé sa vision ambitieuse de transformer l'entreprise avec pour objectif de multiplier par 10 la valeur pour les actionnaires dans les 5 à 10 prochaines années. Lors d'un podcast, il a détaillé sa stratégie axée sur trois piliers technologiques pour dépasser les limites physiques de la miniaturisation : l'emballage avancé (EMIB), les nouveaux matériaux de substrat comme le verre, et les semi-conducteurs de nouvelle génération (GaN, SiC, InP, diamant synthétique). Il souligne la reprise de la demande en CPU pour l'IA, notamment l'inférence et les agents intelligents, modifiant le ratio CPU/GPU dans les serveurs. Tan défend également la division de fonderie d'Intel, essentielle pour la sécurité de la chaîne d'approvisionnement américaine, en se concentrant sur la confiance client, le rendement et les délais. Il révèle le projet Terafab en collaboration avec Elon Musk pour construire des capacités de fabrication de semi-conducteurs. Selon lui, le plus grand malentendu des investisseurs est de sous-estimer le potentiel d'Intel, encore en phase de "rampement". Il prévoit que le véritable potentiel de l'entreprise, au-delà du PC, dans l'informatique en périphérie, l'IA physique et les agents IA, sera pleinement reconnu vers 2030-2032.

marsbitIl y a 42 mins

Premier entretien en podcast du PDG d'Intel, Lip-Bu Tan : « Notre objectif est une multiplication par 10 en 5-10 ans », en misant sur l'emballage avancé, les substrats en verre et le diamant synthétique

marsbitIl y a 42 mins

Il vient de lever 2,7 milliards, et Fei-Fei Li y a investi.

Le chercheur en intelligence artificielle Pete Florence, ancien employé de Google DeepMind et co-créateur de l'architecture VLA (Vision-Language-Action), a levé 400 millions de dollars (environ 2,7 milliards de RMB) pour sa startup Generalist AI, portant sa valorisation à 2 milliards de dollars. Parmi les investisseurs figurent NVentures (NVIDIA), Bezos Expeditions, ainsi que des personnalités comme Li Fei-Fei, co-fondateur de Xiaomi Lin Bin et le fondateur de Zoom, Eric Yuan. Contrairement à la tendance actuelle, Florence rejette catégoriquement l'étiquette "modèle du monde" pour son entreprise. Issu du MIT et influencé par son mentor Russ Tedrake, il prône une approche orientée "objectif" plutôt que "technologie". Pour lui, l'objectif ultime n'est pas de construire un modèle du monde, mais de créer des robots capables d'accomplir avec un taux de réussite et une vitesse élevés des tâches variées et inédites, sans nécessiter de données spécifiques. Generalist AI a dévoilé deux modèles d'intelligence incarnée : GEN-0 en novembre 2025, démontrant que les lois d'échelle des LLM s'appliquent au mouvement physique, et GEN-1 en avril 2026. Ce dernier, entraîné sur plus de 500 000 heures de données collectées via un dispositif portable, atteint un taux de réussite de 99% sur des tâches manuelles précises comme plier des cartons. Florence estime que GEN-1 approche d'un point d'inflexion similaire à GPT-3, avec des performances atteignant un niveau utile pour des déploiements commerciaux. Ce financement record, intervenu rapidement après la démonstration de GEN-1, valide la vision pragmatique de Florence : développer des robots généralistes réellement utiles en se concentrant sur la résolution de tâches physiques concrètes.

marsbitIl y a 50 mins

Il vient de lever 2,7 milliards, et Fei-Fei Li y a investi.

marsbitIl y a 50 mins

Trois jours, deux légendes de perdues : le barrage de talents en IA de Google est-il en train de se fissurer ?

En l'espace de trois jours, Google a perdu deux figures légendaires de l'IA, signe d'un exode massif de ses talents vers des concurrents comme OpenAI et Anthropic. Noam Shazeer, co-auteur de l'architecture Transformer, a rejoint OpenAI, tandis que John Jumper, lauréat du Nobel et responsable d'AlphaFold, est parti chez Anthropic. Ce mouvement, renforcé par le recrutement d'Andrej Karpathy par Anthropic, révèle une tendance structurelle. La cause profonde est un désalignement des missions. Les priorités de Google restent centrées sur son activité publicitaire, contraignant la recherche. À l'inverse, OpenAI et Anthropic offrent une focalisation exclusive sur l'innovation et la sécurité de l'AGI. De plus, les perspectives d'introduction en bourse de ces startups promettent des gains financiers considérables via leurs actions, un avantage que Google, déjà géant établi, ne peut égaler. La fusion de Google Brain et DeepMind en 2023, censée unifier les forces, a en réalité accru les tensions entre recherche fondamentale et pression commerciale, créant un environnement moins attractif pour les scientifiques de haut vol. Cette restructuration du paysage des talents, potentiellement irréversible, représente une crise silencieuse pour Google. Son avantage en matière de données, de puissance de calcul et de publications académiques dépend ultimement des personnes capables de les exploiter, et celles-ci partent.

marsbitIl y a 2 h

Trois jours, deux légendes de perdues : le barrage de talents en IA de Google est-il en train de se fissurer ?

marsbitIl y a 2 h

Derrière les bulletins de notes de l'IA, se cache un concepteur de "sujets d'examen" chinois

Le domaine de l'IA suit de près les scores des grands modèles sur des benchmarks comme MMLU-Pro et MMMU, devenus des références pour évaluer les capacités de raisonnement et de compréhension multimodale. Derrière ces outils d'évaluation influents se trouve Wenhu Chen, professeur assistant à l'Université de Waterloo et fondateur du TIGERLab. Face aux limites des anciens benchmarks comme MMLU, où les modèles de pointe atteignaient des scores quasi parfaits, Chen a dirigé le développement de MMLU-Pro. Cette nouvelle base de données, plus difficile et stable avec des questions à choix multiples élargis, permet de mieux distinguer les véritables capacités de raisonnement des modèles. Dans le domaine multimodal, les benchmarks MMMU et MMMU-Pro, également créés par son équipe, évaluent rigoureusement la capacité des modèles à combiner informations visuelles complexes et connaissances disciplinaires pour résoudre des problèmes avancés. Cette expertise en évaluation découle des recherches de Chen sur la compréhension d'informations complexes et le raisonnement, renforcée par son expérience chez Google DeepMind sur Gemini. Aujourd'hui au Meta Super-Intelligence Lab, il continue ses travaux sur l'évaluation et l'entraînement de modèles multimodaux. Son parcours illustre le rôle crucial, bien que moins visible, des chercheurs dans la construction des fondations méthodologiques qui guident les progrès de l'IA.

marsbitIl y a 3 h

Derrière les bulletins de notes de l'IA, se cache un concepteur de "sujets d'examen" chinois

marsbitIl y a 3 h

Trading

Spot
Futures
活动图片