01 / Smart contracts
Smart Contract Audits
Line-by-line review that identifies vulnerabilities and proactively protects against exploits before mainnet.
Securing Web3 & Blockchain
Every line in.
Every threat out. Smart contract security audits by Codezen.
Smart-contract audits and blockchain consulting for decentralized systems, from Solidity to Rust to CosmWasm. We surface what attackers would.
function withdraw(uint256 amt) external {function withdraw(uint256 amt) external {function withdraw(uint256 amt) external {function withdraw(uint256 amt) external {
(bool ok,) = msg.sender.call{value: amt}("");(bool ok,) = msg.sender.call{value: amt}("");(bool ok,) = msg.sender.call{value: amt}("");(bool ok,) = msg.sender.call{value: amt}("");
price = oracle.latestAnswer();price = oracle.latestAnswer();price = oracle.latestAnswer();price = oracle.latestAnswer();
balances[msg.sender] -= amt;balances[msg.sender] -= amt;balances[msg.sender] -= amt;balances[msg.sender] -= amt;
function setOwner(address o) public {function setOwner(address o) public {function setOwner(address o) public {function setOwner(address o) public {
HIGH Fixed
Reentrancy MED Mitigated
Oracle manipulation LOW Fixed
Missing events PASS Verified
Access control Your code Codezen
audit Resolved findings
function withdraw(uint256 amt) external {function withdraw(uint256 amt) external {function withdraw(uint256 amt) external {function withdraw(uint256 amt) external {
(bool ok,) = msg.sender.call{value: amt}("");(bool ok,) = msg.sender.call{value: amt}("");(bool ok,) = msg.sender.call{value: amt}("");(bool ok,) = msg.sender.call{value: amt}("");
price = oracle.latestAnswer();price = oracle.latestAnswer();price = oracle.latestAnswer();price = oracle.latestAnswer();
audit Resolved findings
HIGH Reentrancy Fixed
MED Oracle manipulation Mitigated
LOW Missing events Fixed
PASS Access control Verified
Audited on
- Completed audits
- 191+
- Vulnerabilities found
- 2541+
- Assets protected
- $7.1B+
- Ecosystems covered
- 8
What We Do
Comprehensive security for decentralized systems
02 / Architecture
Blockchain Consulting
Expert guidance on building and securing blockchain infrastructure, from design to deployment and hardening.
03 / Continuity
Disaster Recovery
Robust recovery plans that protect users, minimize downtime, and restore operations fast.
How We Work
A proven approach to securing blockchain projects
-
01 / DISCOVERY
Discovery
We analyze your project's requirements and unique challenges, laying the foundation for a customized security strategy.
-
02 / AUDIT
Audit
We perform an exhaustive security audit, pinpointing vulnerabilities across contracts, architecture, and critical components.
-
03 / REPORTING
Reporting
We deliver an in-depth report with actionable solutions to mitigate risks and fortify your project.
-
04 / SUPPORT
Support
We provide continuous support through implementation and keep your project protected over time.
Sample Report
The depth behind every engagement
Rust / Solana · Security Audit
Smart Contract Security Review
Engagement
Findings by severity · 19 total
- Critical 2 critical findings
- Major 4 major findings
- Minor 7 minor findings
- Info 6 informational findings
- Critical Missing signer check in
#[account]constraint allows privilege escalation Resolved - Major Integer overflow in token vault via unchecked
u64multiplication Resolved
Our Work
View all 191 audits Proven success in blockchain security
-
Blockchain security audit · with Taran Space
Midnight
↳ Read the audit
-
Blockchain node audit · with Oak Security
Stellar Core Protocol 23 Changes
↳ Read the audit
-
Cosmos SDK chain audit · with Oak Security
Babylon
↳ Read the audit
-
Consensus protocol audit · with Zenith Security
Plasma
↳ Read the audit
-
Cosmos SDK chain audit · with Trust Security
DATA Network (Story Protocol) L1
↳ Read the audit
-
Cosmos SDK framework audit · with Oak Security
Cosmos SDK
↳ Read the audit
Elite Security Team
The expert behind every engagement
CEO & Lead Security Researcher
Christian Vari
Christian Vari is a blockchain security researcher and smart contract auditor specializing in DeFi, Layer 1 protocols, and decentralized systems. With 100+ audits across Substrate, Cosmos SDK, CosmWasm, Solana, and EVM chains, he helps Web3 teams launch secure, scalable, and resilient products.
christianvari.dev →Audits by technology
- Rust 83
- Golang 70
- Cosmos SDK 64
- CosmWasm 54
- Solidity 37
- Substrate 13
Giving back
Premio Codezen
Every year Codezen funds a €3,000 university scholarship for final-year students in Colleferro, Italy, awarded through an open test in logic, mathematics and cryptography.
- 2026 Federico Roia, Liceo G. Marconi
- 2025 Giorgia Cardinali, ITIS S. Cannizzaro
Start an engagement
Ready to secure your protocol?
Tell us about your project and our team will scope an audit tailored to your stack and timeline.