Security Partners
Security Audits
yAudit
Type: Security Audit
yAudit, the professional smart contract arm of yAcademy, is renowned for its meticulous and thorough smart contract security audits. The company sets a higher standard in auditing services, providing valuable design feedback and identifying vulnerabilities.
Audit report: link
Certora
Type: Security Audit and Formal Verification
Certora specializes in security analysis and formal verification. They are known for combining advanced tools, such as the Certora Prover, with manual code review to deliver comprehensive and reliable security assessments. Certora has proven several critical properties in the EVC.
Audit report: link
Trail of Bits
Type: Security Audit
Trail of Bits is a prominent full-service security firm with specialized expertise in blockchain, cryptography, and application security. They are recognized for their comprehensive approach that extends beyond bug detection to include strategic guidance.
Audit report: link
Hunter Security
Type: Security Audit
Comprising George Hunter and deadrosexyz, Hunter Security is a notable duo in smart contract security research. With a track record of over 50 security reviews and numerous reported live vulnerabilities, they are a trusted name in DeFi protocol security.
Audit report: link
Code Review
Spearbit
Type: Code Review
Spearbit, known for its affiliation with Cantina, provides specialized security services. Their expertise in smart contract auditing and manual code review is highly sought after in the industry for its rigor and effectiveness. The findings of Cmichel and Stermi have been valuable not only from a security perspective but also in contributing to code, architectural design, and gas optimization.
Alberto Cuesta Cañada
Type: Code Review
Alberto Cuesta Cañada, Co-Founder of Yield Protocol, is a seasoned Web3 and DeFi software developer. His extensive experience in developing high-risk applications and his leadership in blockchain technology make him a valuable contributor to code review processes.
Formal Verification
Certora
Type: Formal Verification
Certora stands out in formal verification, employing the Certora Prover and detailed code reviews to assure critical system integrity. Their methodical approach has validated essential properties within the EVC, highlighting their dedication to robust security analysis.
Certora proofs: link