计算机科学家开发新的编程语言，跟进智能合约开发

【链得得播报】据coindesk消息，计算机科学家Mark Miller、Dean Tribble、Brian Warner和Bill Tulloh已经成立了一家新创业公司，以开发一种基于javascript的编程语言。这种编程语言将允许程序员以一种更直观、更安全的方式进行编码，同时允许进行目前智能合约测试中所难以进行的正式验证过程。

该公司已经获得了种子轮融资，投资方包括Naval Ravikant、Polychain Capital和Zcash公司。