区块链
文章平均质量分 87
#苦行僧
这是我随心所欲记录笔记的地方,喜欢的方向:| NLP | CV | ML | 搜广推 | SE+AI |。
展开
-
《Checking Smart Contracts with Structural Code Embedding》论文笔记
论文主要内容:论文提出了一种自动化学习Solidity编写的智能合约特性的方法(称为:“SMARTEMBED”)。该方法基于词嵌入和向量空间比较。通过将智能合约代码解析成带有代码结构信息的词流和,将代码元素(如声明、函数)转换成编码代码语法和语义的数值型向量,然后比较编码代码的向量和已知bug代码之间的相似度,来识别潜在的问题。实验结果表明,论文的方法可以有效识别许多重复的实例。介绍:现有的一些bug检测工具它们的缺点是:需要人类专家来定义某种特定bug模式或规则,以便构建bug检测器和代码模型检查器原创 2021-06-27 09:41:18 · 2423 阅读 · 6 评论 -
《SMARTSHIELD: Automatic Smart Contract Protection Made Easy》论文笔记
论文下载地址:下载地址年份:2020论文翻译地址:论文翻译论文主要内容: 保护智能合约的唯一正确方法是在智能合约部署到区块链前修正代码中潜在的风险(区块链的不可篡改性)。现有的大多数工具进行对代码的bugs进行检测,而没有对代码进行修复。论文提出了一个字节码修复系统(SMARTSHIELD),用来修复典型的安全相关的bugs。论文通过实验证明了该系统在保护和修复现实世界中的不安全的智能合约是非常有效的。且对于修复后的代码只会引入极少的gas消耗量。 EVM字节码:其是为了高效的执行和压缩程序表示而原创 2021-06-13 18:57:09 · 1065 阅读 · 6 评论 -
《Smart Contract Development: Challenges and Opportunities》论文笔记
论文地址:下载地址 年份:2019 这篇论文主要的工作时,开展了一个探索性的研究,调查统计了区块链中的智能合约(只要针对以太坊:最受欢迎的针对智能合约的区块链平台)存在的挑战与问题,和开发者们对智能合约存在问题改进的建议。并分析了未来需要继续深入的研究方向。 近年来,出现了很多区块链智能合约相关的论文。尽管如此,很多研究者在开发智能合约技术和使用工具花费了大量精力,且智能合约没能得到很好的实际应用。论文的主要贡献如下:1.本论文是第一个对智能合约目前的状况和挑战做出的深入研究。2.对调查数据进原创 2021-06-07 23:57:18 · 858 阅读 · 2 评论