Services
Bug BountyPay-for-results bounty programs for Web2 and Web3 teams
Penetration TestingVetted researchers test your app. Kick-off within 24 hours
Vulnerability TriageValidated, prioritized reports without the AI-generated noise
Vulnerability Disclosure (VDP)A safe, public channel for researchers to report flaws
CTF ChallengesCTF competitions for Web3 and digital product companies
Security Audits
Audit TypesCompare Curated, Crowdsourced, and DualDefense audits
Private AuditHand-picked, vetted researchers review your code privately
DualDefense AuditA crowdsourced layer on top of your third-party audit
Crowdsourced AuditVerified researchers test only your defined scope
Layer 1 ProtocolSecurity audits for blockchain protocols and consensus layers
Smart Contract AuditCrowdsourced security audits for your smart contract code
Penetration TestingWhite-box, grey-box, or black-box testing from vetted security researchers. Testing starts within 24 hours, with a fixed-price quote after scoping.
Industries
Fintech
Banks
Neobanks
Blockchain
Government
Healthcare
AI
Post-Quantum
Use cases
SUI Security Expansion ProgramSui Foundation program: audits and bounties for Sui projects
Ethereum Security ProgramProgram: Bug bounty for ERC-4337 account abstraction, up to $250K
Case Study: OKXHow one of the world's largest crypto exchanges, trusted by 50M users, built robust security framework through partnership with HackenProof.
Hackers
For AI AgentsDirectory of AI security agents for Web3. List yours
Start HackingSign up, pick a program, and submit your first report
LeaderboardSee the top-ranked security researchers on HackenProof
Blockchain AuditorsExplore blockchain audit teams and their expertise
CommunityJoin 82,000+ researchers to trade tips and bounty news
DocsGuides on programs, scope, rules, and payouts
Join Our Discord CommunityConnect with 82,000+ security researchers, discuss programs, trade tips, and be the first to hear about new bounties.
Company
About usWho we are and the team behind HackenProof
ContactsTalk to our team about your security needs
Referral ProgramRefer companies to HackenProof and earn rewards
As Featured in ForbesHackenProof researchers uncovered unsecured database of 114 million records that impacted up to 60 million Americans — as covered by Forbes.
Resources
Audit PortfolioBrowse completed audits and published reports
BlogVulnerability breakdowns, guides, and bug bounty news
Case StudiesHow OKX, NEAR, and VeChain secured their products
IntegrationsSync validated reports to Jira, Slack, GitHub, and PagerDuty
DocsPlatform documentation for companies and researchers
BrandbookLogos, colors, and guidelines for using our brand
HackenProof BlogVulnerability breakdowns, case studies, guides for security researchers, and news from the bug bounty ecosystem — all in one place.

Triage Servicesnew Bounties Audits Login Contact us

Overlayer Disclosed Report

Audit Report

: Integer Underflow in Cross-Chain Accounting Causing Deterministic Bridge Failure

Target

Target is hidden

This information is not publicly available.

Vulnerability details

A cross-chain accounting flaw in OverlayerWrapCore causes destination-side credit operations to revert because totalBridgedOut is tracked locally per chain but assumed to be global.

PoC Result (Verified): A runnable Hardhat PoC was executed successfully.

Source-side debit succeeds
totalBridgedOut increases on source
Destination totalBridgedOut remains zero
Destination credit reverts (confirmed)

Validation steps

This causes deterministic failure of cross-chain fund delivery. Funds may become stuck depending on bridge recovery logic.

Technical Root Cause: totalBridgedOut += amount (source) totalBridgedOut -= amount (destination)

Destination state is zero → underflow → revert.

Attachments

Attachments are hidden

This information is not publicly available.

Comments are hidden

This information is not publicly available.