ZK chuyên dụng hay ZK chung, cái nào là tương lai?
Tác giả gốc: mo
Bản tổng hợp gốc: Luffy, Tin tức tầm nhìn xa
Chuyên môn hóa hay khái quát hóa, tương lai của ZK là gì? Hãy để tôi thử trả lời câu hỏi này bằng một bức tranh:
Như được minh họa trong Như hình vẽ, liệu chúng ta có thể hội tụ về một điểm tối ưu kỳ diệu trên hệ tọa độ đánh đổi trong tương lai hay không?
Không, tương lai của điện toán có thể xác minh ngoài chuỗi là một đường cong liên tục làm mờ ranh giới giữa ZK chuyên dụng và ZK có mục đích chung. Cho phép tôi giải thích sự phát triển lịch sử của các thuật ngữ này và cách chúng sẽ hợp nhất trong tương lai.
Hai năm trước, cơ sở hạ tầng ZK "độc quyền" có nghĩa là các khung mạch cấp thấp như Circom, Halo2 và Arkworks. Các ứng dụng ZK được xây dựng bằng các khung này về cơ bản là các mạch ZK viết tay. Chúng nhanh và rẻ cho những nhiệm vụ cụ thể nhưng thường khó phát triển và bảo trì. Chúng tương tự như các chip mạch tích hợp dành riêng cho ứng dụng khác nhau (tấm silicon vật lý) được tìm thấy trong ngành công nghiệp vi mạch (mạch tích hợp) ngày nay, chẳng hạn như chip NAND và chip điều khiển.
Tuy nhiên, trong hai năm qua, cơ sở hạ tầng ZK chuyên dụng đã dần trở nên "tổng quát" hơn.
Chúng tôi hiện có ZKML, bộ đồng xử lý ZK và khung ZKSQL, cung cấp SDK dễ sử dụng và có khả năng lập trình cao để xây dựng các danh mục ứng dụng ZK khác nhau mà không cần viết dòng mã mạch ZK. Ví dụ: bộ đồng xử lý ZK cho phép các hợp đồng thông minh truy cập trạng thái, sự kiện và giao dịch lịch sử của chuỗi khối theo cách không cần tin cậy và chạy các tính toán tùy ý trên dữ liệu này. ZKML cho phép các hợp đồng thông minh tận dụng kết quả suy luận AI để xử lý nhiều mô hình học máy theo cách không cần tin cậy.
Những khung phát triển này cải thiện đáng kể khả năng lập trình trong miền mục tiêu, đồng thời làm cho lớp trừu tượng (SDK/API) trở nên mỏng và gần giống với mạch kim loại trần. Vẫn duy trì hiệu suất cao và chi phí thấp.
Chúng tương tự như GPU, TPU và FPGA trên thị trường vi mạch: chúng là những chuyên gia về miền lập trình.
ZKVM cũng đã có những bước tiến vượt bậc trong hai năm qua. Điều đáng chú ý là tất cả ZKVM có mục đích chung đều được xây dựng dựa trên khung ZK chuyên dụng, cấp độ thấp. Ý tưởng là bạn có thể viết các ứng dụng ZK bằng ngôn ngữ cấp cao (thậm chí thân thiện với người dùng hơn SDK/API) có thể được biên dịch thành sự kết hợp giữa các mạch chuyên dụng và bộ hướng dẫn (RISC-V hoặc thứ gì đó như WASM). Chúng giống như những con chip CPU trong ngành vi mạch.
ZKVM là một lớp trừu tượng nằm trên khung ZK cấp thấp, như bộ đồng xử lý ZK, v.v.
Như một nhà thông thái đã từng nói, một lớp trừu tượng giải quyết được tất cả các vấn đề về khoa học máy tính, nhưng nó cũng tạo ra một lớp khác. Để có được sự đánh đổi, đó chính là chìa khóa. Về cơ bản, với ZKVM, chúng tôi có sự cân bằng giữa hiệu suất và tính linh hoạt.
Hai năm trước, thành tích "bare metal" của ZKVM thực sự rất tệ. Tuy nhiên, chỉ trong hai năm, hiệu suất của ZKVM đã được cải thiện đáng kể.
Tại sao?
Bởi vì những chiếc ZKVM "đại khái" này đã trở nên "chuyên nghiệp" hơn. Lý do chính để cải thiện hiệu suất là "biên dịch trước". Các trình biên dịch trước này là các mạch ZK chuyên dụng có thể tính toán các chương trình cấp cao thường được sử dụng như SHA2 và các xác minh chữ ký khác nhau nhanh hơn nhiều so với quy trình chia nhỏ chúng thành các đoạn mạch lệnh thông thường.
Do đó, xu hướng hiện nay là rất rõ ràng.
Cơ sở hạ tầng ZK chuyên dụng đang ngày càng trở nên đa năng hơn và ZKVM đa năng đang trở nên chuyên biệt hơn.
Việc tối ưu hóa cả hai giải pháp trong vài năm qua đã mang lại sự đánh đổi tốt hơn trước: mà không phải hy sinh giải pháp kia để đạt được. tiến bộ ở một điểm nhất định. Đây là lý do tại sao cả hai bên đều cảm thấy rằng “chúng ta chắc chắn là tương lai”.
Tuy nhiên, trí tuệ của khoa học máy tính cho chúng ta biết rằng đến một lúc nào đó, chúng ta sẽ gặp phải "Bức tường tối ưu Pareto" (đường chấm màu xanh lá cây), tức là chúng ta Không có cách nào để cải thiện hiệu suất này mà không ảnh hưởng đến hiệu suất của mục kia.
Vì vậy, câu hỏi trị giá hàng triệu đô la được đặt ra: Liệu một công nghệ khác có thể thay thế hoàn toàn công nghệ khác vào thời điểm thích hợp không?
Dùng ngành vi mạch để hiểu: quy mô thị trường CPU là 126 tỷ đô la Mỹ, trong khi quy mô của toàn ngành vi mạch (cộng với tất cả các vi mạch "chuyên dụng" ) là 5150 Một trăm triệu đô la Mỹ. Tôi tin chắc rằng từ góc độ vi mô, lịch sử sẽ lặp lại ở đây và chúng sẽ không thay thế nhau.
Nói như vậy thì ngày nay sẽ không có ai nói: "Này, tôi đang sử dụng một máy tính được cung cấp năng lượng hoàn toàn bằng CPU đa năng" hoặc "Này, đây là một robot lạ mắt được vận hành bằng một IC chuyên dụng."
Đúng vậy, chúng ta thực sự nên xem xét vấn đề này từ góc độ vĩ mô Sẽ có một đường cong đánh đổi trong tương lai để cho phép các nhà phát triển được quyền. linh hoạt theo nhu cầu riêng của họ lựa chọn.
Trong tương lai, cơ sở hạ tầng ZK chuyên dụng và ZKVM đa năng có thể hoạt động cùng nhau. Điều này có thể đạt được dưới nhiều hình thức. Phương pháp đơn giản nhất bây giờ có thể thực hiện được. Ví dụ: bạn có thể sử dụng bộ đồng xử lý ZK để tạo một số kết quả tính toán trong lịch sử giao dịch blockchain, nhưng logic nghiệp vụ tính toán trên những dữ liệu này rất phức tạp và bạn không thể biểu diễn nó một cách đơn giản trong SDK/API.
Những gì bạn có thể làm là lấy bằng chứng dữ liệu ZK hiệu suất cao và chi phí thấp cũng như kết quả tính toán trung gian, sau đó tổng hợp chúng thành một máy ảo đa năng thông qua bằng chứng đệ quy.
Mặc dù tôi nghĩ những cuộc tranh luận kiểu này rất thú vị nhưng tôi biết tất cả chúng ta đều như vậy Xây dựng tương lai điện toán không đồng bộ này cho blockchain được hỗ trợ bởi tính toán có thể kiểm chứng ngoài chuỗi. Khi các trường hợp sử dụng được người dùng đại chúng chấp nhận xuất hiện trong những năm tới, tôi tin rằng cuộc tranh luận này cuối cùng sẽ diễn ra.
Liên kết gốc
Chào mừng bạn tham gia cộng đồng chính thức của BlockBeats:
Nhóm Telegram đăng ký: https://t.me/theblockbeats
Nhóm Telegram thảo luận: https://t.me/BlockBeats_App
Tài khoản Twitter chính thức: https://twitter.com/BlockBeatsAsia
