返回

密码朋克称 Zcash 更新将展示形式化验证，因 AI 加速漏洞检测

这家 ZEC 财库公司以比特币历史上曾发生的 184 billion BTC 超发漏洞为例，主张应通过可证明正确性来强化区块链软件。

BTC
ZEC

摘要

正在验证可靠性

术语与概念

此主题没有可用的专业术语。