Denis Erfurt

प्रोजेक्ट शामिल हैं

परियोजना का नाम	मार्केटकैप रैंक	बाज़ार आकार	स्थान	परियोजना टैग
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)