Arcadia

Basics

• Auditor firm

Projects

• Audited the later hacked code (20-7-2021) of Cover.
• Is part of (7-2-2021) the Claims Validity Committee (CVC) which looks into claims which passed the token holders votes on Cover Protocol.
• Was the auditor of the smart contracts of Cover which got exploited (7-2-2021):

"Overall, there were some red flags raised by the audits, prior to the exploit, which were fixed. But the exploited vulnerability unfortunately went undetected in Arcadia’s audit.

The exploited vulnerability was not a common Solidity coding pitfall that could have been detected by automated tools checking for security best practices. It was a programmer error related to caching inconsistency involving EVM’s memory and storage, and was also particular to the contract’s logic. More careful manual analysis could probably have caught it."