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 1: link Audit report 2: link
ChainSecurity
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
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
Omniscia
Type: Security Audit
Omniscia.io is one of the fastest growing and most trusted blockchain security firms and has rapidly become a true market leader. To date, ur team has collectively secured over 370+ clients, detecting 1,500+ highseverity issues in widely adopted smart contracts.
Audit report: link
OpenZeppelin
Type: Security Audit
OpenZeppelin is a premier blockchain security firm known for its rigorous smart contract audits. They are trusted by top DeFi projects like Compound and Aave, consistently uncovering critical vulnerabilities across various protocols, including Layer 1/Layer 2 solutions and ZK-rollups.
Audit report: link
Spearbit
Type: Security Audit
Spearbit is a decentralized network of expert security engineers offering reviews and other security related services to Web3 projects with the goal of creating a stronger ecosystem. Our network has experience on every part of the blockchain technology stack, including but not limited to protocol design, smart contracts and the Solidity compiler. Spearbit brings in untapped security talent by enabling expert freelance auditors seeking flexibility to work on interesting projects together.
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
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