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à không phải là gì, vẫn còn tương đối mơ hồ. Về việc so sánh giải pháp kỹ thuật của một số dòng sản phẩm đồng xử lý trên thị trường, vẫn chưa có ai sắp xếp một cách 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ề dòng sản phẩm đồng xử lý.

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

Nếu bạn được yêu cầu 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ỉ trong 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 Dune Analytics”.

Làm thế nào để giải mã câu này?

Hãy tưởng tượng kịch bản mà 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 khối lượng giao dịch gần đây của các cặp giao dịch khác nhau trên Uniswap, APR của phí xử lý trong 7 ngày qua, và các cặp giao dịch chính thống Phạm vi dao động trên và dưới, 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à bạn không biết khi nào nên bán chúng nên bạn nhìn chằm chằm vào dữ liệu StepN trên Dune mỗi ngày, khối lượng giao dịch hàng ngày, số lượng người dùng mới, giá sàn của giày... và lên kế hoạch ngay khi có sự tăng trưởng. Nếu xu hướng chậm lại hoặc đi xuống, hãy chạy thật nhanh.

Tất nhiên, bạn có thể không chỉ nhìn chằm chằm vào 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 được sử dụng để tạo ra nhiều thủ thuật hơn, giống như cách tiếp cận "dữ liệu lớn" thường được các công ty Internet lớn sử dụng.

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 và bán, những đôi giày tương tự được khuyến nghị.

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

Ví dụ: gói VIP tương tự như Cex có thể được triển khai dựa trên TVL hoặc khối lượng giao dịch do LP hoặc Trader cung cấp trên Uniswap, mang lại lợi ích giảm phí giao dịch cho Trader hoặc tăng phí chia sẻ LP.

…

Lúc này, vấn đề nảy sinh - big data + AI của các công ty Internet lớn về cơ bản là một hộp đen, họ có thể làm bất cứ điều gì họ muốn, người dùng không thể nhìn thấy 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ẽ phải đối mặt vớ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, sử dụng Dune "thủ công" để đếm dữ liệu chỉ mục trong nền, sau đó triển khai và triển khai nó; hoặc bạn có thể viết a Thiết lập các 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 các phép tính và tự động triển khai các điểm.

Điều đầu tiên có thể để lại cho bạn những vấn đề về lòng tin "không chính xác về mặt chính trị".

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

Đâ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 sử dụng bước "hướng dẫn nền" để "tự chứng minh sự vô tội" thông qua các phương tiện kỹ thuật. Nói cách khác, hãy sử dụng ZK công nghệ để "lập chỉ mục +" bên ngoài chuỗi. Phần "tính toán" "tự chứng minh sự vô tội", sau đó đưa nó vào hợp đồng thông minh. Bằng cách này, vấn đề tin cậy được giải quyết và phí gas khổng lồ không còn nữa. Hoàn hảo !

Đâ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 sử dụng bước "hướng dẫn nền" để "tự chứng minh sự vô tội" thông qua các phương tiện kỹ thuật. Nói cách khác, hãy sử dụng ZK công nghệ để "lập chỉ mục +" bên ngoài chuỗi. Phần "tính toán" "tự chứng minh sự vô tội", sau đó đưa nó vào hợp đồng thông minh. Bằng cách này, vấn đề tin cậy được giải quyết và phí gas khổng lồ không còn nữa. Hoàn hảo !

Tại sao nó được gọi là "bộ đồng xử lý"? Trên thực tế, điều này bắt nguồn 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ý 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 thì chúng vốn dĩ không phù hợp với những "dữ liệu nặng" và "phức tạp" như vậy. logic tính toán", do đó, bộ đồng xử lý blockchain được giới thiệu để giúp xử lý các phép tính như vậy, từ đó 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:

Cách đây một thời gian, Starkware có một khái niệm khá phổ biến là Storage Proof hay còn gọi là State Proof, về cơ bản nó thực hiện bước 1, đại diện là Herodotus, Langrage, v.v. Trọng tâm kỹ thuật của nhiều cross-chain bridge dựa trên công nghệ ZK cũng nằm ở bước 1 . 1 trên.

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

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à 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à quá trình "lấy dữ liệu" ở bước 1 được thực hiện trực tiếp thông qua Sequencer. Ngay cả một Sequencer phi tập trung cũng chỉ sử dụng một số loại cơ chế cạnh tranh hoặc đồng thuận. Hãy sử dụng nó thay vì bằng chứng lưu trữ trong dạng ZK. Đ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". Sau khi tính toán hoàn tất, không có trạng thái Tất cả là 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 để giúp mở rộng lớp giải quyết.

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

Sau khi đọc phần trên, bạn có thể nghi ngờ 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ẻ rất giống "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ả trên 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 tiền thật. Các chỉ mục này phục vụ các dịch vụ ngoài chuỗi. Những gì bạn thấy trên giao diện người dùng phía trước là khối lượng giao dịch, lịch sử giao dịch, v.v. Dữ liệu có thể được cung cấp thông qua nhiều dữ liệu các nhà cung cấp chỉ mục như Graph, Alchemy, Zettablock, v.v., nhưng dữ liệu này không thể được đưa trở lại hợp đồng thông minh, bởi vì khi bạn đưa nó trở lại, bạn sẽ có thêm niềm tin vào dịch vụ lập chỉ mục. 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, niềm tin 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 mượn bạn 100 nhân dân tệ, bạn có thể cho vay mà không chớp mắt. Vâng, còn khi tôi thì sao? 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?Xét cho cùng, chúng ta có hai tuyến kỹ thuật, OP và ZK, trong Rollup. ZKML phổ biến gần đây cũng có khái niệm OPML về các tuyến nhánh tương ứng. Khi được hỏi, bộ đồng xử lý cũng có một nhánh của OP, chẳng hạn như OP-Coprocessor phải không?

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à chúng tôi 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 kỹ thuật bộ đồng xử lý phổ biến trên thị trường

Kiến 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ư 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 minh 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 proof cho block header, việc đảm bảo tính bảo mật cho phần này là rất quan trọng, sau đây là sơ đồ kiến ​​trúc của zkFabric:

Ứng dụng khách nhẹ dựa trên Zero-Knowledge Proof (ZKP) của zkFabric làm cho nó hoàn toàn không cần tin cậy mà không cần dựa vào bất kỳ thực thể xác minh 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.

zkFoven dựa trên 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 rơle 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 rơle duy nhất để tối ưu hóa hiệu quả của zkFabric. Mạng chuyển tiếp này có thể sử dụng các cấu trúc hiện có, chẳng hạn như mạng giám sát 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, yêu cầu chọn người chứng minh cho mỗi nhiệm vụ tạo bằng chứng và trả phí cho những người chứng minh này.

Triển khai hiện tại:

Các giao thức máy khách nhẹ hiện được triển khai cho nhiều chuỗi khối khác nhau bao gồm Ethereum PoS, Cosmos Tendermint và Chuỗi BNB đóng vai trò là ví dụ và bằng chứng về khái niệm.

Triển khai hiện tại:

Các giao thức máy khách nhẹ hiện được triển khai cho nhiều chuỗi khối khác nhau bao gồm Ethereum PoS, Cosmos Tendermint và Chuỗi BNB đóng vai trò là ví dụ và bằng chứng về khái niệm.

Brevis hiện đã hợp tác với uniswap hook, công cụ này bổ sung rất nhiều nhóm uniswap tùy chỉnh.Tuy nhiên, so với CEX, UnisWap vẫn thiếu khả năng xử lý dữ liệu hiệu quả để tạo các dự án dựa trên dữ liệu giao dịch lớn của người dùng (chẳng hạn như các 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 các hợp đồng thông minh với 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

Trạng thái L3/Chuỗi ứng dụng thành 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 rằng một tập dữ liệu lớn (chẳng hạn như toàn bộ chuỗi khối Ethereum hoặc một cuộn lên) hoặc tính hợp lệ của nhiều phần tử.

Cốt lõi của blockchain 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, chỉ cần xác minh đường dẫn trong cây Merkle có liên quan.

Bằng chứng về việc lưu trữ theo định nghĩa của Herodotus là sự kết hợp của:

Quy trình làm việc:

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

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 thu được hàm băm khối có liên quan, bước tiếp theo là truy cập tiêu đề khối. Để thực hiện việc này, tiêu đề khối liên quan đến khối băm 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 kết quả:

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

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

(2) Truy vấn giá trị băm của các khối đã được xác minh trong lịch sử từ Bộ tích lũy khối băm

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

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

(2) Truy vấn giá trị băm của các khối đã được xác minh trong lịch sử từ Bộ tích lũy khối băm

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 các rễ cần thiết (tùy chọn)

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

stateRoot: 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 blockchain xảy ra.

biên laiRoot: 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 mật mã của tất cả các giao dịch xảy ra trong khối.

có thể được giải mã, cho phép xác minh xem một tài khoản, biên lai 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à xem xét rằng 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. Tiên đề

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 hoặc giá trị lưu trữ từ toàn bộ lịch sử của Ethereum. 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 Halo2-repl , một 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 mạch ZK chỉ bằng Javascript tiêu chuẩn mà không cần phải học các ngôn ngữ mới như Rust, cài đặt thư viện chứng minh hoặc xử lý các phần phụ thuộc.

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

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

AxiomV1 — Bộ đệm chuỗi khối Ethereum, bắt đầu với Genesis.

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

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

Hợp đồng thông minh AxiomV1 lưu trữ các hàm băm khối Ethereum kể từ khối gốc dưới hai dạng:

Đầu tiên, gốc Keccak Merkle của 1024 khối băm liên tiếp được lưu trữ. 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 hiện 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 nhằm cho phép truy cập không đáng tin cậy vào các tiêu đề, tài khoản và dữ liệu tùy ý của khối Ethereum lịch sử đượ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 bộ lưu trữ của khối hay không, bằng cách xác minh bằng chứng bao gồm (hoặc không bao gồm) của Merkle-Patricia Trie.

4.Nexus

Nexus cố gắng xây dựng một nền tảng chung cho điện toán đám mây có thể kiểm chứng bằng cách sử dụng bằng chứng không có kiến ​​thức. 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 siêu tân tinh. Nhóm đã kiểm tra rằng bộ nhớ cần thiết để tạo 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 chính xác, kiến ​​trúc được chia thành hai phần:

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

Nexus: Mạng điện toán đám mây có thể kiểm chứng phi tập trung đượ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 mây riê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 phổ biến với bằng chứng không có kiến ​​thức có thể được xác minh trên chuỗi trên đường cong elip BN-254.

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 bằng chứng về 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, bao gồm trình sắp xếp chuỗi zk-rollup, trình sắp xếp chuỗi cuộn lên lạc quan và các máy chủ bằng chứng khác, chẳng hạn như chính zkVM của Nexus Zero.