本文将介绍零知识证明以及其在零知识证明中应用的逻辑。

我们曾经讨论了零知识证明的先进形式化验证：如何验证一条ZK指令。通过形式化验证每条zkWasm指令，我们能够完全验证整个zkWasm电路的技术安全性和正确性。在本文中，我们将关注发现漏洞的视角，分析在审计和验证过程中发现的具体漏洞，以及从中得到的经验和教训。如要了解有关零知识证明（ZKP）区块链的

​CertiK《Hack3d：2024年第三季度Web3.0安全报告》现已发布，本次报告深入分析了2024年7月至9月的链上安全状况，本季度总损失金额为7.53亿美元，网络钓鱼和私钥泄露是本季度造成资产损失的主要原因。关键数据2024年第三季度，共发生了155起链上安全事件，损失金额达到7.5

CertiK安全专家团队频繁检测到多起手法相同的“退出骗局”，也就是我们俗称的RugPull。在我们进行深入挖掘后发现，多起相同手法的事件都指向同一个团伙，最终关联到超过200个Token退出骗局。这预示着我们可能发现了一个大规模自动化的，通过“退出骗局”方式进行资产收割的黑客团队。在这些退

CertiK检测到，5月在不到24小时，一可疑地址发起rugpull64次，造成损失272枚SOL，亏钱Rug？本文深扒背后故事。

导读：本文深入探讨了区块链交易费⽤模型的重要性及其在确保网络安全和有效运行中的关键作用。通过对以太坊和Solana区块链网络的交易费⽤模型进行比较分析，揭示了不安全的交易计费可能引发的网络安全风险。特别关注了CertiK团队发现并协助修复的Solana网络中大整数模幂运算的CU计算错误，这一错误可

ZK的崛起与演变曾几何时，零知识证明（以下简称ZK）仍然被认为是密码学教科书中的理论概念，至少在传统安全研究中很少被主流社群深入探索。然而在Web3.0领域，区块链技术的迅速发展，用短短几年时间实现了ZK从理论到实践的跨越式进展，一路蓬勃，高歌猛进。1985年诞生，2014年ZCash才用SN

8月9日，Solana团队齐心协力解决了一个严重的安全漏洞。这次秘密修复详情可以在GitHub上查询到。CertiK团队对这一漏洞进行了深入分析。