List of Smart Contract Audits projects on Starknet (2026)

Softstack Web3 Service Platform provides end-to-end blockchain technology services including development, security auditing, and consulting. Development services cover custom software, mobile applications, decentralized applications, and smart contracts. Security services include smart contract auditing, digital asset risk assessment, penetration testing, and dApp audits. Consulting services encompass project management, regulatory compliance, Web3 transformation, and ISO27001 certification support.

Professional audit service that identifies vulnerabilities in smart contracts and blockchain platforms using formal verification and comprehensive cybersecurity techniques.

Nethermind Security performs smart contract security assessments through static and dynamic code analysis techniques, detecting vulnerabilities in Solidity and Cairo implementations.

Zellic implements security assessment protocols through manual code review and automated analysis, identifying critical vulnerabilities in smart contracts, zero-knowledge circuits, and cross-chain infrastructure. The system combines traditional auditing with competitive security research methodologies.

Consensys Diligence implements smart contract audit methodologies through automated analysis engines and manual security reviews, providing vulnerability detection and formal verification services. The system combines static analysis, symbolic execution, and fuzzing techniques while delivering detailed security reports with mitigation guidance.

ChainSecurity Smart Contract Audit Service is a security assessment service that examines smart contracts to identify vulnerabilities and security risks before deployment. The service includes manual code review, automated analysis, and formal verification.

CODESPECT Smart Contract Audits is a manual security review service for blockchain protocols on various blockchain networks. Auditors perform line-by-line code review of Solidity, Cairo, and Rust contracts supplemented by automated analysis and optional fuzz testing for protocols with complex financial logic. The process covers scoping, pre-assessment, deep audit, fix verification, and delivery of a detailed vulnerability report with severity classifications.

Extropy Security helps you prevent security issues in blockchain projects by auditing smart contracts, identifying risks, and providing guidance to make your decentralized apps safer and more reliable.

Cairo Security Clan provides comprehensive security audits for Cairo and Starknet projects. The service includes code review, vulnerability identification, and detailed reports.

Smart Contract Audits by ABDK is a security evaluation service for smart contracts that identifies vulnerabilities and offers optimization recommendations. The service includes a comprehensive review of the code's security, functionality, and efficiency, delivering detailed reports on potential issues and remediation steps.