本文介绍了Soulbound代币的概念及其安全性,提供了在Sepolia测试网使用Hardhat创建和部署Soulbound代币的详细指南。文中包括所需的配置、合约代码、测试案例以及部署步骤,是一篇结构清晰且内容丰富的技术文章。
本文探讨了Solana智能合约中的程序衍生地址(PDA)的安全性,尤其是如何验证PDA的bump种子。PDA的bump种子可能不是唯一的,若不进行验证,攻击者可能创建伪造的PDA,从而影响合约的安全性。文章提供了解决方案,包括使用Solana的API验证bump种子,确保合约的安全。
这篇文章讨论了辐射漏洞,其中超过5300万美元被盗,原因是受影响的多签名签名者盲目地签署了一个转移合同所有权的关键元交易
形式化验证是 Move 智能合约的重要特性