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
- 122+
- Vulnerabilities found
- 1693+
- Assets protected
- $2.9B+
- 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 122 audits Proven success in blockchain security
-
Blockchain node audit · with Oak Security
Stellar Core
↳ Read the audit
-
Cosmos SDK Audit · with Trust Security
Story Protocol L1
↳ Read the audit
-
Cosmos SDK Audit · with Torii Security
Tellor
↳ Read the audit
-
Polkadot SDK Pallet Audit · with Oak Security
Mythical Games
↳ Read the audit
-
Consensus Algorithm Audit · with Oak Security
Dymension Dymint
↳ Read the audit
-
Polkadot SDK Pallet Audit · with Oak Security
Bifrost Finance
↳ 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 66
- Golang 48
- CosmWasm 47
- Cosmos SDK 43
- Solidity 16
- Substrate 9
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.