Tóm tắt:

· Mạng B^2 đã thiết lập một lớp Data Availability (DA) được biết đến là B^2 Hub trong chuỗi Bitcoin, lấy cảm hứng từ các khái niệm của Celestia. Mạng lớp DA này thực hiện việc lấy mẫu dữ liệu và mã hóa mất mát để đảm bảo phân phối nhanh chóng dữ liệu mới đến nhiều nút bên ngoài và ngăn chặn việc giữ lại dữ liệu. Ngoài ra, Committer trong mạng B^2 Hub chịu trách nhiệm tải lên chỉ số lưu trữ và băm dữ liệu DA lên chuỗi Bitcoin để công cộng truy cập.

Để giảm bớt gánh nặng cho các nút lớp DA, dữ liệu lịch sử trong B^2 Hub không được lưu giữ vĩnh viễn. Do đó, B^2 đã nỗ lực xây dựng lại mạng lưu trữ, sử dụng cơ chế khích lệ lưu trữ tương tự như Arweave để khuyến khích thêm nhiều nút lưu trữ các bộ dữ liệu lịch sử toàn diện trao đổi lưu trữ thưởng.

· Về xác minh trạng thái, B^2 áp dụng một phương pháp xác minh lai để xác thực các chứng minh ZK ngoại chuỗi và tận dụng khái niệm bitVM để thách thức các dấu vết xác minh chứng minh ZK trên chuỗi. An toàn của mạng B^2 được đảm bảo khi một nút thách thức khởi đầu một thách thức sau khi phát hiện lỗi, phù hợp với mô hình tin cậy của giao thức chứng minh gian lận. Tuy nhiên, do việc sử dụng chứng minh ZK, quy trình xác minh trạng thái này về cơ bản là lai.

·Phù hợp với lộ trình tương lai của Mạng lưới B^2, B^2 Hub tương thích với EVM có tiềm năng phục vụ như một lớp xác minh ngoại chuỗi và lớp DA kết nối nhiều giải pháp Bitcoin Layer 2. Mục tiêu của nó là phát triển thành một lớp mở rộng chức năng ngoại chuỗi của Bitcoin tương tự như BTCKB. Với những hạn chế của Bitcoin trong việc hỗ trợ các tình huống khác nhau, việc phát triển một lớp mở rộng chức năng ngoại chuỗi được dự kiến sẽ trở thành một thực hành phổ biến trong hệ sinh thái Layer 2.

B^2 Hub: lớp sẵn có Dữ liệu (DA) và lớp xác minh chung trong chuỗi Bitcoin

Hệ sinh thái Bitcoin hiện tại giống như một không gian rộng lớn của cơ hội và rủi ro, nơi hậu quả của Mùa Hè Các bia đã thổi hồi sức mới vào lĩnh vực này, tương tự như một mảnh đất còn nguyên sơ với mùi của sự giàu có vẫn còn đọng trong không khí. Sự ra đời của Bitcoin Layer 2 vào đầu năm nay đã biến cảnh quan hoang vắng ngày xưa này thành trung tâm của những ước mơ cho nhiều nhà tầm nhìn.

Quay trở lại điểm chính: định nghĩa của Lớp 2 vẫn là một điểm tranh cãi giữa các cá nhân. Liệu đó có phải là một chuỗi phụ? Một bộ chỉ mục? Liệu thuật ngữ Lớp 2 có bao gồm các chuỗi thiết lập kết nối không? Một plug-in đơn giản phụ thuộc vào Bitcoin và Ethereum có đủ điều kiện để được xem là một Lớp không? Những câu hỏi này giống như những phương trình chưa được giải quyết mà không có một giải pháp cuối cùng.

Theo quan điểm của cộng đồng Ethereum và Celestia, Layer 2 đại diện cho một phiên bản riêng biệt của một blockchain modular. Trong ngữ cảnh này, sự phụ thuộc chặt chẽ tồn tại giữa các lớp được gọi là “lớp thứ hai” và “lớp đầu tiên.” An ninh của Lớp 1 có thể được kế thừa một phần hoặc đáng kể bởi mạng lớp hai. An ninh chính mình bao gồm nhiều danh mục con, bao gồm DA, xác minh trạng thái, xác minh rút tiền, sự chống lại kiểm duyệt và sự chống lại tổ chức lại.

Với những hạn chế vốn có của mạng Bitcoin, nó không tự nhiên thích hợp để hỗ trợ một mạng Layer 2 toàn diện. Ví dụ, về DA, khả năng xử lý dữ liệu của Bitcoin đáng kể kém hơn so với Ethereum. Với thời gian tạo khối trung bình là 10 phút, tốc độ xử lý dữ liệu tối đa của Bitcoin chỉ là 6,8KB/s, khoảng 1/20 của khả năng của Ethereum. Do đó, không gian khối tắc nghẽn dẫn đến chi phí cao cho việc xuất bản dữ liệu.

(Chi phí đăng tải dữ liệu trong một khối Bitcoin có thể lên đến 5 đô la mỹ mỗi KB)

Nếu Layer 2 trực tiếp xuất bản dữ liệu giao dịch mới được thêm vào khối Bitcoin, nó sẽ không đạt được khả năng xử lý cao hoặc phí giao dịch thấp. Để giải quyết vấn đề này, một phương pháp là nén dữ liệu một cách đáng kể trước khi tải lên khối Bitcoin. Citrea hiện đang áp dụng phương pháp này, nêu rõ rằng họ sẽ tải lên các thay đổi trạng thái (state diff) xảy ra trên nhiều tài khoản lên chuỗi Bitcoin, đi kèm với các chứng chỉ ZK tương ứng trong một khoảng thời gian cụ thể.

Điều này cho phép bất kỳ ai cũng có thể xác minh tính hợp lệ của sự khác biệt trạng thái và ZKP tải xuống từ mạng lưới chính Bitcoin trong khi duy trì dữ liệu nhẹ trên chuỗi.

(Bản tóm tắt trước đây của Polygon Hermez giải thích nguyên tắc của kế hoạch nén trên)

Mặc dù phương pháp này đã đạt được việc nén kích thước dữ liệu đáng kể, nhưng có thể gặp trở ngại trong các tình huống mà nhiều giao dịch dẫn đến thay đổi trạng thái trong nhiều tài khoản trong một thời gian ngắn. Mặc dù nhẹ hơn so với việc tải lên dữ liệu giao dịch cá nhân trực tiếp, việc tải lên các thay đổi tài khoản vẫn gây ra chi phí phát hành dữ liệu đáng kể.

Kết quả là, nhiều giải pháp Bitcoin Layer 2 chọn không tải dữ liệu DA lên mạng lưới chính Bitcoin và thay vào đó sử dụng lớp DA của bên thứ ba như Celestia. Ngược lại, B^2 thực hiện một phương pháp khác bằng việc thiết lập một mạng Lưu trữ Dữ liệu (DA) trực tiếp dưới chuỗi, được biết đến là B^2 Hub. Trong thiết kế này, dữ liệu quan trọng như dữ liệu giao dịch hoặc sự khác biệt trạng thái được lưu trữ ngoại mạng, chỉ có các chỉ mục lưu trữ và băm dữ liệu của họ (được gọi là dữ liệu để đơn giản hóa) được tải lên mạng lưới chính Bitcoin.

Các băm dữ liệu và chỉ mục lưu trữ này được ghi lại trên chuỗi Bitcoin tương tự như các hình vẽ. Bằng cách chạy một nút Bitcoin, cá nhân có thể truy cập cục bộ vào băm dữ liệu và chỉ mục lưu trữ. Sử dụng giá trị chỉ mục, họ có thể khôi phục dữ liệu gốc từ lớp DA hoặc lớp lưu trữ ngoại tuyến của B^2. Băm dữ liệu cho phép xác minh tính đúng đắn của dữ liệu được lấy từ lớp DA ngoại tuyến so với băm tương ứng trên chuỗi Bitcoin. Cách tiếp cận trực tiếp này giúp các giải pháp Layer 2 giảm sự phụ thuộc vào mạng chính Bitcoin cho các vấn đề DA, giảm chi phí giao dịch và đạt được công suất xử lý cao.

Tuy nhiên, điều quan trọng là phải nhận thức rằng các nền tảng DA bên thứ ba dưới chuỗi có thể tham gia vào các thực hành giữ lại dữ liệu, ngăn chặn việc truy cập bên ngoài vào dữ liệu mới - hiện tượng được biết đến là “cuộc tấn công giữ lại dữ liệu.” Các giải pháp DA khác nhau giải quyết vấn đề này một cách khác nhau, với mục tiêu chung là phổ biến dữ liệu một cách nhanh chóng và rộng rãi để ngăn người điều khiển quyền truy cập dữ liệu chỉ là một số nút được chọn.

Theo lộ trình mới chính thức của Mạng B^2, giải pháp DA của nó dựa trên Celestia. Trong thiết kế sau này, các nhà cung cấp dữ liệu bên thứ ba sẽ liên tục cung cấp dữ liệu cho mạng Celestia. Các nhà sản xuất khối Celestia sẽ tổ chức các đoạn dữ liệu này thành dạng Merkle Tree, đóng chúng vào khối TIA và phát sóng chúng đến mạng. Người xác minh/nút đầy đủ.

Vì có rất nhiều dữ liệu và các khối khá lớn, hầu hết mọi người không thể chi trả để chạy nút đầy đủ và chỉ có thể chạy nút nhẹ. Nút nhẹ không đồng bộ hoàn toàn khối, mà chỉ đồng bộ tiêu đề khối với gốc của Cây Merkle được viết trên đó.

Theo lộ trình mới nhất của B^2 Network, giải pháp DA của họ lấy cảm hứng từ Celestia. Dưới thiết kế này, các nhà cung cấp dữ liệu bên ngoài liên tục cung cấp dữ liệu cho mạng lưới Celestia. Các nhà sản xuất khối trong Celestia tổ chức các đoạn dữ liệu này thành cấu trúc Merkle Tree, nhúng chúng vào các khối TIA và phổ biến chúng đến các bộ xác thực và nút đầy đủ của mạng lưới. Do khối lượng dữ liệu lớn và kích thước khối lớn, nhiều người chọn chạy các nút nhẹ thay vì nút đầy đủ. Các nút nhẹ chỉ đồng bộ các tiêu đề khối chứa gốc Merkle Tree.

Mặc dù các nút nhẹ thiếu cái nhìn toàn diện về cây Merkle và không thể xác minh nội dung dữ liệu mới, nhưng chúng có thể yêu cầu các nút đầy đủ cụ thể. Các nút đầy đủ cung cấp các nút lá được yêu cầu cùng với các chứng minh Merkle tương ứng để thuyết phục các nút nhẹ về sự tồn tại của chúng trong cây Merkle của khối Celestia, đảm bảo rằng chúng không phải là dữ liệu được chế tạo.

(Nguồn ảnh: W3 Hitchhiker)

Trong mạng lưới Celestia, tồn tại một loạt các nút ánh sáng tham gia vào việc lấy mẫu dữ liệu tần suất cao từ các nút đầy đủ khác nhau. Những nút ánh sáng này ngẫu nhiên chọn các đoạn dữ liệu cụ thể từ cây Merkle và phổ biến chúng đến các nút kết nối khác một cách nhanh chóng và hiệu quả, nhằm mục tiêu phân phối dữ liệu đến một đám đông lớn người dùng và thiết bị. Phương pháp này tạo điều kiện cho việc phổ biến dữ liệu nhanh chóng, đảm bảo rằng một số lượng đủ lớn các nút sẽ nhanh chóng nhận được dữ liệu mới nhất, qua đó loại bỏ nhu cầu phụ thuộc vào một nhóm hạn chế các nhà cung cấp dữ liệu. Mục tiêu cơ bản này làm nổi bật bản chất cốt lõi của Khả năng Có sẵn Dữ liệu (DA) và phân phối dữ liệu.

Tuy nhiên, mặc dù hiệu quả của giải pháp nói trên trong việc cho phép truy cập dữ liệu nhanh chóng, nó không đảm bảo tính toàn vẹn của nguồn dữ liệu. Ví dụ, một nhà sản xuất khối Celestia có khả năng chèn dữ liệu sai vào một khối, làm phức tạp các nỗ lực để xây dựng lại tập dữ liệu hoàn chỉnh và chính xác. Ngay cả khi mọi người có được tất cả các đoạn dữ liệu trong khối, họ không thể khôi phục tập dữ liệu hoàn chỉnh "nên được đưa vào". (Lưu ý: Từ "nên" rất quan trọng ở đây).

Hơn nữa, trong các kịch bản mà một số dữ liệu giao dịch cụ thể vẫn không được tiết lộ cho bên thứ ba, việc giữ lại chỉ 1% các mảnh dữ liệu có thể ngăn chặn người ngoài tái tạo toàn bộ bộ dữ liệu - một tình huống gợi nhớ đến các cuộc tấn công về việc giữ dữ liệu.

Trong bối cảnh được đề cập ở trên, việc hiểu về sự sẵn có của dữ liệu liên quan đến việc liệu dữ liệu giao dịch trong một block có hoàn chỉnh, có thể truy cập và dễ chia sẻ cho mục đích xác minh hay không. Ngược lại với quan điểm phổ biến, sự sẵn có không chỉ đồng nghĩa với khả năng truy cập vào dữ liệu lịch sử blockchain cho các thực thể bên ngoài. Do đó, các quan chức của Celestia và các nhà sáng lập L2BEAT đã thúc đẩy việc đổi tên sự sẵn có dữ liệu thành “việc phát hành dữ liệu”, biểu thị việc công bố một bộ dữ liệu giao dịch toàn diện và có thể truy cập trong một block.

Để giải quyết vấn đề tấn công giữ lại dữ liệu, Celestia sử dụng mã hóa xóa hai chiều. Nếu ít nhất 1/4 các đoạn mã dữ liệu (mã hóa xóa) trong một khối là hợp lệ, cá nhân có thể tái tạo tập dữ liệu gốc. Tuy nhiên, nếu một nhà sản xuất khối chèn 3/4 đoạn mã dữ liệu sai, việc tái tạo tập dữ liệu trở nên không thể thực hiện. Đáng chú ý, sự hiện diện quá mức của dữ liệu rác trong một khối có thể được nhận biết dễ dàng bởi các nút nhẹ, đóng vai trò như một biện pháp ngăn chặn các hoạt động độc hại từ các nhà sản xuất khối.

Bằng cách triển khai giải pháp này, Celestia hiệu quả giảm thiểu việc giữ lại dữ liệu trên nền tảng phân phối dữ liệu của mình. Mạng B^2 dự định sử dụng phương pháp lấy mẫu dữ liệu của Celestia như một điểm tham chiếu cơ bản trong tương lai, có thể tích hợp các công nghệ mật mã như cam kết KZG để tăng cường hiệu quả và đáng tin cậy của quy trình lấy mẫu dữ liệu và xác minh được thực hiện bởi các nút nhẹ.

Quan trọng nhận ra rằng trong khi giải pháp được đề cập giải quyết việc lưu trữ dữ liệu trong chính nền tảng DA, trong cơ sở hạ tầng Layer 2, cả nền tảng DA và Sequencer đều có khả năng lưu trữ dữ liệu. Trong quy trình làm việc như của B^2 Network, Sequencer tạo dữ liệu mới bằng cách tổ chức và xử lý giao dịch người dùng và các thay đổi trạng thái kết quả thành các lô trước khi truyền chúng đến các nút B^2 Hub phục vụ như tầng DA.

Trong những trường hợp xảy ra bất thường trong một lô được tạo ra bởi Sequencer, có nguy cơ bị giữ lại dữ liệu hoặc các hoạt động độc hại khác. Do đó, sau khi nhận được lô, mạng DA của B^2 Hub kiểm tra kỹ lưỡng nội dung của nó và từ chối bất kỳ lô gây vấn đề nào. Do đó, B^2 Hub không chỉ hoạt động như một tầng DA tương tự Celestia mà còn hoạt động như một tầng xác minh ngoại chuỗi tương tự CKB trong giao thức RGB++.

(Biểu đồ cấu trúc cơ bản của Mạng B^2 chưa hoàn chỉnh)

Theo lộ trình công nghệ mới nhất của Mạng B^2, khi B^2 Hub nhận và xác minh một lô hàng, nó sẽ giữ lại trong một khoảng thời gian cụ thể trước khi hết hạn và loại bỏ khỏi nút cục bộ. Để giải quyết các vấn đề lạc hậu và mất dữ liệu tương tự như EIP-4844, Mạng B^2 thiết lập một mạng lưới các nút lưu trữ được giao nhiệm vụ lưu trữ dữ liệu lô hàng một cách vĩnh viễn để dễ dàng truy xuất dữ liệu lịch sử khi cần thiết.

Tuy nhiên, cá nhân rất ít khi sẽ vận hành một nút lưu trữ B^2 mà không có lý do thuyết phục. Để khuyến khích nhiều người tham gia chạy các nút lưu trữ và nâng cao tính không tin cậy của mạng, cơ chế khuyến khích phải được thiết lập. Việc triển khai cơ chế như vậy đòi hỏi các biện pháp để ngăn chặn các hoạt động gian lận. Ví dụ, nếu một hệ thống khuyến khích thưởng cho cá nhân lưu trữ dữ liệu cục bộ trên thiết bị của họ, có nguy cơ xảy ra hành vi không trung thực khi một người nào đó xóa một phần dữ liệu sau khi tải xuống trong khi giả mạo rằng dữ liệu của họ đã được lưu trữ hoàn chỉnh - một hình thức gian lận quá phổ biến.

Filecoin sử dụng các giao thức chứng minh được biết đến là PoRep và PoSt, cho phép các nút lưu trữ cung cấp chứng chỉ lưu trữ như bằng chứng để chứng minh rằng họ đã lưu trữ dữ liệu một cách an toàn trong một khoảng thời gian cụ thể. Tuy nhiên, phương pháp chứng minh lưu trữ này liên quan đến việc tạo ra ZK proofs, đòi hỏi tính toán mạnh mẽ và đặt nhu cầu phần cứng đáng kể lên các nút lưu trữ, có thể làm cho việc này trở nên kinh tế không khả thi.

Trong lộ trình công nghệ mới nhất của Mạng Lưới B^2, các nút lưu trữ sẽ triển khai một cơ chế tương tự như Arweave, cạnh tranh để có cơ hội tạo ra các khối để kiếm lợi nhuận token. Nếu một nút lưu trữ một cách âm thầm xóa dữ liệu, khả năng trở thành nhà sản xuất khối tiếp theo của nó sẽ giảm đi. Các nút bảo quản nhiều dữ liệu nhất sẽ có cơ hội cao hơn để thành công trong việc tạo ra các khối và nhận được phần thưởng lớn hơn. Do đó, việc duy trì bộ dữ liệu lịch sử đầy đủ là có lợi cho hầu hết các nút lưu trữ để tối ưu hóa triển vọng sản xuất khối của họ.

Chương trình xác minh trạng thái kết hợp với ZK và chứng minh gian lận

Trước đó, chúng tôi đã giải thích về giải pháp Khả dụng Dữ liệu (DA) của Mạng B^2, và bây giờ chúng tôi sẽ đào sâu vào cơ chế xác minh trạng thái của nó. Thuật ngữ “cơ chế xác minh trạng thái” liên quan đến cách Layer 2 đảm bảo một sự chuyển tiếp trạng thái đủ “không tin cậy”.

(Trang web L2BEAT đánh giá năm chỉ số bảo mật chính cho Scroll. Xác minh Trạng thái đề cập đến hệ thống xác minh trạng thái)

Như đã nêu trên trang web L2BEAT, đánh giá các chỉ số an ninh cho Scroll, Xác minh Trạng thái đặc biệt đề cập đến hệ thống xác minh trạng thái. Trong Mạng lưới B^2 và phần lớn quy trình Layer 2, dữ liệu mới được tạo ra bởi sequencer. Thực thể này tổng hợp và xử lý các giao dịch được khởi tạo bởi người dùng cùng với các thay đổi trạng thái kết quả sau khi thực thi. Những điều chỉnh này được gói gọn vào các lô và phân phối đến các nút khác nhau trong mạng Layer 2, bao gồm các nút đầy đủ Layer 2 tiêu chuẩn và các nút B^2 Hub.

Khi nhận được dữ liệu Batch, nút B^2 Hub phân tích tỉ mỉ và xác minh nội dung của nó, bao gồm "xác minh trạng thái" đã đề cập trước đó. Về cơ bản, xác minh trạng thái đòi hỏi phải xác nhận tính chính xác của "trạng thái thay đổi sau khi thực hiện giao dịch" được ghi lại trong lô do trình tự tạo. Bất kỳ trạng thái sai nào trong Batch đều nhắc nhở nút B^2 Hub từ chối.

Hoạt động như một chuỗi công khai Proof-of-Stake (POS), B^2 Hub phân biệt giữa các nhà sản xuất khối và xác minh. Định kỳ, các nhà sản xuất khối của B^2 Hub tạo ra các khối mới và phổ biến chúng cho các nút khác (các bộ xác minh). Những khối này bao gồm dữ liệu Batch được gửi bởi sequencer, tương tự như quá trình tương tự Celestia. Các nút bên ngoài thường yêu cầu các đoạn dữ liệu từ nút B^2 Hub, tạo điều kiện cho việc phân phối dữ liệu Batch đến nhiều thiết bị nút, bao gồm mạng lưu trữ được đề cập ở trên.

Trong B^2 Hub hoạt động một vai trò quan trọng được biết đến là Người cam kết. Thực thể này băm dữ liệu Batch (cụ thể là Merkle root), lưu trữ chỉ mục và gửi nó đến chuỗi Bitcoin dưới dạng một đoạn chữ. Truy cập vào băm dữ liệu và chỉ mục lưu trữ cho phép truy xuất dữ liệu hoàn chỉnh từ lớp lưu trữ/lớp lưu trữ ngoại chuỗi. Giả sử N nút lưu trữ dữ liệu Batch dưới chuỗi, một khi một nút sẵn lòng chia sẻ dữ liệu với các thực thể bên ngoài, bất kỳ bên thứ ba nào quan tâm cũng có thể truy cập vào dữ liệu cần thiết. Giả định về sự tin cậy trong tình huống này là 1/N.

Chắc chắn, rõ ràng rằng trong quá trình đã nói, B^2 Hub, được giao nhiệm vụ xác minh các chuyển đổi trạng thái Lớp 2, hoạt động độc lập từ mạng chính Bitcoin, chỉ phục vụ như một lớp xác minh ngoại chuỗi. Do đó, hệ thống xác minh trạng thái của Lớp 2 tại thời điểm này chưa thể sánh kịp với tính đáng tin cậy của mạng chính Bitcoin.

Nói chung, ZK Rollup có khả năng hoàn toàn kế thừa tính bảo mật của Layer 1. Tuy nhiên, với những hạn chế hiện tại của chuỗi Bitcoin chỉ hỗ trợ các phép tính cơ bản và thiếu khả năng xác minh chứng minh ZK trực tiếp, không có giải pháp Layer 2 nào trên Bitcoin có thể sánh kịp mô hình bảo mật của Ethereum, đặc biệt là những giải pháp sử dụng các kỹ thuật ZK Rollup như Citrea và BOB.

Cho đến nay, cách tiếp cận khả thi hơn, như đã được làm rõ trong sách trắng BitVM, liên quan đến việc chuyển một số quá trình tính toán phức tạp khỏi chuỗi Bitcoin. Chỉ có các tính toán cần thiết được di chuyển đến chuỗi khi cần thiết. Ví dụ, các dấu vết tính toán được tạo ra trong quá trình xác minh chứng minh ZK có thể được tiết lộ công khai và chia sẻ với các đơn vị bên ngoài để kiểm tra. Nếu có sự không thống nhất nào xuất hiện trong các bước tính toán phức tạp, cá nhân có thể xác minh các tính toán gây tranh cãi này trên chuỗi Bitcoin. Điều này đòi hỏi sử dụng ngôn ngữ kịch bản Bitcoin để mô phỏng các chức năng của các máy ảo chuyên biệt như Máy ảo Ethereum (EVM). Mặc dù nỗ lực này có thể đòi hỏi nhiều nỗ lực kỹ thuật đáng kể, nhưng vẫn là một công việc khả thi.

Tham khảo:“Một diễn giải tối giản về BitVM: Làm thế nào để xác minh bằng chứng gian lận trên chuỗi BTC (thực thi mã hoạt động của EVM hoặc các VM khác)”

Trong giải pháp kỹ thuật của B^2 Network, một khi trình tự sinh ra một lô hàng mới, nó được truyền đến bộ tổng hợp và Prover. Sau đó, Prover ZK hóa quá trình xác minh dữ liệu của lô hàng, tạo ra chứng chỉ ZK, và cuối cùng chuyển nó đến nút B^2 Hub tương thích với EVM. Bằng chứng ZK được xác thực thông qua một hợp đồng Solidity, với tất cả các quá trình tính toán được chia nhỏ thành mạch cổng logic cấp thấp tinh tế. Những mạch này được mã hóa bằng ngôn ngữ kịch bản Bitcoin, định dạng và gửi đến một nền tảng Sẵn có Dữ liệu (DA) bên thứ ba với khả năng xử lý thông lượng đủ.

Nếu cá nhân nghi ngờ vào các dấu vết xác minh ZK đã được tiết lộ và nghi ngờ có lỗi ở một bước cụ thể, họ có thể lựa chọn phát ra một “thách thức” trên chuỗi Bitcoin. Thách thức này sẽ yêu cầu nút Bitcoin kiểm tra trực tiếp bước bị tranh cãi và áp đặt hậu quả phù hợp nếu cần thiết.

(Biểu đồ cấu trúc tổng quan của Mạng B^2, loại bỏ các nút lấy mẫu dữ liệu)

Vậy ai bị trừng phạt? Trên thực tế nó là Committer. Trong khuôn khổ của B^2 Network, Committer không chỉ phát sóng hash dữ liệu đã đề cập trước đó tới chuỗi Bitcoin mà còn tiết lộ "cam kết" xác minh của chứng chỉ ZK với mạng chính Bitcoin. Thông qua các cấu hình cụ thể của Bitcoin Taproot, các cá nhân có khả năng đưa ra các truy vấn và tranh luận về "Cam kết xác minh bằng chứng ZK" do Committer ban hành trên chuỗi Bitcoin tại bất kỳ thời điểm nào.

Để mở rộng về khái niệm “cam kết,” nó ám chỉ cá nhân khẳng định tính chính xác của một số dữ liệu ngoài chuỗi và công bố một tuyên bố tương ứng trên chuỗi khối. Tuyên bố này phục vụ như một “cam kết” nơi các giá trị hứa hẹn được liên kết với dữ liệu ngoài chuỗi cụ thể. Trong giải pháp B^2, nếu bất kỳ bên nào đặt câu hỏi về cam kết xác minh ZK được phát hành bởi Người cam kết, họ có khả năng thách thức nó.

Một người có thể đặt câu hỏi tại sao B^2 Hub cần xác minh chứng chỉ ZK "lặp đi lặp lại và toàn diện" nếu nó đã xác thực Batch khi nhận được. Tại sao không tiết lộ quá trình xác minh Batch công khai để thách thức trực tiếp thay vì giới thiệu bằng chứng ZK? Việc bao gồm bằng chứng ZK giúp rút ngắn các dấu tính toán thành kích thước quản lý hơn trước khi phát hành. Việc tiết lộ công khai quá trình xác minh liên quan đến các giao dịch Layer 2 và thay đổi trạng thái trong cổng logic và kịch bản Bitcoin sẽ dẫn đến kích thước dữ liệu đáng kể. ZKization hiệu quả nén dữ liệu này trước khi phân phối.

Đây là một tóm tắt ngắn gọn về quy trình làm việc của B^2:

1. Bộ xếp hạng trong B^2 tạo ra các khối Layer 2 mới và kết hợp nhiều khối thành các lô dữ liệu. Những lô này được chuyển tiếp đến bộ tổng hợp và nút Xác thực trong mạng lưới B^2 Hub.

2. Bộ tổng hợp gửi lô dữ liệu đến nút Prover, cho phép tạo ra chứng minh không biết zero-knowledge tương ứng. Sau đó, chứng chỉ ZK được truyền đến mạng DA và trình xác minh của B^2 (B^2 Hub).

3. Nút B^2 Hub xác minh xem Bằng chứng ZK từ bộ tập hợp có khớp với Lô từ Bộ sắp xếp hay không. Sự tương ứng thành công chỉ ra sự thông qua xác minh. Hash dữ liệu và chỉ mục lưu trữ của Lô đã được xác minh được truyền đến chuỗi Bitcoin bởi một nút B^2 Hub được chỉ định (Committer).

4. Toàn bộ quá trình tính toán để xác minh ZK Proof được công khai bởi B^2 Hub, với sự cam kết của quá trình này được gửi đến chuỗi Bitcoin để tiềm ẩn các thách thức. Một thách thức thành công dẫn đến việc bị phạt kinh tế đối với nút B^2 Hub phát hành (UTXO của họ trên chuỗi Bitcoin được mở khóa và chuyển đến người thách thức).

Phương pháp xác minh trạng thái này của Mạng B^2 tích hợp phương pháp ZK và chống gian lận, tạo thành một phương pháp xác minh trạng thái lai. Với ít nhất một nút trung thực trên chuỗi sẵn lòng thách thức khi phát hiện lỗi, đảm bảo về tính nguyên vẹn của quá trình chuyển trạng thái của Mạng B^2.

Theo thông tin từ các thành viên của cộng đồng Bitcoin phương Tây, có sự đồn đoán về một cuộc chia tách tiềm năng của Bitcoin mainnet trong tương lai để hỗ trợ khả năng tính toán nâng cao. Điều này có thể mở đường cho việc xác minh chứng minh ZK trực tiếp trên chuỗi Bitcoin, dẫn đến những thay đổi cách mạng cho toàn bộ cảnh quan Bitcoin Layer 2. B^2 Hub không chỉ phục vụ như một lớp DA và lớp xác minh cơ sở của Mạng B^2 mà còn trang bị sức mạnh cho các lớp thứ hai của Bitcoin khác. Trong lĩnh vực cạnh tranh của các giải pháp Bitcoin Layer 2, các lớp mở rộng chức năng ngoại chuỗi đang trở nên quan trọng, với B^2 Hub và BTCKB chỉ là một phần nhỏ của cảnh quan tiến hóa này.

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

1. Bài viết này đã được sao chép từ [Geek Web3 ), với tựa đề gốc là “Phân tích lộ trình công nghệ mới B^2: sự cần thiết của DA và lớp xác minh dưới chuỗi Bitcoin.” Bản quyền được ghi nhận thuộc về tác giả gốc, Faust từ Geek Web3. Nếu có bất kỳ ý kiến phản đối nào về việc tái bản, vui lòng liên hệ Đội ngũ Gate Learnđể giải quyết ngay sau khi thực hiện các thủ tục liên quan.

2. Các quan điểm và ý kiến được truyền đạt trong bài viết này chỉ phản ánh quan điểm cá nhân của tác giả và không phục vụ như lời khuyên đầu tư.

3. Các bản dịch của bài viết sang các ngôn ngữ khác được cung cấp bởi nhóm Gate Learn. Các bài viết dịch có thể không được sao chép, phổ biến hoặc đạo văn mà không đề cập đếnGate.io.