加入 Web3Caff 196 天
科普
零知识证明的先进形式化验证：如何证明零知识内存
CertiK
    
5月前
生态安全
Web3 安全警示：链上打新局中局，大规模 Rug Pull 手法解密
CertiK
    
6月前
生态安全
深入剖析两个 ZK 漏洞
CertiK
    
6月前
观点
零知识证明的先进形式化验证：如何验证一条 ZK 指令
CertiK
    
6月前
观点
Solana 资金漩涡：Rug Puller 为何在努力亏钱？
CertiK
    
7月前
CertiK
CertiK 由耶鲁大学与哥伦比亚大学科研团队创立，致力于为 Web3.0 世界提供端到端安全服务。