Viện nghiên cứu Gate Ventures: Làm chủ ZK và mọi thứ đã sẵn sàng

Bài viết có khoảng 9195từ,đọc toàn bộ bài viết mất khoảng 12 phút
Bài viết này lấy bộ đồng xử lý General ZK làm ví dụ để phân tích kiến trúc của nó nhằm giúp người đọc hiểu được những điểm tương đồng và khác biệt về công nghệ và thiết kế cơ chế của máy ảo đa năng này nhằm đánh giá xu hướng phát triển trong tương lai của bộ đồng xử lý, chủ yếu xoay quanh các dự án Risc Three bao gồm Zero, Lagrange và Succinct đã được phân tích.

Bối cảnh lịch sử của bộ đồng xử lý

Trong lĩnh vực máy tính truyền thống, bộ đồng xử lý là đơn vị xử lý chịu trách nhiệm xử lý những việc phức tạp khác cho bộ não CPU. Đồng xử lý rất phổ biến trong lĩnh vực máy tính. Ví dụ, Apple đã ra mắt bộ đồng xử lý chuyển động M7 vào năm 2013, giúp cải thiện đáng kể độ nhạy chuyển động của các thiết bị thông minh. GPU nổi tiếng là bộ đồng xử lý được Nvidia đề xuất vào năm 2007, chịu trách nhiệm xử lý các tác vụ như kết xuất đồ họa cho CPU. GPU tăng tốc các ứng dụng chạy trên CPU bằng cách giảm tải một số phần mã tốn nhiều thời gian và tính toán phức tạp, một kiến trúc được gọi là điện toán không đồng nhất/lai.

Bộ đồng xử lý có thể giảm tải một số mã phức tạp với các yêu cầu hiệu suất đơn lẻ hoặc yêu cầu hiệu suất cực cao, cho phép CPU xử lý các bộ phận linh hoạt và có thể thay đổi hơn.

Trên chuỗi Ethereum, có hai vấn đề cản trở nghiêm trọng đến sự phát triển của ứng dụng:

  1. Vì hoạt động yêu cầu Phí Gas cao nên một giao dịch chuyển tiền thông thường được mã hóa cứng thành Giới hạn Gas 21.000. Điều này cho thấy điểm mấu chốt của Phí Gas của mạng Ethereum. Các hoạt động khác bao gồm lưu trữ sẽ tốn nhiều Gas hơn, điều này sẽ hạn chế các ứng dụng trên chuỗi. Về phạm vi phát triển, hầu hết các mã hợp đồng chỉ được viết xung quanh các hoạt động tài sản. Khi có các hoạt động phức tạp, sẽ cần một lượng lớn Gas, đây là một trở ngại nghiêm trọng đối với việc Áp dụng hàng loạt của ứng dụng và người dùng.

  2. Vì hợp đồng thông minh tồn tại trong máy ảo nên hợp đồng thông minh thực sự chỉ có thể truy cập dữ liệu của 256 khối gần đây. Đặc biệt trong đợt nâng cấp Pectra vào năm tới và giới thiệu đề xuất EIP-4444, nút đầy đủ sẽ không còn lưu trữ quá khứ nữa. Chặn dữ liệu thì việc thiếu dữ liệu đã dẫn đến sự chậm trễ trong việc xuất hiện các ứng dụng đổi mới dựa trên dữ liệu. Suy cho cùng, các ứng dụng defi như Tiktok, Instagram, multi-data, LLM, v.v. đều được xây dựng dựa trên dữ liệu. Đây là lý do tại sao Lens dựa trên Lý do tại sao giao thức xã hội dữ liệu sẽ khởi chạy Lớp 3 Momoka là vì chúng tôi nghĩ rằng chuỗi khối là một luồng dữ liệu rất trơn tru Xét cho cùng, chuỗi này mở và minh bạch, nhưng trên thực tế thì không phải vậy. trường hợp. Chỉ là dữ liệu tài sản mã thông báo lưu chuyển trơn tru, nhưng tài sản dữ liệu Vì cơ sở hạ tầng cơ bản vẫn là một trở ngại lớn nên nó cũng sẽ hạn chế nghiêm trọng sự xuất hiện của các sản phẩm Áp dụng hàng loạt.

Qua thực tế này, chúng tôi nhận thấy rằng cả tính toán và dữ liệu đều là những nguyên nhân hạn chế sự xuất hiện của mô hình điện toán mới “Áp dụng đại trà”. Tuy nhiên, đây là một thiếu sót của chính chuỗi khối Ethereum và nó không được thiết kế để xử lý số lượng lớn các phép tính và các tác vụ sử dụng nhiều dữ liệu. Nhưng làm thế nào để đạt được khả năng tương thích với các ứng dụng tính toán và sử dụng nhiều dữ liệu này? Ở đây chúng tôi cần giới thiệu bộ đồng xử lý. Bản thân chuỗi Ethereum hoạt động như một CPU và bộ đồng xử lý tương tự như GPU. Bản thân chuỗi có thể xử lý một số dữ liệu tài sản không tính toán, sử dụng nhiều dữ liệu và các hoạt động đơn giản. các ứng dụng muốn sử dụng dữ liệu hoặc tính toán một cách linh hoạt. Với việc khám phá công nghệ ZK, để đảm bảo rằng các bộ đồng xử lý thực hiện tính toán và sử dụng dữ liệu ngoài chuỗi mà không cần sự tin cậy, điều tự nhiên là hầu hết các bộ đồng xử lý đang được phát triển với ZK làm lớp cơ bản.

Đối với ZK Coporcessor, ranh giới ứng dụng của nó rộng đến mức có thể bao gồm mọi kịch bản ứng dụng dapp thực tế, chẳng hạn như mạng xã hội, trò chơi, khối xây dựng Defi, hệ thống kiểm soát rủi ro dựa trên dữ liệu trên chuỗi, Oracle, lưu trữ dữ liệu, đào tạo ngôn ngữ mô hình lớn suy luận, v.v. Về lý thuyết, mọi thứ mà ứng dụng Web2 có thể làm đều có thể đạt được nhờ bộ đồng xử lý ZK và Ethereum đóng vai trò là lớp giải quyết cuối cùng để bảo vệ bảo mật ứng dụng.

Trong thế giới truyền thống, không có định nghĩa rõ ràng về bộ đồng xử lý. Chỉ cần một con chip riêng biệt có thể được sử dụng làm thiết bị phụ trợ để hỗ trợ hoàn thành các tác vụ thì nó được gọi là bộ đồng xử lý. Các định nghĩa công nghiệp hiện tại về bộ đồng xử lý ZK không hoàn toàn giống nhau, ZK-Query, ZK-Oracle, ZKM, v.v. đều là các bộ đồng xử lý có thể hỗ trợ truy vấn dữ liệu hoàn chỉnh trên chuỗi, dữ liệu đáng tin cậy ngoài chuỗi. kết quả tính toán ngoài chuỗi, theo định nghĩa này, lớp 2 thực sự được coi là bộ đồng xử lý của Ethereum. Chúng tôi cũng sẽ so sánh những điểm tương đồng và khác biệt giữa Lớp 2 và bộ đồng xử lý ZK chung bên dưới.

Danh sách các dự án bộ đồng xử lý

Viện nghiên cứu Gate Ventures: Làm chủ ZK và mọi thứ đã sẵn sàng

Một số dự án bộ đồng xử lý ZK, nguồn: Gate Ventures

Hiện tại, quá trình đồng xử lý tương đối nổi tiếng trong ngành được chia thành ba phần chính, đó là lập chỉ mục dữ liệu trên chuỗi, oracle và ZKML. Dự án bao gồm cả ba kịch bản là General-ZKM và máy ảo đang chạy. ngoài chuỗi là Chúng khác nhau. Ví dụ: Delphinus tập trung vào zkWASM, trong khi Risc Zero tập trung vào kiến trúc Risc-V.

Kiến trúc công nghệ bộ đồng xử lý

Chúng tôi lấy bộ đồng xử lý General ZK làm ví dụ để phân tích kiến trúc của nó nhằm giúp người đọc hiểu được những điểm tương đồng và khác biệt về công nghệ và thiết kế cơ chế của máy ảo đa năng này, đồng thời đánh giá xu hướng phát triển trong tương lai của bộ đồng xử lý, chủ yếu xoay quanh Risc Three. các dự án bao gồm Zero, Lagrange và Succinct đã được phân tích.

rủi ro bằng không

Trong Risc Zero, bộ đồng xử lý ZK của nó được gọi là Bonsai.

Viện nghiên cứu Gate Ventures: Làm chủ ZK và mọi thứ đã sẵn sàng

Kiến trúc cây cảnh, nguồn: Risc Zero

Viện nghiên cứu Gate Ventures: Làm chủ ZK và mọi thứ đã sẵn sàng

Các thành phần cây cảnh, nguồn: Risc Zero

Ở Bonsai, một bộ hoàn chỉnh gồm các thành phần chứng minh không có kiến thức độc lập với chuỗi đã được xây dựng. Mục tiêu là trở thành một bộ đồng xử lý độc lập với chuỗi. Nó dựa trên kiến trúc tập lệnh Risc-V và có tính linh hoạt cao cũng như các ngôn ngữ được hỗ trợ. Bao gồm Rust, C++, Solidity, Go, v.v. Các chức năng chính của nó bao gồm:

  • ZkVM phổ quát, có khả năng chạy bất kỳ máy ảo nào trong môi trường không có kiến thức/có thể xác minh.

  • Hệ thống tạo bằng chứng ZK có thể được tích hợp trực tiếp vào bất kỳ hợp đồng hoặc chuỗi thông minh nào

  • Một bản tổng hợp chung phân phối bất kỳ tính toán bằng chứng nào trên Bonsai vào chuỗi, cho phép các nhà khai thác mạng tạo ra bằng chứng.

Các thành phần của nó bao gồm:

  • Mạng người chứng minh: Thông qua API Bonsai, người chứng minh nhận được mã ZK cần được xác minh trong mạng và sau đó chạy thuật toán chứng minh để tạo bằng chứng ZK. Mạng này sẽ được mở cho tất cả mọi người trong tương lai.

  • Nhóm yêu cầu: Nhóm yêu cầu này lưu trữ các yêu cầu chứng nhận do người dùng khởi tạo (tương tự như mempool của Ethereum, được sử dụng để lưu trữ tạm thời các giao dịch). Sau đó, Nhóm yêu cầu này sẽ được Bộ sắp xếp thứ tự sắp xếp để tạo các khối và nhiều yêu cầu chứng nhận sẽ được chia thành các điểm. nâng cao hiệu quả chứng minh

  • Công cụ tổng hợp: Công cụ này sẽ thu thập các kết quả bằng chứng được thu thập trong mạng chứng minh, sau đó đóng gói chúng vào Bằng chứng gốc và tải chúng lên mạng chính Ethereum để những người xác thực trên chuỗi có thể xác minh chúng bất cứ lúc nào.

  • Image Hub: Đây là một nền tảng dành cho nhà phát triển trực quan, nơi có thể lưu trữ các chức năng và ứng dụng hoàn chỉnh. Do đó, các nhà phát triển có thể gọi API tương ứng thông qua hợp đồng thông minh. Do đó, các hợp đồng thông minh trên chuỗi có khả năng gọi các chương trình ngoài chuỗi.

  • State Store: Bonsai cũng giới thiệu bộ lưu trữ trạng thái ngoài chuỗi, được lưu trữ dưới dạng cặp khóa-giá trị trong cơ sở dữ liệu, có thể giảm chi phí lưu trữ trên chuỗi và hợp tác với nền tảng ImageHub để giảm độ phức tạp của hợp đồng thông minh.

  • Thị trường chứng minh: ZK chứng tỏ tầm trung và thượng lưu của chuỗi ngành và thị trường năng lượng tính toán được sử dụng để phù hợp với bên cung và cầu của sức mạnh tính toán.

Lagrange

Mục tiêu của Lagrange là xây dựng một bộ đồng xử lý và cơ sở dữ liệu có thể xác minh bao gồm dữ liệu lịch sử trên blockchain và có thể sử dụng dữ liệu này một cách trơn tru để xây dựng các ứng dụng không cần tin cậy. Điều này cho phép phát triển các ứng dụng tính toán và sử dụng nhiều dữ liệu.

Điều này bao gồm hai chức năng:

  • Cơ sở dữ liệu có thể xác minh: Bằng cách lập chỉ mục Lưu trữ hợp đồng thông minh trên chuỗi, trạng thái trên chuỗi do hợp đồng thông minh tạo ra sẽ được đưa vào cơ sở dữ liệu. Về cơ bản, bộ lưu trữ, trạng thái và các khối của chuỗi khối được xây dựng lại và sau đó được lưu trữ theo cách cập nhật trong cơ sở dữ liệu ngoài chuỗi để dễ dàng truy xuất.

  • Tính toán dựa trên nguyên tắc MapReduce: Nguyên tắc MapReduce là sử dụng tính năng phân tách dữ liệu và tính toán song song đa phiên bản trên cơ sở dữ liệu lớn và cuối cùng tích hợp các kết quả lại với nhau. Kiến trúc hỗ trợ thực thi song song này được Lagrange gọi là zkMR.

Trong thiết kế cơ sở dữ liệu, nó bao gồm tổng cộng ba phần dữ liệu trên chuỗi, đó là dữ liệu lưu trữ hợp đồng, dữ liệu trạng thái EOA và dữ liệu khối.

Viện nghiên cứu Gate Ventures: Làm chủ ZK và mọi thứ đã sẵn sàng

Cấu trúc cơ sở dữ liệu Lagrange, nguồn: Lagrange

Trên đây là cấu trúc ánh xạ của dữ liệu được lưu trữ trong hợp đồng của nó. Các biến trạng thái của hợp đồng được lưu trữ ở đây và mỗi hợp đồng có một Trie lưu trữ độc lập được lưu trữ dưới dạng cây MPT trong Ethereum. Mặc dù cây MPT đơn giản nhưng hiệu quả của nó rất thấp, đó là lý do tại sao các nhà phát triển cốt lõi của Ethereum thúc đẩy sự phát triển của cây Verkel. Trong Lagrange, mỗi nút có thể được chứng minh bằng SNARK/STARK và nút cha chứa bằng chứng của nút con, yêu cầu sử dụng công nghệ chứng minh đệ quy.

Viện nghiên cứu Gate Ventures: Làm chủ ZK và mọi thứ đã sẵn sàng

Trạng thái tài khoản, nguồn: Lagrange

Các tài khoản là tài khoản EOA và tài khoản hợp đồng, có thể được lưu trữ dưới dạng Account/Storage Root (không gian lưu trữ của các biến hợp đồng) để thể hiện trạng thái tài khoản, nhưng có vẻ như Lagrange chưa thiết kế đầy đủ phần này và thực tế cần thêm State Trie (Thư mục gốc của không gian lưu trữ trạng thái của tài khoản bên ngoài).

Viện nghiên cứu Gate Ventures: Làm chủ ZK và mọi thứ đã sẵn sàng

Cấu trúc dữ liệu khối, nguồn: Lagrange

Trong cấu trúc dữ liệu mới, Lagrange đã tạo ra một cấu trúc dữ liệu khối thân thiện với các bằng chứng SNARK. Mỗi lá của cây này là một tiêu đề khối. Nếu Ethereum tạo ra một khối cứ sau 12 giây, thì cơ sở dữ liệu sẽ cố định. sẽ kéo dài khoảng 25 năm.

Trong máy ảo ZKMR của Lagrange, việc tính toán của nó có hai bước:

  • Bản đồ: Máy phân tán ánh xạ toàn bộ dữ liệu và tạo các cặp khóa-giá trị.

  • Giảm: Máy tính phân tán tính toán các bằng chứng riêng biệt, sau đó hợp nhất tất cả các bằng chứng.

Nói tóm lại, ZKMR có thể kết hợp bằng chứng của các phép tính nhỏ hơn để tạo ra bằng chứng cho toàn bộ phép tính. Điều này cho phép ZKMR mở rộng quy mô một cách hiệu quả để thực hiện các bằng chứng tính toán phức tạp trên các tập dữ liệu lớn yêu cầu nhiều bước hoặc lớp tính toán. Ví dụ: nếu Uniswap được triển khai trên 100 chuỗi, thì nếu bạn muốn tính giá TWAP của một mã thông báo nhất định trên 100 chuỗi, sẽ cần phải tính toán và tích hợp rất nhiều. Lúc này, ZKMR có thể tính toán riêng từng chuỗi và sau đó. kết hợp Đưa ra một bằng chứng tính toán hoàn chỉnh.

Viện nghiên cứu Gate Ventures: Làm chủ ZK và mọi thứ đã sẵn sàng

Quá trình vận hành bộ đồng xử lý Lagrange, nguồn: Lagrange

Trên đây là quá trình thực hiện của nó:

  • Hợp đồng thông minh của nhà phát triển trước tiên đăng ký trên Lagrange và sau đó gửi yêu cầu bằng chứng tới hợp đồng thông minh trên chuỗi của Lagrange. Tại thời điểm này, hợp đồng ủy quyền chịu trách nhiệm tương tác với hợp đồng nhà phát triển.

  • Lagrange ngoài chuỗi đồng xác minh bằng cách chia các yêu cầu thành các nhiệm vụ nhỏ có thể song song hóa và phân phối chúng cho những người cung cấp dịch vụ khác nhau.

  • Prover thực sự là một mạng và tính bảo mật của mạng được đảm bảo bởi công nghệ Khôi phục của EigenLayer.

Ngắn gọn

Mục tiêu của Succinct Network là tích hợp các sự kiện có thể lập trình vào mọi phần của Ngăn xếp phát triển chuỗi khối (bao gồm L2, bộ đồng xử lý, cầu nối chuỗi chéo, v.v.).

Viện nghiên cứu Gate Ventures: Làm chủ ZK và mọi thứ đã sẵn sàng

Quy trình hoạt động ngắn gọn, nguồn ảnh: Succinct

Succinct có thể chấp nhận các mã bao gồm Solidity và ngôn ngữ chuyên biệt (DSL) trong các trường không có kiến thức và chuyển chúng đến bộ đồng xử lý Succinct ngoài chuỗi để hoàn thành chỉ mục dữ liệu của chuỗi mục tiêu, sau đó gửi ứng dụng chứng nhận đến chứng nhận. thị trường, có thể hỗ trợ CPU, Công cụ khai thác GPU và chip ETC gửi bằng chứng trong mạng bằng chứng. Đặc điểm của nó là thị trường bằng chứng tương thích với các hệ thống bằng chứng khác nhau, bởi vì sẽ có một thời gian dài khi các hệ thống bằng chứng khác nhau cùng tồn tại trong tương lai.

ZKVM ngoài chuỗi của Succinct được gọi là SP (Bộ xử lý ngắn gọn), có thể hỗ trợ ngôn ngữ Rust và các ngôn ngữ LLVM khác. Các tính năng cốt lõi của nó bao gồm:

  • Đệ quy + xác minh: Công nghệ xác minh đệ quy dựa trên công nghệ STARK có thể nâng cao hiệu quả nén ZK theo cấp số nhân.

  • Hỗ trợ trình bao bọc SNARK thành STARK: Có thể tận dụng lợi thế của cả SNARK và STARK và giải quyết sự cân bằng giữa kích thước bằng chứng và thời gian xác minh.

  • Kiến trúc zkVM tập trung vào tiền biên dịch: Đối với một số thuật toán phổ biến như SHA 256, Keccak, ECDSA, v.v., chúng có thể được biên dịch trước để giảm thời gian xác minh và tạo bằng chứng thời gian chạy.

So sánh

Khi so sánh các bộ đồng xử lý ZK có mục đích chung, chúng tôi chủ yếu đưa ra những so sánh đáp ứng nguyên tắc đầu tiên của Áp dụng hàng loạt. Chúng tôi cũng sẽ giải thích lý do tại sao điều này lại quan trọng:

  • Các vấn đề về lập chỉ mục/đồng bộ hóa dữ liệu: Chỉ có dữ liệu trên chuỗi hoàn chỉnh và các chức năng lập chỉ mục được đồng bộ hóa mới có thể đáp ứng các yêu cầu của các ứng dụng dựa trên dữ liệu lớn, nếu không phạm vi ứng dụng của nó sẽ tương đối đơn lẻ.

  • Dựa trên công nghệ: Công nghệ SNARK và STARK có các điểm quyết định khác nhau Trong trung hạn, công nghệ SNARK sẽ là chủ đạo và về lâu dài, công nghệ STARK sẽ là chủ đạo.

  • Có hỗ trợ đệ quy hay không: Chỉ bằng cách hỗ trợ đệ quy, chúng tôi mới có thể nén dữ liệu ở mức độ lớn hơn và đạt được bằng chứng tính toán song song. Do đó, việc đạt được đệ quy hoàn chỉnh là điểm nổi bật về mặt kỹ thuật của dự án.

  • Hệ thống chứng minh: Hệ thống chứng minh ảnh hưởng trực tiếp đến quy mô và thời gian tạo ra bằng chứng. Đây là phần đắt nhất của công nghệ ZK. Hiện tại, thị trường điện toán đám mây ZK tự xây dựng và mạng chứng minh là những phần chính.

  • Hợp tác sinh thái: Có thể đánh giá liệu hướng kỹ thuật của nó có được người dùng B-end công nhận thông qua phía nhu cầu thực tế thứ ba hay không.

  • Hỗ trợ các quỹ đầu tư mạo hiểm và tình trạng tài chính: có thể cho biết nguồn lực hỗ trợ tiếp theo của họ.

Viện nghiên cứu Gate Ventures: Làm chủ ZK và mọi thứ đã sẵn sàng

Trên thực tế, lộ trình kỹ thuật tổng thể rất rõ ràng nên hầu hết các công nghệ đều hội tụ. Ví dụ: chúng đều sử dụng các trình bao bọc từ STARK đến SNARK, có thể sử dụng đồng thời các ưu điểm của STARK và SNARK, giảm thời gian tạo bằng chứng và thời gian xác minh. và chống lại các cuộc tấn công lượng tử. Do tính đệ quy của thuật toán ZK có thể ảnh hưởng lớn đến hiệu suất của ZK nên hiện tại cả ba dự án đều có hàm đệ quy. Việc tạo bằng chứng của thuật toán ZK là nơi tiêu tốn nhiều chi phí và thời gian nhất. Do đó, cả ba dự án đều dựa vào nhu cầu mạnh mẽ về sức mạnh tính toán ZK để xây dựng mạng lưới các người chứng minh và thị trường điện toán đám mây. Theo quan điểm này, khi các con đường kỹ thuật hiện tại rất giống nhau, có thể cần phải vượt qua nhóm và VC đằng sau họ để hỗ trợ các nguồn lực hợp tác sinh thái nhằm chiếm lĩnh thị phần.

Điểm tương đồng và khác biệt giữa bộ đồng xử lý và Lớp 2

Không giống như Lớp 2, bộ đồng xử lý hướng đến ứng dụng, trong khi Lớp 2 vẫn hướng đến người dùng. Bộ đồng xử lý có thể được sử dụng làm thành phần tăng tốc hoặc thành phần mô-đun để tạo thành các kịch bản ứng dụng sau:

  • Là thành phần máy ảo ngoài chuỗi của ZK Lớp 2, Lớp 2 này có thể thay thế máy ảo của riêng chúng bằng bộ đồng xử lý.

  • Là bộ đồng xử lý cho các ứng dụng trên chuỗi công cộng để giảm tải sức mạnh tính toán cho chuỗi ngoài.

  • Là một nhà tiên tri cho các ứng dụng trên chuỗi công khai để lấy dữ liệu có thể xác minh được từ các chuỗi khác.

  • Hoạt động như một cầu nối xuyên chuỗi giữa hai chuỗi để truyền tải thông điệp.

Các kịch bản ứng dụng này chỉ là một phần danh sách đối với bộ đồng xử lý, chúng ta cần hiểu rằng nó mang lại tiềm năng đồng bộ hóa dữ liệu theo thời gian thực và tính toán đáng tin cậy hiệu suất cao và chi phí thấp trên toàn bộ chuỗi và có thể tái tạo lại một cách an toàn. gần như tất cả các khối thông qua bộ đồng xử lý. Tất cả phần mềm trung gian trong chuỗi. Bao gồm Chainlink và The Graph hiện đang phát triển các dự đoán và truy vấn ZK của riêng họ; các cầu nối chuỗi chéo chính thống như Wormhole, Layerzero, v.v. cũng đang phát triển công nghệ cầu nối chuỗi chéo dựa trên đào tạo LLM ngoài chuỗi (các oracle mô hình lớn); và lý luận đáng tin cậy, v.v.

Các vấn đề mà bộ đồng xử lý gặp phải

  • Về mặt lý thuyết, có sự phản đối đối với các nhà phát triển khi tham gia. Công nghệ ZK là khả thi, nhưng vẫn còn nhiều khó khăn về mặt kỹ thuật và sự hiểu biết bên ngoài cũng còn mù mờ. Do đó, khi các nhà phát triển mới tham gia vào hệ sinh thái, họ cần phải nắm vững các ngôn ngữ và công cụ dành cho nhà phát triển cụ thể. có thể trở kháng lớn hơn.

  • Quá trình này đang ở giai đoạn đầu. Hiệu suất của zkVM rất phức tạp và liên quan đến nhiều chiều (bao gồm phần cứng, hiệu suất một nút và nhiều nút, mức sử dụng bộ nhớ, chi phí đệ quy, lựa chọn hàm băm và các yếu tố khác). các dự án đang được xây dựng ở nhiều quy mô khác nhau. Đường đua đang ở giai đoạn rất sớm và cảnh quan vẫn chưa rõ ràng.

  • Các điều kiện tiên quyết như phần cứng vẫn chưa được triển khai. Từ góc độ phần cứng, phần cứng phổ thông hiện nay được xây dựng bằng ASIC và FPGA. Các nhà sản xuất bao gồm Ingonyama, Cysic, v.v., vẫn đang trong giai đoạn thử nghiệm và chưa được thương mại hóa. Chúng tôi tin rằng phần cứng là công nghệ ZK. Điều kiện tiên quyết để triển khai trên quy mô lớn.

  • Các con đường kỹ thuật tương tự nhau và rất khó để có được vị trí dẫn đầu về công nghệ qua các thế hệ. Hiện tại, sự cạnh tranh chính là nguồn lực VC đằng sau nó và khả năng BD của nhóm, và liệu nó có thể giành được vị trí sinh thái của các ứng dụng chính thống và chuỗi công cộng hay không. .

Tóm tắt và Triển vọng

Công nghệ ZK cực kỳ linh hoạt và cũng đã giúp hệ sinh thái Ethereum chuyển từ định hướng giá trị phi tập trung sang giá trị không cần sự tin cậy. Đừng tin tưởng, hãy xác minh, câu này là cách thực hành tốt nhất của công nghệ ZK. Công nghệ ZK có thể tái tạo lại một loạt các kịch bản ứng dụng như cầu nối chuỗi chéo, oracles, truy vấn trên chuỗi, tính toán ngoài chuỗi, máy ảo, v.v. và Bộ đồng xử lý ZK đa năng là một trong những công cụ để triển khai công nghệ ZK . Đối với ZK Coporcessor, ranh giới ứng dụng của nó rộng đến mức có thể bao gồm mọi kịch bản ứng dụng dapp thực tế, bất kỳ điều gì có thể được thực hiện bởi các ứng dụng Web2 đều có thể đạt được với bộ đồng xử lý ZK.

Viện nghiên cứu Gate Ventures: Làm chủ ZK và mọi thứ đã sẵn sàng

Đường cong thâm nhập công nghệ, nguồn: Gartner

Từ xa xưa, sự phát triển của công nghệ đã tụt hậu so với trí tưởng tượng của con người về một cuộc sống tốt đẹp hơn (chẳng hạn như Hằng Nga bay lên mặt trăng đến Apollo bước lên mặt trăng). nó, nó chỉ cần thời gian câu hỏi. Chúng tôi tin rằng bộ đồng xử lý ZK phổ quát sẽ đi theo xu hướng phát triển này. Chúng tôi có hai chỉ báo cho bộ đồng xử lý ZK Áp dụng hàng loạt: cơ sở dữ liệu có thể chứng minh theo thời gian thực trên toàn bộ chuỗi và tính toán ngoài chuỗi với chi phí thấp. Nếu lượng dữ liệu đủ và đồng bộ hóa theo thời gian thực cùng với các tính toán có thể xác minh ngoài chuỗi với chi phí thấp thì mô hình phát triển phần mềm có thể thay đổi hoàn toàn. Tuy nhiên, mục tiêu này được lặp lại chậm, vì vậy chúng tôi tập trung vào việc tìm kiếm xu hướng hoặc định hướng giá trị. phù hợp với hai điểm này của dự án và việc triển khai chip điện toán ZK là điều kiện tiên quyết cho ứng dụng thương mại quy mô lớn của bộ đồng xử lý ZK. Việc thiếu sự đổi mới trong chu trình này là giai đoạn khởi đầu để thực sự xây dựng thế hệ tiếp theo. Công nghệ và ứng dụng Áp dụng hàng loạt. Chúng tôi hy vọng rằng trong vòng tiếp theo của chu kỳ, chuỗi công nghiệp ZK có thể được thương mại hóa, vì vậy bây giờ là lúc tập trung lại vào một số công nghệ có thể thực sự cho phép Web3 thực hiện 1 tỷ tương tác của mọi người trên thế giới. xích.

Tuyên bố từ chối trách nhiệm:

Nội dung trên chỉ mang tính tham khảo và không nên coi là bất kỳ lời khuyên nào. Luôn tìm kiếm lời khuyên chuyên nghiệp trước khi đầu tư.

Giới thiệu về Gate Ventures

Gate Ventures là nhánh đầu tư mạo hiểm của Gate.io, tập trung đầu tư vào cơ sở hạ tầng phi tập trung, hệ sinh thái và ứng dụng sẽ định hình lại thế giới trong kỷ nguyên Web 3.0. Gate Ventures làm việc với các nhà lãnh đạo ngành toàn cầu để trao quyền cho các nhóm và công ty khởi nghiệp có tư duy và năng lực đổi mới nhằm xác định lại mô hình tương tác của xã hội và tài chính.

Trang web chính thức: https://ventures.gate.io/ Twitter: https://x.com/gate_ventures Medium: https://medium.com/gate_ventures

Bài viết gốc, tác giả:GateVentures研究洞察。Tuyển dụng: Nhân viên kinh doanh phần mềm theo dự án report@odaily.email;Vi phạm quy định của pháp luật.

Odaily nhắc nhở, mời đông đảo độc giả xây dựng quan niệm đúng đắn về tiền tệ và khái niệm đầu tư, nhìn nhận hợp lý về blockchain, nâng cao nhận thức về rủi ro; Đối với manh mối phạm tội phát hiện, có thể tích cực tố cáo phản ánh với cơ quan hữu quan.

Đọc nhiều nhất
Lựa chọn của người biên tập