Hyli là L1 mới sử dụng bằng chứng làm nền tảng để xây dựng thế hệ ứng dụng tiếp theo trên chuỗi. Nó thực thi các logic phức tạp ngoài chuỗi, gửi bằng chứng và sẽ xác minh trực tiếp trước khi ghi nhận trên chuỗi.