The Impact of Uncle Rewards on Selfish Mining in Ethereum
2019-11-12
在以太坊中,在某些情况下,不必废弃陈旧的区块,而可以从主链中引用陈旧的区块,叔块会产生部分回报。这个概念限制了网络延迟对矿工预期收入的影响。但是降低了自私的矿工的风险。本文使用蒙特卡洛(Monte Carlo)模拟来量化叔块对自私采矿的获利能力和以太坊(ETH)中区块链安全性的影响。研究者们将简要介绍一下最近的以太坊经典(ETC)改进建议,该建议在选择主链时会考虑叔块。
Computer Science and Game Theory (cs.GT) Cryptography and Security (cs.CR)
ContractFuzzer: fuzzing smart contracts for vulnerability detection
2019-11-12
数以百万计的智能契约被部署在各种分散的应用程序中。这些智能契约中的安全漏洞对其应用程序构成了重大威胁。事实上,Ethereum平台上的智能合约存在很多关键的安全漏洞,给用户造成了巨大的经济损失。 研究者们在这篇论文中提出了一种新的ContractFuzzer,来测试Ethereum智能契约的安全漏洞。他们成功地检测到了DAO合同导致6000万美元损失的漏洞和平价钱包导致3000万美元损失和1.5亿美元Ether冻结的漏洞。
Blockchain Smart Contract Ethereum Fuzzer Test oracle Fuzzing Vulnerability
Casper the Friendly Finality Gadget
2019-11-09
The paper introduces Casper, a practical mechanism to help ethereum transfers from PoW to PoS. Security and availability are guaranteed. From ethereum 1.0 to ethereum 2.0.
Scaling Ethereum Casper PoS
SimBlock: A Blockchain Network Simulator
2019-11-09
None
Blockchain,Simulator
Foundations and Tools for the Static Analysis of Ethereum Smart Contracts
2019-11-09
This paper focuses on the smart contract of Ethereum, which indirectly controls ETH. Ethereum smart contracts are written in a Turing complete language, so it's complex at the semantic level. This paper discussed in detail the foundations of EtherTrust, it’s the first sound static analyzer for EVM bytecode. In my opinion, this paper plays an important role in learning the security of smart contracts.
Contract Smart
Making Smart Contracts Smarter
2019-11-07
This paper focuses on the smart contract of Ethereum, which indirectly controls ETH. Therefore, the security of smart contract is a problem worthy of attention. This paper first analyzed several problems that may threaten the security of ETH, and find that all the problems come from the understanding of the distributed semantics of the underlying platform. Then a symbolic execution tool called Oyente is proposed to find and improve these problems. In my opinion, this paper plays an important role in learning the security of smart contracts.
Contract Smart


粤ICP备19090682号-1