Martin Lundfall

Social activity:

Description :

Proof link:

Project name	MarketCap Rank	MarketCap	Position	Project tags
MakerMKR	#76	1,301,195,158 USD	Formal Verification Researcher	Cryptocurrency (1162) Smart Contracts (507) Ethereum (ETH) Token (ERC-20) (11457) DeFi (325) Avalanche (AVAX) Token (546) Polygon (MATIC) Token (1312)
DaiDAI	#30	5,299,234,718 USD	Formal Verification Researcher	Stablecoin (95) Ethereum (ETH) Token (ERC-20) (11457) DeFi (325) Polygon (MATIC) Token (1312) Optimism Ecosystem (113) Harmony (ONE) Token (23) Fantom (FTM) Token (357) Binance Coin (BNB) Token (BEP-20) (12802) Base Ecosystem (532)