Hyli

Hyli是一个基于证明的L1平台，专为构建下一代链上应用而设计。它在链下执行复杂逻辑，提交证明并在链上结算交易前进行本地验证。