.@hyli_org testnet is live, powered by R0VM. Hyli is a new proof-powered L1 to build the next generation of apps, with testnet proofs generated by RISC Zero. The proof playground is here.