Hyli is the new proof-powered L1 to build the next generation of apps onchain. It runs complex logic off-chain, submit a proof, and will verify it natively before settling onchain.