- 博客(4)
- 收藏
- 关注
RSS订阅翻译 区块链论文阅读（2）-EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts
AbstractEOSIO 区块链是具有代表性的 Delegated Proof-of-Stake (DPoS) 区块链平台之一，最近发展迅速。同时，针对顶级EOSIO DApp及其智能合约的多个漏洞和高调攻击也被发现并在野外被观察到，造成了严重的经济损失。大多数 EOSIO 智能合约都不是开源的，通常编译为 WebAssembly (Wasm) 字节码，因此分析和检测可能存在的漏洞具有挑战性。在本文中，我们提出了 EOSAFE，这是第一个可用于在字节码级别自动检测 EOSIO 智能合约中漏洞的静态分析框
2021-10-30 18:00:36
1015
翻译 区块链论文阅读(1)-SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically
摘要智能合约是分布式的、自我执行的程序，在区块链网络上执行。它们有可能彻底改变金融机构和供应链等许多行业。然而，智能合约存在基于代码的漏洞，这为其应用蒙上了一层阴影。由于智能合约不可修补（区块链具有不变性），因此保证智能合约没有漏洞至关重要。不幸的是，诸如 Solidity 之类的智能合约语言是图灵完备的，这意味着静态验证它们是不可行的。因此，必须开发替代方法来提供保证。在这项工作中，我们开发了一种自动转换智能合约的方法，以便它们可以证明没有 4 种常见的漏洞。关键思想是以有效且可证明正确的方式在应用运行
2021-09-08 15:31:52
1817
2
原创 穷举法解决TSP问题
一、问题描述TSP问题（Travelling Salesman Problem）即旅行商问题，是NP-hard的经典问题之一。可描述为：一销售商从n个城市中的某一城市出发，不重复地走完其余n—1个城市并回到原出发点，在所有可能的路径中求出路径长度最短的一条。本题假定该旅行商从第1个城市出发。二、算法说明这里我们尝试用穷举法解决TSP问题。即将每一个城市编号为0~n-1,通过生成随机数种子的方...
2020-03-08 18:35:55
3850
原创 spring boot+jsp实现简易会议系统
一、需求分析1.1会议组织者1.会议组织者登录进入系统，2.填写会议的相关信息（时间，地点，人物，宾馆，等等），3.选取需要参会人员填写的信息项(姓名，工作单位，身份证号，电话，参会时间，性别，是否需要安排房间，等等)这些项目组织者可以根据需要勾选，4.自动生成会议唯一编号，5.可以把本次参会的人员信息下载生成EXCEL文件，1.2会议参加人员1.登录方式（自己设定）2.填写信息...
2020-03-08 18:16:17
1261
9
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人