Martin Lundfall

Social activity:

Description :

Proof link:

Project name	MarketCap Rank	MarketCap	Position	Project tags
MakerMKR	#48	2 641 087 849 USD	Formal Verification Researcher	Cryptocurrency (1122) Smart Contracts (506) Ethereum (ETH) Token (ERC-20) (10409) DeFi (312) Avalanche (AVAX) Token (523) Polygon (MATIC) Token (1187)
DaiDAI	#26	5 011 300 666 USD	Formal Verification Researcher	Stablecoin (85) Ethereum (ETH) Token (ERC-20) (10409) DeFi (312) Polygon (MATIC) Token (1187) Optimism Ecosystem (88) Harmony (ONE) Token (23) Fantom (FTM) Token (343) Binance Coin (BNB) Token (BEP-20) (12296)