Tiêu đề gốc: ""CN"ABCDE: Thảo luận chuyên sâu về bộ đồng xử lý và các giải pháp khác nhau"

Nguồn gốc: Kris & Laobai ABCDE / Mơ Đông Mạng Celer

Với sự phổ biến của khái niệm bộ đồng xử lý trong những tháng gần đây, trường hợp sử dụng ZK mới này đã bắt đầu thu hút ngày càng nhiều sự chú ý.

Tuy nhiên, chúng tôi nhận thấy rằng hầu hết mọi người vẫn còn tương đối xa lạ với khái niệm bộ đồng xử lý, đặc biệt là vị trí chính xác của bộ đồng xử lý—bộ đồng xử lý là gì và nó không phải là gì cả , nó khá mơ hồ. Về việc so sánh các giải pháp kỹ thuật của một số rãnh đồng xử lý trên thị trường, vẫn chưa có ai sắp xếp một cách có hệ thống. Bài viết này hy vọng sẽ giúp thị trường và người dùng hiểu rõ hơn về rãnh đồng xử lý.

1. Bộ đồng xử lý là gì và không phải là gì?

Nếu được yêu cầu Nếu bạn có thể giải thích bộ đồng xử lý cho một người không rành về kỹ thuật hoặc nhà phát triển chỉ bằng một câu, bạn sẽ mô tả nó như thế nào?

Tôi nghĩ những gì Tiến sĩ Dong Mo nói có thể rất gần với câu trả lời tiêu chuẩn—nói một cách thẳng thắn, bộ đồng xử lý đang "cung cấp cho hợp đồng thông minh khả năng thực hiện Phân tích Dune."

Câu này được chia nhỏ như thế nào?

Hãy tưởng tượng kịch bản chúng tôi sử dụng Dune—bạn muốn thực hiện LP trong Uniswap V3 để kiếm một số phí xử lý, vì vậy, bạn mở Dune và tìm nhiều giao dịch Uniswap gần đây. Khối lượng giao dịch của các cặp giao dịch, APR của phí xử lý trong 7 ngày qua, biên độ dao động trên và dưới của các cặp giao dịch chính thống, v.v...

Hoặc có thể khi StepN trở nên phổ biến, bạn bắt đầu suy đoán về giày và không biết khi nào nên bỏ nó nên bạn nhìn chằm chằm vào dữ liệu StepN trên Dune mỗi ngày, giao dịch hàng ngày. khối lượng, mới Tăng số lượng người dùng, giảm giá giày... Tôi dự định chạy ngay khi tốc độ tăng trưởng chậm lại hoặc có xu hướng giảm.

Tất nhiên, có thể bạn không chỉ quan tâm đến những dữ liệu này mà nhóm phát triển của Uniswap và StepN cũng đang chú ý đến những dữ liệu này.

Dữ liệu này rất có ý nghĩa - nó không chỉ giúp đánh giá những thay đổi trong xu hướng mà còn dùng nó để giở nhiều thủ đoạn hơn, cách thường được các công ty Internet lớn sử dụng Cách tiếp cận "Dữ liệu lớn".

Ví dụ: dựa trên kiểu dáng và giá cả của những đôi giày mà người dùng thường mua bán, những đôi giày tương tự sẽ được khuyến nghị.

Ví dụ: "Chương trình phần thưởng lòng trung thành của người dùng" sẽ được triển khai dựa trên khoảng thời gian người dùng nắm giữ Creation Shoes để mang đến cho người dùng trung thành nhiều airdrop hoặc lợi ích hơn.

Ví dụ: chương trình VIP tương tự như Cex có thể được triển khai dựa trên LP trên Uniswap hoặc TVL hoặc khối lượng giao dịch do Nhà giao dịch cung cấp, giúp Nhà giao dịch giảm phí giao dịch hoặc xử lý LP Lợi ích của việc tăng tỷ lệ chia sẻ phí

......

Sau đó vấn đề nảy sinh - các công ty Internet lớn Chơi với dữ liệu lớn + AI về cơ bản là một hộp đen. Bạn có thể làm bất cứ điều gì bạn muốn. Người dùng không thể nhìn thấy nó và không quan tâm.

Nhưng về phía Web3, tính minh bạch và không đáng tin cậy là sự đúng đắn về mặt chính trị tự nhiên của chúng tôi và chúng tôi từ chối hộp đen!

Vì vậy, khi bạn muốn hiện thực hóa kịch bản trên, bạn sẽ gặp phải một vấn đề nan giải - hoặc bạn có thể đạt được nó thông qua các phương tiện tập trung, "hướng dẫn phụ trợ" Sử dụng Dune để đếm những dữ liệu chỉ mục này, sau đó triển khai và triển khai nó; hoặc bạn có thể viết một bộ hợp đồng thông minh để tự động thu thập những dữ liệu này trên chuỗi, hoàn thành phép tính và tự động triển khai các điểm.

Điều trước sẽ khiến bạn rơi vào vấn đề lòng tin "không đúng về mặt chính trị".

Phí gas do phần sau trên chuỗi tạo ra sẽ là một con số khổng lồ và ví (phía dự án) của bạn không đủ khả năng chi trả.

Đây là lúc bộ đồng xử lý lên sân khấu. Kết hợp hai phương pháp vừa rồi, đồng thời thực hiện bước "thủ công nền". "tự động" thông qua các phương tiện kỹ thuật, nói cách khác, thông qua công nghệ ZK, phần "chỉ số + tính toán" ngoài chuỗi là "tự chứng minh là vô tội", sau đó được đưa vào hợp đồng thông minh. Bằng cách này, vấn đề tin cậy sẽ được giải quyết. , và phí gas khổng lồ đã biến mất.

Tại sao nó được gọi là "bộ đồng xử lý"? Thực chất, điều này xuất phát từ “GPU” trong lịch sử phát triển của Web2.0. Lý do tại sao GPU được giới thiệu như một phần cứng tính toán riêng biệt và tồn tại độc lập với CPU vào thời điểm đó là do kiến trúc thiết kế của nó có thể xử lý một số phép tính mà về cơ bản CPU khó xử lý, chẳng hạn như các phép tính lặp lại song song quy mô lớn, đồ họa tính toán, v.v. Chính nhờ kiến trúc "bộ đồng xử lý" này mà chúng ta có những bộ phim CG, trò chơi, mô hình AI, v.v. tuyệt vời ngày nay, nên kiến trúc bộ đồng xử lý này thực sự là một bước nhảy vọt trong kiến trúc điện toán. Giờ đây, nhiều nhóm đồng xử lý khác nhau cũng hy vọng đưa kiến trúc này vào Web3.0. Blockchain ở đây tương tự như CPU của Web3.0, dù là L1 hay L2, chúng vốn dĩ không phù hợp với những "dữ liệu nặng" và " ". Các tác vụ logic tính toán phức tạp", do đó, bộ đồng xử lý blockchain được giới thiệu để giúp xử lý các phép tính như vậy, do đó mở rộng đáng kể khả năng của các ứng dụng blockchain.

Vì vậy, những gì bộ đồng xử lý thực hiện có thể được tóm tắt thành hai điều:

1 Từ chuỗi khối Lấy dữ liệu. và sử dụng ZK để chứng minh rằng dữ liệu tôi nhận được là đúng và không bị giả mạo

2. Thực hiện các phép tính tương ứng dựa trên dữ liệu bạn vừa nhận được và một lần nữa chứng minh. thông qua ZK rằng kết quả tính toán của tôi là đúng và không bị tạp nhiễm, kết quả tính toán có thể được hợp đồng thông minh gọi là "phí thấp + Không đáng tin cậy".

Cách đây một thời gian, có một khái niệm phổ biến ở Starkware được gọi là Bằng chứng lưu trữ, còn được gọi là Bằng chứng trạng thái. Về cơ bản, nó thực hiện bước 1, được đại diện bởi Herodotus và Langrage. , trọng tâm kỹ thuật của nhiều cầu nối chuỗi dựa trên công nghệ ZK cũng ở bước 1.

Bộ đồng xử lý không gì khác hơn là bước 1, sau đó thêm bước 2 sau khi hoàn thành. Sau khi trích xuất dữ liệu mà không cần tin cậy, hãy thực hiện một phép tính không cần tin cậy và sau đó là xong. ĐƯỢC RỒI.

Vì vậy, để sử dụng một thuật ngữ tương đối kỹ thuật để mô tả nó một cách chính xác, bộ đồng xử lý phải là một tập hợp con của Bằng chứng lưu trữ/Bằng chứng trạng thái và một tập hợp con của Tính toán có thể xác minh được.

Một điều cần lưu ý là bộ đồng xử lý không phải là một Rollup.

Về mặt kỹ thuật, bằng chứng ZK của Rollup tương tự như bước 2 ở trên và quy trình "lấy dữ liệu" ở bước 1 được triển khai trực tiếp thông qua Sequencer, ngay cả khi đó là một Trình sắp xếp chuỗi phi tập trung và nó chỉ có thể có được thông qua một số loại cơ chế cạnh tranh hoặc đồng thuận, không phải ở dạng ZK như Bằng chứng lưu trữ. Điều quan trọng hơn là ngoài lớp tính toán, ZK Rollup còn cần triển khai lớp lưu trữ tương tự như chuỗi khối L1. Bộ lưu trữ này là vĩnh viễn, trong khi Bộ xử lý ZK là "không trạng thái". giữ lại.

Từ góc độ các kịch bản ứng dụng, bộ đồng xử lý có thể được coi là một phần bổ trợ dịch vụ cho tất cả Lớp 1/Lớp 2, trong khi Rollup tạo lại lớp thực thi bằng cách Giúp lớp định cư mở rộng.

2. Tại sao phải dùng ZK thì dùng OP có được không?

Sau khi đọc phần trên, có thể bạn sẽ thắc mắc liệu nó có phải được thực hiện với ZK làm bộ đồng xử lý không? Nghe có vẻ giống một "Biểu đồ có thêm ZK" và dường như chúng tôi không có bất kỳ "nghi ngờ lớn" nào về kết quả của Biểu đồ.

Đó là bởi vì khi bạn sử dụng Graph, về cơ bản bạn không liên quan đến nhiều tiền thật. Các chỉ mục này phục vụ các dịch vụ ngoài chuỗi. Bạn là người đứng đầu. Giao diện người dùng, chẳng hạn như khối lượng giao dịch, lịch sử giao dịch, v.v., có thể được cung cấp bởi nhiều nhà cung cấp chỉ mục dữ liệu như biểu đồ, Alchemy, Zettablock, v.v., nhưng những dữ liệu này không thể được đưa trở lại hợp đồng thông minh, bởi vì một khi bạn đã nhét nó vào trở lại Nó chỉ tăng thêm sự tin cậy cho dịch vụ lập chỉ mục này. Khi dữ liệu được liên kết với tiền thật, đặc biệt là TVL khối lượng lớn, sự tin tưởng bổ sung này trở nên quan trọng. Hãy tưởng tượng rằng lần sau khi một người bạn hỏi vay 100 nhân dân tệ, bạn có thể cho vay mà không chớp mắt. yêu cầu bạn vay 10.000 nhân dân tệ, thậm chí 1 triệu nhân dân tệ?

Nhưng một lần nữa, chúng ta có thực sự phải sử dụng ZK để đồng xử lý tất cả các tình huống trên không? Rốt cuộc, chúng ta có OP và ZK trong Rollup. hai tuyến kỹ thuật phổ biến gần đây ZKML cũng đã đề xuất khái niệm OPML về tuyến nhánh tương ứng. Vậy bộ đồng xử lý cũng có một nhánh của OP, chẳng hạn như OP-Coprocessor?

Trên thực tế là có - nhưng hiện tại chúng tôi đang giữ bí mật các chi tiết cụ thể và sẽ sớm công bố thông tin chi tiết hơn.

3. Bộ đồng xử lý nào tốt hơn - So sánh một số giải pháp công nghệ bộ đồng xử lý phổ biến trên thị trường

1.Brevis:

Cấu trúc của Brevis bao gồm ba thành phần: zkFabric, zkQueryNet và zkAggregatorRollup.

Sau đây là sơ đồ kiến trúc Brevis:

zkFabric: Thu thập các tiêu đề khối từ tất cả các chuỗi khối được kết nối và tạo ra bằng chứng đồng thuận ZK để chứng minh tính hợp lệ của các tiêu đề khối này. Thông qua zkFabric, Brevis triển khai bộ đồng xử lý có thể tương tác cho nhiều chuỗi, cho phép một chuỗi khối truy cập bất kỳ dữ liệu lịch sử nào của chuỗi khối khác.

zkQueryNet: Thị trường công cụ truy vấn ZK mở chấp nhận các truy vấn dữ liệu từ dApps và xử lý chúng. Truy vấn dữ liệu xử lý các truy vấn này bằng cách sử dụng các tiêu đề khối đã được xác minh từ zkFabric và tạo bằng chứng truy vấn ZK. Các công cụ này có cả chức năng chuyên môn cao và ngôn ngữ truy vấn chung để đáp ứng các nhu cầu ứng dụng khác nhau.

zkAggregatorRollup: Chuỗi khối tích chập ZK hoạt động như một lớp tổng hợp và lưu trữ cho zkFabric và zkQueryNet. Nó xác minh bằng chứng từ cả hai thành phần, lưu trữ dữ liệu đã được xác minh và cam kết gốc trạng thái được xác thực zk của nó cho tất cả các chuỗi khối được kết nối.

ZK Fabric là phần quan trọng trong việc tạo bằng chứng cho tiêu đề khối. Việc đảm bảo tính bảo mật của phần này là rất quan trọng. Sau đây là sơ đồ kiến trúc của phần này. zkFabric:

khách hàng ánh sáng dựa trên bằng chứng không kiến thức (ZKP) của zkFabric tạo ra nó hoàn toàn không cần sự tin cậy, Không cần phải dựa vào bất kỳ thực thể xác thực bên ngoài nào. Không cần phải dựa vào bất kỳ thực thể xác minh bên ngoài nào, vì tính bảo mật của nó hoàn toàn đến từ chuỗi khối cơ bản và bằng chứng đáng tin cậy về mặt toán học.

Mạng zkFabric Prover triển khai mạch điện cho giao thức lightclient của mỗi blockchain và mạng tạo ra bằng chứng hợp lệ cho các tiêu đề khối. Nhà cung cấp có thể tận dụng các bộ tăng tốc như GPU, FPGA và ASIC để giảm thiểu thời gian và chi phí kiểm chứng.

zkFabric dựa vào các giả định bảo mật của chuỗi khối và giao thức mã hóa cơ bản cũng như các giả định bảo mật của giao thức mã hóa cơ bản. Tuy nhiên, để đảm bảo tính hiệu quả của zkFabric, cần có ít nhất một người chuyển tiếp trung thực để đồng bộ hóa đúng nhánh. Do đó, zkFabric sử dụng mạng chuyển tiếp phi tập trung thay vì một mạng chuyển tiếp duy nhất để tối ưu hóa hiệu quả của zkFabric. Mạng chuyển tiếp này có thể tận dụng các cấu trúc hiện có, chẳng hạn như mạng bảo vệ trạng thái trong mạng Celer.

Phân bổ người chứng minh: Mạng người chứng minh là mạng người chứng minh ZKP phi tập trung. Cần phải chọn một người chứng minh cho mỗi nhiệm vụ tạo bằng chứng và cung cấp cho những người chứng minh này Trả phí. .

Triển khai hiện tại:

Hiện tại cho nhiều blockchain khác nhau (bao gồm Ethereum PoS , Cosmos Tendermint và BNB Chain) làm ví dụ và bằng chứng về khái niệm.

Brevis hiện đã hợp tác với uniswap hook. Hook đã bổ sung thêm một nhóm uniswap tùy chỉnh, tuy nhiên, so với CEX, UnisWap vẫn thiếu các chức năng xử lý dữ liệu hiệu quả. dựa vào dữ liệu giao dịch lớn của người dùng (chẳng hạn như chương trình khách hàng thân thiết dựa trên khối lượng giao dịch).

Với sự giúp đỡ của Brevis, hook đã giải quyết được thử thách. Giờ đây, hook có thể đọc toàn bộ dữ liệu chuỗi lịch sử của người dùng hoặc LP và chạy các phép tính có thể tùy chỉnh theo cách hoàn toàn không cần tin cậy.

2. Herodotus

Herodotus là phần mềm trung gian truy cập dữ liệu mạnh mẽ cung cấp thông minh. các chức năng sau để truy cập đồng bộ dữ liệu hiện tại và lịch sử trên chuỗi trên lớp Ethereum:

Trạng thái L1 từ L2

Trạng thái L2 từ cả L1 và L2 khác

L3/trạng thái Chuỗi ứng dụng đến L2 và L1

Herodotus đề xuất khái niệm bằng chứng lưu trữ, kết hợp bằng chứng bao gồm (xác nhận sự tồn tại của dữ liệu) và bằng chứng tính toán (xác minh việc thực hiện quy trình làm việc nhiều bước) để chứng minh các tập dữ liệu lớn (chẳng hạn như toàn bộ Ethereum Tính hợp lệ của một hoặc nhiều thành phần trong chuỗi khối hoặc tổng hợp).

Cốt lõi của chuỗi khối là cơ sở dữ liệu, trong đó dữ liệu được mã hóa và bảo vệ bằng các cấu trúc dữ liệu như cây Merkle và cây Merkle Patricia. Điều độc đáo ở các cấu trúc dữ liệu này là khi dữ liệu được cam kết an toàn với chúng, bằng chứng có thể được tạo ra để xác nhận rằng dữ liệu được chứa trong cấu trúc.

Việc sử dụng cây Merkle và cây Merkle Patricia giúp tăng cường tính bảo mật của chuỗi khối Ethereum. Bằng cách băm mật mã dữ liệu ở mỗi cấp độ của cây, gần như không thể thay đổi dữ liệu mà không bị phát hiện. Bất kỳ thay đổi nào đối với điểm dữ liệu đều yêu cầu thay đổi hàm băm tương ứng trên cây thành hàm băm gốc, được hiển thị công khai trong tiêu đề blockchain. Tính năng cơ bản này của blockchain cung cấp mức độ toàn vẹn dữ liệu và tính bất biến cao.

Thứ hai, những cây này cho phép xác minh dữ liệu hiệu quả thông qua bằng chứng đưa vào. Ví dụ: khi xác minh việc bao gồm một giao dịch hoặc trạng thái của hợp đồng, không cần phải tìm kiếm toàn bộ chuỗi khối Ethereum mà chỉ cần tìm kiếm đường dẫn trong cây Merkle có liên quan.

Bằng chứng lưu trữ được Herodotus xác định là sự kết hợp của:

· Chứa các bằng chứng: những Bằng chứng xác nhận sự tồn tại của dữ liệu cụ thể trong cấu trúc dữ liệu mật mã (chẳng hạn như cây Merkle hoặc cây Merkle Patricia), đảm bảo rằng dữ liệu được đề cập thực sự tồn tại trong tập dữ liệu.

· Bằng chứng tính toán: Xác minh việc thực hiện quy trình làm việc nhiều bước, chứng minh tính hợp lệ của một hoặc nhiều phần tử trong một tập dữ liệu rộng, chẳng hạn như toàn bộ chuỗi khối Ethereum hoặc Tóm tắt. Ngoài việc chỉ ra sự hiện diện của dữ liệu, chúng còn xác minh các phép biến đổi hoặc hoạt động được áp dụng cho dữ liệu đó.

·Bằng chứng không có kiến ​​thức: Đơn giản hóa lượng dữ liệu mà hợp đồng thông minh cần tương tác. Bằng chứng không có kiến ​​thức cho phép hợp đồng thông minh xác nhận tính hợp lệ của yêu cầu mà không cần xử lý tất cả dữ liệu cơ bản.

Quy trình làm việc:

1. Lấy hàm băm khối

Quy trình làm việc:

1. p>

Mỗi dữ liệu trên blockchain thuộc về một khối cụ thể. Khối băm đóng vai trò là mã định danh duy nhất của khối và tóm tắt tất cả nội dung của nó thông qua tiêu đề khối. Trong quy trình chứng minh lưu trữ, trước tiên chúng ta cần xác định và xác minh hàm băm khối của khối chứa dữ liệu mà chúng ta quan tâm. Đây là bước đầu tiên trong toàn bộ quy trình.

2. Lấy tiêu đề khối

Sau khi bạn đã có được hàm băm khối liên quan, hãy tiếp tục Bước đầu tiên là truy cập vào tiêu đề khối. Để thực hiện việc này, tiêu đề khối liên quan đến hàm băm khối thu được ở bước trước cần được băm. Sau đó, hàm băm của tiêu đề khối được cung cấp sẽ được so sánh với hàm băm khối thu được:

Có hai cách để lấy hàm băm:

p>

(1) Sử dụng opcode BLOCKHASH để truy xuất

(2) Lịch sử truy vấn từ Block Hash Accumulator Hash của khối đã được xác minh

Bước này đảm bảo rằng tiêu đề khối đang được xử lý là xác thực. Sau khi hoàn thành bước này, hợp đồng thông minh có thể truy cập bất kỳ giá trị nào trong tiêu đề khối.

3. Xác định gốc cần thiết (tùy chọn)

Với tiêu đề khối trong tay, chúng ta có thể đi sâu vào nội dung của nó, cụ thể:

stateRoot: khu vực Bản tóm tắt mật mã của toàn bộ trạng thái blockchain tại thời điểm khối xảy ra.

receiptsRoot: Bản tóm tắt được mã hóa của tất cả các kết quả giao dịch (biên lai) trong khối.

TransactionsRoot: Bản tóm tắt bằng mật mã của tất cả các giao dịch xảy ra trong khối.

Khối có thể được giải mã, giúp xác minh xem một tài khoản, biên nhận hoặc giao dịch cụ thể có được đưa vào khối hay không.

4. Xác thực dữ liệu dựa trên gốc đã chọn (tùy chọn)

Với gốc mà chúng tôi đã chọn và xét đến việc Ethereum sử dụng cấu trúc Merkle-Patricia Trie, chúng tôi có thể sử dụng bằng chứng bao gồm Merkle để xác minh xem dữ liệu có tồn tại trong cây hay không. Các bước xác minh sẽ khác nhau tùy thuộc vào dữ liệu và độ sâu của dữ liệu trong khối.

Các mạng hiện được hỗ trợ:

Từ Ethereum đến Starknet

Từ Ethereum Goerli* đến Starknet Goerli*

Từ Ethereum Goerli* đến zkSync Era Goerli*

3. Axiom

Axiom cung cấp một cách để các nhà phát triển truy vấn các tiêu đề khối, tài khoản trong toàn bộ lịch sử của Ethereum hoặc lưu trữ một giá trị. AXIOM giới thiệu một phương pháp liên kết mới dựa trên mật mã. Tất cả các kết quả do Axiom trả về đều được xác minh trên chuỗi thông qua bằng chứng không có kiến thức, nghĩa là hợp đồng thông minh có thể sử dụng chúng mà không cần giả định bổ sung về độ tin cậy.

Axiom gần đây đã phát hành mục tiêu Halo2-repl , là REPL halo2 dựa trên trình duyệt được viết bằng Javascript. Điều này cho phép các nhà phát triển viết các mạch ZK chỉ bằng Javascript tiêu chuẩn mà không cần phải học một ngôn ngữ mới như Rust, cài đặt các thư viện kiểm chứng hoặc xử lý các vấn đề phụ thuộc.

Axiom bao gồm hai thành phần công nghệ chính:

AxiomV1—Bộ nhớ đệm chuỗi khối Ethereum, bắt đầu bằng Sáng Thế Ký.

AxiomV1Query—Một hợp đồng thông minh thực hiện các truy vấn đối với AxiomV1.

(1) Giá trị băm của khối bộ đệm trong AxiomV1:

Hợp đồng thông minh AxiomV1 Khối bộ đệm Ethereum các giá trị băm kể từ khối gốc dưới hai dạng:

Đầu tiên, Keccak Merkle lưu trữ 1024 khối băm liên tiếp gốc. Các gốc Merkle này được cập nhật thông qua bằng chứng ZK, xác minh rằng hàm băm tiêu đề khối tạo thành chuỗi cam kết kết thúc bằng một trong 256 khối gần đây nhất có thể truy cập trực tiếp vào EVM hoặc hàm băm khối đã tồn tại trong bộ đệm AxiomV1.

Thứ hai. Axiom lưu trữ Dãy núi Merkle của các gốc Merkle này bắt đầu từ khối nguồn gốc. Dãy núi Merkle được xây dựng trên chuỗi bằng cách cập nhật phần đầu tiên của bộ đệm, gốc Keccak Merkle.

(2) Thực thi truy vấn trong AxiomV1Query:

Hợp đồng thông minh AxiomV1Query được sử dụng cho các truy vấn hàng loạt để đạt được Trustless quyền truy cập vào các tiêu đề, tài khoản khối Ethereum lịch sử và dữ liệu tùy ý được lưu trữ trong tài khoản. Các truy vấn có thể được thực hiện trên chuỗi và được hoàn thành trên chuỗi thông qua bằng chứng ZK dựa trên băm khối được lưu trong bộ nhớ đệm AxiomV1.

Các bằng chứng ZK này kiểm tra xem dữ liệu trên chuỗi có liên quan nằm trực tiếp trong tiêu đề khối hay trong tài khoản hoặc kho lưu trữ của khối hay không bằng cách xác minh Merkle- Patricia Trie Việc chứng minh bao gồm (hoặc không bao gồm) được thực hiện.

4. Nexus

Nexus cố gắng sử dụng bằng chứng không có kiến thức để xây dựng một đám mây có thể kiểm chứng tính toán Một nền tảng phổ quát. Hiện tại, nó là công nghệ bất khả tri về kiến trúc máy và hỗ trợ risc 5/WebAssembly/EVM. Nexus sử dụng hệ thống chứng minh của supernova. Nhóm đã kiểm tra rằng bộ nhớ cần thiết để tạo ra bằng chứng là 6GB. Trong tương lai, nó sẽ được tối ưu hóa trên cơ sở này để các thiết bị và máy tính phía người dùng thông thường có thể tạo ra bằng chứng.

Nói một cách chính xác, kiến trúc được chia thành hai phần:

Nexus zero: từ không có kiến thức Mạng điện toán đám mây có thể xác minh phi tập trung được hỗ trợ bởi chứng thực và zkVM phổ quát.

Nexus: Mạng điện toán đám mây phi tập trung có thể kiểm chứng được hỗ trợ bởi tính toán của nhiều bên, sao chép máy trạng thái và máy ảo WASM phổ quát.

Các ứng dụng Nexus và Nexus Zero có thể được viết bằng các ngôn ngữ lập trình truyền thống, hiện đang hỗ trợ Rust và sẽ có thêm nhiều ngôn ngữ khác.

Các ứng dụng Nexus chạy trên mạng điện toán đám mây phi tập trung, về cơ bản là một "blockchain không có máy chủ" có mục đích chung được kết nối trực tiếp với Ethereum. Do đó, các ứng dụng Nexus không kế thừa tính bảo mật của Ethereum nhưng đổi lại có được quyền truy cập vào sức mạnh tính toán cao hơn (chẳng hạn như điện toán, lưu trữ và I/O theo hướng sự kiện) do kích thước mạng của nó giảm. Các ứng dụng Nexus chạy trên một đám mây chuyên dụng nhằm đạt được sự đồng thuận nội bộ và cung cấp “bằng chứng” tính toán có thể kiểm chứng được (không phải bằng chứng xác thực) thông qua các chữ ký ngưỡng trên toàn mạng có thể kiểm chứng được trong Ethereum.

Các ứng dụng Nexus Zero kế thừa tính bảo mật của Ethereum, vì chúng là các chương trình có mục đích chung với bằng chứng không có kiến thức có thể hoạt động trên đường cong elip BN-254. xác minh trên chuỗi.

Vì Nexus có thể chạy bất kỳ tệp nhị phân WASM xác định nào trong môi trường được sao chép nên dự kiến nó sẽ được sử dụng làm nguồn chứng minh tính hợp lệ/sự phân tán/khả năng chịu lỗi cho các ứng dụng được tạo ra, bao gồm trình sắp xếp trình tự cuộn lên zk, trình sắp xếp trình tự cuộn lên lạc quan và các bộ chứng minh khác, chẳng hạn như chính zkVM của Nexus Zero.

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