Juvix 简介
Juvix 将高级前端语法、相依线性类型的核心语言、优化系统、可后端交换的执行模型等综合到统一的堆栈中，以编写可正式验证、可高效执行的智能合约。其旨在解决尝试编写和部署去中心化应用时遇到的问题，借鉴并致力于在程序语言设计和类型理论方面积累大量的先前学术研究成果。
Juvix 投资方
Juvix 相关信息
Charles Hoskinson
Invictus Innovations、以太坊、IOHK 联合创始人。
Kathrin Heider
Composable Finance 产品主管。
Fleek
在 IPFS 上快速构建网站、应用的平台。
Jeff Wu
Notional Finance 联合创始人。
Piotr Kosinski
Energy Web 系统架构师。
Rohit Goyal
Mudrex 联合创始人兼首席执行官。
Mark Tyneway
Optimism 软件开发工程师。
Tyson Battistella
Coinbase 软件开发工程师。
Tom Kysar
Augur 运营总监。