Proof-powered L1
Hyli é a nova L proof-powered para construir a próxima geração de aplicações onchain. Ela executa lógica complexa off-chain, submete uma prova, e a verifica nativamente antes de liquidar onchain.