deepsea是什麼團隊

是由CertiK公司、耶魯大學和哥倫比亞大學的科研團隊

DeepSEA是一種用於編寫已驗證智能合約的語言，由CertiK公司、耶魯大學和哥倫比亞大學的科研團隊共同推進。CertiK聯合創始人顧榮輝表示，團隊在DeepSEA研發過程中引入了形式化驗證技術，以實現更可靠的智能合約和區塊鏈生態安全保障。