Việc ứng dụng rộng rãi ZooKeeper trong thực tế từ lâu đã bị cản trở bởi hai trở ngại chính: nó quá khó để viết và sức mạnh tính toán quá đắt đỏ. Tuy nhiên, hai "hàm bậc thang" được phát triển gần đây đang sẵn sàng cải thiện tình hình này:

Một trong số đó là OpenVM V2 sắp ra mắt từ @openvm_org, cho phép các nhà phát triển viết logic nghiệp vụ bằng một ngôn ngữ quen thuộc, đa năng, và công cụ nền tảng sẽ tự động và mạnh mẽ "dịch" nó thành bằng chứng ZK;

Một tính năng khác là khả năng biên dịch trước tự động ở cấp độ sản xuất được giới thiệu bởi @powdr_labs. Trình biên dịch có thể tự động xác định các thao tác mã hóa tốn nhiều thời gian và định tuyến chúng trực tiếp đến phần cứng tối ưu để xử lý, giúp các nhà phát triển tránh được công sức phải tự mình thực hiện các tối ưu hóa cấp thấp.

Hai bước đột phá này tương đương với việc trang bị cho các nhà phát triển một "trình biên dịch không thể sai sót" và một "chế độ tăng tốc tự động".

Nhưng tại sao điều này lại có lợi cho đường đua ZK?

Hãy cùng phân tích logic kinh doanh để làm rõ điều này: khi rào cản phát triển tiến gần đến con số không và các ứng dụng ZooKeeper trải qua sự tăng trưởng bùng nổ, điều đó chắc chắn sẽ tạo ra nhu cầu khổng lồ về tính toán chứng minh. Hiện tại, thị trường chứng minh cho các giải pháp ZooKeeper đã dẫn đầu, nhưng nhu cầu về các ứng dụng ZooKeeper vẫn chưa đủ...

Đây chính là lý do tại sao các thị trường chứng minh mở như @boundless_xyz lại đặt kỳ vọng cao vào sự tiến bộ công nghệ này. Xét cho cùng, nếu không cần ứng dụng ZK trên quy mô lớn, thì nhu cầu tính toán chứng minh khổng lồ sẽ đến từ đâu? Và làm thế nào người ta có thể chứng minh vị trí dẫn đầu và giá trị thương mại của công nghệ ZK Prove của họ trong thời đại chủ nghĩa hoài nghi công nghệ hiện nay?

Do đó, sự xuất hiện của hai hàm bước này thực sự rất quan trọng đối với sự tiến bộ tổng thể của lộ trình ZK. Điều này là bởi vì nó hoàn toàn tách biệt việc phát triển và biên dịch ZK ở giao diện người dùng khỏi việc chứng minh sức mạnh tính toán ở phía máy chủ, cho phép các nhà phát triển giao diện người dùng tập trung vào việc tìm kiếm các kịch bản ứng dụng, trong khi trung tâm sức mạnh tính toán ở phía máy chủ tập trung vào hiệu quả và chi phí chứng minh khối lượng.

Chỉ khi cả hai bên cùng đạt được tiến bộ và thể hiện được những thành tựu của mình thì dự án ZK mới thực sự có thể phát triển mạnh mẽ.