我记得之前币圈有一个给智能合约做审计的公司 号称什么形式化验证，绝对无Bug 币圈VC融资无数 甚至我认识一个亲戚的朋友（确实是大佬）都跑去做CXO了 请问这家公司 现在还好吗？ 咱们币圈和哥伦比亚大学的联合骗局 被彻底戳破了吗？ 😅😅

#币圈 #智能合约 #形式化验证 #公司审计 #VC融资 #哥伦比亚大学 #骗局