实体
Code4rena
Code4rena
PulseAugur coverage of Code4rena — every cluster mentioning Code4rena across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
LLM评估与智能合约审计相似，侧重于不变性和恶意输入
一位AI工程师将评估LLM与进行智能合约审计进行了类比，强调了识别最坏情况而非仅仅是理想情况的重要性。这种方法涉及为LLM系统编写“不变式”——即必须始终为真的属性，这与智能合约的测试方式类似。该工程师提倡将所有输入视为潜在的恶意输入，这与审计师假设用户和外部数据源存在恶意意图以减轻提示注入等风险的心态相呼应。
-
AI系统Knowdit利用知识图谱检测智能合约漏洞
研究人员开发了Knowdit，这是一个代理系统，旨在通过利用历史审计报告的知识图谱来检测智能合约中的漏洞。该系统分析重复模式和DeFi语义以识别潜在的安全缺陷。在评估中，Knowdit在测试项目中成功检测到所有高危漏洞和90%的中危漏洞，并在实际应用中发现了先前未知的漏洞，从而保障了大量流动性。