Chiến trường tiếp theo là một lời giải thích chi tiết về tình trạng hiện tại của thị trường để chứng minh thế hệ ZK

Bởi Yiping, IOSG Ventures

TL, DR;

• Công nghệ ZK chủ yếu được sử dụng để cải thiện khả năng mở rộng, quyền riêng tư và độ tin cậy của các dự án khác nhau như Starkware, zkSync, Scroll, Mina, Risc0, Giza và EZKL.
• Công nghệ ZK đòi hỏi rất nhiều sức mạnh tính toán, dẫn đến chi phí tính toán từ 10 ^ 4 đến 10 ^ 6, đặt ra thách thức cho các nhóm cơ sở hạ tầng.
• Các phương pháp chính để tạo bằng chứng ZK là Thị trường bằng chứng và 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 có các máy chủ nội bộ cung cấp trải nghiệm giống như dịch vụ đám mây để tạo bằng chứng.
• Cách tiếp cận Proof Market cho phép linh hoạt và hiệu quả chi phí, vì nó tạo điều kiện cho một thị trường mở, nơi các giao dịch bằng chứng ZK có thể được thực hiện mà không cần quản lý máy chủ cao cấp.
• Cách tiếp cận Proof Network cung cấp trải nghiệm mượt mà và thân thiện với nhà phát triển và cung cấp giải pháp tạo ra bằng chứng nhanh chóng và đáng tin cậy mà ít tập trung vào cơ chế thị trường. Về mặt lý thuyết, nó có thể tạo ra bằng chứng một cách nhanh chóng, vì nó cũng mất thời gian để khớp các đơn đặt hàng trong thị trường bằng chứng.
• Những thách thức bao gồm khó khăn trong việc kiểm tra và gỡ lỗi, các vấn đề bảo mật mới, khóa nhà cung cấp tiềm năng, phí cao hơn trong một số kiểu sử dụng và tổn thất tiện ích mã thông báo.
• Những người chơi hàng đầu có thể là những công ty có nhu cầu chứng thực ZK nội bộ nhất, vì họ có thể tận dụng cơ sở hạ tầng hiện có và các nhóm chuyên dụng để tối đa hóa việc 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à ZK Bridges, tất cả đều tạo ra nhu cầu lớn hơn để tạo ra các bằng chứng ZK.
• Trong không gian ZK, các mạng Bằng chứng Bằng chứng Phi tập trung được thúc đẩy bởi sự ưu tiên của ngành công nghiệp Blockchain về bảo mật, chống kiểm duyệt và quyền riêng tư, mặc dù bảo mật nội tại của ZK có nghĩa là những lợi thế này không yêu cầu Phân cấp như một điều kiện tiên quyết. Đối với Zk, hiệu suất là mối quan tâm chính.

Giới thiệu

** Nhu cầu ngày càng tăng đối với ZK **

Sau nhiều năm nghiên cứu trong không gian ZK và những cải tiến lớn về hiệu suất, ZK cuối cùng đã được sử dụng trong các ứng dụng trong thế giới thực. Các kỹ sư tài năng áp dụng ZK để:

• Khả năng mở rộng *Bảo mật
• Tín dụng dữ liệu

Có rất nhiều dự án thú vị dựa trên zk, chẳng hạn như Starkware, zkSync, Scroll, Mina, Risc0, =nil; Foundation, EZKL, Giza, Polygon và Manta. Các dự án này tạo ra các bằng chứng zk đều đặn và nhất quán hàng ngày. Trường hợp sử dụng zk phổ biến nhất tại thời điểm này là zkRU để giải quyết các vấn đề về khả năng mở rộng của Ethereum. Trong tháng qua, xác minh zk đã chi hàng triệu đô la cho Ethereum / Ethereum L2s.

Nguồn: Chi phí xác minh ZK tăng mạnh so với năm ngoái.

Biểu đồ này được tạo ra bởi nhóm Near cho thấy mức tiêu thụ gas của zkSN (T) ARK trên Ethereum và L2s. Nó bao gồm các dự án ZK phổ biến như zkSync, Polygon, Aztec, Tornado Cash, Loopring, Worldcoin, Tailgun, Sismo, StarkNet và ImmutableX, cũng như dydx.

So với zkStark, zkSnark chiếm 80% tổng chi phí về mặt xác minh. Trong số tất cả các dự án này, Worldcoin có chi phí xác minh cao nhất, tiếp theo là zkSync. Chi phí xác minh cho mỗi WorldCoin là khoảng 2 đô la. Chi phí xác minh cho mỗi zkSync là khoảng $ 30.

** Bằng chứng về gánh nặng cơ sở hạ tầng**

ZK giải quyết vấn đề về khả năng mở rộng, nhưng nó phải trả giá. Nó đòi hỏi rất nhiều sức mạnh tính toán. ZK đi kèm với rất nhiều chi phí tính toán và nhóm Rollup cần phải giải quyết vấn đề này. @_weidai ước tính rằng sẽ có 10 ^ 4 đến 10 ^ 6 chi phí tính toán với công nghệ ZK ngày nay. Về mặt lý thuyết, chúng ta có thể đạt được gấp 10 lần chi phí tính toán với mạch chuyên dụng. Nếu bạn thêm lớp trừu tượng của máy ảo, bạn có 100 lần chi phí tính toán.

Biểu đồ dưới đây mô tả biểu đồ sức mạnh tính toán dựa trên tăng trưởng hàng năm theo định luật Kummei. Sau năm 2000, hiệu suất chip tăng gấp 10 lần mỗi thập kỷ. Nếu chúng ta so sánh sức mạnh tính toán Benchmark 2000, nó sẽ là 784 lần vào năm 2025. Điều này cũng chỉ ra rằng các tính toán ZK hiện tại vẫn không theo thứ tự cường độ so với năm 2000.

Nguồn:

Hãy suy nghĩ về nó. Chúng tôi đang cố gắng tăng khối lượng giao dịch từ 10 đến 100 lần cho ZKRU. Khi khối lượng tăng lên, chúng ta cũng 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 gây áp lực rất lớn lên nhóm cơ sở hạ tầng ZKRU. Nhóm ZKRU hàng đầu đang sử dụng các máy cao cấp với bộ nhớ ít nhất 200 GB và có đội ngũ nhân viên vận hành tài năng để xử lý những phức tạp về cơ sở hạ tầng này.

Vậy điều đó có ý nghĩa gì đối với một nhóm nhỏ khi khởi chạy ZKRU hoặc xây dựng giải pháp lớp 3 với ngăn xếp công nghệ ZK? Nếu một nhà phát triển độc lập muốn xây dựng ZK Dapps, làm thế nào để họ mua các máy chủ cao cấp này và vận hành chúng đúng cách?

Bây giờ, không khó để bắt đầu một ZKRU. Bạn có thể sử dụng ZK Stack và làm theo hướng dẫn trong tài liệu để triển khai ZKRU mới. Phần khó nhất là làm cho cơ sở hạ tầng cao cấp hoạt động. Quản lý một nhóm máy chủ khó khăn hơn nhiều so với việc duy trì máy tính xách tay cá nhân của chúng tôi hàng ngày.

Ngoài ra, tăng tốc phần cứng không phải là plug-and-play; tùy thuộc vào hệ thống Zero-Knowledge Proof mà họ sử dụng, các nhóm cần thiết lập các cấu hình khác nhau cho máy chủ của họ.

Đảm bảo tính sẵn sàng cao cũng là một chủ đề khó khăn. Điều gì sẽ xảy ra nếu một nhóm người dùng bắt đầu đúc Ordinals trên ZKRU của bạn và bạn đột nhiên phải đối mặt với thông lượng gấp 1000 lần? Ngay cả một đội ngũ giàu kinh nghiệm như Arbitrum cũng ngừng hoạt động trong nhiều giờ do sự gia tăng đột biến trong các giao dịch Ordinals.

Tạo ra một lượng lớn Zero-Knowledge Proof yêu cầu hỗ trợ máy chủ cao cấp. Đối với các nhóm vừa và nhỏ, việc thiết lập và duy trì một loạt các máy chủ cao cấp sẽ là một gánh nặng lớn. Để giúp các nhóm áp dụng tốt hơn các công nghệ không có kiến thức một cách đơn giản và nhanh chóng, Dự án mới nổi cố gắng giúp các nhóm này đối phó với tất cả sự phức tạp của cơ sở hạ tầng điện toán.

Thị trường bằng chứng

Nguồn: IOSG Ventues

Bằng chứng về thị trường và bằng chứng về mạng là hai phương pháp chính. Chứng minh rằng thị trường giống như một thị trường mở. Để tạo ra bằng chứng, người dùng cần tìm một đối tác sẵn sàng bán bằng chứng ở một mức giá nhất định. Mạng bằng chứng giống như một dịch vụ đám mây truyền thống, nơi các nhà phát triển gửi mạch và đầu vào của họ và bộ cân bằng tải tập trung 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 Cơ sở hạ tầng ZK Proof. Bằng chứng thị trường 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. Nhóm ZK Proof Marketplace không cần quan tâm đến phần cứng ZK Proof hoặc sở hữu các máy chủ cao cấp, họ tập trung vào ZK Proof về các giao dịch và cơ chế xác minh để tích hợp các nhà cung cấp phần cứng bên thứ ba.

Chứng minh rằng thị trường là một cách tiếp cận cởi mở hơn. Nó hoan nghênh các nhà cung cấp phần cứng bên thứ ba. Người mua có thể mua bằng chứng ZK với giá USD miễn là người bán có bằng chứng đó. Không cần phải đạt được sự đồng thuận của tất cả mọi người trên thị trường khi xác minh bằng chứng và chỉ những người điều hành thị trường mới chịu trách nhiệm xác minh. Trong Proof Marketplace, nhà phát triển zkDapp gửi đơn đặt hàng ZK Proof, bao gồm giá, thời gian tạo, thời gian chờ và đầu vào công khai. Nhà cung cấp phần cứng bên thứ ba sau đó sẽ chấp nhận đơn đặt hàng và tạo ra bằng chứng.

Cơ cấu kinh tế của thị trường đã được chứng minh là đơn giản. Máy phát điện bằng chứng cần phải được đặt cọc. Nếu họ tạo ra bằng chứng sai hoặc không cung cấp nó trước thời hạn, họ sẽ bị phạt. Trình tạo bằng chứng có nhiều cổ phần hơn sẽ có thể tạo nhiều bằng chứng cùng một lúc.

Bằng chứng là những người chơi chính trong ngành công nghiệp thị trường là = nil và Marlin.

=nil Foundation

Bằng chứng là có người bán và người mua trên thị trường. Người mua là một nhà phát triển dApp. Họ trả cho người bán một khoản phí để tạo ra bằng chứng. Có nhiều yếu tố ảnh hưởng đến giá của một 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 làm việc cho = NIL Proof Marketplace:

1. Chứng minh bên yêu cầu gửi yêu cầu ra thị trường với giá dự kiến là c_r.
2. Chứng minh Token c_r trong tài khoản của người mua bị khóa thị trường.
3. Bằng chứng rằng nhà sản xuất gửi đề xuất ra thị trường với giá c_p <= c_r.
4. Thị trường chứng thực khớp yêu cầu với đề xuất của nhà sản xuất chứng thực.
5. Proof Producer tạo ra bằng chứng và gửi nó ra thị trường.
6. Chứng minh rằng thị trường xác minh bằng chứng và trả c_r - phí Token cho nhà sản xuất.
7. Người yêu cầu chứng thực lấy chứng thực của họ và sử dụng nó.
8. Thị trường được thiết kế để cung cấp trải nghiệm giống như giao dịch. Bằng chứng tạo ra giá thay đổi theo thời gian thực.

Dưới đây là ảnh chụp màn hình của sản phẩm từ = NIL Proof Marketplace.

Nguồn:

Hiện tại, Proof Market hỗ trợ một số lượng khiếu nại hạn chế, với các tuyên bố Mina được chứng minh là hoạt động tích cực 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 chứng minh Trình giữ chỗ của họ.

Gevulot

Gevulot cam kết đưa Phân cấp lên Thị trường Bằng chứng. Gevulot phục vụ như một Blockchain lớp 1 mở và khả năng lập trình được thiết kế cho thị trường bằng chứng. Blockchain ở lớp đầu tiên xử lý việc phân phối, xác nhận và phân phối phần thưởng của các yêu cầu bằng chứng. Mạng prover tận dụng các unikernel nhẹ cho hiệu suất cao. Gevulot sử dụng Hàm ngẫu nhiên có thể xác minh (VRF) để phân phối công việc chứng minh cho một nhóm nhỏ các nhà chứng minh, đảm bảo độ tin cậy của hệ thống.

Nguồn:

Người dùng có thể triển khai các chương trình liền mạch, với chi phí có thể dự đoán được và người dùng có thể đặt chi phí tối đa dựa trên số chu kỳ cần thiết để 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 đính kèm 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 với tất cả các Node hoàn thành bằng chứng.

Gevulot hỗ trợ nhiều ngôn ngữ lập trình để triển khai chương trình, bao gồm C, C ++, Go, Java, Node.js, Python, Rust, Ruby, PHP, v.v., vì VM Nanos cơ bản của Gevulot hỗ trợ các tệp nhị phân ELF Linux x86_64.

Gevulot là một nền tảng điện toán đa năng hỗ trợ các ngôn ngữ và hệ thống chứng minh khác nhau. Gevulot dựa vào lõi đơn Nano để đảm bảo rằng các máy phát hành có thể dễ dàng chạy trên các máy khác nhau. Tất cả các prover cần phải được biên dịch thành một hình ảnh lõi duy nhất.

Mạng lưới chứng minh

Proof Network cung cấp một cách tiếp cận thân thiện hơn với người dùng đối với trải nghiệm của nhà phát triển. Nó hoạt động tương tự như nhà cung cấp dịch vụ đám mây Web2. Nhà phát triển gửi dữ liệu tải trọng qua API REST và mạng chứng thực sau đó trả về chứng thực cho nhà phát triển. Các nhà phát triển không cần quan tâm đến Biến động giá và bên nào sẽ tạo ra bằng chứng.

Risc0

Risc Zero đã ra mắt Bonsai với zkVM của họ. Với sức mạnh của zkVM, người dùng có thể để Bonsai tạo ra nhiều yêu cầu khác nhau. Ví dụ: dựa trên máy ảo Bonsai và Risc0, Zeth tạo ra các bằng chứng cho EthereumBlock.

Nguồn:

** Ngắn gọn**

Gần đây, Succinct cũng đã ra mắt sản phẩm mới của họ. Thay vì cung cấp mạch API REST, Succinct cung cấp một cách tiếp cận giống như đám mây hơn.

Đây là quy trình làm việc của người dùng:

1. Kết nối với tài khoản GitHub của bạn và triển khai mạch
2. Gọi API qua REST hoặc Smart Contract và truyền vào đầu vào mạch
3. Truy vấn kết quả qua REST API hoặc Smart Contract

Nguồn:

So với BONSAI, Succinct có những ưu điểm sau về trải nghiệm của nhà phát triển:

• Dễ dàng hơn để quản lý các cơ sở mã mạch
• Không cần mạch truyền thứ cấp
• Triển khai Hợp đồng thông minh bằng một cú nhấp chuột để 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
• Xem trạng thái tạo bằng chứng trong bảng điều khiển
• Hỗ trợ rustx, gnark, circom, plonky2

Nguồn:

** Mạng lưới bằng chứng hoặc thị trường bằng chứng **

Thị trường chứng thực cung cấp sự linh hoạt hơn về giá cho người mua và người bán chứng thực. Nó mờ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. Nhưng điều đáng chú ý là số tiền tiết kiệm có thể thay đổi từ cá nhân này sang cá nhân khác và doanh nghiệp này sang doanh nghiệp khác. Thông thường, các dịch vụ tập trung như mạng chứng thực có thể cung cấp dịch vụ miễn phí cho các cá nhân trong khi tính phí doanh nghiệp một khoản phí khổng lồ nhưng cung cấp quyền truy cập vào hỗ trợ khách hàng VIP. Ví dụ: nếu một doanh nghiệp có kế hoạch triển khai một sự kiện hoặc tính năng mới, doanh nghiệp đó có thể dự trữ trước một số sức mạnh tính toán trên mạng chứng thực. Một thị trường phi tập trung có thể trình bày giá cả cân bằng và cạnh tranh hơn.

Trong thị trường ngày 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 các nhà phát triển. Nó xử lý tất cả các công việc tạo bằng chứng và hỗ trợ các hệ thống chứng minh chính mà không giới thiệu bất kỳ khái niệm phức tạp mới nào. Nó cung cấp trải nghiệm người dùng nhất quán. Về mặt lý thuyết, nó cung cấp khả năng tạo bằng chứng nhanh chóng vì cũng cần có thời gian để chứng minh rằng các lệnh của thị trường được khớp. 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 chức năng đám mây không trạng thái.

Chúng tôi có = nil Foundation và Gevulot làm việc trong thị trường chứng thực. Succinct và Risc0 nằm trên mạng bằng chứng. Các công ty phần cứng như Ulvetanna và Cystic cũng đã đóng góp rất lớn vào việc cải thiện hiệu suất chống ZK trên GPU và phát triển thế hệ chip ZK chuyên dụng tiếp theo.

Bằng chứng là thị trường tương đối dễ bắt đầu. Đối với các dự án cơ sở hạ tầng ZK, chứng minh rằng thiết kế thị trường có thể mang lại nhiều nhà cung cấp phần cứng trực tuyến hơn. Với thiết kế phi tập trung, họ có thể dễ dàng mở rộng quy mô mạng để đáp ứng nhu cầu tính toán trong tương lai.

Trong tương lai, chúng tôi thấy trước sự kết hợp giữa thiết kế bằng chứng mạng và bằng chứng thị trường. Mục tiêu là cung cấp trải nghiệm liền mạch cho các nhà phát triển, đồng thời tích hợp Proof of Marketplace làm phụ trợ để tạo điều kiện bổ sung các tài nguyên máy tính bổ sung. Đây là hướng đi mà Succinct dự định theo đuổi trong thời gian tới. Chúng tôi đang thấy những thay đổi tương tự ở các thị trường khác, chẳng hạn như Infura. Infura có máy chủ riêng, nhưng họ cũng có kế hoạch chỉ đạo các bên được cấp phép cung cấp cơ sở hạ tầng.

Nguồn: IOSG Ventures

**Ai thực sự cần cơ sở hạ tầng Cloud ZK **

Chúng tôi tin rằng các nhà phát triển muốn giảm thời gian đưa ra thị trường và xây dựng các ứng dụng nhẹ, linh hoạt có thể mở rộng quy mô hoặc cập nhật nhanh chóng sẽ được hưởng lợi rất nhiều từ các cơ sở hạ tầng ZK dựa trên đám mây này. **

Đối với các ứng dụng có sự khác biệt lớn giữa mức sử dụng đỉnh và đáy, cơ sở hạ tầng ZK đám mây sẽ giảm chi phí.

Đối với loại ứng dụng này, có thể tốn kém khi mua một bộ máy chủ luôn chạy và có sẵn vào thời gian cao điểm. Khi sử dụng ở phía dưới, nó sẽ gây ra một lượng lớn chất thải. Cơ sở hạ tầng đám mây có thể được mở rộng bất cứ lúc nào để cải thiện hiệu suất. Sức mạnh tính toán dư thừa này có thể được tự động giải phóng ngoài thời gian cao điểm.

Ai sẽ là người lãnh đạo?

Từ những gì chúng ta biết về ngành công nghiệp đám mây Web2, chúng tôi thấy rằng các công ty có nhu cầu điện toán lớn nhất có xu hướng có các doanh nghiệp cơ sở hạ tầng đám mây hàng đầu. Họ có thể tận dụng khả năng mở rộng, chi phí, làm việc theo nhóm và các sản phẩm sáng tạo.

Điều tương tự cũng áp dụng cho cơ sở hạ tầng ZK đám mây. ** Chúng tôi tin rằng những dự án có nhu cầu xác minh thế hệ lớn nhất có tiềm năng có một trong những doanh nghiệp cơ sở hạ tầng đám mây ZK thành công nhất. **

Đối với các dự án tạo ra nhiều bằng chứng ZK trong nội bộ, họ đã có rất nhiều cơ sở hạ tầng, trình tối ưu hóa và đội ngũ chuyên gia. Họ cũng có thể tối đa hóa việc sử dụng phần cứng bằng cách chia sẻ tài nguyên chứng thực trên các ứng dụng và 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 sử dụng lại cho các mục đích khác.

Các dự án quy mô lớn này, ở một mức độ nào đó, có hệ thống bằng chứng riêng. Cơ sở hạ tầng chứng thực của bên thứ ba thường phải vật lộn để tối ưu hóa các hệ thống chứng thực khác nhau được sử dụng bởi các dự án quy mô lớn khác nhau. Bằng cách cung cấp các máy 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 hệ sinh thái hệ sinh thái các hệ thống bằng chứng của họ một cách hiệu quả.

Đối với ZKRU, cơ sở hạ tầng ZK đám mây có thể thúc đẩy việc sử dụng fork của họ. Không khó để khởi chạy Lớp 2 hoặc Lớp 3 mới trên các ZKRU này, nhưng sẽ rất tốn kém để duy trì cơ sở hạ tầng ZK. Cung cấp các trình đính kèm đám mây linh hoạt và có sẵn có thể giúp thu hút nhiều nhà phát triển hơn. Hiện tại, hầu hết các nhà phát triển thường sử dụng OPRU SDK để xây dựng Lớp 2 hoặc Lớp 3 mới do dễ quản lý cơ sở hạ tầng tương ứng.

Nếu không xây dựng cơ sở hạ tầng ZK của riêng họ, các dự án ZK khổng lồ này sẽ phải trả phí cắt cổ cho các nhà cung cấp máy tính bên thứ ba. Chúng cũng sẽ bị hạn chế về tốc độ phát triển vì không phải lúc nào chúng cũng có thể tùy chỉnh cơ sở hạ tầng của mình để cải thiện hơn nữa hiệu suất và giảm chi phí chứng minh.

Ai có nhu cầu lớn nhất về Bằng chứng không có kiến thức?

**Ngoài mạng ZKRU và Lớp 1, gần đây chúng tôi đã thấy nhiều ứng dụng Zero-Knowledge Proof mới nổi hơn. Tất cả đều có nhu cầu rất lớn về việc tạo ra bằng chứng. **

Bộ đồng xử lý không có kiến thức cho phép các nhà phát triển hợp đồng thông minh có được trạng thái Blockchain trong quá khứ một cách đáng tin cậy. Các bộ đồng xử lý không có kiến thức tạo ra Bằng chứng không có kiến thức cho các trạng thái Blockchain trong quá khứ này. Đây có thể là một giải pháp thay thế an toàn và không đáng tin cậy hơn sơ đồ.

Xác thực không có kiến thức giúp người dùng mang dữ liệu ngoài chuỗi hoặc thông tin nhận dạng vào Blockchain. Sau khi người chứng nhận xác minh dữ liệu này ngoài chuỗi, nó sẽ tạo ra Bằng chứng không có kiến thức cho nó và đặt nó trên Blockchain.

Học máy không có kiến thức giúp suy luận trên chuỗi trở nên khả thi. Nhà cung cấp máy tính thực hiện tính toán ML ngoài chuỗi, tạo ra Bằng chứng không có kiến thức cho nó và sau đó xuất bản bằng chứng đó lên Blockchain.

Cầu nối không có kiến thức là phiên bản an toàn hơn của cầu nối Tương tác chuỗi chéo. Nó tạo ra một bằng chứng lưu trữ hoặc thậm chí là một bằng chứng đồng thuận cho chuỗi nguồn và đặt nó trên chuỗi đích. Điều này có thể thay thế Cầu tương tác chuỗi chéo hiện tại.

Mạng lưới bằng chứng phi tập trung có gì đặc biệt?

Trong ngành công nghiệp Blockchain, Phân cấp là câu chuyện phổ biến nhất. Phân quyền mang lại nhiều lợi ích:

*Bảo mật

• Chống kiểm duyệt *Bảo mật

Zero-Knowledge Proof khác với các tính toán chung khác. ZK vốn đã an toàn. Bất cứ ai cũng có thể dễ dàng và nhanh chóng xác minh bằng chứng để đảm bảo tính xác thực của prer. Trong không gian ZK, Phân cấp không phải là điều kiện tiên quyết để bảo mật.

Bằng chứng không có kiến thức tập trung vào các chi tiết cấp thấp phức tạp được tích hợp vào các mạch. Mặc dù nội dung trong các mạch này cực kỳ khó xem xét, nhưng nó vẫn có thể được thực hiện hiệu quả bằng cách tạo ra một người yêu cầu cho các bằng chứng ZK.

Quyền riêng tư có thể trở thành một vấn đề đối với các mạng chứng thực khi người dùng gửi đầu vào riêng tư đến mạng chứng thực. Giải pháp lý tưởng là tạo ra các chứng thực cục bộ để ngăn chặn bất kỳ vi phạm dữ liệu nào. Điều này sẽ đặt ra một thách thức đối với hiệu suất địa phương. Các giải pháp khác có thể là một giao thức tính toán đa bên không có kiến thức mới hoặc tạo ra các bằng chứng trong một môi trường thực thi đáng tin cậy. Mạng bằng chứng phi tập trung không thể mang lại nhiều quyền riêng tư hơn.

Bỏ tường thuật sang một bên, khả năng chống kiểm duyệt có thể là lý do chính để xây dựng mạng lưới Bằng chứng phi tập trung. Công nghệ chứng minh không có kiến thức vẫn còn trong 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 không gian này. Tuy nhiên, thách thức chính cản trở sự phát triển của Zero-Knowledge Proof là hiệu suất. Sự ra đời của Mạng bằng chứng phi tập trung có thể dẫn đến sự gia tăng nhu cầu tính toán để tạo bằng chứng.

Kết luận

Các ứng dụng Zero-Knowledge Proof đang phát triển nhanh chóng và có nhiều ứng dụng. Chúng tôi hy vọng sẽ thấy Zero-Knowledge Proofs được tích hợp vào các ngăn xếp công nghệ khác nhau. Chúng ta đã thấy ZK layer1, ZK layer 2, ZKML, ZKVM, ZK-Email. Các nhà phát triển cũng đang xây dựng Máy ZK Oracle, nguồn dữ liệu ZK và cơ sở dữ liệu ZK. Chúng tôi đang trên con đường “ZK mọi thứ”. Chi phí tính toán được giới thiệu bởi ZK buộc các nhà phát triển phải triển khai các mạch của họ trên các máy chủ cao cấp. Do đó, chúng tôi hy vọng sẽ thấy sự gia tăng nhu cầu về cơ sở hạ tầng chứng thực ZK đám mây để giúp các nhà phát triển thoát khỏi sự phức tạp của việc vận hành các cơ sở hạ tầng này.

Trong lĩnh vực này, những hiểu biết của chúng tôi bao gồm:

Proof Marketplace và Proof Network là hai trong số những cách chính để giúp các nhà phát triển ZK dApp tránh xa sự phức tạp của cơ sở hạ tầng.

• Chúng tôi dự đoán một cách tiếp cận lai kết hợp giữa cơ chế bằng chứng mạng và bằng chứng thị trường.
• Không phải tất cả các nhà phát triển ZK dApp đều phù hợp với cơ sở hạ tầng ZK đám mây. Các dự án quy mô vừa với lưu lượng truy cập ổn định có thể tự lưu trữ máy chủ để giảm chi phí.
• Các nhà lãnh đạo cơ sở hạ tầng Cloud ZK sẽ là những dự án có nhu cầu tạo ra một số lượng lớn các bằng chứng ZK, chẳng hạn như các ZKRU hàng đầu. Họ có một động lực tài chính để làm kinh doanh.
• Phân cấp là câu chuyện thống trị trong không gian tiền điện tử, vì phân cấp mang lại các tính năng như quyền riêng tư, chống kiểm duyệt và bảo mật. ZK chứng minh rằng một số tính năng này đã có mặt. Hiện tại, điểm bán hàng của Thị trường Bằng chứng Phân cấp là khả năng chống kiểm duyệt. ** Sự phổ biến của cơ sở hạ tầng chứng thực ZK đám mây có liên quan chặt chẽ đến số lượng ZK dApps hiện có trên thị trường. Trong khi một số dự án ban đầu nhấn mạnh cơ sở hạ tầng chống ZK đám mây của họ là một tính năng chính, nhiều dự án cuối cùng sẽ chuyển sang các câu chuyện mới khác.