With the development of blockchain technology, more and more attention has been paid to the intersection of blockchain and education, and various educational evaluation systems and E-learning systems are developed based on blockchain technology. Among them, Ethereum smart contract is favored by developers for its ``event-triggered" mechanism for building education intelligent trading systems and intelligent learning platforms. However, due to the immutability of blockchain, published smart contracts cannot be modified, so problematic contracts cannot be fixed by modifying the code in the educational blockchain. In recent years, security incidents due to smart contract vulnerabilities have caused huge property losses, so the detection of smart contract vulnerabilities in educational blockchain has become a great challenge. To solve this problem, this paper proposes a graph neural network (GNN) based vulnerability detection for smart contracts in educational blockchains. Firstly, the bytecodes are decompiled to get the opcode. Secondly, the basic blocks are divided, and the edges between the basic blocks according to the opcode execution logic are added. Then, the control flow graphs (CFG) are built. Finally, we designed a GNN-based model for vulnerability detection. The experimental results show that the proposed method is effective for the vulnerability detection of smart contracts. Compared with the traditional approaches, it can get good results with fewer layers of the GCN model, which shows that the contract bytecode and GCN model are efficient in vulnerability detection.
翻译:随着连锁技术的发展,人们越来越重视连锁与教育的交叉点,各种教育评价系统和电子学习系统都是以连锁技术为基础开发的。其中,Etheenum智能合同得到开发商的偏好,用于建立教育智能贸易系统和智能学习平台的“活动触发”机制。然而,由于连锁技术的不可移动性,无法修改已公布的智能合同,因此无法通过修改教育链中的代码来固定有问题的合同。近年来,由于智能合同脆弱性造成的安全事件造成了巨大的财产损失,因此发现教育链中的智能合同脆弱性已成为一项重大挑战。为解决这一问题,本文建议为教育链中的智能合同建立一个基于“活动触发”机制的“活动”智能合同。首先,由于连锁的不可移动,无法修改已公布的智能合同,因此无法通过修改教育链链中的代码来修正。第二,基本障碍被分割,而基本障碍之间的边缘则根据可理解的脆弱性执行逻辑而添加。随后,控制流程图(CFNGGG)已经形成巨大的挑战。最后,我们设计了一个基于图形的神经网络网络网络网络,为教育链中智能检测GNNNN标准测试结果的模型,以更低的测试方法来展示。测试标准的模型可以显示以有效检测。通过GNNNNN标准检验方法的智能标准检验结果。</s>