ZK Track Reaches Inflection Point: Decoupling of Development Compilation and Backend Computing Power

Viết bài: Haotian

Việc ZK được ứng dụng rộng rãi thực sự đã gặp phải hai trở ngại lớn: quá khó để viết và chi phí tính toán quá cao. Nhưng gần đây, trong lĩnh vực này có hai “hàm bước” (Step functions) sắp được triển khai, hy vọng sẽ cải thiện vấn đề này:

Một là OpenVM V2 sắp ra mắt của @openvm_org, cho phép nhà phát triển viết các nghiệp vụ bằng ngôn ngữ phổ biến quen thuộc, engine phía dưới sẽ tự động “dịch” một cách ổn định thành chứng minh ZK;

Còn lại là giải pháp tự động tiền biên dịch (Auto-precompiles) của @powdr_labs, giúp trình biên dịch tự nhận diện các thao tác mật mã tốn thời gian, trực tiếp chuyển hướng đến phần cứng tối ưu nhất để xử lý, giảm bớt gánh nặng tối ưu hóa thủ công của nhà phát triển.

Hai bước đột phá này tương đương với việc trang bị cho nhà phát triển một “trình biên dịch đơn giản” và “bộ tăng tốc tự động”.

Nhưng tại sao điều này lại có lợi cho lĩnh vực ZK?

Chúng ta có thể phân tích logic thương mại để rõ ràng hơn: Khi rào cản phát triển gần như bằng không và các ứng dụng ZK bùng nổ, chắc chắn sẽ tạo ra nhu cầu lớn về tính toán chứng minh (Proving). Hiện tại, các giải pháp thị trường chứng minh (Proving Market) của ZK đã đi trước, nhưng nhu cầu về ứng dụng ZK vẫn chưa đủ lớn…

Đây chính là lý do tại sao các thị trường chứng minh mở như @boundless_xyz lại kỳ vọng vào tiến bộ công nghệ này, vì không có nhu cầu ứng dụng quy mô lớn của ZK thì làm sao có thể có nhu cầu tính toán chứng minh khổng lồ? Và trong thời đại công nghệ mơ hồ này, làm thế nào để tự chứng minh được vị trí dẫn đầu của công nghệ ZK Prove và giá trị thương mại của nó?

Vì vậy, sự xuất hiện của hai Step Functions này thực sự rất quan trọng đối với sự tiến bộ chung của lĩnh vực ZK. Bởi nó giúp tách biệt hoàn toàn việc phát triển ZK phía frontend và chứng minh tính toán phía backend, nhà phát triển frontend tập trung tìm kiếm các ứng dụng, còn trung tâm tính toán phía backend tập trung tối ưu hóa hiệu quả và chi phí chứng minh.

Chỉ khi cả hai cùng tiến bộ và thể hiện thành tích, lĩnh vực ZK mới có thể thực sự bùng nổ.