.@hyli_org 测试网已上线，由 R0VM 提供支持。 Hyli 是一个新的基于证明的 L1，旨在构建下一代应用程序，测试网证明由 RISC Zero 生成。 证明游乐场在这里。