Skip to main content

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