首页 > 生活知识 > 生活知识 > 长推:AI从分布式算力到可信计算的演进

长推:AI从分布式算力到可信计算的演进

发布时间:2024-06-16 15:39:38来源: 15210273549

最近,市场讨论焦点主要在AI分布式云算力聚合平台上,但Messari一份报告却把注意力聚焦到了AI去中心化推理方向。而且该报告提到了 @MarlinProtocol所推出的teeML去中心化推理架构,一种利用可信执行环境(TEE)来提供计算证明的方式。

为什么要做分布式推理架构?逻辑很简单,ChatGPT等大模型Prompt推理都依赖一个可信的中心化的模型服务器实体,比如:OpenAI,用户无法确保数据在推理过程中是否被恶意篡改或窥探。

而若采用分布式推理,用户的每次调用大模型输入和输出,都能有可验证的计算做保证,用户无需信任中心化的服务提供上,而仅可依赖密码学或者其他数据或安全模型来建立信任连接。

Marlin我之前有写文章分析过,主要定位做去中心化的节点增强服务,去中心化AI服务是其发力的一个核心场景。Marlin通过TEE可信执行环境协处理器,在节点硬件存储系统中构建了安全隔离的Enclave飞地环境,继而可实现AI数据模型训练和推理等服务。

在去中心化推理背景下,模型提供者可以选择在TEE环境下运行模型,并生成加密证明,由于证明本身也在TEE内环境下,因此可确保模型在运行过程中不被透露或篡改。

当然,在Messari的报告中,还提到了除了TEE之外的另外两种分布式推理架构方式:

1)基于zkML零知识证明协议,ZK可以证明某个输出是特定的Dataset产生的,ZK可以成为支撑模型运行的服务器和模型输出结果的可信桥梁。@ProjectZKM提供的zkVM可信验证最近也和Marlin达成了战略合作,会作为底层技术支持帮助Marlin基于zkVM进一步强化分布式推理能力;

2)基于Optimism ML乐观机器学习,和OP-Rollup逻辑类似,多方实体可共同参与指定的推理验证,若对结果存在分析,可以开启挑战模式,理论上,只有有一个诚实的验证者实体,opML就称得上安全可信。相比zkML,opML计算成本更低,但也会存在挑战时间窗口。代表项目有Ora 和@HyperspaceAI.

总之,在我看来,当分布式AI聚合算力的应用场景被跑通,大量的中小型AI训练、推理、微调以及渲染等需求涌入后,一个完全分布式的可验证的推理计算证明就成了必须。分布式推理赛道也会随之热闹起来。

生活知识更多>>

程美宝丨消逝的声音:省港澳沪的过去式 唐晓峰、董玥丨问题意识从何而来?城市史研究的入径、维度与意义 沉浸式体验青浦民俗韵味,上海第一村上演“村晚” “2025北大报告”出炉,文化产业发展有何新趋势 从“一日节庆”到“一季活动”, 镜泊湖冬捕走出“渔旅融合”新路径 奇瑞去年“四赛道”全面增长,风云今年要做全球混动“老大” 兰博基尼2024年全球销量创新高,首款插电混动SUV Urus SE亮相 设计不会变了 蔚来萤火虫“三眼灯”确认:辨识度超高 塔图姆38+11墨菲空砍30分 布朗16分凯尔特人险胜鹈鹕 亚历山大27+7维金斯23+7 雷霆大胜送奇才6连败 班凯罗20+8乔治25+10 安东尼27分魔术胜76人 约老师19+18+9克莱25分 威少准三双掘金胜独行侠 锦绣梨园传新韵 一曲京腔动人心(讲述·回信背后的故事) 沙特举办“新春大集”迎接“中沙文化年” 舞剧《满江红》:悬疑故事还能摊开谜底讲? 西安芸伊舞蹈艺术中心“十载芸伊-艺领未来”专场晚会成功举办 与诺奖得主交谈,作品入选“深圳十大佳著”,这个少年好棒! 大妈带一幅字画鉴宝,专家:赝品!大妈:作者是我父亲 林百石:古风漫随-空灵淡雅——新写意女画家徐宏印象(2025年1月12日) 人人尽说江南好,游人只合江南老,韦庄笔下的温婉带着些许的落寞 唐诗真正的高手“过招”,李白和杜甫各写首同名诗,水平高下立判 十本纵横2024年发布的高品质新书,有知白、更俗、青鸾峰上等大神 校园原创话剧《让生命阳光般灿烂》在首都图书馆剧场上演 第37届北京图书订货会闭幕 蓉版好书表现亮眼 固安县第四届“体教融合·超越杯”乒乓球赛激情开赛 松岛辉空恩怨分明!男双摆烂混双夺冠,国乒丢第3冠,压力全给蒯曼 哈球星赛:国乒1冠2亚!2场决赛不敌日本,张本美和获新年首冠 蒯曼4比0横扫木原美悠,成功女单夺冠,在接发球轮限制住了对手 4-0!蒯曼横扫木原美悠,夺女单冠军,国乒以2冠2亚收官 2025新民晚报红双喜杯迎新春乒乓球公开赛开幕