Early rate$2,400 of senior audit time for $500. Early members keep the rate as it climbs.$2,400 of senior audit time for $500See how
Security research

Security Research.

Public write-ups on the bugs, patterns, and protocols we audit. Engineer-to-engineer, no fluff.

Filter
Showing 12 of 161

All research.

The $43 Billion Identity Theft Problem: How Blockchain Could Protect Your Wealth
Industry and ComplianceJul 29, 2024·4 min

The $43 Billion Identity Theft Problem: How Blockchain Could Protect Your Wealth

Identity theft cost Americans $43 billion in 2023. Learn how blockchain-based digital identity could fortify your finances, unlock new opportunities, and open global economic doors — with real-world results from Estonia's digital pioneer program.

Read
How to Prevent Front-Running in ERC20 Smart Contracts
Web3 Attack VectorsMay 21, 2024·11 min

How to Prevent Front-Running in ERC20 Smart Contracts

Learn how to prevent front-running in ERC20 smart contracts using safer allowance methods and secure coding practices. Protect your tokens from exploits.

Read
Bug Bounty Win: How We Placed Top 5 in the Cyfrin CodeHawks Contest
Zealynx NewsApr 30, 2024·13 min

Bug Bounty Win: How We Placed Top 5 in the Cyfrin CodeHawks Contest

Discover how our team secured a top 5 position in the Cyfrin CodeHawks contest, finding critical vulnerabilities and earning a substantial reward in just two days

Read
Why Fuzz Testing Catches Bugs That Unit Tests Miss: Foundry Invariant Testing for DeFi
Smart Contract SecurityApr 17, 2024·11 min

Why Fuzz Testing Catches Bugs That Unit Tests Miss: Foundry Invariant Testing for DeFi

How fuzz testing catches smart contract bugs that unit tests miss: Foundry invariant testing, property-based fuzzing, and real DeFi exploit examples — Zealynx Security.

Read
Fuzzing + Formal Verification: Two Layers That Catch What Manual Audits Miss
Smart Contract SecurityFeb 21, 2024·16 min

Fuzzing + Formal Verification: Two Layers That Catch What Manual Audits Miss

Discover how fuzz testing and formal verification enhance blockchain security. Deep dive into advanced techniques for detecting critical smart contract vulnerabilities.

Read
Cut Your Audit Cost by 30%: The Pre-Audit Prep Checklist for Protocol Teams
Audit OperationsFeb 20, 2024·11 min

Cut Your Audit Cost by 30%: The Pre-Audit Prep Checklist for Protocol Teams

Learn how to prepare for a smart contract audit efficiently. Essential checklist for documentation, tests, and code quality to maximize audit productivity.

Read
Uniswap V2 Router Explained — addLiquidity Line by Line
DeFi Protocol AnalysisOct 16, 2023·10 min

Uniswap V2 Router Explained — addLiquidity Line by Line

Deep dive into Uniswap V2 Router's addLiquidity function line by line. Understand how liquidity is calculated, LP tokens are minted, and what risks liquidity providers face — from impermanent loss to smart contract vulnerabilities.

Read
Overflow & Underflow in Solidity: Real Audit Findings, Code Examples & Practice Exercise
Web3 Attack VectorsJun 13, 2023·19 min

Overflow & Underflow in Solidity: Real Audit Findings, Code Examples & Practice Exercise

Learn about overflow and underflow vulnerabilities in Solidity with real high and medium severity audit findings, code examples, and an exercise to practice.

Read
Liquity Protocol — Stability Pool, Liquidations & Redemptions (Part 2)
DeFi Protocol AnalysisMay 29, 2023·7 min

Liquity Protocol — Stability Pool, Liquidations & Redemptions (Part 2)

Deep dive into Liquity's Stability Pool, liquidation mechanics, and redemption logic — explained from the smart contracts. How LUSD absorbs debt, ETH gets redistributed, and Troves get redeemed.

Read
Auditing a Live Protocol: Lessons from the Juicebox Buyback Delegate Security Review
DeFi Protocol AnalysisMay 19, 2023·7 min

Auditing a Live Protocol: Lessons from the Juicebox Buyback Delegate Security Review

Learn how to prepare a security audit summary for an already deployed protocol. A practical walkthrough using the Juicebox Buyback Delegate audit.

Read
Liquity Protocol — DeFi Protocol Explained from Its Smart Contracts (Part 1)
DeFi Protocol AnalysisApr 28, 2023·12 min

Liquity Protocol — DeFi Protocol Explained from Its Smart Contracts (Part 1)

Deep dive into Liquity protocol's smart contracts: LUSD/LQTY tokens, Troves, borrowing mechanics, price feeds, and liquidation logic explained from the source code.

Read
Real-Life Denial of Service Attacks on Smart Contracts
Web3 Attack VectorsApr 26, 2023·10 min

Real-Life Denial of Service Attacks on Smart Contracts

Explore real-life examples of Denial of Service (DoS) attacks on smart contracts found in audit contests. Learn about DoS caused by underflow, gas limits, nonReentrant modifiers, external calls, and malicious receivers.

Read