Iniciar sesión

Yoichi Hirai

Verificación formal de contratos Ethereum.

Yoichi Hirai

Resumen

Verificación formal de contratos Ethereum.

Experiencia laboral

Una plataforma descentralizada que habilita SmartContracts y .Apps.

CypherHunter Plus

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

También vieron

Creador de Dogecoin, gifbase y NOISESUPPLY.

Creador de Litecoin.

Roham Gharegozlou

Fundador de Axiom Zen, CryptoKitties, Dapper Labs.

Cofundador y CEO de Blockstream.

Descubre ecosistemas