Solidity
PulseAugur coverage of Solidity — every cluster mentioning Solidity across labs, papers, and developer communities, ranked by signal.
1 天有情绪数据
-
LLM 自动化智能合约漏洞注入以用于测试工具
研究人员开发了一种使用大型语言模型（LLM）自动向智能合约注入漏洞的方法。该方法旨在创建用于测试漏洞检测工具的数据集，以解决手动构建数据集稀缺的问题。通过将 LLM 应用于真实世界的合约，该研究成功生成了 25 种类型的 32 个经过验证的易受攻击合约，但也强调了 LLM 的非确定性和语义保持方面的挑战。随后使用生成的数据集评估了三个静态分析器，揭示了它们互补的覆盖范围。
-
Claude 3.5 Sonnet 在 AI 代码审计基准测试中领先，超越 GPT-4o 和 Llama 3
一项最新基准测试评估了 GPT-4o、Claude 3.5 Sonnet 和 Llama 3 70B 在自动化代码审计方面的有效性，特别是检测智能合约中的漏洞。Claude 3.5 Sonnet 在准确性方面表现最佳，正确识别了所有关键缺陷，并提供了零幻觉的安全代码补丁。GPT-4o 在速度和遵循结构化 JSON 输出方面表现出色，但错误地标记了一个不存在的漏洞。Llama 3 在本地运行时，提供了最快的响应时间和隐私优势，但在纯 J…
-
神经符号框架使用组合范畴语法重构大型语言模型输出
研究人员提出了一个神经符号框架，利用组合范畴语法（CCG）将大型语言模型（LLMs）的输出重构为类型化的组合推导。该方法虽然不声称LLMs内部实现了CCG，但表明LLM的输出可以以增量方式被可听地重构。该框架超越了自然语言，扩展到Solidity、OWL和SQL等形式语言，利用了Curry-Howard对应关系。它能够针对外部知识源检查组合结构失败和幻觉内容。
-
Solidity 编译器缺陷历时三年模糊测试工作揭露
研究人员在 Solidity 编译器中发现了 25 个错误编译错误，该编译器对于开发以太坊智能合约至关重要。这些漏洞是研究人员使用他们开发的专用模糊测试工具在三年时间里发现的。这些发现突显了智能合约开发中潜在的风险以及稳健的编译器测试的重要性。
-
开源 AI 工具 Fizz 自动化 Solidity 智能合约安全
一款名为 Fizz 的开源 AI 工具已为 Solidity 开发者推出，旨在自动化智能合约安全。Fizz 可通过单个提示覆盖高达 80% 的基于状态的模糊测试。它还协助进行仓库分析、不变量生成、测试执行和覆盖率报告创建，为智能合约安全提供实用价值。
-
AI 编码代理在智能合约验证方面超越人工审计员
像 Cursor、Claude Code 和 Codex 这样的 AI 编码代理现在生成 Solidity 代码的速度比人工审计员验证它的速度还要快。2026 年的这种转变在验证过程中造成了瓶颈，导致审计公司增加招聘以跟上步伐。挑战不再是代码生成，而是确保 AI 生成代码的安全性和正确性。
-
AI平台结合深度伪造检测与区块链证据
研究人员开发了一个名为DeepFake Forensics AI的新平台，旨在应对法律和法证领域中日益增长的合成媒体威胁。该系统集成了针对图像、视频和音频的多模态检测能力，以及一个用于识别所用特定生成式AI架构的新模块。至关重要的是，它将法证证据牢固地锚定在以太坊区块链上，确保了防篡改的保管链管理。
-
新的 SCDBench 基准测试揭示 LLM 在智能合约反编译方面存在困难
引入了一个名为 SCDBench 的新基准测试，用于评估用于智能合约反编译的大型语言模型 (LLM)。该基准测试包含一个包含 600 个真实 Solidity 合约的数据集，并配有字节码、真实源代码和语义检查点。当前的尖端 LLM，如 Claude Opus 4.7 和 GPT-5.3-Codex，在生成结构化和可编译代码方面显示出潜力，但在语义一致性方面存在困难，最好的模型也只能完美反编译 42 个合约。研究还发现，纳入编译修复可以…
-
Replit 推出 Solidity 和 Rust 模板，简化开发
Replit 推出了新的 Solidity 和 Rust 开发模板，旨在降低这些编程语言的入门门槛。Solidity 模板旨在简化以太坊区块链上智能合约的创建和部署，为 Web3 开发提供协作环境。Rust 模板提供了一个即用型、浏览器内 IDE，可处理设置的复杂性，让开发人员能够专注于学习和编码。