本文研究了在类似于加密货币的开放分布式网络中运行Ethereum智能合约的安全性。我们引入了几个新的安全问题,在这些问题中,对手可以通过巧妙地执行合约来获取利润。这些bug表明,在理解底层平台的分布式语义方面存在细微的差异。作为一种改进,我们提出了增强Ethereum操作语义的方法,使合约不那么脆弱。对于为现有Ethereum系统编写契约的开发人员,构建了一个名为Oyente的符号执行工具,以发现潜在的安全bug。讨论了几个具有源代码的案例研究的攻击严重性,并在主要的Ethereum网络中确认了攻击。
2021-08-18 14:07:14 522KB 智能合约安全工具 Oyente
1
Produce stunning multimedia that takes full advantage of the latest Web technologies with help from this revised and updated edition of Tay Vaughan's best-seller. You'll get details on everything from conceptualizing and financing your project, through the final stages of design, production, and testing. The bonus CD-ROM is packed with multimedia tools and trial versions of industry-standard software.
2021-08-12 19:07:40 16.47MB Multimedia Education
1
This is a must read book talking about global issues.
2021-07-06 23:57:58 4.29MB globalization making work
1
基于 vue 和 element-ui 实现的表单设计器,使用了最新的前端技术栈,内置了 i18n 国际化解决方案,可以让表单开发简单而高效。
2021-06-23 17:22:58 478KB form-making
1
python利用pygame框架实现类似大鱼吃小鱼游戏 (松鼠吃松鼠) code from making games with python and pygame-附件资源
2021-06-21 09:08:49 106B
1
Latent Cross Making Use of Context in Recurrent.pdf
2021-06-08 13:01:44 817KB paper
1
欧拉公式求长期率的matlab代码使您的代码更快:Jupyter Notebook中的Cython和并行处理 PyData DC 2016教程的存储库 Python有多种选择来加快代码执行速度,包括使用专门的库,使用不同的编译器或进行并行处理。 但是,在Jupyter Notebook中,这些选项中只有一部分方法可用。 当前项目显示了其中的一些解决方案,以解决以下问题: 函数y = x ^ 2可以通过欧拉方法使用其导数y'= 2x近似: y(n + 1)= y(n)+(步* y') 逼近的精度取决于步长很小。 我们希望找到在比较获得的值时得出差异小于1e-5的步长在评估一百万点后,使用y = x ^ 2公式和Euler方法 将涵盖以下方法: 赛顿 脾气暴躁的 Scipy.integrate Numba 使用ipyparallel / ipcluster进行并行处理 演示视频可在以下位置获得: 注意:还可以使用许多其他并行处理方法。 我建议您查看PyData DC 2016关于Dask和current.futures的其他演讲。
2021-05-23 17:03:58 293KB 系统开源
1
斯坦福Algorithms for Decision Making,非图书无版权,管理员请仔细核对非图书无版权,管理员请仔细核对非图书无版权,管理员请仔细核对非图书无版权,管理员请仔细核对非图书无版权,管理员请仔细核对非图书无版权,管理员请仔细核对
2021-04-01 09:01:17 8MB dm
1
Runtime Models Based on Dynamic Decision Networks: Enhancing the Decision-making in the Domain of Ambient Assisted Living Applications
2021-02-07 20:05:32 649KB 研究论文
1