Hyli

Hyli 是全新的以證明為驅動的 L1，用於在鏈上建構下一代應用程式。它在鏈下執行複雜邏輯，提交證明，並在鏈上結算前原生驗證該證明。