Chiến trường tiếp theo dành cho các chiến lược gia quân sự: tạo ra thị trường bằng chứng ZK

ForesightNews

2024-01-08 13:57:16

Thị trường bằng chứng và mạng lưới bằng chứng là hai cách tiếp cận chính. Chứng minh rằng thị trường là thị trường mở.

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

Giới thiệ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à 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 thực tế. Các kỹ sư tài năng áp dụng ZK vào:

Khả năng mở rộng
sự riêng tư
Tín dụng dữ liệu

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

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

Biểu đồ này do nhóm Near tạo ra cho thấy mức tiêu thụ gas của zkSN(T)ARK trên Ethereum và L2. 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 và dydx.

So với zkStark, zkSnark chiếm 80% tổng chi phí 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 khoảng 2 USD cho mỗi worldcoin. Chi phí xác thực khoảng $30 cho mỗi zkSync.

Thể hiện 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 có chi phí. Nó đòi hỏi rất nhiều sức mạnh tính toán. ZK mang lại nhiều chi phí tính toán và nhóm Rollup cần giải quyết vấn đề này. @_weidai ước tính rằng việc sử dụng công nghệ ZK ngày nay sẽ tốn chi phí tính toán từ 10^4 đến 10^6. Về lý thuyết, chúng ta có thể đạt được chi phí tính toán gấp 10 lần với các mạch chuyên dụng. Nếu lớp trừu tượng của máy ảo được thêm vào, chi phí tính toán sẽ tăng gấp 100 lần.

Biểu đồ bên dưới mô tả biểu đồ sức mạnh tính toán dựa trên mức tăng trưởng hàng năm theo Định luật Kumoy. Sau năm 2000, hiệu suất của chip tăng gấp 10 lần sau mỗi 10 năm. Nếu so sánh sức mạnh tính toán với năm 2000 thì nó sẽ đạt 784 lần vào năm 2025. Điều này cũng cho thấy cách tính ZK hiện tại vẫn chưa đạt được mức độ lớn như năm 2000.

Nguồn:

Hãy suy nghĩ về điều này một cách cẩn thận. Chúng tôi đang cố gắng tăng khối lượng giao dịch cho ZKRU từ 10 đến 100 lần. Khi khối lượng giao dịch tăng lên, chúng ta cũng sẽ 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. Các nhóm ZKRU hàng đầu đang sử dụng các máy cao cấp có 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 vấn đề 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ỏ nếu họ muốn khởi chạy ZKRU hoặc xây dựng giải pháp lớp thứ ba bằng cách sử dụng 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, họ làm cách nào để mua những máy chủ cao cấp này và vận hành chúng đúng cách?

Hiện nay, việc bắt đầu một ZKRU không hề khó khăn. 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 được. Quản lý một nhóm máy chủ khó hơn nhiều so với việc bảo trì máy tính xách tay cá nhân hàng ngày của chúng ta.

Ngoài ra, khả năng tăng tốc phần cứng không phải là cắm và chạy; mỗi nhóm sẽ cần định cấu hình máy chủ của mình một cách khác nhau tùy thuộc vào hệ thống chứng minh không có kiến thức mà họ đang sử dụng.

Đả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 hàng tấn người dùng bắt đầu tạo Lệnh 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 vài giờ do các giao dịch Ordinals tăng đột biến.

Việc tạo ra số lượng lớn bằng chứng không có kiến thức cần có sự hỗ trợ của 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 nhóm máy chủ cao cấp có thể là một gánh nặng. Để giúp các nhóm tốt hơn một cách đơn giản và nhanh chóng áp dụng các công nghệ không có kiến thức, Dự án Mới nổi cố gắng giúp các nhóm này giải quyết mọi vấn đề phức tạp về cơ sở hạ tầng máy tính.

Chứng minh thị trường

Nguồn: IOSG Ventures

Thị trường bằng chứng và mạng lưới bằng chứng là hai cách tiếp cận chính. Chứng minh rằng thị trường là thị trường mở. Để tạo 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 với một mức giá nhất định. Mạng bằng chứng hoạt động giống như một dịch vụ đám mây truyền thống, các nhà phát triển gửi mạch và đầu vào của họ, đồng thời 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 cách tiếp cận phổ biến trong cơ sở hạ tầng bằng chứng ZK. Thị trường Bằng chứ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 thị trường ZK Proof không cần quan tâm đến phần cứng ZK Proof hay sở hữu máy chủ cao cấp, họ tập trung vào các giao dịch và cơ chế xác minh ZK Proof để thu hút các nhà cung cấp phần cứng bên thứ ba.

Chứng tỏ rằng thị trường là một 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 của bên thứ ba. Miễn là có người bán có chứng chỉ như vậy, người mua có thể mua chứng chỉ ZK với giá USD. Khi xác minh bằng chứng, mọi người trên thị trường không cần phải đạt được sự đồng thuận, chỉ có người điều hành thị trường chịu trách nhiệm xác minh. Trong thị trường bằng chứng, các nhà phát triển zkDapp gửi đơn đặt hàng bằng chứng ZK, bao gồm giá, thời gian tạo, thời gian chờ và đầu vào công khai. Sau đó, nhà cung cấp phần cứng bên thứ ba sẽ chấp nhận đơn đặt hàng và tạo bằng chứng.

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

Những người chơi chính trong ngành thị trường chứng nhận là =nil và Marlin.

=Nil Foundation

Chứng minh rằng trên thị trường có người bán và có người mua. Người mua là nhà phát triển dApp. Họ trả cho người bán một khoản phí để tạo ra chứng nhận. Có nhiều yếu tố ảnh hưởng đến giá của chứng chỉ. Các yếu tố chính bao gồm kích thước mạch, hệ thống kiểm chứng, thời gian tạo và kích thước đầu vào.

Đây là cách hoạt động của thị trường bằng chứng =nil:

Chứng minh rằng người yêu cầu gửi yêu cầu ra thị trường với mức giá dự kiến là c_r.
Chứng minh rằng thị trường khóa mã thông báo c_r trong tài khoản của người mua.
Chứng minh nhà sản xuất gửi đề xuất ra thị trường với giá c_p <= c_r.
Thị trường bằng chứng khớp các yêu cầu với đề xuất của nhà sản xuất bằng chứng.
Nhà sản xuất bằng chứng tạo ra bằng chứng và gửi nó ra thị trường.
Thị trường bằng chứng xác minh bằng chứng và trả mã thông báo c_r - phí xử lý cho nhà sản xuất.
Người yêu cầu chứng nhận nhận được chứng nhận và sử dụng nó.

Thiết kế thị trường mang lại trải nghiệm giống như giao dịch. Chứng minh rằng giá được tạo sẽ 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 dành cho thị trường có bằng chứng =nil.

Nguồn:

Hiện tại, Proof Market hỗ trợ một số lượng khiếu nại hạn chế, trong đó yêu cầu Mina được chứng minh là 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ọ.

Gevlot

Gevulot cam kết mang lại sự phân cấp cho thị trường bằng chứng. Gevulot hoạt động như một blockchain lớp 1 mở và có thể lập trình được thiết kế để chứng minh thị trường. Lớp đầu tiên của blockchain xử lý việc phân phối, xác minh và phân phối phần thưởng cho các yêu cầu bằng chứng. Mạng trình chứng minh tận dụng các hạt nhân nhẹ để đạt được hiệu suất cao. Gevulot sử dụng các hàm ngẫu nhiên có thể kiểm chứng (VRF) để phân phối 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.

*Nguồn: *

Người dùng có thể triển khai các chương trình một cách liền mạch với mức phí có thể dự đoán được và người dùng có thể đặt mức phí tối đa dựa trên số chu kỳ mà chương trình thực hiện.

Người chứng minh được khen 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ợ 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 x86_64 Linux ELF.

Gevulot là một nền tảng điện toán chung 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 của Nano để đảm bảo rằng bộ chuẩn có thể dễ dàng chạy trên các máy khác nhau. Tất cả các bộ chuẩn cần phải được biên dịch thành một hình ảnh lõi đơn.

Mạng lưới bằng chứng

Proof Network cung cấp 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 của Web2. Nhà phát triển gửi dữ liệu tải trọng thông qua API REST và mạng chứng minh sau đó sẽ trả lại bằng chứng cho nhà phát triển. Nhà phát triển không cần quan tâm đến biến động giá cả và bên nào sẽ đưa ra bằng chứng.

Sưởi ấm0

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

Nguồn:

Ngắn gọn

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

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

Kết nối với tài khoản GitHub của bạn và triển khai mạch
Gọi API thông qua REST hoặc hợp đồng thông minh và chuyển vào đầu vào mạch
Truy vấn kết quả thông qua REST API hoặc hợp đồng thông minh

*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:

Quản lý thư viện mã mạch dễ dàng hơn
Không cần mạch gửi thứ cấp
Triển khai hợp đồng thông minh chỉ 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
Kiểm tra trạng thái tạo chứng chỉ trên bảng điều khiển
Hỗ trợ Rustx, gnark, Circom, plonky2

*Nguồn: *

Mạng bằng chứng hoặc thị trường bằng chứng

Thị trường chứng nhận cung cấp cho người mua và người bán chứng chỉ mức giá linh hoạt hơn. 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à mức tiết kiệm có thể khác nhau giữa các cá nhân và doanh nghiệp. Thông thường, các dịch vụ tập trung như Proof Network có thể cung cấp dịch vụ miễn phí cho các cá nhân trong khi tính phí cao cho doanh nghiệp nhưng cung cấp quyền truy cập vào bộ phận hỗ trợ khách hàng VIP. Ví dụ: nếu doanh nghiệp có kế hoạch ra mắt 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 bằng chứng. Một thị trường phi tập trung có thể đưa ra mức giá 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ư mang lại cho các nhà phát triển trải nghiệm mượt mà hơn. Nó xử lý tất cả công việc tạo bằng chứng và hỗ trợ các hệ thống bằng chứng chính mà không đưa ra 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ề lý thuyết, nó cung cấp khả năng tạo bằng chứng nhanh chóng vì việc khớp lệnh trên thị trường bằng chứng cũng cần có thời gian. Nếu bạn đã quen thuộc với điện toán đám mây thì hóa ra mạng này giống một chức năng đám mây không trạng thái hơn.

Chúng tôi có =nil Foundation và Gevulot đang làm việc trên thị trường chứng minh. Succinct và Risc0 nằm trên mạng chứng minh. Các công ty phần cứng như Ulvetanna và Cystic cũng đã có những đóng góp đáng kể trong 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.

Thị trường tỏ ra tương đối dễ dàng để ra mắt. Đối với dự án cơ sở hạ tầng ZK, thiết kế thị trường đã được chứng minh có thể mang lại nhiều nhà cung cấp phần cứng hơn trực tuyế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 điện 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 mạng lưới bằng chứng và thiết kế thị trường bằng chứ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 thị trường bằng chứng làm phụ trợ để tạo điều kiện thuận lợi cho việc 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 chứng kiến 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 cũng có kế hoạch mời 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 ZK trên nền tảng đám mây

**Chúng tôi tin rằng các nhà phát triển muốn giảm thời gian tiếp thị và xây dựng các ứng dụng nhẹ, linh hoạt, có thể mở rộng 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 đá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 lúc cao điểm và lúc thấp điểm, cơ sở hạ tầng ZK trên nền tảng đám mây sẽ giảm chi phí.

Đối với loại ứng dụng này, việc mua một nhóm máy chủ luôn chạy và đảm bảo khả dụng vào thời gian cao điểm có thể tốn kém. Khi mức sử dụng ở mức thấp nhất sẽ gây ra rất nhiều lãng phí. 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. Hiệu suất tính toán vượt mức 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ừ hiểu biết của chúng tôi về ngành đám mây Web2, chúng tôi nhận thấy rằng những công ty có nhu cầu điện toán lớn nhất thường có các hoạt động kinh doanh 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í, đội ngũ 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 đám mây ZK. **Chúng tôi tin rằng những dự án có nhu cầu xác minh bản dựng lớn nhất sẽ có tiềm năng trở thành 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 số lượng lớn bằng chứng ZK nội bộ, họ đã có cơ sở hạ tầng rộng lớn, trình tối ưu hóa và đội ngũ tận tâm. 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 bằng chứng giữa các ứng dụ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 các mục đích khác.

Những dự án lớn này đều có hệ thống chứng minh riêng ở một mức độ nào đó. Cơ sở hạ tầng chứng minh của bên thứ ba thường gặp khó khăn trong việc tối ưu hóa các hệ thống chứng minh 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 bộ 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 các hệ thống chứng minh của họ một cách hiệu quả.

Đối với ZKRU, cơ sở hạ tầng ZK trên nền tảng đám mây có thể tăng mức sử dụng Fork. Không khó để tạo ra lớp 2 hoặc lớp 3 mới trên các ZKRU này, nhưng việc duy trì cơ sở hạ tầng ZK sẽ rất tốn kém. Việc cung cấp những người chứng thực đám mây linh hoạt và sẵn có 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 vì cơ sở hạ tầng tương ứng rất dễ quản lý.

Nếu không xây dựng cơ sở hạ tầng ZK của riêng mình, các dự án ZK khổng lồ này sẽ phải trả mức phí cao cho các nhà cung cấp máy tính bên thứ ba. Họ cũng bị hạn chế về tốc độ phát triển vì không thể luôn 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í kiểm chứng.

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

**Ngoài ZKRU và mạng lớp 1, gần đây chúng tôi còn thấy nhiều ứng dụng chứng minh không có kiến thức mới nổi hơn. Tất cả họ đề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 truy cập vào các trạng thái blockchain trong quá khứ mà không cần tin cậy. 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à giải pháp thay thế an toàn hơn và ít đáng tin cậy hơn cho biểu đồ.

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

Học máy không có kiến thức giúp khả năng lý 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 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 không kiến thức là phiên bản an toàn hơn của cầu chuỗi chéo. Nó tạo ra bằng chứng về việc lưu trữ hoặc thậm chí là bằng chứng về sự đồng thuận cho chuỗi nguồn và đặt nó vào chuỗi mục tiêu. Điều này có thể thay thế cầu nối chuỗi hiện tại.

Mạng 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:

sự an toàn
Chống kiểm duyệt
Sự riêng tư

Bằng chứng không có kiến thức khác với các phép tính tổng quát khác. ZK vốn đã an toàn. Bất cứ ai cũng có thể xác minh một cách dễ dàng và nhanh chóng một bằng chứng, đảm bảo tính trung thực của người chứng minh. Trong lĩnh vực 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 cấu trúc thành các mạch. Mặc dù nội dung 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 một cách hiệu quả bằng cách tạo ra những người yêu cầu dựa trên bằng chứng ZK.

Quyền riêng tư có thể là một vấn đề đối với mạng bằng chứng vì người dùng gửi thông tin đầu vào riêng tư tới mạng bằng chứng. Giải pháp lý tưởng là tạo bằng chứng cục bộ để ngăn chặn mọi rò rỉ dữ liệu. Điều này sẽ thách thức hiệu quả hoạt động của địa phương. Các giải pháp khác có thể là giao thức tính toán đa bên không có kiến thức mới hoặc tạo bằng chứng trong 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ỏ qua câu chuyện, khả năng chống kiểm duyệt có lẽ là lý do chính để xây dựng một 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 ở 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 các bằng chứng không có kiến thức là hiệu suất. Sự ra đời của mạng chứng minh phi tập trung có thể dẫn đến sự gia tăng các yêu cầu tính toán để tạo ra bằng chứng.

Tóm lại là

Việc áp dụng bằng chứng không có kiến thức đang phát triển nhanh chóng và có phạm vi ứng dụng rộng rãi. Chúng tôi hy vọng sẽ thấy các bằng chứng không có kiến thức được tích hợp vào các nhóm công nghệ khác nhau. Chúng ta đã thấy ZK layer1, mạng ZK 2 lớp, ZKML, ZKVM, ZK-Email. Các nhà phát triển cũng đang xây dựng các oracle ZK, nguồn dữ liệu ZK và cơ sở dữ liệu ZK. Chúng tôi đang trên đường “ZK hóa mọi thứ”. Chi phí tính toán do ZK giới thiệu buộc các nhà phát triển phải triển khai mạch của họ trên các máy chủ cao cấp. Do đó, chúng tôi kỳ vọng nhu cầu về cơ sở hạ tầng bằng chứng ZK trên nền tảng đám mây sẽ tăng lên để giúp các nhà phát triển thoát khỏi sự phức tạp khi 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 sâu sắc 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 cách tiếp cận chính có thể giúp các nhà phát triển dApp ZK tránh xa sự phức tạp của cơ sở hạ tầng.
Chúng tôi dự đoán sẽ có một phương pháp kết hợp kết hợp mạng lưới bằng chứng và cơ chế thị trường bằng chứng.
Không phải tất cả các nhà phát triển dApp ZK đều phù hợp để sử dụng cơ sở hạ tầng ZK trên nền tảng đám mây. Các dự án cỡ trung bình có lưu lượng truy cập ổn định có thể máy chủ tự lưu trữ để giảm chi phí.
Dẫn đầu về cơ sở hạ tầng ZK trên nền tảng đám mây sẽ là những dự án có nhu cầu tạo ra số lượng lớn bằng chứng ZK, chẳng hạn như ZKRU hàng đầu. Họ có động cơ tài chính để thực hiện hoạt động kinh doanh này.
Phân cấp là câu chuyện chủ đạo trong không gian tiền điện tử vì phân cấp mang lại các đặc tính như quyền riêng tư, khả năng chống kiểm duyệt và bảo mật. Hóa ra ZK đã có sẵn một số tính năng này. Hiện tại, ưu điểm của thị trường bằng chứng phi tập trung là khả năng chống kiểm duyệt. **
Mức độ phổ biến của cơ sở hạ tầng bằng chứng Cloud ZK 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 nêu bật cơ sở hạ tầng chống ZK trên đám mây của họ như một tính năng chính, thì nhiều dự án cuối cùng sẽ chuyển sang tập trung vào các câu chuyện mới khác.

Xem bản gốc

Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.