Denis Erfurt

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

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