跳到正文
/信源目录

外观

快速抵达

↑ ↓ 选择 · Enter 打开 · Esc 关闭MyHOT
资料查阅

来源原文.

1552 条 · 北京时间

Dev Update: Formal Methods

Today, I am delighted to announce that Yoichi Hirai (pirapira on github) is joining the Ethereum project as a formal verification engineer. He holds a PhD from the University of Tokyo on the topic of formalizing communicating parallel proc…

Bitcoin Core 0.13.0 Released!

Overview Preparation for segregated witness Compact block relay Fee filtering BIP32 HD wallet support More intelligent transaction selection for mining Official builds for Linux on ARM Conclusion Hashes for verification We’re pleased to an…

Onward from the Hard Fork

The foundation has committed to support the community consensus on the admittedly difficult hard fork decision. Seeing the results of various metrics, including carbonvote, dapp and ecosystem infrastructure adoption, this means that we wil…

Hive: How we strived for a clean fork

The DAO soft-fork attempt was difficult. Not only did it turn out that we underestimated the side effects on the consensus protocol (i.e. DoS vulnerability), but we also managed to introduce a data race into the rushed implementation that…

Hard Fork Completed

We would like to congratulate the Ethereum community on a successfully completed hard fork. Block 1920000 contained the execution of an irregular state change which transferred ~12 million ETH from the "Dark DAO" and "Whitehat DAO" contrac…

To fork or not to fork

The DAO, though not a product developed by the Ethereum Foundation, has been a hot topic as of late, both internally in the organisation as well as within our community. The Hard Fork is a delicate topic and the way we see it, no decision…

Taylor’s Summer Update

Hey everyone, I spent some time with our Canadian friends in Toronto after presenting "Ethereum: The World Computer" at Blockchain Training Conference last month and I wanted to provide a quick update on some of the exciting happenings in…

C++ DEV Update - July edition

Since the last C++ DEV Update, a lot of things happened in the engine room which were not really visible to the outside. This post wants to give an overview about what we are currently working on. Apart from the features side, Bob has been…

The Devcon2 site is now live!

The Devcon2 web site is officially live now! You can find it at https://ethereumfoundation.org/devcon/ Thanks for everyone's interest, proposals, support and enthusiasm. We have an amazing community and are excited to present the first Eth…

Segregated witness: the next steps

Overview Background How segwit was tested Compact Blocks Deployment plan How segwit will affect you Future upgrades made easier by segwit Schnorr signatures MAST Segregated witness (segwit) is approaching release. This post provides some b…

Thinking About Smart Contract Security

Over the last day with the community's help we have crowdsourced a list of all of the major bugs with smart contracts on Ethereum so far, including both the DAO as well as various smaller 100-10000 ETH thefts and losses in games and token…

CRITICAL UPDATE Re: DAO Vulnerability

An attack has been found and exploited in the DAO, and the attacker is currently in the process of draining the ether contained in the DAO into a child DAO. The attack is a recursive calling vulnerability, <span style="font-weight...