4 papers
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…
Caliper-in-the-Loop: Black-Box Optimization for Hyperledger Fabric Performance Tuning
Yash Madhwal, Arseny Bolotnikov, Mark Prikhno +5
Hyperledger Fabric performance depends on many interacting configuration parameters, making manual tuning difficult. We study automated throughput tuning by treating benchmarking a…
Chain Reactions: How Nonce Collisions in ECDSA Compromise Polygon MEV Searchers
Yash Madhwal, Andrey Seoev, Raffaele Della Pietra +2
ECDSA signatures form the bedrock of blockchain transaction authentication, yet their security critically depends on proper nonce generation. We uncover a critical vulnerability in…
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…