Dev Update: Formal Methods

By Ethereum Foundation Blog

over 9 years ago

Article Summary

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 processes and created formal verification tools for Ethereum in his spare time....

Read the Full Article

This is a summary from our news feed. For the complete article with full details, analysis, and additional content, visit the original source.

Read Full Article on Ethereum Foundation Blog

About This Story

Published:September 1, 2016 at 07:55 PM

Source:Ethereum Foundation Blog

Category:Crypto

Reading Time:~2 min on source

BTC price due for $108K ‘ping pong’: 5 things to know in Bitcoin this week

Bitcoin rebounded to $112,000 into the weekly close, but traders immediately positioned for a BTC price correction to the bottom of its local range.

Cointelegraph•6 months ago

Hong Kong’s $500M HashKey Fund: How DATs could redefine BTC and ETH treasuries

Hong Kong’s $500-million HashKey Fund shows how DATs could reshape Bitcoin and Ether treasuries with compliance, diversification and transparency.

Cointelegraph•6 months ago

Swift partners with Consensys to build blockchain settlement system

Swift is teaming up with Consensys and over 30 unspecified institutions to build a blockchain-based settlement system for 24/7 real-time cross-border payments.

Cointelegraph•6 months ago

The hidden force behind Bitcoin and Ether price swings: Options expiry

Learn how option expiries in Bitcoin and Ether derivatives markets can cause price swings that catch inexperienced traders off guard.

CoinDesk•6 months ago

Maple Finance to Tie Into Elwood to Bring Institutional Credit Strategies On-Chain

Crypto credit firm Maple Finance and Elwood Technologies are joining forces to make it easier for large financial institutions to enter digital asset credit markets. The companies announced Monday tha...

Dev Update: Formal Methods

Article Summary

Read the Full Article

About This Story

Related Articles

BTC price due for $108K ‘ping pong’: 5 things to know in Bitcoin this week

Hong Kong’s $500M HashKey Fund: How DATs could redefine BTC and ETH treasuries

Swift partners with Consensys to build blockchain settlement system

The hidden force behind Bitcoin and Ether price swings: Options expiry

Maple Finance to Tie Into Elwood to Bring Institutional Credit Strategies On-Chain