本文提出了 EVM bytecode 的第一个完整的小步语义，形式化验证了这些程序的语义和关键安全属性，并识别了现有语义和验证工具的各种错误和不精确性，为智能合约的安全验证提供了严谨的语义基础。

Feb, 2018

本文介绍了一种新的针对智能合约的，关于可量化属性的形式化分析框架，并提出了设计一种简化的智能合约编程语言，自动翻译程序为状态感知博弈，以及实验结果的方法。

Jan, 2018

分布式不可变账本或区块链，在不依赖可信第三方的情况下，允许安全地数字化证据交易。智能合约作为去中心化和复制执行的程序，为区块链上的证据协议提供了机制，但需要解决信任和责任的问题。

Mar, 2024

该研究论文综述了区块链的安全性和隐私保护。文章首先介绍了区块链的概念和加密货币系统的基本安全属性，然后讨论了应用于区块链的更高级的安全和隐私属性。最后，研究人员回顾了一些代表性的共识算法、哈希链存储、混合协议、匿名签名和非交互式零知识证明等实现这些安全属性的技术。

Mar, 2019

介绍了以太坊的新一代区块链技术及其去中心化应用（DApps）的概念，分析了 DApps 系统中存在的安全漏洞、攻击和防御的能力，提出了未来的研究方向。

Aug, 2019

通过使用两层结构的新颖框架，结合 Slither 漏洞报告、源代码和预训练的随机森林分类器以及大型语言模型，通过分类和修复提出的漏洞，该研究论文展示了经过微调和提前生成工作的大型语言模型的有效性，其由预训练的 GPT-3.5-Turbo 和微调的 Llama-2-7B 模型构建，对智能合约中的漏洞数量进行了 96.7% 至 97.5% 的减少。对修复后的合约进行的手动检查显示其保留了功能性，表明该方法适用于智能合约漏洞的自动批量分类和修复。

Sep, 2023

本文试图寻求用区块链作为信任引擎的设计原则，通过定性和定量研究的混合方法，讨论了区块链的过去、现在和未来发展方向，并得出了区块链设计原则的三个发现：第一，区块链作为分布式数据库的原始设计原则是否得以实现存在争议；第二，区块链社区的现有分类包括隐私和安全、可扩展性、去中心化、适用性、治理和监管、系统设计及跨链互操作性等方面。在这些分类中，隐私和安全的研究和应用更为突出，其他方面仍有较大的发展机会。最终，我们认为必须通过跨学科综合解决方案来弥合当前区块链设计与真正智能世界信任引擎设计原则之间的差距。

Jan, 2023

本研究旨在解决当前互联网转型所面临的安全挑战，特别关注区块链和去中心化存储等新兴技术，并探讨 Web3 应用在塑造互联网未来方面的作用。主要目标是提出一种新颖的 “智能证书” 设计，通过可编程强制执行的数字证书，企业能够更好地保护自身免受网络攻击，确保数据和系统的安全。同时，利用 Web3 应用构建企业数字基础设施的韧性，并采用不同层级架构，钱包 / 客户端、应用和智能合约，以识别和预测威胁和风险，引入证书透明度以增强证书的安全性、可信性和去中心化管理，并检测滥用、侵害和不法行为。

Nov, 2023

通过系统评估大型语言模型在智能合约代码生成方面的质量，研究发现生成的智能合约存在安全漏洞以及代码质量和正确性受到影响，但也提出了改进过程、质量和安全性的多个潜在研究方向。

Aug, 2023

使用区块链技术，创建智能合约以通过交换奖励来训练特定数据集的机器学习模型，这为各方提供了直接获取好的机器学习模型的市场，取代传统 AI 解决方案的需求。

Feb, 2018