硬核数学验证的硬核安全系统： 用形式化验证保障区块链安全
Web3.0已经成为当下科技圈和投资圈最热门的话题
mp.weixin.qq.com
CertiK的联合创始人，哥伦比亚大学的顾荣辉教授在哥大校友活动上发表了讲话，他谈到了区块链的安全问题，形式化验证如何帮助解决这些问题，以及CertiK为建立可靠的区块链系统所做的工作等内容。
王翌拥有最学术范的朋友圈
“小时候不好好学习，长大就当程序员！”这句话在现在看来，无疑是本世纪最大谎言
a2+b2=c2 ；毫无疑问，勾股定理是固若金汤的真理，因此也不存在被推翻的可能性
Secure the crypto world
你可以想象一个安全的、被验证的、没有bug的、黑客不能攻击的操作系统是怎样的。
