TonBit security researchers discover critical non-atomic state transition vulnerability in TON Virtual Machine's RUNVM instruction that corrupts library integrity when sub-VMs exhaust gas, potentially...

<ul><li>The RUNVM instruction vulnerability causes library corruption when a child VM exhausts gas, leaving the parent VM’s libraries in a cleared state despite continued execution.</li><li>TonBit demonstrated the vulnerability through a proof-of-concept test showing how XLOAD operations fail after RUNVM execution due to emptied libraries.</li><li>As TON’s Primary Security Assurance Provider, TonBit follows responsible disclosure practices and has submitted mitigation plans to the TON Foundation for patching.</li></ul>TonBit security researchers discover critical non-atomic state transition vulnerability in TON Virtual Machine’s RUNVM instruction that corrupts library integrity when sub-VMs exhaust gas, potentially causing contract failures in dependent systems.<hr>**Editorial content in partnership with TonBit. Views expressed do not reflect those of CoinRank. Not financial advice.TonBit, under BitsLab, has once again unearthed a “time bomb” deep within the TON Virtual Machine (TVM) code—the non‑atomic state transition vulnerability in the RUNVM instruction. An attacker can exploit the moment when a sub‑VM exhausts its gas to corrupt the parent VM’s libraries and induce subsequent call failures, ultimately causing contracts that depend on library integrity to behave abnormally. Below, we retain the original technical details to present the full discovery and verification process for developers, helping the community gain an in‑depth understanding of the issue and bolster awareness of similar risks.<a href="https://www.coinrank.io/wp-content/uploads/2025/05/BitsLabs-TonBit-Once-Again-Discovers-a-Vulnerability-in-the-TON-Virtual-Machine-RUNVM-Instruction-May-Contaminate-the-Smart-Contract-Execution-Environment.jpg" rel="nofollow"><img src="https://static.fwimg.io/img/feed/e3f9e2294b0a193ab8ef20e0eb21b79d.jpg" alt="BitsLab’s TonBit, Once Again Discovers a Vulnerability in the TON Virtual Machine- RUNVM Instruction May Contaminate the Smart Contract Execution Environment"></a><h3>Below is the detailed description of the vulnerability:</h3>The RUNVM instruction in TVM can pollute the caller’s state and render libraries unusable.New vulnerability in the code of the ‘RUNVM’ instruction. It allows the caller’s state to be polluted. The relevant code snippet is as follows:<a href="https://www.coinrank.io/wp-content/uploads/2025/05/New-vulnerability-in-the-code-of-the-%E2%80%98RUNVM-instruction.-It-allows-the-callers-state-to-be-polluted.-The-relevant-code-snippet-is-as-follows-1.png" rel="nofollow"><img src="https://static.fwimg.io/img/feed/9d92c959741b68df3a8d17d167be3130.jpg" alt="New vulnerability in the code of the ‘RUNVM’ instruction. It allows the caller’s state to be polluted. The relevant code snippet is as follows- 1"></a>The code above is responsible for launching a child VM. It moves the ‘log’ and ‘libraries’ from the current VmState into a new VmState object ‘new_state’, and then replaces the current VmState with ‘new_state’.The problem lies in the fact that this operation is not real atomic. Before the statement ‘*this = std::move(new_state);’ is executed, the VM might run out of gas and halt the process before ‘new_state’ replaces the current state. As a result, the ‘libraries’ may already have been moved out, leaving the child VM’s libraries in a cleared (moved) state.Since the RUNVM instruction provides the isolate_gas parameter to isolate gas consumption between the child VM and the parent VM, this creates a scenario where:Even when the child VM triggers a gas exhaustion exception, the parent VM still retains sufficient gas to continue execution. However, subsequent operations relying on ‘libraries’ will fail because the child VM has already moved/cleared them during the failed state transition. This leads to unexpected behavior in certain contracts that assume the integrity of the libraries.<h3>PoC Verification:</h3>We implemented the following test case to demonstrate this vulnerability:<a href="https://www.coinrank.io/wp-content/uploads/2025/05/PoC-Verification-1.png" rel="nofollow"><img src="https://static.fwimg.io/img/feed/a56eccda8084466dfb9d8ad88a79efee.jpg" alt="PoC Verification- 1"></a><a href="https://www.coinrank.io/wp-content/uploads/2025/05/PoC-Verification-2.png" rel="nofollow"><img src="https://static.fwimg.io/img/feed/45e58b092e3e271ee02b0c52c954ec48.jpg" alt="PoC Verification- 2"></a><a href="https://www.coinrank.io/wp-content/uploads/2025/05/PoC-Verification-3.png" rel="nofollow"><img src="https://static.fwimg.io/img/feed/6bde7a8545b84babd1d3527f86535b69.jpg" alt="PoC Verification- 3"></a><h3>Key Modifications for Testing:</h3>To facilitate local observation of libraries state, we modified the NOP instruction to forcibly register a library entry:<a href="https://www.coinrank.io/wp-content/uploads/2025/05/Key-Modifications-for-Testing-.png" rel="nofollow"><img src="https://static.fwimg.io/img/feed/2c817675b1e2bc33740e5164ed8eeea9.jpg" alt="Key Modifications for Testing-"></a><h3>Reproduction Steps:</h3>Add this test case to crypto/test/vm.cppRun the test-vm executableObserve the exception during XLOAD execution due to empty libraries。<h3>Expected Behavior:</h3>After NOP execution: libraries contain 1 entryAfter RUNVMX execution, libraries become empty despite the parent VM continuationXLOAD fails with an exceptionThis demonstrates how the non-atomic state transition, combined with gas isolation, creates an inconsistent state that violates execution context integrity.This discovery once again highlights the deep expertise of TonBit, a subsidiary of BitsLab, in security research within the TON ecosystem. We have immediately submitted the technical details and mitigation plan to the TON Foundation and assisted in completing the remediation. We recommend that all developers promptly update their dependency libraries once the official patch is released; at the same time, incorporate more rigorous library‑integrity checks and gas‑management logic into custom contracts to prevent similar issues from being maliciously exploited. BitsLab will continue to uphold the principle of “responsible disclosure” and, together with the community, fortify the Web3 security perimeter.<h2>ABOUT TONBIT</h2><a href="https://www.tonbit.xyz/" rel="nofollow">TonBit</a>, a core sub-brand of BitsLab, is a trusted security expert and early builder within the TON ecosystem. As the Primary Security Assurance Provider (SAP) for the TON blockchain, TonBit specializes in comprehensive security audits, including Tact and FunC language audits, ensuring the integrity and resilience of projects built on TON. Officially endorsed by TON, TonBit has successfully audited numerous high-profile projects such as Catizen, Algebra, UTonic, Ton Batch Sender, TonUp, PixelSwap, Tradoor, Miniton, Thunder Finance, and nearly 20 other projects on TON, demonstrating its expertise in securing TON-based solutions.〈<a href="https://www.coinrank.io/crypto/bitslabs-tonbit-once-again-discovers-a-vulnerability-in-the-ton-virtual-machine-runvm-instruction-may-contaminate-the-smart-contract-execution-environment/" rel="nofollow">BitsLab’s TonBit, Once Again Discovers a Vulnerability in the TON Virtual Machine: RUNVM Instruction May Contaminate the Smart Contract Execution Environment</a>〉這篇文章最早發佈於《<a href="https://www.coinrank.io/" rel="nofollow">CoinRank</a>》。

BitsLab’s TonBit, Once Again Discovers a Vulnerability in the TON Virtual Machine: RUNVM Instruction May Contaminate the Smart Contract Execution Environment

<TonBit> 보안 연구원들이 서브-VM이 가스를 소진할 때 라이브러리 무결성을 손상시키는 비트(Bit) 가상 머신의 RUNVM 명령어에서 심각한 비원자적 상태 전환 취약점을 발견했습니다.

<ul><li>RUNVM 명령어 취약점은 자식 VM이 가스를 모두 소진할 때 라이브러리 손상을 유발하여, 계속되는 실행에도 불구하고 부모 VM의 라이브러리를 초기화된 상태로 남깁니다.</li><li>톤비트는 RUNVM 실행 후 비워진 라이브러리로 인해 XLOAD 작업이 실패하는 방식을 보여주는 개념 증명 테스트를 통해 취약점을 입증했습니다.</li><li>TON의 주요 보안 보증 제공업체로서 톤비트는 책임감 있는 공개 관행을 따르며, 패치를 위해 TON 재단에 완화 계획을 제출했습니다.</li></ul>톤비트 보안 연구원들이 하위 VM이 가스를 소진할 때 라이브러리 무결성을 손상시키는 TON 가상 머신의 RUNVM 명령어에서 중요한 비원자적 상태 전환 취약점을 발견했으며, 이는 종속 시스템의 계약 실패를 잠재적으로 야기할 수 있습니다.<hr>**비츠랩과의 제휴 편집 콘텐츠. 표현된 견해는 코인랭크의 견해를 반영하지 않습니다. 재정적 조언이 아닙니다.비츠랩 산하의 톤비트는 TON 가상 머신(TVM) 코드 내에 또다시 "시한폭탄"을 발견했습니다 - RUNVM 명령어의 비원자적 상태 전환 취약점입니다. 공격자는 하위 VM이 가스를 모두 소진하는 순간에 부모 VM의 라이브러리를 손상시키고 후속 호출 실패를 유발하여, 궁극적으로 라이브러리 무결성에 의존하는 계약이 비정상적으로 작동하게 만들 수 있습니다.

[이하 생략]

BitsLab의 TonBit, TON 가상 머신의 취약점을 다시 한번 발견: RUNVM 명령어가 스마트 계약 실행 환경을 오염시킬 수 있음

BitMart의 12월 23일 시장 보고서에 따르면 지난주 암호화폐의 총 시총 3조 200억 달러로, 전주 대비 1.31% 감소했습니다.
기사 작성자 및 출처: BitMart
이번 주 암호화폐 시장 동태
이번 주 암호화폐 시장은 크게 약세를 보였습니다. 비트코인은 주요 역사적 저항선인 94,000달러에서 저항에 부딪힌 후 86,000달러의 중요한 지지선 아래로 하락하며 시장 유동성이 크게 위축되었음을 나타냈습니다.
온체인 데이터에 따르면 이번 조정은 개인 투자자 공황 매도 때문이 아니라, 대규모 주소로 대표되는 기관 자금이 지속적으로 리스크 완화하고 자금을 분산시킨 결과입니다. 11월 이후...

BitMart 주간 시장 보고서 (12월 16일~22일)

암호화폐 강세론자들은 가치 하락 거래가 지속되고 미국 거래 세션 동안 위험 자산이 전반적으로 상승함에 따라 다시 관망세를 보이고 있습니다.
월요일에 가장 눈에 띄는 성과를 보인 것은...

금값이 사상 최고치를 경신하고 미국 증시가 상승하면서 암호화폐 가격은 다시 보합세를 보였다.

2025년 말 마이크로스트래티지의 상황은 기업이 재무적 한계를 재정의하려 할 때 직면하는 기회와 과제를 생생하게 보여줍니다.
글쓴이: 클로우
기사 출처: 테크 플로우 (Techflowpost)
67만 비트코인은 전 세계 비트코인 ​​총 공급량 의 약 3.2%에 해당합니다.
이는 2025년 12월 중순 기준 마이크로스트래티지(현 스트래티지 주식회사)가 보유한 비트코인 ​​양입니다. 세계 최초로 비트코인을 주요 준비 자산으로 사용하는 상장 기업인 이 회사는 이전에는 비즈니스 인텔리전스 소프트웨어 제공업체였지만, 이제는 완전히 "구조화된 비트코인 ​​금융 회사"로 변모했습니다.