Juvix 简介
Juvix 将高级前端语法、相依线性类型的核心语言、优化系统、可后端交换的执行模型等综合到统一的堆栈中，以编写可正式验证、可高效执行的智能合约。其旨在解决尝试编写和部署去中心化应用时遇到的问题，借鉴并致力于在程序语言设计和类型理论方面积累大量的先前学术研究成果。
Juvix 投资方
Juvix 相关信息
Travin Keith
Immunefi 联合创始人。
Daniel Kronovet
Colony 研究工程师。
Neo Playground
由 AxLabs 开发与维护。
Yeeth
Swift 语言编写 ETH 2.0。
Jim Myers
Flipside Crypto 首席技术官。
Wizard Amigos
网络游牧民组建的开发者社区。
Divya Nailwal
Biconomy 区块链开发工程师。
Yuriy Dybskiy
Puma Browser 创始人。
ethereansOS
链上组织、互操作通证及 DeFi 基础架构支持的以太坊操作系统。