Thực thi khối lượng tính toán lớn ngoài chuỗi, xác minh kết quả trên chuỗi có thể tin cậy được——đây là một vấn đề mà rất nhiều người luôn đang suy nghĩ.

Không phải tất cả mọi thứ đều nên được nhét vào hợp đồng thông minh. Quét dữ liệu lịch sử, tính toán chiến lược phức tạp, phán đoán trạng thái đa chuỗi, thậm chí suy luận AI, một khi bị đẩy lên chuỗi một cách cứng nhắc, hoặc phí gas sẽ tăng vọt, hoặc chỉ có thể phụ thuộc vào oracle tập trung hóa, thực tế lại trở thành điểm yếu nhất của hệ thống.

Một dự án đã suy nghĩ rất rõ: những việc không làm được thì xử lý ngoài chuỗi, nhưng kết quả thực thi phải vượt qua bước kiểm chứng ZK. Hợp đồng có thể hoàn thành xác minh ở mức mili giây——bạn không cần tin tưởng một máy chủ nào đó, chỉ cần tin tưởng toán học.

Gần đây sau khi ProverNet trực tuyến, vị trí của hệ thống này trở nên rõ ràng hơn. Pico zkVM chịu trách nhiệm "có thể tính toán bất cứ thứ gì", ZK Data Coprocessor chịu trách nhiệm truy vấn dữ liệu lịch sử và đa chuỗi trên chuỗi, ProverNet kết nối những nhu cầu này với sức mạnh tính toán thực và chi phí thực tế. Toàn bộ mạng lưới thực hiện tính toán, thế chấp, khuyến khích và quản trị thông qua một token thống nhất.

Điều thú vị là, từ cơ chế phí tỷ lệ thông minh của một DEX hàng đầu, đến các phương án phân phối khuyến khích như Euler, Linea, những logic trên chuỗi trông giống hộp đen kia, thực tế đã chạy trên lớp dưới của tính toán có thể xác minh từ lâu rồi.

ZK đang tiến hóa thành một lớp cơ sở hạ tầng có thể được gọi lại nhiều lần. Khi thời đại ứng dụng trên chuỗi rực rỡ sắc màu đến, khả năng tính toán có thể xác minh trở thành một lớp dưới không thể tránh khỏi.