分享一个实验性的 DAG 流程审计 Skill
目前项目的内容只是为了展示架构的使用所以比较简单一共 5 个 nodeenv_setup根据开发框架下载依赖库完成编译project_parsing根据编译内容以及合约代码对项目的函数调用与业务流程进行解析与总结business_flow_analysis分析合约项目在业务流程层面的安全问题fund_flow_analysis分析合约在资金层面的安全问题summary_output问题去重确认输出漏洞报告其中 3 和 4 是并行执行的。每个节点首先都需要在 workflow.dag.yaml 文件中进行登记(max_parallel_nodes 为最大并行数量)version: 1name: solidity_auditruntime:max_parallel_nodes: 2nodes:id: env_setupmodule: nodes/env_setupid: project_parsingmodule: nodes/project_parsingid: fund_flow_analysismodule: nodes/fund_flow_analysisid: business_flow_analysismodule: nodes/business_flow_analysisid: summary_outputmodule: nodes/summary_output为了避免 context 占用过高每个 node 都采用 sub-agent 的形式进行调用调用结果通过输出文件进行返回。所以每个节点之间的关系在 DAG 中对应 edge 的概念根据是节点间的输入输出文档进行关联比如Node1 的输出文档为 node1-output.mdNode2 的输入文档也是 node1-output.md那么就认为存在一条 Node1 -- Node2 的边。每个节点的输入输出文档定义在节点目录下的 node.yaml 文件中实现比如上游节点 project_parsing 的输出内容定义为outputs:- name: project_overviewpath: project_overview.mdformat: markdowndescription: High-level project summary, contract roles, and business flow- name: call_graph path: call_graph.yaml format: yaml description: Compressed call graph per ast_compress_template.yaml - name: business_flows path: business_flows.yaml format: yaml description: Structured function call chains for each business flow而它的下游节点 business_flow_analysis 的输入定义刚好为上游节点的输出。artifacts:output_dir: ./acai-dag-auditor/artifacts/business_flow_analysis/inputs:- name: project_overviewsource: upstream:project_parsingpath: project_overview.mdrequired: truedescription: Project architecture, contract roles, and business flow- name: business_flows source: upstream:project_parsing path: business_flows.yaml required: true description: Structured function call chains for each business flow - name: call_graph source: upstream:project_parsing path: call_graph.yaml required: true description: Compressed call graph with function call edges and risk annotations当上游节点执行完毕且目录中所输出的文件满足了下游节点的输入文件要求时Agent 将会启动 sub-agent 执行下游节点的任务。整个项目最核心的内容就介绍完了接下你就可以根据你自己的需求设计和添加各种节点搭建你自己的审计流程。后记因为这个项目是先有一个想法然后根据这个想法来实现的一个 demo。可能想法并不成熟实现过程中也有很多没考虑到的地方。就当是一个积聚内心想法的分享也非常希望大家能够交流一下看法毕竟现在很难找到一个交流的平台和社区长时间的闭门造车最终也只能是在不断的自我否定中止步不前。尤其是现在 AI 时代分享自己的想法变得

相关新闻

昕维H601可打印彩色铜版纸

昕维H601可打印彩色铜版纸

昕维 H601 增强混合基碳带是一款适用于树脂基碳带打印机的通用型碳带,其核心性能与适用性如下:一、 昕维 H601 增强混合基碳带核心特性特性维度具体说明基材类型增强混合基。它结合了蜡基和树脂基的优点:表面附着力强(类似蜡基&am…

2026/9/24 9:49:42 阅读更多 →
编写程序记录每次只套用旧方法解决问题的场景,事后补充设计一种全新解法。

编写程序记录每次只套用旧方法解决问题的场景,事后补充设计一种全新解法。

用 Python 记录“路径依赖式解决问题”:用代码对抗思维惯性一、实际应用场景描述在《心理健康与创新能力》课程中,“思维定势”与“路径依赖”是阻碍创新的两大隐形杀手。典型场景如下:- 开发场景:遇到接口报错,条件反…

2026/9/23 23:55:03 阅读更多 →
RPM打包避坑指南:彻底搞懂RPATH的前世今生

RPM打包避坑指南:彻底搞懂RPATH的前世今生

从原理到实战,一篇文章终结你的RPATH焦虑引言:一个让人抓狂的打包错误 想象这样一个场景:你费尽心思在国产架构(如ARM、LoongArch)上编译好了一个高性能加速库,满心欢喜地执行 rpmbuild -bb 准备生成RPM包&…

2026/9/21 0:16:10 阅读更多 →

最新新闻

视觉定位与PID控制实战:从零搭建平衡球机器人系统

视觉定位与PID控制实战:从零搭建平衡球机器人系统

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/9/24 9:53:58 阅读更多 →
单片机RGB颜色格式转换:RGB888/565/666原理与嵌入式实战避坑指南

单片机RGB颜色格式转换:RGB888/565/666原理与嵌入式实战避坑指南

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/9/24 9:53:58 阅读更多 →
E900V21E刷机全攻略:免拆与短接原理、实操与救砖指南

E900V21E刷机全攻略:免拆与短接原理、实操与救砖指南

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/9/24 9:53:58 阅读更多 →
AI硬件集体翻车启示录:端侧与云端协同的五大教训

AI硬件集体翻车启示录:端侧与云端协同的五大教训

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/9/24 9:53:58 阅读更多 →
CADe SIMU电气原理图仿真:零成本掌握继电器逻辑与控制时序

CADe SIMU电气原理图仿真:零成本掌握继电器逻辑与控制时序

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/9/24 9:53:58 阅读更多 →
IronClaw google-drive 扩展:12 个 Google Drive 工具包的清单、认证与 WASM 实现解析

IronClaw google-drive 扩展:12 个 Google Drive 工具包的清单、认证与 WASM 实现解析

人工智能AI 应用交互助手AI Agent 【免费下载链接】ironclaw IronClaw is an Agent OS focused on privacy, security and extensibility 项目地址: https://gitcode.com/gh_mirrors/iro/ironclaw 点击查看 免费下载 本指南围绕 IronClaw 的 google-drive 扩展包展…

2026/9/24 9:52:58 阅读更多 →

日新闻

基于YOLOv8的渔船作业监控系统:从环境搭建到边缘部署全流程

基于YOLOv8的渔船作业监控系统:从环境搭建到边缘部署全流程

简介:这是一套面向计算机、人工智能、自动化等专业学生与教师的毕业设计级项目资源,围绕YOLOv8实现渔船作业监控系统,可用于毕设、课程设计、大作业或项目立项演示。压缩包共97个文件,约24.21MB,以70个Python源码文件为…

2026/9/24 0:00:19 阅读更多 →
单细胞注释实战:基于Scanpy的标记基因与参考映射流程解析

单细胞注释实战:基于Scanpy的标记基因与参考映射流程解析

简介:一份基于单细胞RNA测序数据的细胞类型注释算法研究Python毕业设计源码,针对计算机相关专业正在做毕设或需要项目实战的学习者,可用于课程设计与期末大作业。项目代码完整、经导师指导评审通过,可直接运行,覆盖数据…

2026/9/24 0:00:19 阅读更多 →
C#源生成器实战:用增量生成器替代反射,告别AOT崩溃

C#源生成器实战:用增量生成器替代反射,告别AOT崩溃

第一次在项目里被反射卡住,是在一个老旧的WinForms模块里:几十个类依赖PropertyChanged通知,运行时反射读属性、发通知,每次启动慢半拍不说,一上.NET Native/AOT裁剪模式几乎全面崩盘。后来我把这段逻辑全部改成C#源生…

2026/9/24 0:00:19 阅读更多 →

周新闻

Flutter for OpenHarmony游戏卡片渐变背景实战:从原理到性能优化

Flutter for OpenHarmony游戏卡片渐变背景实战:从原理到性能优化

直接铺开项目本身吧。这几个月我一直在折腾一件事:用Flutter给OpenHarmony做一款游戏集合类的App,说白了就是把若干小游戏塞进一个壳里,用统一入口分发。这个方向本身不算新鲜,真正让我花了不少心思的,是首页那堆游戏卡…

2026/9/23 4:55:02 阅读更多 →
Word表格编号全攻略:从列表编号到题注交叉引用

Word表格编号全攻略:从列表编号到题注交叉引用

写Word文档,最让人头疼的往往是那些“看起来不起眼”的小问题。比如表格编号这事:今天在表后面多加了两个空白行,明天给客户交稿前发现整个章节的编号全部错位,光是挨个改序号就能耗掉大半个下午。我前阵子帮人整理一份上百页的技…

2026/9/24 9:10:42 阅读更多 →
从第一个站到第二个站:独立开发者的静态网站选型与落地实践

从第一个站到第二个站:独立开发者的静态网站选型与落地实践

1. 项目概述1.1 核心需求解析做独立开发者这几年,说实话,第一个网站上线的那天晚上我兴奋得没睡着。但等它跑了半年,流量惨淡、功能臃肿、代码自己都懒得看第二遍之后,我才慢慢琢磨明白一个道理:第一个网站是练手&…

2026/9/23 9:53:41 阅读更多 →

月新闻

持续集成 流水线自动化与 声明式交付 实践:原型怎样变成可用功能

持续集成 流水线自动化与 声明式交付 实践:原型怎样变成可用功能

持续集成 流水线自动化与 声明式交付 实践:原型怎样变成可用功能分类:[AI/大模型]细分主题:AI 增强型 CI/CD 流水线自动化与 GitOps 实践:Agent 工作流、工具调用与任务拆解:从原型到生产的验收清单很多团队在尝试用大…

2026/9/23 9:53:40 阅读更多 →
容器编排 生产环境运维与排障实战:复盘记录怎样真正派上用场

容器编排 生产环境运维与排障实战:复盘记录怎样真正派上用场

容器编排 生产环境运维与排障实战:复盘记录怎样真正派上用场分类:[工程技术]细分主题:Kubernetes 生产环境运维与排障实战:可复制的项目复盘模板与决策记录大部分团队的事故复盘报告,最后都变成了躺在 Confluence 或钉…

2026/9/23 9:53:40 阅读更多 →
容器 容器化技术与镜像安全管理:核心链路应该先拆哪一步

容器 容器化技术与镜像安全管理:核心链路应该先拆哪一步

容器 容器化技术与镜像安全管理:核心链路应该先拆哪一步分类:[工程技术]细分主题:Docker 容器化技术与镜像安全管理:核心链路的逐步实现与关键代码取舍面对一个积累了五六年历史包袱的单体架构应用(包含 Web 接口、后台…

2026/9/23 9:53:40 阅读更多 →