Juvix 简介
Juvix 将高级前端语法、相依线性类型的核心语言、优化系统、可后端交换的执行模型等综合到统一的堆栈中，以编写可正式验证、可高效执行的智能合约。其旨在解决尝试编写和部署去中心化应用时遇到的问题，借鉴并致力于在程序语言设计和类型理论方面积累大量的先前学术研究成果。
Juvix 投资方
Juvix 相关信息
Dongsam Byun
B-Harvest 首席技术官。
Alexander Bich
Coin Metrics 联合创始人兼首席架构师。
Matt Luongo
Thesis 创始人。
Ignacio Mazzara
Decentraland 区块链开发主管。
Johann Ortiz Grisales
Stampery 全栈开发工程师。
Patrick Manfra
Outlet Finance 联合创始人。
Mike Purvis
CRONCAT 开发者。
ChainSafe
由加拿大开发者与学院派组队，为客户提出区块链解决方案。
Rene Schmidt
Qwellcode GmbH 管理合伙人。