Hyli

Hyli（原Hylé）由Sylve Chevet和Lancelot de Ferrière le Vayer于2024年初创立，定位为基于证明的Layer 1。2024年1月完成约80万美元pre-seed融资；同年5月14日完成由Framework Ventures领投的340万美元seed轮融资，StarkWare、Ledger联合创始人Nicolas Bacca及Succinct Labs联合创始人Uma Roy参投。

2025年5月14日，项目从Hylé更名为Hyli。同年6月16日推出火星主题测试网，展示基于SP1、RISC-0和Noir证明系统的应用。2026年初上线私有主网，采用Autobahn共识机制，支持多并发提议者，实现水平扩展。

2026年3月27日发布v0.15.0最终版本。2026年6月10日，团队宣布关闭项目，理由包括市场环境变化和ZK基础设施需求不足。代码库保持开源，供开发者研究或分叉。

长期意义：Hyli验证了证明聚合L1的技术可行性，其Autobahn共识和原生多证明系统验证设计为后续项目提供了参考。