Hyli

Hyli 是新的基于证明的 L1，用于在链上构建下一代应用。它在链下运行复杂逻辑，提交证明，并在链上结算前原生验证。