2018-4-28 12:51
公告 | 哥大教授携军用级别安全技术加入DCC
据美国媒体报道， 全球领先的形式化验证技术CertiK项目联合创始人、哥伦比亚大学顾荣辉教授近日以顾问身份加入全球首个分布式银行公链DCC（Distributed Credit Chain）。Certik全球领先的形式化验证技术，Certik项目的用户包括美国国防部高级研究计划局DARPA，与顾荣辉教授联合开发该项目的为耶鲁大学计算机系主任邵中教授。
