摘要：
IDEA默认自动生成变量名的快捷键是 Ctrl+Alt+V, 如何启用或关闭window功能？ win+R 输入 OptionalFeatures 查看电脑上的服务，比如是否安装了MySQL win+R --cmd--services.msc 查看 IDEA的一些常用快捷键总结 ctrl+alt+T 阅读全文
摘要：
Abstract In Bitcoin, transaction malleability describes the fact that the signatures that prove the ownership of bitcoins being transferred in a trans 阅读全文
摘要：
摘要 在过去的几年里，对Etalum智能合同的自动化分析、测试和调试进行了大量的研究。 然而，比较和复制这项研究并不是微不足道的。 为了解决这一问题，我们介绍了SmartBugs，这是一个可扩展和易于使用的执行框架，它简化了以Solidity(Etalum中使用的主要语言)编写的智能合同分析工具的执 阅读全文
摘要：
git遇到的问题 问题 解决方法 把https改为git idea中右击没有javaClass选项 问题描述 方法 ctrl+alt+shift+S 进入设置-module note: name是自己写的，可以不同 pip命令把包安装到了哪里？ 问题描述 好奇安装到了哪里？在pycharm或者ana 阅读全文
摘要：
摘要 近年来，我们在智能合约（特别是为以太坊区块链开发的合约）中的漏洞这一话题上看到了大量学术和实际兴趣。虽然大多数工作都集中在对易受攻击的契约进行检测上，但在本文中，我们的重点是找出这些易受攻击的契约中有多少被实际利用了。我们调查了最近六个学术项目所报告的23327个易受攻击的领域，结果发现，尽管 阅读全文
摘要：
摘要： 随着以太坊平台上智能合约的疯狂发展，其市场价值也随之攀升。2016年，DAO重入攻击导致加密货币损失近5000万美元，人们对此感到震惊。由于智能合约中存在着大量的资金流动，其安全性受到了研究者的广泛关注。在本文中，我们调查了几种常见的智能合约漏洞，并分析了它们可能出现的情况以及如何利用这些漏 阅读全文
摘要：
摘要： 智能合约中安全漏洞的符号分析对于分析预定义的漏洞属性是有价值的。虽然一些符号工具执行复杂的分析步骤，但它们需要预定的调用深度来搜索易受攻击的执行路径，并且搜索时间随着深度的增加而增加。自2015年12月以来，以太坊等区块链上的合同数量增长了176倍。如果这些象征性的工具不能及时分析数量越来越 阅读全文