平井洋一

网站 https://yoichihirai.com

简介编辑

以太坊形式化验证工程师，负责虚拟机项目。