Yoichi Hirai

Formal Verification of Ethereum Contracts.

Yoichi Hirai

Overview

Yoichi Hirai is Formal Verification of Ethereum Contracts.

Work Experience

A decentralized platform that enables SmartContracts and ĐApps.

CypherHunter Plus

Subscribe to distraction-free reading, and unprecedented access to our data.

People also viewed

Founder & CEO, AngelList.

Sam Bankman-Fried

CEO and Founder at FTX.

Michael Arrington

Founder of TechCrunch, CrunchBase, CrunchFund and Arrington XRP Capital.

Bitcoin core developer, kinda sorta libertarian.

Discover Ecosystems