Hyli

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