Mar, 2024

教机器编程:用 LLMs 进行智能合约翻译

TL;DR通过将两个不同的大型语言模型融合到一个统一的框架中,我们的研究展示了 SolMover 的先驱性方法,它能够理解编码原则并将此理解应用于将智能合约从 Solidity 转化为资源有限的 Move 语言。通过实证实验,我们的研究结果表明 SolMover 大大提升了性能,并且在缺乏规划能力的第二个语言模型中具备编码专长,使其在代码质量方面取得了优异的成果。同时,我们的分析突出了在 SolMover 框架之外,我们所采用的错误缓解策略在提升代码质量方面的效力。