Hyli

Hyli 是基於證明的 L1，用於構建下一代鏈上應用程序。Hyli 在鏈下運行復雜的邏輯，提交證明，並在鏈上結算之前在本地驗證它。