Hyli, zincir üzerinde bir sonraki nesil uygulamaları geliştirmek için kanıt destekli yeni bir L1'dir. Karmaşık mantığı zincir dışı çalıştırır, bir kanıt sunar ve zincir üzerinde sonlandırmadan önce bunu yerel olarak doğrular.
Hyli, zincir üzerinde bir sonraki nesil uygulamaları geliştirmek için kanıt destekli yeni bir L1'dir. Karmaşık mantığı zincir dışı çalıştırır, bir kanıt sunar ve zincir üzerinde sonlandırmadan önce bunu yerel olarak doğrular.