「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

avatar
ABCDE
12-01
Bài viết này được dịch máy
Xem bản gốc

Ngày 30 tháng 11 năm 2023 | Kris & Laobai ABCDE / Celer Network

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 NHÀ CUNG CẤP THANH KHOẢN 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 cặp giao dịch khác nhau trên Uniswap , APR của phí xử lý trong 7 ngày qua, và 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 khi có 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 dữ liệu này mà đội ngũ phát triển của Uniswap và StepN cũng đang chú ý đến dữ liệu này.

Dữ liệu này rất có ý nghĩa - nó không chỉ có thể 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"tung ra để 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 tung ra dựa trên TVL hoặc khối lượng giao dịch do NHÀ CUNG CẤP THANH KHOẢN 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í thị phần NHÀ CUNG CẤP THANH KHOẢN .

Lúc này, vấn đề nảy sinh - khi các công ty Internet lớn chơi với big dữ liệu+ AI, về cơ bản 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à tín nhiệm 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 triển khai 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, 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 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 đề tín nhiệm"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 đề tín nhiệm đượ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 đội ngũ đồng xử lý cũng hy vọng có thể đư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 đó, nhiệm vụ đồ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:

  1. Lấy dữ liệu từ blockchain và chứng minh thông qua ZK 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 tôi vừa thu được và một lần nữa sử dụng ZK để chứng minh rằng kết quả tôi tính toán là đúng và không bị giả mạo. Kết quả tính toán có thể được gọi bằng hợp đồng thông minh là "Phí thấp + Không cần tin cậy".

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 cầu nối xuyên chuỗi 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 rút dữ liệu mà không tín nhiệm , nó có thể thực hiện phép tính tín nhiệm.

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 một lớp lưu trữ tương tự như blockchain 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 plug-in dịch vụ cho tất cả Layer1/ Layer2 , trong khi Rollup tạo lại một lớp thực thi để giúp mở rộng lớp quyết toán.

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 nhìn lên 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 tín nhiệm 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, tín nhiệm 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 công nghệ bộ đồng xử lý phổ biến trên thị trường

  1. Brevis:

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 Block Header từ tất cả blockchain đượ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 Block Header này. Thông qua zkFabric, Brevis triển khai bộ đồng xử lý có thể tương tác cho đa chuỗi, cho phép một blockchain truy cập bất kỳ dữ liệu lịch sử nào của blockchain 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 đến từ dApps và xử lý chúng. Truy vấn dữ liệu liệu xử lý các truy vấn này bằng cách sử dụng Block Header đã được xác minh đến 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: Blockchain 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 đến 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ó với tất cả blockchain đượ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:

Máy trạm nhẹ dựa trên Bằng chứng không tri thức (ZKP) của zkFabric khiến nó hoàn toàn không tín nhiệm 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ừ đến từ blockchain 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 Block Header. Nhà cung cấp có thể tận dụng accelerator 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 blockchain và giao thức crypto cơ bản cũng như các giả định bảo mật của giao thức crypto 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 trạm nhẹ hiện được triển khai cho nhiều blockchain 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 NHÀ CUNG CẤP THANH KHOẢN và chạy các phép tính có thể tùy chỉnh theo cách hoàn toàn tín nhiệm.

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ộ blockchain 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 crypto 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 blockchain Ethereum . Bằng cách băm crypto 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ộ blockchain 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:

  • Bằng chứng ngăn chặn: Những bằng chứng này xác nhận sự tồn tại của dữ liệu cụ thể trong cấu trúc dữ liệu crypto (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 gồm 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 dữ liệu rộng, chẳng hạn như toàn bộ blockchain Ethereum hoặc tổng hợp. 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 tri thức: Đơn giản hóa lượng dữ liệu hợp đồng thông minh cần tương tác. Bằng chứng không tri 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

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 Block Header. 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 Block Header

Sau khi nhận được hàm băm khối có liên quan, bước tiếp theo là truy cập Block Header. Để thực hiện việc này, Block Header 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 Block Header đượ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 Hash

Bước này đảm bảo rằng Block Header đ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 Block Header.

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 crypto 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 crypto 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 crypto 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 Block Header , 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 tri thức, nghĩa là các hợp đồng thông minh có thể sử dụng chúng mà không cần có thêm giả định về tín nhiệm .

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:

AxiomV1 — Bộ đệm blockchain 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 Genesis 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 Block Header 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 Genesis . 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 tín nhiệm vào các tiêu đề, tài khoản và dữ liệu tùy ý của Block Header 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 Block Header 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 tri 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. Đội ngũ đã 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 tri 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 bên long, 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 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 Bằng chứng không tri 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 hoàn cảnh được sao chép , nên nó dự kiến ​​sẽ được sử dụng làm nguồn hợp lệ/phân tán/khả năng chịu lỗi cho các ứng dụng tạo bằng chứng, bao gồm sắp xếp zk-rollup, sắp xếp chuỗi tổng hợp lạc quan và Prover khác , chẳng hạn như chính zkVM của Nexus Zero.

Giới thiệu về ABCDE

ABCDE là một quỹ đầu tư mạo hiểm tập trung vào các khoản đầu tư hàng đầu vào các Nhà xây dựng tiền điện tử hàng đầu. ABCDE được đồng sáng lập bởi Người đồng sáng lập Huobi Du Jun, người đã làm việc trong ngành tiền điện tử hơn 10 năm và BMAN, một cựu doanh nhân Internet và tiền điện tử. Những người đồng sáng lập ABCDE giá trị vốn hóa thị trường xây dựng các công ty trị giá hàng tỷ đô la trong ngành Tiền điện tử từ đầu. Bởi vì chúng tôi là doanh nhân nên chúng tôi hiểu doanh nhân hơn. Chúng tôi đã xây dựng một hệ sinh thái toàn diện cho ABCDE's Builder như các công ty niêm yết (1611.HK), sàn giao dịch(Huobi), công ty SAAS (ChainUP), phương tiện truyền thông (CoinTime.com) và nền tảng nhà phát triển (BeWater.xyz).

Twitter: https://twitter.com/ABCDLabs

Trang web: www.ABCDE.com

Medium
Tuyên bố từ chối trách nhiệm: Nội dung trên chỉ là ý kiến của tác giả, không đại diện cho bất kỳ lập trường nào của Followin, không nhằm mục đích và sẽ không được hiểu hay hiểu là lời khuyên đầu tư từ Followin.
Thích
72
Thêm vào Yêu thích
19
Bình luận