CertiK

From May 12 to 13, approximately 64 Rug Pulls were initiated on-chain, one every few minutes. In this short period of less than 24 hours, the total loss amounted to 272 SOL, worth about $45,900.

The ZK vulnerability will allow hackers to submit forged ZK proofs to demonstrate false transactions and have the ZK proof verifier accept them.

In order to gain a deeper understanding of how formal verification techniques are applied to zkVM (Zero-Knowledge Virtual Machine), this article will focus on the verification of a single instruction.

This collaboration covers multiple areas including exchange platforms, mobile terminals, wallet security, and smart contract auditing.

This article will unveil a large-scale automated hacker team that conducts asset harvesting through the "exit scam" method.

In the future, the emerging scaling solutions and numerous innovations such as smart contracts will inevitably reshape the Bitcoin ecosystem.

Looking back at the exciting Bitcoin ecosystem in 2023 and making predictions about its future development trends.

On January 6, MangoFarmSOL implemented an exit scam, transferring 13,512 SOL (approximately 1.26 million USD at the time) deposited by users from the project contract, and then deployed a malicious front-end to mislead users into authorizing an "emergency migration," stealing approximately 60,000 USD in the process.

The Skyfall team of CertiK and security expert Dawuge have been inducted into the 2023 Samsung Mobile Security Hall of Fame.

The vulnerability of the attack lies in the incorrect integer division issue when destroying deposit certificates, but the hacker did not anticipate that "the mantis stalks the cicada, unaware of the oriole behind."