Exclusive Q2 2025 Funding Report now available for premium users. Read more

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

Senior Director of Engineering at Coinbase.

Creator of Dogecoin, gifbase and NOISESUPPLY.

Chief Executive Officer of Pantera.

Co-founder of Lightning Labs.

Expanding Ecosystems

With over 70+ ecosystems actively growing, they are equally deserving of your attention.