Hylé

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