On January 13, 2025, the Mosca contract on Binance Smart Chain (BSC) was exploited for the second time due to incorrect logic in join and withdraw flows.

<p>On January 13, 2025, the Mosca contract on Binance Smart Chain (BSC) was exploited for the second time due to incorrect logic in <strong>join</strong> and <strong>withdraw</strong> flows. The exploit resulted in a total loss of approximately $37.6k.</p><h2>Key informations</h2><p>Attacker:</p><p><a href="https://bscscan.com/address/0xe763da20e25103da8e6afa84b6297f87de557419" rel="nofollow">https://bscscan.com/address/0xe763da20e25103da8e6afa84b6297f87de557419</a></p><p>Vulnerable Contract:</p><p><a href="https://bscscan.com/address/0xd8791f0c10b831b605c5d48959eb763b266940b9" rel="nofollow">https://bscscan.com/address/0xd8791f0c10b831b605c5d48959eb763b266940b9</a></p><p>Transaction attack:</p><p><a href="https://bscscan.com/tx/0xf13d281d4aa95f1aca457bd17f2531581b0ce918c90905d65934c9e67f6ae0ec" rel="nofollow">https://bscscan.com/tx/0xf13d281d4aa95f1aca457bd17f2531581b0ce918c90905d65934c9e67f6ae0ec</a></p><h2>Exploit Analysis</h2><p>The attacker exploited a design flaw by issuing seven successive <strong>join</strong> calls before executing the <strong>withdrawFiat</strong> function in a single transaction. This sequence allowed the attacker to manipulate the accumulation of their balance and withdraw funds exceeding their deposit.</p><div><figure><a href="https://substackcdn.com/image/fetch/f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3d4df8b0-9706-44d0-9aa2-13e90a10d2a5_2356x1130.png" rel="nofollow"><div><picture><source><img src="https://static.fwimg.io/img/feed/570d06e88cf1796e44c2b1005ce0827e.jpg" alt=""></source></picture><div><div><div></div><div></div></div></div></div></a></figure></div><h3>Analysis of the join Function</h3><div><figure><a href="https://substackcdn.com/image/fetch/f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F8ff250a4-f5d5-49c7-86a9-798d8489f2ac_1548x1208.png" rel="nofollow"><div><picture><source><img src="https://static.fwimg.io/img/feed/307d50eef3f4a7c13a4a5e34c8e2a1ed.jpg" alt=""></source></picture><div><div><div></div><div></div></div></div></div></a></figure></div><p>The <strong>join</strong> function was intended to manage staking inputs. However, its logic allowed the user’s balance to continuously accumulate based on the previous balance. By calling <strong>join</strong> seven times in succession, the attacker artificially inflated their balance. This unconventional approach to staking yield calculations created an unintended state that could be exploited.</p><h3>Analysis of the withdrawFiat Function</h3><div><figure><a href="https://substackcdn.com/image/fetch/f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0c00edc1-c4e1-4cd7-afcc-34a158bf7881_1464x1082.png" rel="nofollow"><div><picture><source><img src="https://static.fwimg.io/img/feed/ec0b9e522a17e5e6dd28dee37071a8a7.jpg" alt=""></source></picture><div><div><div></div><div></div></div></div></div></a></figure></div><p>In the <strong>withdrawFiat</strong> function, the contract subtracts the withdrawal amount directly based on the user's input and subsequently transfers that amount back to the user. This formula doesn't align with the accumulation logic of the <strong>join</strong> function, which enabled the attacker to withdraw more funds than were originally deposited.</p><h3>Root Cause</h3><p>The core issue lies in the mismatch between the accumulation mechanism in the <strong>join</strong> function and the withdrawal formula in the <strong>withdrawFiat</strong> function. Although <strong>withdrawFiat</strong> executes correctly per its own logic, it fails to account for the compounded balance generated by the repeated <strong>join</strong> calls. This discrepancy, coupled with inadequate validation checks, enabled the attacker to withdraw funds significantly exceeding their deposit.</p><h2>Lesson learned</h2><p>The Mosca contract exploit exposes a core, yet avoidable, flaw in the project’s smart contract design—a vulnerability that thorough testing and security audits could have caught and resolved during development. This case underscores the vital need for robust test cases, formal verification, and third-party code reviews to uncover potential attack vectors pre-deployment. It reinforces that smart contract security extends beyond development, demanding ongoing risk assessment and monitoring to protect blockchain ecosystems from exploitation.</p><div><div><div><p>Thanks for reading Verichains! Subscribe for free to receive new posts and support my work.</p></div><div><div></div><div></div></div></div></div>

Unveiling the Flawed Logic in the Mosca Project

2025년 1월 13일, <Binance Smart Chain(BSC)>의 Mosca 계약이 참여 및 인출 흐름의 잘못된 로직으로 인해 두 번째로 악용되었습니다.

<p>2025년 1월 13일, 바이낸스 스마트 체인(BSC)의 모스카 계약이 <strong>join</strong> 및 <strong>withdraw</strong> 흐름의 잘못된 로직으로 인해 두 번째로 악용되었습니다. 이 악용으로 인해 약 37,600달러의 총 손실이 발생했습니다.</p><h2>주요 정보</h2><p>공격자:</p><p><a href="https://bscscan.com/address/0xe763da20e25103da8e6afa84b6297f87de557419" rel="nofollow">https://bscscan.com/address/0xe763da20e25103da8e6afa84b6297f87de557419</a></p><p>취약한 계약:</p><p><a href="https://bscscan.com/address/0xd8791f0c10b831b605c5d48959eb763b266940b9" rel="nofollow">https://bscscan.com/address/0xd8791f0c10b831b605c5d48959eb763b266940b9</a></p><p>트랜잭션 공격:</p><p><a href="https://bscscan.com/tx/0xf13d281d4aa95f1aca457bd17f2531581b0ce918c90905d65934c9e67f6ae0ec" rel="nofollow">https://bscscan.com/tx/0xf13d281d4aa95f1aca457bd17f2531581b0ce918c90905d65934c9e67f6ae0ec</a></p><h2>악용 분석</h2><p>공격자는 단일 트랜잭션에서 7번의 연속적인 <strong>join</strong> 호출을 발행한 후 <strong>withdrawFiat</strong> 함수를 실행하여 설계 결함을 악용했습니다. 이 순서를 통해 공격자는 자신의 잔액 누적을 조작하고 예금을 초과하는 자금을 인출할 수 있었습니다.</p><h3><strong>join</strong> 함수 분석</h3><p><strong>join</strong> 함수는 스테이킹 입력을 관리하도록 설계되었습니다. 그러나 그 논리는 사용자의 잔액이 이전 잔액을 기반으로 계속 누적되도록 허용했습니다. 공격자가 연속으로 7번 <strong>join</strong>을 호출함으로써 자신의 잔액을 인위적으로 부풀릴 수 있었습니다. 이러한 스테이킹 수익 계산에 대한 비정상적인 접근 방식은 악용될 수 있는 의도하지 않은 상태를 만들어냈습니다.</p><h3><strong>withdrawFiat</strong> 함수 분석</h3><p><strong>withdrawFiat</strong> 함수에서 계약은 사용자의 입력을 기반으로 직접 인출 금액을 차감하고 해당 금액을 사용자에게 다시 전송합니다. 이 공식은 <strong>join</strong> 함수의 누적 논리와 일치하지 않아, 공격자가 원래 예금한 금액보다 더 많은 자금을 인출할 수 있게 했습니다.</p><h3>근본 원인</h3><p>핵심 문제는 <strong>join</strong> 함수의 누적 메커니즘과 <strong>withdrawFiat</strong> 함수의 인출 공식 간의 불일치입니다. <strong>withdrawFiat</strong>은 자체 논리에 따라 올바르게 실행되지만, 반복된 <strong>join</strong> 호출로 생성된 복합 잔액을 고려하지 않습니다. 이 불일치와 부적절한 검증 검사로 인해 공격자가 예금을 크게 초과하는 자금을 인출할 수 있었습니다.</p><h2>교훈</h2><p>모스카 계약 악용은 프로젝트의 스마트 계약 설계에 있는 핵심적이지만 피할 수 있는 결함, 즉 개발 중 철저한 테스트와 보안 감사로 발견하고 해결할 수 있었던 취약점을 드러냅니다. 이 사례는 강력한 테스트 케이스, 형식 검증 및 타사 코드 검토가 배포 전 잠재적인 공격 벡터를 발견하는 데 필수적임을 강조합니다. 또한 스마트 계약 보안이 개발 이상의 것이며 지속적인 위험 평가와 모니터링을 요구하여 블록체인 생태계를 악용으로부터 보호해야 함을 강조합니다.</p>

모스카 프로젝트의 잘못된 논리를 폭로하다

올해는 개인정보보호에 초점을 맞춘 알트코인들에게 있어 상당한 성공을 거둔 한 해였으며, 과거 불 의 옵티미즘(Optimism) 되풀이했습니다. 특히 주목할 만한 점은 지캐시(Zcash) 재단이 대대적인 업데이트를 도입했다는 것입니다.

Zcash, Zebra 3.1 및 지캐시(ZEC) 코인에 대한 향후 스테이킹을 통해 과감한 도약을 시작합니다

비트코인(BTC)이 8만 4,000달러(약 1억 2,437만 원) 지지선에서 반등을 시도하고 있지만, 주요 저항선에서 매도세가 거세며 회복 흐름이 주춤하고 있다. 주요 알트코인 대부분도 하락 후 반등을 꾀하고 있으나, 뚜렷한 회복 모멘텀은 제한적이다. 이 와중에 비트코인캐시(BCH)는 상대적으로 뚜렷한 강세를 보이며 단기적으로 주목받고 있다.
BOJ 금리 ...

비트코인($BTC) 8.4만 달러 지지선 사수...비트코인캐시(BCH)만 ‘선방’

미국 증권거래위원회(SEC)는 전직 고위 임원들을 상대로 제기한 소송과 관련하여 뉴욕 남부 지방 연방 법원에 최종 합의안을 제출했다고 발표했습니다.

모스카 프로젝트의 잘못된 논리를 폭로하다

주요 정보

악용 분석

join 함수 분석

withdrawFiat 함수 분석

근본 원인

교훈