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

Odaily星球日报Xuất bản vào 2024-02-01Cập nhật gần nhất vào 2024-02-01

Tóm tắt

「有了 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 现在就变得可行。

Nội dung Liên quan

Báo cáo Ethereum Q1 2026: Phí giảm, người dùng và khối lượng giao dịch lập kỷ lục mới

Báo cáo Q1/2026 của Ethereum cho thấy một xu hướng đối lập: lượng người dùng, số giao dịch và thông lượng mạng lưới đều đạt mức cao kỷ lục, trong khi phí giao dịch, tổng giá trị bị khóa (TVL), khối lượng giao dịch và vốn hóa pha loãng hoàn toàn (FDV) của ETH lại giảm. Hiện tượng này được giải thích là "Nghịch lý Jevons": việc giảm chi phí sử dụng mạng lưới sau đợt nâng cấp Fusaka đã giải phóng nhu cầu, thúc đẩy tăng trưởng quy mô. Báo cáo nhấn mạnh sự chuyển dịch trong định vị cốt lõi của Ethereum từ một blockchain DeFi sang một tầng thanh toán tài chính toàn cầu. Ethereum tiếp tục thống trị thị trường tài sản được mã hóa, chiếm phần lớn thị phần trong các lĩnh vực stablecoin (61,8%), quỹ được mã hóa (73%), hàng hóa được mã hóa (84%) và cổ phiếu được mã hóa. Sự tham gia của các tổ chức lớn như BlackRock, JPMorgan và Fidelity đang đẩy nhanh quá trình "thể chế lên chuỗi". Mặc dù phí giao dịch tầng cơ sở giảm mạnh (-47,9%), đây được xem là một sự đánh đổi có chủ đích để đổi lấy tăng trưởng mạng lưới dài hạn. Chiến lược này nhằm củng cố vị thế là nền tảng định sẵn cho việc thanh toán và quyết toán các tài sản tài chính ngày càng được mã hóa, từ đó tạo ra giá trị cơ bản cho ETH thông qua nhu cầu sử dụng mạng lưới.

marsbit44 phút trước

Báo cáo Ethereum Q1 2026: Phí giảm, người dùng và khối lượng giao dịch lập kỷ lục mới

marsbit44 phút trước

Anh ấy vừa gọi được 2,7 tỷ USD, Lý Phi Phi cũng rót tiền đầu tư

"Generalist AI", công ty khởi nghiệp trí tuệ thể hiện (embodied AI) do Pete Florence - cựu nhà khoa học nghiên cứu cốt cán của Google DeepMind và là một trong những người đặt nền móng cho kiến trúc mô hình VLA (Vision-Language-Action) - sáng lập, vừa huy động thành công 4 tỷ USD (tương đương 27 tỷ RMB) ở vòng gọi vốn mới, định giá 20 tỷ USD. Vòng đầu tư có sự tham gia của các tổ chức và cá nhân uy tín như NVentures (từ NVIDIA), NFDG, Bezos Expeditions, đồng sáng lập Xiaomi Lin Bin, người sáng lập Zoom Eric Yuan, và nhà khoa học nổi tiếng Fei-Fei Li. Mặc dù được coi là người tiên phong trong lĩnh vực "mô hình thế giới" (world model), Florence lại công khai phản đối việc dán nhãn này cho công ty mình. Triết lý của ông, chịu ảnh hưởng từ người thầy Russ Tedrake tại MIT, là ưu tiên "mục tiêu" cụ thể hơn các "nhãn" công nghệ chung chung. Mục tiêu tối thượng của Generalist AI là tạo ra những robot đa năng có thể thực hiện với độ tin cậy cực cao nhiều nhiệm vụ chưa từng thấy mà không cần dữ liệu huấn luyện riêng cho từng tác vụ. Để hiện thực hóa điều này, Generalist AI đã lần lượt ra mắt các mô hình GEN-0 và GEN-1. GEN-1, được công bố vào tháng 4/2026, được huấn luyện trên hơn 50 nghìn giờ dữ liệu tương tác vật lý thu thập qua một thiết bị đeo tay đặc biệt. Theo công ty, mô hình này đạt tỷ lệ thành công 99% trong một số nhiệm vụ thao tác lặp lại và tinh vi (như gấp hộp, đóng gói), với tốc độ nhanh gấp ba lần GEN-0 và chỉ cần khoảng một giờ để thích ứng với tác vụ mới. Thành tựu này chứng minh lộ trình phát triển rõ ràng của công ty và là lý do chính thu hút được sự ủng hộ mạnh mẽ từ các nhà đầu tư hàng đầu, đưa Generalist AI trở thành một trong những công ty được kỳ vọng nhất trong lĩnh vực robot và trí tuệ thể hiện.

marsbit52 phút trước

Anh ấy vừa gọi được 2,7 tỷ USD, Lý Phi Phi cũng rót tiền đầu tư

marsbit52 phút trước

Mất hai huyền thoại trong ba ngày: Con đập nhân tài AI của Google đang vỡ?

Chỉ trong ba ngày, Google đã chứng kiến hai huyền thoại AI rời đi: Noam Shazeer (đồng tác giả Transformer, lãnh đạo Gemini) gia nhập OpenAI, và John Jumper (người đoạt giải Nobel Hóa học 2024, lãnh đạo AlphaFold) chuyển sang Anthropic. Đây không phải là trường hợp cá biệt mà là một xu hướng rõ ràng, bổ sung cho việc cựu thành viên sáng lập OpenAI Andrej Karpathy gia nhập Anthropic trước đó. Các tài năng AI hàng đầu đang tập trung ngày càng nhiều vào OpenAI và Anthropic, khiến Google trở thành nguồn cung cấp chính trong cuộc tái cấu trúc nhân tài này. Sự dịch chuyển này bắt nguồn từ sự khác biệt cốt lõi về sứ mệnh. Google, với doanh thu chính phụ thuộc vào quảng cáo, thường đặt các dự án AI trong khuôn khổ phục vụ mục tiêu sản phẩm và lợi nhuận. Ngược lại, OpenAI (với sứ mệnh AGI) và Anthropic (tập trung vào AI an toàn) cho phép các nhà nghiên cứu tập trung hoàn toàn vào việc đẩy xa giới hạn năng lực mô hình. Ngoài ra, cơ hội thu lợi nhuận lớn từ cổ phiếu trước thềm IPO của hai công ty này là động lực hấp dẫn mà Google - một gã khổng lồ trưởng thành - khó có thể sánh được. Việc sáp nhập Google Brain và DeepMind vào năm 2023 cũng tạo ra những lực ly tâm mới, làm xói mòn văn hóa nghiên cứu dài hạn dưới áp lực phải phù hợp với lộ trình sản phẩm. Sự ra đi của các nhân vật then chốt như Jumper và Shazeer phản ánh điều này. Cuộc khủng hoảng nhân tài này mang tính cấu trúc. Google có thể sở hữu cơ sở hạ tầng máy tính khổng lồ và kho dữ liệu đồ sộ, nhưng việc thiếu những bộ óc xuất sắc nhất để khai thác chúng khiến lợi thế đó trở nên vô nghĩa. Trong khi OpenAI và Anthropic củng cố vị thế với đội ngũ tinh nhuệ ngày càng mạnh, Google đang mất dần hào quang là trung tâm hấp dẫn nhân tài AI toàn cầu. Trong cuộc đua mà mật độ tài năng quyết định năng lực mô hình và thị phần, đây là một thách thức tồn vong thầm lặng nhưng nghiêm trọng của Google.

marsbit2 giờ trước

Mất hai huyền thoại trong ba ngày: Con đập nhân tài AI của Google đang vỡ?

marsbit2 giờ trước

Phía sau bảng điểm AI, ẩn giấu một 'người ra đề' gốc Hoa

Mỗi khi một mô hình AI tiên tiến ra mắt, giới công nghệ lại dõi theo những “bảng điểm” quen thuộc như MMLU-Pro, MMMU hay MMMU-Pro. Đây là các tiêu chuẩn đánh giá quan trọng giúp so sánh năng lực của các mô hình lớn như GPT, Claude hay Gemini. Tuy nhiên, ít người biết rằng đằng sau những bộ đề thi này là một nhà nghiên cứu người Hoa: Chen Wenhu (Trần Văn Hổ), trợ lý giáo sư tại Đại học Waterloo, Canada. Ông cùng phòng thí nghiệm TIGERLab (còn gọi là Hổ Đầu Bang) đã tạo ra MMLU-Pro vào năm 2024 để giải quyết vấn đề “mất chuẩn” của bộ đánh giá MMLU cũ, khi nhiều mô hình tiên tiến đạt điểm gần tuyệt đối, khó phân biệt được sự khác biệt thực sự. MMLU-Pro với hơn 12.000 câu hỏi, mở rộng lựa chọn và tăng cường các câu đòi hỏi suy luận, đã giúp kéo giãn khoảng cách điểm số và đánh giá ổn định hơn. Trước đó, nhóm của Chen Wenhu cũng phát triển MMMU - bộ đánh giá đa phương thức (multimodal) yêu cầu mô hình kết hợp hiểu biết hình ảnh, biểu đồ với kiến thức chuyên môn để trả lời câu hỏi. Ngay cả các mô hình mạnh nhất thời điểm đó như GPT-4V cũng chỉ đạt độ chính xác khoảng 56%. Phiên bản MMMU-Pro sau này được thiết kế để đảm bảo mô hình không thể “bỏ qua” thông tin hình ảnh mà chỉ dựa vào văn bản để đoán đáp án. Nghiên cứu của Chen Wenhu tập trung vào việc hiểu thông tin phức tạp, hỏi đáp tri thức và suy luận. Ông từng làm việc tại Google Research và DeepMind, tham gia vào dự án Gemini, trước khi gia nhập Đại học Waterloo và thành lập TIGERLab. Phòng thí nghiệm không chỉ tạo ra các bộ đánh giá mà còn nghiên cứu phát triển mô hình, chẳng hạn trong lĩnh vực xử lý video. Hiện tại, Chen Wenhu làm việc tại Phòng thí nghiệm Siêu trí tuệ (Super Intelligent Lab) của Meta, tiếp tục tập trung vào dữ liệu huấn luyện và đánh giá đa phương thức. Công việc của ông và nhiều nhà nghiên cứu người Hoa khác đang đóng góp quan trọng vào sự phát triển chung của ngành AI, dù có thể không nằm dưới ánh đèn sân khấu.

marsbit3 giờ trước

Phía sau bảng điểm AI, ẩn giấu một 'người ra đề' gốc Hoa

marsbit3 giờ trước

Giao dịch

Giao ngay
Hợp đồng Tương lai
活动图片