Denis Erfurt

Social activity:

Description :

Proof link:

Project name	MarketCap Rank	MarketCap	Position	Project tags
MakerMKR	#46	2 783 965 087 USD	Formal Verification Researcher	Cryptocurrency (1118) Smart Contracts (501) Ethereum (ETH) Token (ERC-20) (10373) DeFi (258) Avalanche (AVAX) Token (521) Polygon (MATIC) Token (1178)
DaiDAI	#26	5 011 300 666 USD	Formal Verification Researcher	Stablecoin (84) Ethereum (ETH) Token (ERC-20) (10373) DeFi (258) Polygon (MATIC) Token (1178) Optimism Ecosystem (88) Harmony (ONE) Token (23) Fantom (FTM) Token (342) Binance Coin (BNB) Token (BEP-20) (12273)