Địa điểm tranh giành tiếp theo của các nhà chiến lược: Thị trường tạo chứng minh ZK
Tuyển chọn TechFlowTuyển chọn TechFlow
Địa điểm tranh giành tiếp theo của các nhà chiến lược: Thị trường tạo chứng minh ZK
Các kỹ sư tài năng đang ứng dụng ZK vào: khả năng mở rộng, quyền riêng tư và tín dụng dữ liệu.
Chuyên sâu báo cáo Web3Tác giả: Yiping, IOSG Ventures
TL,DR;
-
Công nghệ ZK chủ yếu được áp dụng để cải thiện khả năng mở rộng, tính riêng tư và độ tin cậy cho nhiều dự án như Starkware, zkSync, Scroll, Mina, Risc0, Giza và EZKL.
-
Công nghệ ZK đòi hỏi lượng lớn sức mạnh tính toán, gây ra chi phí tính toán từ 10^4 đến 10^6, tạo thách thức cho các đội ngũ hạ tầng.
-
Hai phương pháp chính để tạo bằng chứng ZK là Proof Markets (thị trường bằng chứng) và Proof Networks (mạng bằng chứng). Proof Markets hoạt động như một thị trường mở để giao dịch bằng chứng ZK, trong khi Proof Networks sở hữu máy chủ nội bộ, cung cấp trải nghiệm giống dịch vụ điện toán đám mây để tạo bằng chứng.
-
Phương pháp Proof Market mang lại sự linh hoạt và hiệu quả về chi phí vì nó thúc đẩy một thị trường mở để giao dịch bằng chứng ZK mà không cần quản lý máy chủ cao cấp.
-
Phương pháp Proof Network cung cấp trải nghiệm trơn tru và thân thiện với nhà phát triển, đồng thời đưa ra giải pháp tạo bằng chứng nhanh chóng và đáng tin cậy mà không cần quá chú trọng vào cơ chế thị trường. Về mặt lý thuyết, nó có thể tạo bằng chứng nhanh hơn vì Proof Market cần thời gian để khớp đơn hàng.
-
Các thách thức bao gồm khó khăn trong kiểm thử và gỡ lỗi, xuất hiện các vấn đề an ninh mới, nguy cơ bị khóa vendor, chi phí cao hơn trong một số mô hình sử dụng và mất lợi ích token.
-
Những người dẫn đầu có thể là các công ty có nhu cầu nội bộ cao nhất về việc tạo bằng chứng ZK, vì họ có thể tận dụng cơ sở hạ tầng hiện có và đội ngũ chuyên môn để tối đa hóa hiệu suất sử dụng phần cứng.
-
Các ứng dụng mới nổi bao gồm ZK Coprocessors, ZK Attestation, ZKML và cầu nối ZK, tất cả đều làm gia tăng nhu cầu tạo bằng chứng ZK.
-
Xu hướng phi tập trung trong lĩnh vực ZK được thúc đẩy bởi ưu tiên của ngành công nghiệp blockchain đối với an toàn, chống kiểm duyệt và riêng tư, mặc dù bản chất an toàn nội tại của ZK có nghĩa là những lợi thế này không nhất thiết phải phụ thuộc vào phi tập trung. Đối với ZK, hiệu suất là điểm quan tâm chính.
Mở đầu
Nhu cầu ZK ngày càng tăng
Sau nhiều năm nghiên cứu trong lĩnh vực zk và đạt được những cải tiến lớn về hiệu suất, cuối cùng zk đã được áp dụng vào các ứng dụng thực tế. Những kỹ sư tài năng đã áp dụng ZK vào:
-
Khả năng mở rộng
-
Riêng tư
-
Uy tín dữ liệu
Có rất nhiều dự án thú vị dựa trên zk như Starkware, zkSync, Scroll, Mina, Risc0, =nil;Foundation, EZKL, Giza, Polygon và Manta. Những dự án này đang tạo ra bằng chứng zk một cách ổn định và liên tục mỗi ngày. Hiện tại, trường hợp sử dụng phổ biến nhất của zk là zkRU nhằm giải quyết vấn đề khả năng mở rộng của Ethereum. Trong tháng qua, việc xác minh zk đã tiêu tốn hàng triệu đô la Mỹ trên Ethereum/Ethereum L2s.
Biểu đồ do đội ngũ Near tạo ra này cho thấy mức tiêu thụ gas của zkSN(T)ARK trên Ethereum và các L2. Nó bao gồm các dự án zk nổi bật như zkSync, Polygon, Aztec, Tornado Cash, Loopring, Worldcoin, Tailgun, Sismo, StarkNet, ImmutableX và dydx.
So với zkStark, zkSnark chiếm tới 80% tổng chi phí xác minh. Trong số các dự án này, Worldcoin có chi phí xác minh cao nhất, tiếp theo là zkSync. Mỗi lần xác minh Worldcoin tốn khoảng 2 đô la, còn mỗi lần xác minh zkSync tốn khoảng 30 đô la.
Gánh nặng hạ tầng chứng minh
ZK có thể giải quyết vấn đề khả năng mở rộng nhưng cũng đi kèm một cái giá. Nó đòi hỏi lượng lớn sức mạnh tính toán. ZK tạo ra chi phí tính toán khổng lồ, và các đội ngũ Rollup cần xử lý điều này. @_weidai ước tính rằng việc sử dụng công nghệ ZK hiện nay sẽ có chi phí tính toán từ 10^4 đến 10^6. Về mặt lý thuyết, chúng ta có thể đạt được mức chi phí 10x thông qua mạch chuyên dụng. Nếu thêm lớp trừu tượng máy ảo, chi phí sẽ là 100x.
Biểu đồ bên dưới minh họa sức mạnh tính toán tăng theo thời gian dựa trên định luật Kurzweil. Sau năm 2000, hiệu suất chip tăng gấp 10 lần mỗi thập kỷ. Nếu lấy năm 2000 làm mốc so sánh, đến năm 2025 con số này sẽ đạt 784 lần. Điều này cũng cho thấy tính toán ZK hiện tại vẫn chưa ở cùng bậc độ lớn với năm 2000.
Hãy suy nghĩ kỹ. Chúng ta đang cố gắng tăng khối lượng giao dịch lên 10–100 lần thông qua ZKRU. Khi khối lượng tăng lên, chúng ta lại phải đối mặt với chi phí tính toán từ 10^4 đến 10^6. Những con số này đặt ra áp lực cực lớn lên các đội ngũ hạ tầng ZKRU. Các đội ngũ ZKRU hàng đầu hiện đang sử dụng các máy cao cấp ít nhất 200 GB RAM và có những nhân viên vận hành tài năng để xử lý độ phức tạp hạ tầng này.
Vậy điều đó có ý nghĩa gì đối với một đội ngũ nhỏ muốn khởi chạy một ZKRU hoặc xây dựng giải pháp lớp ba bằng công nghệ ZK? Một nhà phát triển độc lập muốn xây dựng một Dapp ZK thì nên mua và vận hành các máy chủ cao cấp này như thế nào?
Hiện nay, việc khởi chạy một ZKRU không khó. Bạn có thể dùng ZK Stack và làm theo hướng dẫn tài liệu để triển khai ZKRU mới. Phần khó nhất là vận hành được hạ tầng cao cấp. Quản lý một cụm máy chủ khó hơn nhiều so với việc bảo trì laptop cá nhân hàng ngày.
Ngoài ra, tăng tốc phần cứng cũng không phải dạng cắm là chạy; các đội khác nhau cần cấu hình máy chủ khác nhau tùy theo hệ thống bằng chứng ZK mà họ sử dụng.
Việc đảm bảo tính sẵn sàng cao cũng là một chủ đề nan giải. Nếu một lượng lớn người dùng đột nhiên bắt đầu鑄 Ordinals trên ZKRU của bạn và bạn phải đối mặt với lưu lượng tăng gấp 1000 lần thì sao? Ngay cả đội ngũ giàu kinh nghiệm như Arbitrum cũng từng ngừng hoạt động vài giờ do lượng giao dịch Ordinals tăng vọt.
Việc tạo ra lượng lớn bằng chứng kiến thức không cần máy chủ cao cấp. Với các đội nhóm vừa và nhỏ, việc thiết lập và duy trì một dàn máy chủ cao cấp sẽ là gánh nặng lớn. Để hỗ trợ tốt hơn cho các đội nhóm này dễ dàng áp dụng công nghệ ZK, các dự án mới đang nỗ lực giúp họ xử lý mọi độ phức tạp về hạ tầng tính toán.
Thị trường bằng chứng
Nguồn: IOSG Ventures
Thị trường bằng chứng và mạng bằng chứng là hai phương pháp chính. Thị trường bằng chứng giống như một thị trường mở. Để tạo bằng chứng, người dùng cần tìm đối tác sẵn sàng bán bằng chứng với mức giá nhất định. Mạng bằng chứng hoạt động như dịch vụ đám mây truyền thống, nhà phát triển gửi mạch và dữ liệu đầu vào của họ, bộ cân bằng tải tập trung sẽ phân bổ các máy chủ nội bộ trong mạng bằng chứng để tạo bằng chứng cho người dùng.
Thị trường bằng chứng là một phương pháp phổ biến trong hạ tầng bằng chứng ZK. Đây là một thị trường mở nơi người mua và người bán giao dịch bằng chứng ZK. Đội ngũ thị trường bằng chứng ZK không cần lo lắng về phần cứng hay sở hữu máy chủ cao cấp; họ tập trung vào cơ chế giao dịch và xác minh bằng chứng để thu hút các nhà cung cấp phần cứng bên thứ ba.
Thị trường bằng chứng là cách tiếp cận cởi mở hơn. Nó chào đón các nhà cung cấp phần cứng bên thứ ba. Miễn là có người bán bằng chứng, người mua có thể mua bằng chứng ZK với giá đô la. Khi xác minh bằng chứng, không cần ai đạt được sự đồng thuận—chỉ người vận hành thị trường chịu trách nhiệm xác minh. Trong thị trường bằng chứng, nhà phát triển zkDapp gửi một đơn đặt hàng bằng chứng, bao gồm giá cả, thời gian tạo, thời gian hết hạn và dữ liệu đầu vào công khai. Sau đó, các nhà cung cấp phần cứng bên thứ ba sẽ nhận đơn và tạo bằng chứng.
Cơ cấu kinh tế của thị trường bằng chứng rất đơn giản. Người tạo bằng chứng cần đặt cọc. Nếu họ tạo bằng chứng sai hoặc không cung cấp bằng chứng trước thời hạn, họ sẽ bị phạt. Những người tạo bằng chứng có khoản đặt cọc lớn hơn sẽ có thể tạo nhiều bằng chứng cùng lúc.
Các bên tham gia chính trong lĩnh vực thị trường bằng chứng là =nil và Marlin.
=nil Foundation
Thị trường bằng chứng có người bán và người mua. Người mua là các nhà phát triển dApp. Họ trả phí cho người bán để tạo bằng chứng. Có nhiều yếu tố ảnh hưởng đến giá bằng chứng. Các yếu tố chính bao gồm kích thước mạch, hệ thống bằng chứng, thời gian tạo và kích thước đầu vào.
Dưới đây là quy trình hoạt động của thị trường bằng chứng =nil:
-
Người yêu cầu bằng chứng gửi yêu cầu đến thị trường với mức giá mong muốn c_r.
-
Thị trường bằng chứng khóa c_r token trong tài khoản người mua.
-
Người sản xuất bằng chứng gửi đề xuất đến thị trường với giá c_p <= c_r.
-
Thị trường bằng chứng ghép nối yêu cầu với đề xuất của người sản xuất.
-
Người sản xuất tạo bằng chứng và gửi nó đến thị trường.
-
Thị trường bằng chứng xác minh bằng chứng và thanh toán c_r - phí token cho người sản xuất.
-
Người yêu cầu nhận được bằng chứng của họ và sử dụng nó.
Thiết kế thị trường cung cấp trải nghiệm giống giao dịch. Giá tạo bằng chứng thay đổi theo thời gian thực.
Dưới đây là ảnh chụp giao diện sản phẩm của thị trường bằng chứng =nil.
Hiện tại, Proof Market chỉ hỗ trợ một số lượng giới hạn các tuyên bố, trong đó bằng chứng tuyên bố Mina là sôi động nhất. Cụ thể, Proof Market chấp nhận các mạch dựa trên trình biên dịch zkLLVM và hệ thống bằng chứng Placeholder của họ.
Gevulot
Gevulot hướng tới việc mang tính phi tập trung vào thị trường bằng chứng. Gevulot là một blockchain lớp một mở và có thể lập trình, được thiết kế dành riêng cho thị trường bằng chứng. Blockchain lớp một này chịu trách nhiệm phân phối, xác minh và phân bổ phần thưởng cho các yêu cầu bằng chứng. Mạng lưới người chứng minh tận dụng unikernel nhẹ để đạt hiệu suất cao. Gevulot sử dụng hàm ngẫu nhiên có thể xác minh (VRF) để phân bổ công việc chứng minh cho một nhóm nhỏ người chứng minh, đảm bảo độ tin cậy của hệ thống.
Người dùng có thể triển khai chương trình một cách liền mạch, chi phí dự đoán được, và có thể đặt mức phí tối đa dựa trên số chu kỳ thực thi chương trình.
Người chứng minh được thưởng thông qua mạng Gevulot và phí người dùng, khuyến khích họ tạo ra bằng chứng hiệu quả và cạnh tranh. Người chứng minh nhanh nhất sẽ nhận được nhiều phần thưởng mạng nhất. Phí người dùng sẽ được chia đều cho tất cả các nút hoàn thành bằng chứng.
Gevulot hỗ trợ triển khai chương trình bằng nhiều ngôn ngữ lập trình như C, C++, Go, Java, Node.js, Python, Rust, Ruby, PHP,... vì VM nền tảng Nanos của Gevulot hỗ trợ tệp nhị phân ELF Linux x86_64.
Gevulot là một nền tảng tính toán phổ quát hỗ trợ nhiều ngôn ngữ và hệ thống bằng chứng khác nhau. Gevulot dựa vào unikernel Nanos để đảm bảo người chứng minh có thể dễ dàng chạy trên các máy khác nhau. Tất cả người chứng minh cần được biên dịch thành một hình ảnh unikernel đơn.
Mạng bằng chứng
Proof Network cung cấp một phương pháp thân thiện hơn với nhà phát triển. Cách vận hành của nó giống như các nhà cung cấp dịch vụ đám mây Web2. Nhà phát triển gửi dữ liệu tải qua REST API, sau đó Proof Network trả lại bằng chứng. Nhà phát triển không cần lo lắng về biến động giá hay bên nào sẽ tạo bằng chứng.
Risc0
Risc Zero tận dụng zkVM của họ để khởi chạy Bonsai. Nhờ sức mạnh của zkVM, người dùng có thể yêu cầu Bonsai tạo ra nhiều loại tuyên bố khác nhau. Ví dụ, dựa trên Bonsai và Risc0 VM, Zeth tạo bằng chứng cho khối Ethereum.
Succinct
Gần đây, Succinct cũng ra mắt sản phẩm mới. Thay vì cung cấp circuit qua REST API, Succinct cung cấp phương pháp giống hàm đám mây hơn.
Dưới đây là quy trình làm việc của người dùng:
-
Kết nối tài khoản GitHub và triển khai mạch
-
Gọi API qua REST hoặc hợp đồng thông minh và truyền dữ liệu đầu vào mạch
-
Truy vấn kết quả qua REST API hoặc hợp đồng thông minh
So với BONSAI, Succinct có những lợi thế sau về trải nghiệm nhà phát triển:
-
Quản lý kho mã mạch đơn giản hơn
-
Không cần gửi lại mạch mỗi lần
-
Triển khai hợp đồng thông minh một cú nhấp để tạo và xác minh bằng chứng trên chuỗi
-
Khám phá các bằng chứng ZK phổ biến
-
Bảng điều khiển theo dõi trạng thái tạo bằng chứng
-
Hỗ trợ rustc, gnark, circom, plonky2
Mạng bằng chứng hay thị trường bằng chứng?
Thị trường bằng chứng mang lại sự linh hoạt về định giá cho cả người mua và người bán. Nó mời gọi tất cả các nhà cung cấp phần cứng tham gia, giúp giảm chi phí cho người mua. Tuy nhiên, cần lưu ý rằng khoản tiết kiệm có thể khác nhau giữa cá nhân và doanh nghiệp. Thông thường, các dịch vụ tập trung như mạng bằng chứng có thể cung cấp miễn phí cho cá nhân, đồng thời tính phí cao cho doanh nghiệp nhưng đi kèm hỗ trợ khách hàng VIP. Ví dụ, nếu doanh nghiệp dự định ra mắt sự kiện hoặc tính năng mới, họ có thể đặt trước một phần năng lực tính toán trên mạng bằng chứng. Một thị trường phi tập trung có thể mang lại định giá cân bằng và cạnh tranh hơn.
Trên thị trường hiện nay, các sản phẩm dựa trên mạng bằng chứng dường như cung cấp trải nghiệm mượt mà hơn cho nhà phát triển. Chúng xử lý mọi công việc tạo bằng chứng, hỗ trợ các hệ thống bằng chứng chính mà không đưa vào bất kỳ khái niệm phức tạp mới nào. Chúng cung cấp trải nghiệm người dùng nhất quán. Về mặt lý thuyết, mạng bằng chứng cung cấp việc tạo bằng chứng nhanh hơn vì thị trường bằng chứng cần thời gian để ghép nối đơn hàng. Nếu bạn quen thuộc với điện toán đám mây, mạng bằng chứng giống như một hàm đám mây vô trạng thái.
Chúng ta có =nil Foundation và Gevulot đang làm việc trên thị trường bằng chứng. Succinct và Risc0 thì đang tập trung vào mạng bằng chứng. Các công ty phần cứng như Ulvetanna và Cystic cũng đóng góp lớn vào việc cải thiện hiệu suất bằng chứng ZK trên GPU và phát triển chip ZK chuyên dụng thế hệ tiếp theo.
Thị trường bằng chứng tương đối dễ khởi động. Đối với các dự án hạ tầng ZK, thiết kế thị trường bằng chứng giúp thu hút nhiều nhà cung cấp phần cứng hơn. Với thiết kế phi tập trung, họ có thể dễ dàng mở rộng mạng lưới để đáp ứng nhu cầu tính toán trong tương lai.
Trong tương lai, chúng tôi dự đoán sẽ thấy sự kết hợp giữa thiết kế mạng bằng chứng và thị trường bằng chứng. Mục tiêu là cung cấp trải nghiệm liền mạch cho nhà phát triển, đồng thời tích hợp thị trường bằng chứng như một nền tảng phía sau để thúc đẩy việc bổ sung tài nguyên tính toán. Đây là hướng đi mà Succinct dự định theo đuổi trong tương lai gần. Chúng tôi cũng thấy sự chuyển đổi tương tự ở các thị trường khác, ví dụ như Infura. Infura sở hữu máy chủ riêng nhưng cũng có kế hoạch hướng dẫn các bên tham gia được cấp phép cung cấp hạ tầng.
Nguồn: IOSG Ventures
Ai thực sự cần hạ tầng ZK đám mây?
Chúng tôi cho rằng những nhà phát triển muốn rút ngắn thời gian đưa sản phẩm ra thị trường và xây dựng các ứng dụng gọn nhẹ, linh hoạt, có thể mở rộng hoặc cập nhật nhanh chóng sẽ được hưởng lợi lớn từ hạ tầng ZK đám mây này.
Đối với các ứng dụng có sự chênh lệch lớn giữa mức sử dụng đỉnh và đáy, hạ tầng ZK đám mây sẽ giúp giảm chi phí.
Đối với các ứng dụng này, việc mua một cụm máy chủ luôn chạy và sẵn sàng cho đỉnh cao sẽ khá tốn kém. Việc này gây lãng phí lớn khi sử dụng ở mức thấp. Hạ tầng đám mây có thể mở rộng tùy lúc, nâng cao hiệu suất, và tự động giải phóng năng lực tính toán dư thừa khi không ở đỉnh.
Ai sẽ là người dẫn đầu?
Từ hiểu biết về ngành công nghiệp đám mây Web2, chúng tôi nhận thấy các công ty có nhu cầu tính toán lớn nhất thường nắm giữ vị trí dẫn đầu trong kinh doanh hạ tầng đám mây. Họ có thể tận dụng lợi thế về khả năng mở rộng, chi phí, đội ngũ và sản phẩm đổi mới.
Điều này cũng đúng với hạ tầng đám mây ZK. Chúng tôi cho rằng các dự án có nhu cầu lớn nhất về việc tạo và xác minh bằng chứng có tiềm năng sở hữu một trong những doanh nghiệp hạ tầng đám mây ZK thành công nhất.
Đối với các dự án nội bộ tạo ra lượng lớn bằng chứng ZK, họ đã sở hữu nhiều hạ tầng, công cụ tối ưu hóa và đội ngũ chuyên môn. Bằng cách chia sẻ tài nguyên bằng chứng xuyên ứng dụng, họ có thể tối đa hóa hiệu suất sử dụng phần cứng; khi một ứng dụng không cần tạo bằng chứng ngay lập tức, người chứng minh có thể được tái sử dụng cho mục đích khác.
Về cơ bản, các dự án lớn này đều có hệ thống bằng chứng riêng. Hạ tầng bằng chứng bên thứ ba thường khó tối ưu hóa cho nhiều hệ thống bằng chứng khác nhau mà các dự án lớn sử dụng. Bằng cách cung cấp người chứng minh đám mây nhanh chóng và dễ sử dụng, các dự án lớn có thể mở rộng hiệu quả hệ sinh thái hệ thống bằng chứng của họ.
Đối với ZKRU, hạ tầng ZK đám mây có thể thúc đẩy việc sử dụng các bản fork. Việc khởi chạy một lớp 2 hoặc lớp 3 mới trên các ZKRU này không khó, nhưng duy trì hạ tầng ZK sẽ tốn kém. Cung cấp người chứng minh đám mây sẵn sàng sử dụng và linh hoạt có thể giúp thu hút thêm nhiều nhà phát triển. Hiện tại, hầu hết nhà phát triển thường sử dụng SDK OPRU để xây dựng lớp 2 hoặc lớp 3 mới vì hạ tầng tương ứng dễ quản lý.
Nếu không xây dựng hạ tầng ZK riêng, các dự án ZK lớn này phải trả phí cao cho các nhà cung cấp tính toán bên thứ ba. Họ cũng bị giới hạn về tốc độ phát triển vì không thể luôn tùy chỉnh hạ tầng của mình để nâng cao hiệu suất và giảm chi phí tạo bằng chứng.
Ai có nhu cầu lớn nhất về bằng chứng kiến thức không?
Bên cạnh ZKRU và mạng lớp 1, gần đây chúng tôi còn thấy nhiều ứng dụng ZK mới nổi. Tất cả đều có nhu cầu rất lớn về việc tạo bằng chứng.
ZK coprocessor cho phép các nhà phát triển hợp đồng thông minh truy cập trạng thái blockchain trong quá khứ một cách không cần tin tưởng. ZK coprocessor tạo bằng chứng ZK cho các trạng thái blockchain quá khứ này. Đây có thể là giải pháp an toàn và đáng tin cậy hơn so với oracle.
ZK attestation giúp người dùng mang dữ liệu hoặc thông tin danh tính ngoài chuỗi lên blockchain. Người xác minh xác minh dữ liệu này ngoài chuỗi, sau đó tạo một bằng chứng ZK và đặt nó lên blockchain.
ZKML (Máy học với ZK) làm cho việc suy luận trên chuỗi trở nên khả thi. Nhà cung cấp tính toán thực hiện tính toán ML ngoài chuỗi, tạo bằng chứng ZK và đăng bằng chứng đó lên blockchain.
Cầu nối ZK là phiên bản an toàn hơn của cầu nối liên chuỗi. Nó tạo bằng chứng lưu trữ hoặc thậm chí bằng chứng đồng thuận cho chuỗi nguồn và đặt nó lên chuỗi đích. Điều này có thể thay thế các cầu nối liên chuỗi hiện tại.
Mạng bằng chứng phi tập trung đặc biệt ở điểm nào?
Trong ngành công nghiệp blockchain, phi tập trung là câu chuyện được ưa chuộng nhất. Phi tập trung mang lại nhiều lợi ích:
-
An toàn
-
Chống kiểm duyệt
-
Riêng tư
Bằng chứng ZK khác với tính toán thông thường. ZK có tính an toàn nội tại. Bất kỳ ai cũng có thể dễ dàng và nhanh chóng xác minh bằng chứng để đảm bảo sự trung thực của người chứng minh. Trong lĩnh vực ZK, phi tập trung không phải là điều kiện tiên quyết cho an toàn.
Bằng chứng ZK tập trung vào các chi tiết phức tạp ở tầng thấp, được xây dựng thành mạch. Mặc dù nội dung bên trong các mạch này cực kỳ khó kiểm duyệt, nhưng việc kiểm duyệt vẫn có thể được thực hiện hiệu quả bằng cách nhắm vào người yêu cầu tạo bằng chứng ZK.
Đối với mạng bằng chứng, riêng tư có thể trở thành vấn đề vì người dùng gửi dữ liệu riêng tư đến mạng bằng chứng. Giải pháp lý tưởng là tạo bằng chứng tại chỗ để ngăn rò rỉ dữ liệu. Điều này đặt ra thách thức về hiệu suất cục bộ. Các giải pháp khác có thể là giao thức MPC (tính toán đa bên) ZK mới hoặc tạo bằng chứng trong môi trường thực thi đáng tin cậy (TEE). Một mạng bằng chứng phi tập trung không thể mang lại thêm tính riêng tư.
Ngoài câu chuyện, chống kiểm duyệt có thể là lý do chính để xây dựng mạng bằng chứng phi tập trung. Công nghệ bằng chứng ZK vẫn còn ở giai đoạn sơ khai, và cho đến nay chúng tôi chưa quan sát thấy bất kỳ hình thức kiểm duyệt nào trong lĩnh vực này. Tuy nhiên, thách thức chính cản trở sự phát triển của ZK là hiệu suất. Việc đưa vào mạng bằng chứng phi tập trung có thể làm tăng nhu cầu tính toán để tạo bằng chứng.
Kết luận
Ứng dụng bằng chứng kiến thức không đang phát triển nhanh chóng với phạm vi ứng dụng rộng rãi. Chúng tôi dự đoán sẽ thấy bằng chứng ZK được tích hợp vào nhiều stack công nghệ khác nhau. Chúng tôi đã thấy ZK layer1, mạng ZK lớp 2, ZKML, ZKVM, ZK-Email. Các nhà phát triển đang xây dựng ZK oracles, nguồn dữ liệu ZK và cơ sở dữ liệu ZK. Chúng ta đang trên con đường "ZK hóa mọi thứ". Chi phí tính toán do ZK mang lại buộc các nhà phát triển phải triển khai mạch của họ trên máy chủ cao cấp. Do đó, chúng tôi dự đoán nhu cầu về hạ tầng chứng minh ZK đám mây sẽ tăng lên nhằm giúp các nhà phát triển thoát khỏi sự phức tạp trong vận hành hạ tầng.
Trong lĩnh vực này, những nhận định của chúng tôi bao gồm:
-
Thị trường bằng chứng và mạng bằng chứng là hai phương pháp chính giúp các nhà phát triển zkDapp thoát khỏi sự phức tạp của hạ tầng.
-
Chúng tôi dự đoán sẽ có một phương pháp lai kết hợp cơ chế mạng bằng chứng và thị trường bằng chứng.
-
Không phải tất cả các nhà phát triển zkDapp đều phù hợp với hạ tầng ZK đám mây. Các dự án vừa có lưu lượng ổn định có thể tự lưu trữ máy chủ để giảm chi phí.
-
Những người dẫn đầu hạ tầng ZK đám mây sẽ là các dự án có nhu cầu lớn về việc tạo bằng chứng ZK, như các ZKRU hàng đầu. Họ có động lực kinh tế mạnh mẽ để làm điều này.
-
Phi tập trung là câu chuyện chủ đạo trong lĩnh vực mật mã vì nó mang lại các đặc tính như riêng tư, chống kiểm duyệt và an toàn. Bằng chứng ZK đã sở hữu một số đặc tính này. Hiện tại, điểm bán hàng chính của thị trường bằng chứng phi tập trung là chống kiểm duyệt.
-
Độ nóng của hạ tầng chứng minh ZK đám mây có liên hệ chặt chẽ với số lượng zkDapp hiện có trên thị trường. Mặc dù một số dự án ban đầu nhấn mạnh hạ tầng chứng minh ZK đám mây như một tính năng then chốt, nhưng nhiều dự án cuối cùng lại chuyển sang các câu chuyện mới khác.
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
IOSG Ventures
