Hyliは、次世代のアプリをオンチェーン上で構築するための新しいproof-powered L1です。複雑なロジックをオフチェーンで実行し、証明を提出し、それをネイティブで検証した上でオンチェーンに確定します。