Code4rena (@code4rena) 's Twitter Profile
Code4rena

@code4rena

Web3 security, on demand. $20M+ in rewards paid. 1200+ High Severity vulns found. Start an audit in 48 hrs

ID: 1358831196747235328

linkhttp://code4rena.com calendar_today08-02-2021 17:33:08

4,4K Tweet

35,35K Takipçi

550 Takip Edilen

Code4rena (@code4rena) 's Twitter Profile Photo
Code4rena
@code4rena

4 months ago

The results of the $20,000 Formal Verification component of the Blend V2 competitive audit are in! Big shoutout to everyone who participated, and a huge congrats to alexzoid for securing first place in the first-ever formal verification contest in the Stellar ecosystem!

The results of the $20,000 Formal Verification component of the Blend V2 competitive audit are in! Big shoutout to everyone who participated, and a huge congrats to <a href="/alexzoid_eth/">alexzoid</a> for securing first place in the first-ever formal verification contest in the Stellar ecosystem!