Martin Lundfall

Social activity:

Description :

Proof link:

Project name	MarketCap Rank	MarketCap	Position	Project tags
MakerMKR	#78	1,607,999,521 USD	Formal Verification Researcher	Cryptocurrency (1175) Smart Contracts (508) Ethereum (ETH) Token (ERC-20) (11580) DeFi (329) Avalanche (AVAX) Token (551) Polygon (MATIC) Token (1327)
DaiDAI	#35	5,182,421,066 USD	Formal Verification Researcher	Stablecoin (98) Ethereum (ETH) Token (ERC-20) (11580) DeFi (329) Polygon (MATIC) Token (1327) Optimism Ecosystem (114) Harmony (ONE) Token (23) Fantom (FTM) Token (361) Binance Coin (BNB) Token (BEP-20) (12873) Base Ecosystem (616)