One of the goal's for the EVC is for it to become one of the most audited smart contracts on Ethereum.
We partnered with
@alcueca and
@StErMi +
@cmichelio from
@SpearbitDAO for security reviews and advice on formal verification with
@certora pre-audit.
Formal audits began with
@yAuditDAO @certora @hntrsec. No critical or high issues found so far. Certora also helped build formal verification tests.
Another audit is presently underway with
@trailofbits.
The EVC will be audited many more times alongside Euler v2 when the latter goes into audit.
There is an open bug-bounty today upto $100k in conjunction with
@encodeclub.
Then there will be code competitions in the future. Stay tuned for those.
And there will be a bug bounty with
@immunefi on launch.
Please check out the EVC GitHub and review its documentation if you think you've got what it takes to break the code.
If you find anything out of place or have recommendations for how we can do more, we'd love to hear from you.
You will be rewarded for your efforts.