Hyli

Hyli is a proof-based L1 platform designed for building the next generation of on-chain applications. It executes complex logic off-chain, submits proofs, and verifies them locally before settling transactions on-chain.