CertiK

With the development of Web3 applications, stablecoins have become a key focus for central banks and institutions, with the potential to reshape global payment and financial infrastructure. Formal verification, as a technical means, can effectively assist stablecoin projects in meeting regulatory requirements, including the GENIUS Act, and in building a more reliable contract system.

I hope to help all Web3 members enhance their awareness of prevention, remain vigilant in the face of ever-emerging scams, and take necessary preventive measures in a timely manner to protect their asset security.

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.