Yoichi Hirai

以太坊形式化驗證工程師，負責虛擬機器專案。