
Cơ sở hạ tầng ZK gặp một vấn đề mà sức mạnh tính toán thuần túy không thể giải quyết: khả năng sẵn sàng chẳng có ý nghĩa gì nếu không thể gửi bằng chứng đúng hạn. Một mạng lưới có thể sở hữu hàng ngàn GPU nhưng vẫn gặp khó khăn trong việc phục vụ một ứng dụng vào thời điểm quan trọng nhất. Phần cứng có thể sẵn có, nhưng không tương thích với một công việc cụ thể. Một máy có thể nhận nhiệm vụ nhưng không hoàn thành trong khung thời gian yêu cầu. Ngay cả khi tạo bằng chứng thành công, sự phối hợp không hiệu quả vẫn gây ra những sự chậm trễ không cần thiết. Thách thức thực sự là biến những nguồn lực tính toán rải rác thành một hệ thống mà các nhà phát triển thực sự có thể tin cậy. Đó chính là lý do khiến lớp cơ sở hạ tầng phía sau công nghệ zero-knowledge đáng để theo dõi. Khi các ứng dụng ZK mở rộng, yêu cầu về chứng minh ngày càng đa dạng. Các công việc khác nhau đòi hỏi những khả năng phần cứng, thời gian thực thi và phân bổ tài nguyên khác nhau. Coi mọi máy tính là tương đương nhau sẽ bỏ qua sự phức tạp trong việc đưa một nhiệm vụ cụ thể từ yêu cầu đến hoàn thành thành công. @fermah_xyz đang tiếp cận thách thức này thông qua Froben, với trọng tâm là làm cho các nguồn lực chứng minh trở nên dễ tiếp cận thông qua một thị trường được phối hợp. Điều thú vị không chỉ đơn thuần là kết nối các ứng dụng với nhiều phần cứng hơn. Mà là cải thiện cách các công việc tìm kiếm nguồn tài nguyên phù hợp, cách các nhà vận hành đóng góp dung lượng sẵn có của họ, và cách hệ thống xử lý thực thi khi điều kiện thay đổi. Hãy xem xét điều này có ý nghĩa gì đối với một dự án ZK đang phát triển. Thay vì xây dựng cơ sở hạ tầng riêng cho mọi loại công việc có thể xảy ra, nhóm phát triển có thể truy cập vào một nguồn tài nguyên chứng minh rộng lớn hơn. Đồng thời, các nhà vận hành có cơ hội tận dụng phần cứng của mình cho những nhiệm vụ phù hợp với khả năng của chúng. Cả hai bên đều hưởng lợi từ sự phối hợp tốt hơn, nhưng chỉ khi cơ sở hạ tầng có thể mang lại kết quả nhất quán. Đó chính là nơi nằm ở lợi thế cạnh tranh thực sự. Một thị trường chứng minh cuối cùng nên được đánh giá dựa trên những công việc nó hoàn thành, chứ không phải phần cứng mà nó quảng bá. Nó có thể kết nối các công việc với máy móc phù hợp một cách đáng tin cậy đến mức nào? Nó có thể chuyển đổi tài nguyên sẵn có thành các bằng chứng đã hoàn thành một cách hiệu quả ra sao? Nó duy trì hiệu suất như thế nào khi nhu cầu và yêu cầu công việc thay đổi? Đây là những câu hỏi phân biệt một danh mục tài nguyên tính toán với một cơ sở hạ tầng mà các ứng dụng có thể xây dựng dựa trên đó. Đối với hệ sinh thái ZK, sự phân biệt này rất quan trọng. Các nhà phát triển nên tập trung vào việc xây dựng các ứng dụng hữu ích, thay vì liên tục lo lắng liệu lớp chứng minh có theo kịp hay không. Nếu @fermah_xyz có thể làm cho quá trình tạo bằng chứng trở nên dễ tiếp cận, được phối hợp và đáng tin cậy hơn thông qua Froben, nó có thể giúp loại bỏ một rào cản quan trọng đối với sự phổ biến của ZK. Bởi vì giai đoạn tiếp theo của sự phát triển ZK sẽ không phụ thuộc vào sức mạnh tính toán đơn thuần. Nó sẽ phụ thuộc vào cách thức tổ chức hiệu quả sức mạnh đó thành việc giao nhận bằng chứng đáng tin cậy.
