AI要約 研究者らはSolidityコンパイラ間の不整合を発見するファジングツールParityFuzzを提案。AST単位の細粒度変異と差分解析で複数バージョン・実装のコンパイラ間の挙動差を検出し、スマートコントラクトの安全性向上に寄与する可能性がある。

EN ParityFuzz is a differential fuzzing tool that uses fine-grained AST-level mutations to surface behavioral inconsistencies across Solidity compilers, helping detect subtle bugs that could threaten smart contract correctness and security.

AI要約 SmartEvalは、自然言語の仕様からLLMが生成するスマートコントラクトの品質を評価する新しいベンチマークである。コンパイル可能性、機能の正しさ、セキュリティ脆弱性などを多面的に測定し、既存LLMの限界を明らかにする試みとされる。

EN SmartEval is a new benchmark designed to evaluate the quality of smart contracts generated by LLMs from natural language specifications, measuring compilability, functional correctness, and security vulnerabilities to expose limitations of current models.