【机器学习系列】零知识机器学习（zkML）高级应用 DeFi可验证AI交易代理

最新推荐文章于 2026-06-25 20:29:15 发布
原创 最新推荐文章于 2026-06-25 20:29:15 发布 · 64 阅读 · 0 GEO检测
标签
#人工智能 #机器学习 #深度学习

目录

3.1 DeFi可验证AI交易代理：Modulus Labs Rocky Bot

3.1.1 系统架构与信任模型

3.1.2 神经网络在CairoVM中的实现

3.1.3 L1资金托管与交易执行合约

3.1.4 模型训练与ONNX-Cairo转换流水线

3.1.5 证明生成与验证机制

3.1.6 性能优化与成本分析

3.1.7 安全考量与风险缓解

3.1.8 部署与运维指南

3.1 DeFi可验证AI交易代理：Modulus Labs Rocky Bot

3.1.1 系统架构与信任模型

Rocky Bot是首个部署于StarkNet的完全可验证AI交易代理，其核心创新在于将三层神经网络的前向传播计算完整迁移至CairoVM执行环境，并通过STARK证明确保计算完整性。系统采用分层架构设计，L1层负责资金托管与交易执行，L2层承担模型推理与证明生成，两层之间通过StarkNet原生消息传递机制实现异步通信。

该架构解决了DeFi场景中AI代理的核心信任困境：传统链下AI模型对其推理过程黑箱运行，用户无法验证模型是否按照宣称的算法执行，也无法

了解本专栏 订阅专栏 解锁全文 超级会员免费看
人工智能技术白皮书 —— 你的AI入门手册
VectorShift的博客
08-09 1344
深入定义状态 (State, S)、动作 (Action, A)、奖励 (Reward, R) 以及状态转移概率 (Transition Probability, P)，构建一个完整的决策模型。强化学习是关于“决策”的科学，它让智能体（Agent）在与环境的持续互动中，通过试错和回报，学习一套能获得最大长期利益的最优行为策略。学习它，就是学习如何驱动机器的“想象力”。：一个迷宫地图，智能体（小机器人）在每个交叉口（状态）选择方向（动作），根据路径上的宝藏（奖励）或陷阱，更新自己的寻宝地图（策略）。
详解AI-Agent中的MCP（Model Context Protocol），与function call的区别与联系
m0_60827485的博客
06-24 446
摘要： MCP（Model Context Protocol）与Function Call在工业级AI-Agent架构中存在本质差异。Function Call是模型调用工具的具体动作（如结构化指令执行），而MCP是管理工具调用与上下文的协议层，相当于AI Agent的“操作系统”。 核心区别： 抽象层级：Function Call关注单次工具调用（动作层），MCP管理多轮调度、状态、权限等（协议层）。 能力范围：MCP涵盖上下文治理、工具路由、记忆管理等，Function Call仅解决“调用哪个函数”。
Rethinking Cross-Layer Information Routing in Diffusion Transformers
liguandong
06-21 671
论文：本文是我的精读笔记，梳理它的诊断、方法与实验，并谈谈个人看法。
破局异构算力与多协议接入：基于 Docker 与 GB28181/RTSP 的边缘计算 AI 视频管理平台架构解析
m0_65443681的博客
06-25 285
该平台针对行业痛点提出三大创新解决方案：1）异构算力解耦，通过容器化技术实现X86/ARM架构及GPU/NPU芯片的跨平台适配，硬件抽象层设计使算法迁移效率提升95%；2）多协议流媒体融合引擎，支持GB28181/RTSP等主流协议及H.265/4K视频解析，实现品牌设备统一接入；3）闭环AI生态，集成算法商城、数据标注、可视化大屏及全渠道告警系统，提供从标注到推理的完整工作流。平台采用微服务架构，支持源码交付和OEM定制，显著降低二次开发成本，适用于智慧城市、工业视觉等场景的私有化部署需求。
每日 AI 研究简报 · 2026-06-22
:: Dotnet Fantasy ::
06-22 300
本周 AI 领域迎来历史性转折——Claude Fable 5 短暂登顶后被叫停，智谱 GLM-5.2 开源破局逼近闭源前沿，全球大模型竞争进入"能力天花板"与"监管天花板"双轨博弈新阶段。
酒店技术创新报告：AI 趋势与战术（2026 年 Q2）
2509_93962717的博客
06-22 558
酒店 AI 已从“提供建议”进化到“自主执行”。核心变化是：AI 不再只是辅助决策，而是直接完成端到端任务（如调价、回复问询、处理会计流程），人类只介入例外和风险判断。
2025-TMM《Tensor-Based Late Fusion Incomplete Multiview Clustering》
Christo的博客
06-24 230
2025年（收稿日期 2024-05-20；录用日期 2025-01-04；正式发表日期 2025-05-07；当前版本日期 2025-09-24）：Xiaoxing Guo, Ming Yang, Gui-Fu Lu（通讯作者：Gui-Fu Lu）：安徽工程大学计算机与信息学院；哈尔滨工程大学数学科学学院。
最新量化工具怎么选，先看自己的能力短板
最新发布
2601_95631988的博客
06-25 261
读者应理解，工具选择不是越复杂越好，而是要贴合当前能力和任务阶段；同时，回测、模拟和实盘验证的问题不同，工具也应服务于这些不同判断。
2024-TIP《Spectral Embedding Fusion for Incomplete Multiview Clustering》
Christo的博客
06-24 215
2024年（Manuscript received 24 October 2022；：Jie Chen, Yingke Chen, Zhu Wang, Haixian Zhang, Xi Peng（四川大学计算机学院；英国 Northumbria University 计算机与信息科学系；四川大学法学院）
关于高维数据下的最近邻搜索算法性能分析的技术7
平头的博客
06-24 331
格式说明：
深度学习自编码器基础与欠完备自编码器 —— 复制的艺术（八十二）
hello.reader
06-21 626
自编码器不需要标签（用数据自身作监督信号，目标是重构 x），产出有用表示 h，能利用无标注的海量数据。非线性自编码器能找弯曲的流形（曲面），是 PCA 的强大推广，能捕捉更复杂的数据结构。上图展示自编码器的两个组件：编码器 f（x→h）和解码器 g（h→r），目标是 r 近似 x。上图展示欠完备自编码器的沙漏结构：编码维度（瓶颈，如 2 维）小于输入维度（如 8 维）。也有更具生物学意义的**再循环（recirculation）**算法（比较原始输入与重构输入的激活），但很少用于实际。
20 Embedding 与向量检索：语义为什么能变成距离
老于的笔记的专栏
06-22 481
Embedding 是 RAG 语义检索的数学基础。本文用工程视角讲清文本如何变成向量，为什么语义相近会表现为距离相近，Top-K 检索如何工作，以及在模型选择、同模型约束、精确匹配和召回评估上的常见坑。
淘宝商品SKU图自动分类技术深度解析：从DOM容器定位到智能属性识别的完整实现
huangdong_的博客
06-21 216
SKU图是商品规格对应的细节图片，是电商运营中最重要的素材类型之一。类型说明淘宝示例颜色图不同颜色的商品展示红色款、蓝色款、黑色款尺码图不同尺码的细节展示S码、M码、L码型号图不同型号的配置展示标准版、Pro版、Max版平台测试商品数识别成功识别率平均耗时淘宝20019296.0%1.2秒京东20018492.0%1.1秒拼多多20018291.0%1.3秒168820019095.0%1.2秒容器定位：多选择器策略兼容不同平台属性提取。
GitHub - mukul975/Anthropic-Cybersecurity-Skills: 817个结构化网络安全技能，适用于AI代理
06-23 480
⚠️— 本项目为独立社区创建，与 Anthropic PBC 无任何关联。
显存爆炸解决方法之梯度累积：是什么、为什么、怎么做？从数学原理到代码落地的全流程指南
qq_62634342的博客
06-23 490
显存爆炸（OOM）是深度学习训练中的高频痛点，而梯度累积（Gradient Accumulation）作为最核心的显存优化手段之一，却常被误用或理解不深。本文按照“是什么-为什么-怎么做”的结构化逻辑，系统梳理梯度累积技术的完整知识体系：从数学本质出发，推导reduction='sum'/'mean'对梯度的影响及Loss缩放的必要性；深入剖析PyTorch标准实现范式、BatchNorm层在累积步数下的行为陷阱，以及TensorFlow/PyTorch混合训练中Loss对齐的工程细节；最后结合大模型训练场
Loop Engineering ：从提示词工程到循环工程，AI 编程的范式革命
2401_87662859的博客
06-24 483
摘要：2026年6月，AI编程领域迎来范式革命——LoopEngineering（循环工程），由ClaudeCode之父Boris Cherny等人提出。该理念主张从"提示词编写"转向"循环设计"，将AI编程分为六大组件：自动化触发、工作树隔离、技能沉淀、连接器集成、子Agent协作和外部记忆层。文章详细阐述了完整循环的工作流程、14步构建路线图，并警示三大陷阱：验证债务、理解债务和认知投降。LoopEngineering不是否定提示词，而是将人的角色升级为AI系统架
为什么研发型企业更需要场景化AI智能体
2603_95716677的博客
06-22 328
• 研发型企业普遍面临图纸、BOM、订单和质量数据分散在不同系统与文件中的“信息孤岛”问题，AI智能体是打通这些断点的关键工具。 • 通用聊天机器人无法适配研发场景的权限审计、内网部署和业务系统集成需求，场景化AI智能体是更务实的选择。 • 场景化AI智能体解决方案，通过可信数据底座和业务系统集成，能有效提升研发协同效率并降低重复工作。 • 从数据治理到智能体部署，需要分阶段推进，避免一次性“大而全”的盲目投入。
2021-TPAMI《Incomplete Multiple Kernel Alignment Maximization for Clustering》
Christo的博客
06-23 161
时间：2021 发表场所：IEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI)作者：Xinwang Liu（国防科技大学，计算机学院）DOI：10.1109/TPAMI.2021.3116948现有的多核对齐（MKA, Multiple Kernel Alignment）最大化聚类算法（如 SimpleMKKM）均假设预先计算好的多个基础核矩阵 KpK_pKp​ 都是完整的。然而在阿尔茨海默病预测、心脏病鉴别、癌症生物学
当AI接管618，真人直播成为最硬的骨头？
2401_84038765的博客
06-23 168
如果说过去直播电商是靠着“全网最低价”来吸引观众们，那么近年来，很多头部主播都在围绕“综艺化”和“陪伴化”来聚拢流量，比如东方甄选们的双语带货，比如老罗的脱口秀式直播，又比如遥望科技的明星聊天带货……所以接下来，李佳琦、遥望科技们可能就需要化被动为主动了，将真人直播的不可替代性，转化为可被量化的商业叙事，将“人”的价值从成本项重新定义为核心资产，从而开启下一个增长十年……：也许AI数字人可以把效率推向极致，但直播电商的底色从来不是效率，而是人与人的相逢、话语与话语的交织、信任与信任的传递。
自定义ESP32-S3开发板适配ESP-WHO框架
91创客学堂
06-23 445
本文介绍了ESP-WHO边缘机器视觉框架在ESP32-S3芯片上的部署与移植方案。主要内容包括：1. ESP-WHO框架概述及示例编译流程，支持人脸识别、物体检测等功能；2. 第三方ESP32-S3开发板与官方ESP32-S3-EYE的硬件差异分析；3. 详细移植步骤：修改LCD引脚配置（SPI模式改为0、背光GPIO调整）、OV3660摄像头驱动适配、关键menuconfig配置（PSRAM设置、模型存储位置等）；4. 最小化应用代码示例及常见问题解决方法。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

VectorShift

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值