是由CertiK公司、耶鲁大学和哥伦比亚大学的科研团队

DeepSEA是一种用于编写已验证智能合约的语言，由CertiK公司、耶鲁大学和哥伦比亚大学的科研团队共同推进。CertiK联合创始人顾荣辉表示，团队在DeepSEA研发过程中引入了形式化验证技术，以实现更可靠的智能合约和区块链生态安全保障。