在人工智能时代，形式化验证是保障软件安全的未来，而Zcash正引领这一潮流。Zcash将在下一个网络升级中引入形式化验证，让屏蔽池中的“印钱”漏洞成为不可能。加密货币加上可证明的正确性，势不可挡。