Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts

Ziqiao Kong, Wanxu Xia, Zhengwei Li +6

Move is a resource-oriented programming language designed for secure and verifiable smart contract development and has been widely used in managing billions of digital assets in bl…