Martin Lundfall

Project name	MarketCap Rank	MarketCap	Position	Project tags
MakerMKR	#216	195,633,347 USD	Formal Verification Researcher	Cryptocurrency (1275) Smart Contracts (578) Ethereum (ETH) Token (ERC-20) (13338) DeFi (530) Avalanche (AVAX) Token (614) Polygon (MATIC) Token (1465) Made in USA (107) Real World Assets (RWA) (249)
DaiDAI	#39	3,329,543,011 USD	Formal Verification Researcher	Stablecoin (178) Ethereum (ETH) Token (ERC-20) (13338) DeFi (530) Polygon (MATIC) Token (1465) Optimism Ecosystem (148) Harmony (ONE) Token (24) Fantom (FTM) Token (340) Binance Coin (BNB) Token (BEP-20) (13771) Base Ecosystem (1772) Zksync Ecosystem (35)