3 papers
cs.DC2026
Systematization of Knowledge: Formal Verification of Consensus Protocols
Nikita Bondarev, Kirill Ziborov, Yury Yanovich
Formal verification is increasingly critical for blockchain consensus protocols, where subtle bugs can cause irreversible financial loss and network failure. Yet the literature on…
cs.CR2026
BugMagnifier: TON Transaction Simulator for Revealing Smart Contract Vulnerabilities
Yury Yanovich, Victoria Kovalevskaya, Maksim Egorov +6
The Open Network (TON) blockchain employs an asynchronous execution model that introduces unique security challenges for smart contracts. A primary concern is race conditions arisi…
cs.CR2026
From Paradigm Shift to Audit Rift: Empirical Analysis and Validation of Security Audit Methodologies for Asynchronous Smart Contract Systems
Yury Yanovich, Sergey Sobolev, Yash Madhwal +6
The Open Network (TON) is a high-performance blockchain platform designed for scalability and efficiency, leveraging an asynchronous execution model and a multi-layered architectur…