【论文阅读笔记】使用结构代码嵌入检查智能合约

 

 

论文标题：Checking Smart Contracts With Structural Code Embedding
原文链接Checking Smart Contracts With Structural Code Embedding | IEEE Journals & Magazine | IEEE Xplore
说明：在读研究生为方便记忆梳理学习，手敲论文笔记，概括论文的主要思想

背景

智能合约指是一个程序，当满足特定的预定义条件时，可以触发执行任何任务。智能合约越来越多地与区块链一起使用，以实现金融和商业交易的自动化。然而，在许多合约中发现了许多错误和漏洞，因此，非常需要更好地维护智能合约代码并确保其高可靠性。

智能合约中定义的条件和合约的执行应该是可跟踪和不可逆转的，以最大限度地减少对受信任中介的需求。它们还应该尽量减少恶意或意外异常，以确保智能合约暗示的任何商业交易的可信度。

贡献

• 我们提出了一种基于代码嵌入和相似性检查的 Solidity 代码检查新方法，适用于各种目的，例如相似合约代码检测、错误检测和合约验证。
• 我们基于该方法构建了一个 SMARTEMBED 原型，并在从以太坊区块链