B^2 Lộ trình công nghệ phiên bản mới: Sự cần thiết của DA và lớp xác minh trong chuỗi Bitcoin

Tác giả: Faust; Nguồn: Geek web3

B^2 Hub: Universal dưới lớp DA của chuỗi Bitcoin và lớp xác minh

Hệ sinh thái Bitcoin ngày nay có thể nói là một đại dương xanh, nơi các cơ hội và lừa đảo cùng tồn tại. Lĩnh vực mới này đã được hồi sinh nhờ Summer of Inscription là đơn giản là mảnh đất trinh nguyên màu mỡ, mùi tiền bạc khắp nơi. Với sự xuất hiện tập thể của Lớp 2 Bitcoin vào tháng 1 năm nay, vùng đất ban đầu cằn cỗi này ngay lập tức trở thành cái nôi của vô số người mộng mơ.

Nhưng quay lại vấn đề quan trọng nhất: Layer2 là gì, mọi người dường như không bao giờ đạt được sự đồng thuận. Nó có phải là một chuỗi bên? Nó có phải là một người lập chỉ mục? Chuỗi xây dựng cây cầu có tên là Layer2 phải không? Một plug-in đơn giản dựa trên Bitcoin và Ethereum có thể được sử dụng làm Lớp không? Những câu hỏi này giống như một tập hợp những phương trình khó không bao giờ có hồi kết xác định.

Theo suy nghĩ của cộng đồng Ethereum và Celestia, Layer2 chỉ là một trường hợp đặc biệt của blockchain mô-đun. Trong trường hợp này, cái gọi là "lớp thứ hai" Sẽ có mối quan hệ liên kết chặt chẽ với "lớp thứ nhất" và mạng lớp thứ hai có thể kế thừa tính bảo mật của Lớp 1 ở mức độ lớn hoặc ở một mức độ nhất định. Đối với khái niệm bảo mật, nó có thể được chia thành nhiều chỉ số được chia nhỏ, bao gồm: DA, xác minh trạng thái, xác minh rút tiền, kháng kiểm duyệt, kháng tổ chức lại, v.v.

Vì bản thân mạng Bitcoin có nhiều vấn đề nên vốn không có lợi cho việc hỗ trợ mạng Lớp 2 hoàn thiện hơn. Ví dụ: trên DA, thông lượng dữ liệu của Bitcoin thấp hơn nhiều so với Ethereum, tính dựa trên thời gian tạo khối trung bình là 10 phút, thông lượng dữ liệu tối đa của Bitcoin chỉ là 6,8KB/s, gần bằng 1/20. của Ethereum. , không gian khối đông đúc như vậy đương nhiên tạo ra chi phí phát hành dữ liệu cao.

(Chi phí xuất bản dữ liệu trong khối Bitcoin thậm chí có thể lên tới 5 USD mỗi KB)

Nếu Layer2 trực tiếp xuất bản dữ liệu giao dịch mới được thêm vào khối Bitcoin thì không thể đạt được thông lượng cao cũng như phí xử lý thấp. Vì vậy, hãy sử dụng tính năng nén cao để nén kích thước dữ liệu càng nhỏ càng tốt, sau đó tải nó lên khối Bitcoin. Citrea hiện đang áp dụng giải pháp này, họ tuyên bố rằng họ sẽ tải số lượng thay đổi trạng thái (chênh lệch trạng thái) trong một khoảng thời gian, tức là kết quả của những thay đổi trạng thái xảy ra trên nhiều tài khoản, cùng với chứng chỉ ZK tương ứng, lên Chuỗi bitcoin. .

Trong trường hợp này, bất kỳ ai cũng có thể tải xuống state diff và ZKP từ mạng chính Bitcoin để xác minh xem chúng có hợp lệ hay không, nhưng kích thước dữ liệu trên chuỗi có thể Nhẹ.

(Nguyên tắc của sơ đồ nén trên được giải thích trong sách trắng của Polygon Hermez trước đây)

Mặc dù giải pháp này nén kích thước dữ liệu rất nhiều nhưng cuối cùng nó vẫn dễ gặp phải tắc nghẽn. Ví dụ: giả sử rằng hàng chục nghìn giao dịch xảy ra trong vòng 10 phút, gây ra thay đổi trạng thái ở hàng chục nghìn tài khoản, cuối cùng bạn sẽ phải tải các thay đổi trong các tài khoản này lên chuỗi Bitcoin. Mặc dù nhẹ hơn nhiều so với việc tải trực tiếp từng dữ liệu giao dịch lên nhưng vẫn sẽ phải chịu chi phí phát hành dữ liệu đáng kể.

Rất nhiều Bitcoin Lớp 2 chỉ đơn giản là không tải dữ liệu DA lên mạng chính Bitcoin và trực tiếp sử dụng các lớp DA của bên thứ ba như Celestia. B^2 áp dụng một cách tiếp cận khác, xây dựng mạng DA (mạng phân phối dữ liệu) trực tiếp trong chuỗi, được gọi là B^2 Hub. Trong thiết kế giao thức B^2, dữ liệu quan trọng như dữ liệu giao dịch hoặc khác biệt trạng thái được lưu trữ ngoài chuỗi và chỉ chỉ mục lưu trữ của những dữ liệu này, cũng như hàm băm dữ liệu (thực ra là gốc merkle, được gọi là dữ liệu để thuận tiện của biểu thức), được tải lên mạng chính Bitcoin. hash).

Các hàm băm dữ liệu và chỉ mục lưu trữ này được ghi vào chuỗi Bitcoin theo cách tương tự như các dòng chữ. Miễn là bạn chạy nút Bitcoin, bạn có thể băm dữ liệu . Và chỉ mục lưu trữ được tải xuống cục bộ. Theo giá trị chỉ mục, dữ liệu gốc có thể được đọc từ lớp DA ngoài chuỗi hoặc lớp lưu trữ của B^2. Dựa trên hàm băm dữ liệu, bạn có thể đánh giá xem dữ liệu bạn thu được từ lớp DA ngoài chuỗi có chính xác hay không (liệu nó có tương ứng với hàm băm dữ liệu trên chuỗi Bitcoin hay không). Thông qua phương pháp đơn giản này, Layer2 có thể tránh sự phụ thuộc quá mức vào mạng chính Bitcoin đối với các sự cố DA, tiết kiệm chi phí xử lý và đạt được thông lượng cao.

Tất nhiên, một điều không thể bỏ qua là nền tảng DA của bên thứ ba trong chuỗi có thể tham gia vào việc giữ lại dữ liệu và từ chối cho phép thế giới bên ngoài lấy dữ liệu mới. Có một thuật ngữ đặc biệt cho tình huống này được gọi là " tấn công giữ lại dữ liệu", có thể tóm tắt là vấn đề chống kiểm duyệt trong phân phối dữ liệu. Các giải pháp DA khác nhau có các giải pháp khác nhau, nhưng mục đích cốt lõi là phổ biến dữ liệu nhanh chóng và rộng rãi nhất có thể để ngăn chặn một nhóm nhỏ các nút đặc quyền kiểm soát quyền thu thập dữ liệu.

Theo lộ trình mới chính thức của B^2 Network, giải pháp DA của nó dựa trên Celestia. Trong thiết kế thứ hai, 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ẽ sắp xếp các đoạn dữ liệu này thành dạng Merkle Tree, nhét chúng vào các khối TIA và phát chúng lên mạng. nút.

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

Các nút nhẹ chỉ dựa vào tiêu đề khối nên chúng đương nhiên không biết toàn cảnh về Merkle Tree, không biết dữ liệu mới chứa gì và không thể xác minh liệu có vấn đề gì với dữ liệu hay không. Nhưng nút ánh sáng có thể yêu cầu nút đầy đủ cho một chiếc lá nhất định trên cây. Nút đầy đủ sẽ gửi chiếc lá và Bằng chứng Merkle tương ứng cho nút ánh sáng theo yêu cầu, để nút sau có thể tin rằng chiếc lá tồn tại trên Cây Merkle trong khối Celestia và không phải là dữ liệu sai lệch được tạo ra từ không khí mỏng bởi nút. .

(Nguồn ảnh: W3 Hitchhiker)

Có một số lượng lớn các nút ánh sáng trong mạng Celestia và các nút ánh sáng này có thể bắt đầu ở mức cao -yêu cầu cấp độ tới các nút đầy đủ khác nhau. Thường xuyên lấy mẫu dữ liệu, chọn ngẫu nhiên các đoạn dữ liệu nhất định trên Cây Merkle. Sau khi nút ánh sáng thu được các đoạn dữ liệu này, nó cũng có thể truyền chúng sang các nút khác mà nó có thể kết nối, để dữ liệu có thể được phân phối nhanh chóng đến nhiều người/thiết bị nhất có thể nhằm đạt được mức độ phổ biến dữ liệu hiệu quả, miễn là có đủ Tất cả các nút có thể nhanh chóng nhận được dữ liệu mới nhất và mọi người không còn cần phải tin tưởng vào một nhóm nhỏ các nhà cung cấp dữ liệu. Đây thực sự là một trong những mục đích cốt lõi của việc phân phối DA/dữ liệu.

Tất nhiên, vẫn có những kịch bản tấn công dựa trên giải pháp được mô tả ở trên, vì nó chỉ có thể đảm bảo rằng mọi người có thể nhanh chóng lấy được dữ liệu khi dữ liệu được phân phối, nhưng nó không thể đảm bảo rằng nguồn sản xuất dữ liệu không làm điều ác. Ví dụ: nhà sản xuất khối Celestia có thể thêm một số dữ liệu rác vào khối. Ngay cả khi mọi người lấy được tất cả các đoạn dữ liệu trong khối, họ không thể khôi phục toàn bộ tập dữ liệu "nên được đưa vào" (lưu ý: ở đây "nên" này từ là quan trọng).

Hơn nữa, có thể có 100 giao dịch trong tập dữ liệu gốc và dữ liệu của một giao dịch nào đó chưa được phổ biến hoàn toàn ra thế giới bên ngoài. Tại thời điểm này, chỉ cần ẩn 1% các đoạn dữ liệu và thế giới bên ngoài sẽ không thể phân tích toàn bộ tập dữ liệu. Đây chính xác là kịch bản được khám phá trong các vấn đề tấn công giữ lại dữ liệu sớm nhất.

Trên thực tế, dựa trên kịch bản được mô tả ở đây để hiểu tính khả dụng của dữ liệu, tính khả dụng của từ mô tả liệu dữ liệu giao dịch trong khối có đầy đủ, có sẵn hay không và liệu nó có có thể trực tiếp Việc này được để cho người khác xác minh, thay vì như nhiều người hiểu, tính khả dụng thể hiện liệu dữ liệu lịch sử của blockchain có thể được thế giới bên ngoài đọc hay không. Do đó, các quan chức Celestia và người sáng lập L2BEAT đã chỉ ra rằng tính khả dụng của dữ liệu nên được đổi tên thành phát hành dữ liệu, điều này đề cập đến việc liệu tập dữ liệu giao dịch sẵn có hoàn chỉnh có được phát hành trong khối hay không.

Celestia giới thiệu mã hóa xóa hai chiều để giải quyết cuộc tấn công giữ lại dữ liệu được mô tả ở trên. Chỉ cần 1/4 số đoạn dữ liệu (mã xóa) chứa trong khối hợp lệ thì người ta có thể khôi phục lại tập dữ liệu gốc tương ứng. Trừ khi nhà sản xuất khối trộn 3/4 đoạn dữ liệu rác vào khối, thế giới bên ngoài không thể khôi phục tập dữ liệu gốc.Tuy nhiên, trong trường hợp này, khối chứa quá nhiều dữ liệu rác và rất dễ bị các Light node phát hiện . Vì vậy, tốt hơn hết các nhà sản xuất khối không nên làm điều ác, vì làm điều ác sẽ bị vô số người chú ý gần như ngay lập tức.

Thông qua giải pháp được mô tả ở trên, việc giữ lại dữ liệu trên "nền tảng phân phối dữ liệu" có thể được ngăn chặn một cách hiệu quả. Trong tương lai, B^2 Network sẽ sử dụng việc lấy mẫu dữ liệu của Celestia làm tài liệu tham khảo quan trọng và có thể kết hợp nó với các công nghệ mã hóa như KZG Cam kết giảm hơn nữa số lượng nút ánh sáng Chi phí thực hiện lấy mẫu và xác thực dữ liệu. Miễn là có đủ nút thực hiện lấy mẫu dữ liệu, việc phân phối dữ liệu DA có thể được thực hiện hiệu quả và không cần tin cậy.

Tất nhiên giải pháp trên chỉ giải quyết được vấn đề lưu giữ dữ liệu của chính nền tảng DA, nhưng trong cấu trúc cơ bản của Layer2 thì không chỉ riêng nền tảng DA có khả năng bắt đầu lưu giữ dữ liệu. Ngoài ra còn có Bộ sắp xếp thứ tự. Trong Mạng B^2 và thậm chí hầu hết các quy trình làm việc của Lớp 2, dữ liệu mới được tạo bởi trình sắp xếp thứ tự, tóm tắt và xử lý các giao dịch do người dùng gửi, cùng với kết quả thay đổi trạng thái sau khi thực hiện các giao dịch này và đóng gói chúng thành các đợt (lô), sau đó được gửi đến các nút Hub B^2 đóng vai trò là lớp DA.

Nếu có vấn đề với lô do bộ sắp xếp tạo ra lúc đầu, vẫn có khả năng bị giữ lại dữ liệu và tất nhiên là các dạng kịch bản xấu khác . Do đó, sau khi mạng DA của B^2 (Trung tâm B^2) nhận được Lô do trình sắp xếp chuỗi tạo ra, trước tiên, mạng sẽ xác minh nội dung của Lô và từ chối nếu có bất kỳ vấn đề nào. Có thể nói, B^2 Hub không chỉ hoạt động như một lớp DA tương tự Celestia mà còn hoạt động như một lớp xác minh off-chain, có phần giống với vai trò của CKB trong giao thức RGB++.

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

Theo dõi bản mới nhất lộ trình công nghệ của Mạng B^2. Sau khi B^2 Hub nhận và xác minh Lô, nó sẽ chỉ giữ lại trong một khoảng thời gian. Sau khoảng thời gian này, dữ liệu Lô sẽ hết hạn và bị xóa cục bộ khỏi B^2 Hub nút. Thua. Để giải quyết vấn đề lỗi thời và mất dữ liệu tương tự như EIP-4844, B^2 Network đã thiết lập một nhóm các nút lưu trữ, các nút lưu trữ này sẽ chịu trách nhiệm lưu trữ vĩnh viễn dữ liệu Batch. Bằng cách này, bất kỳ ai cũng có thể truy cập vào dữ liệu trong mạng lưu trữ bất cứ lúc nào. Tìm kiếm dữ liệu lịch sử bạn cần.

Tuy nhiên, không ai chạy các nút lưu trữ B^2 mà không có lý do. Nếu bạn muốn nhiều người hơn chạy các nút lưu trữ và nâng cao tính không đáng tin cậy của mạng, Chúng tôi phải đưa ra cơ chế khuyến khích, muốn có cơ chế khuyến khích trước hết phải tìm cách ngăn chặn gian lận. Ví dụ: nếu bạn đề xuất cơ chế khuyến khích, bất kỳ ai lưu trữ dữ liệu cục bộ trên thiết bị của họ đều có thể nhận được phần thưởng. Ai đó có thể bí mật xóa một phần dữ liệu sau khi tải xuống nhưng cho rằng dữ liệu họ lưu trữ là hoàn chỉnh, đây là trường hợp phổ biến nhất phương pháp gian lận.

Filecoin sử dụng các giao thức bằng chứng có tên PoRep và PoSt để cho phép các nút lưu trữ xuất trình chứng chỉ lưu trữ cho thế giới bên ngoài để chứng minh rằng chúng thực sự đã được lưu hoàn toàn trong một thời gian nhất định data. Tuy nhiên, sơ đồ chứng minh lưu trữ này yêu cầu tạo ra các bằng chứng ZK và độ phức tạp tính toán rất cao, nó sẽ có yêu cầu cao đối với thiết bị phần cứng của các nút lưu trữ và có thể không phải là một phương pháp khả thi về mặt kinh tế.

Trong phiên bản mới của lộ trình công nghệ của B^2 Network, các nút lưu trữ sẽ áp dụng cơ chế tương tự như Arweave và cần cạnh tranh để giành quyền sản xuất khối để nhận được ưu đãi mã thông báo. Nếu một nút lưu trữ xóa một số dữ liệu một cách riêng tư, xác suất trở thành nhà sản xuất khối tiếp theo của nó sẽ giảm. Nút lưu giữ nhiều dữ liệu nhất có nhiều khả năng tạo thành công các khối hơn và nhận được nhiều phần thưởng hơn. Do đó, đối với hầu hết các nút lưu trữ, tốt hơn hết là giữ lại bộ dữ liệu lịch sử hoàn chỉnh.

Tất nhiên, không chỉ có các ưu đãi dành cho các nút lưu trữ mà còn dành cho các nút Hub B^2 đã đề cập trước đó. Theo lộ trình, B^2 Hub sẽ được thiết lập Một mạng POS không cần cấp phép, bất kỳ ai cam kết đủ số Token đều có thể trở thành thành viên của Trung tâm B^2 hoặc mạng lưu trữ. Bằng cách này, Mạng B^2 cố gắng tạo ra một nền tảng lưu trữ và nền tảng ngoài chuỗi DA phi tập trung, và sẽ tích hợp Bitcoin Lớp 2 ngoài B^2 trong tương lai để xây dựng lớp DA và lớp lưu trữ dữ liệu phổ quát trong chuỗi Bitcoin.

Kế hoạch xác minh trạng thái sử dụng ZK hỗn hợp và bằng chứng gian lận

Chúng tôi đã giải thích B^2 trước đó của Mạng DA, tiếp theo chúng ta sẽ tập trung vào giải pháp xác minh trạng thái của nó. Cái gọi là sơ đồ xác minh trạng thái đề cập đến cách Lớp 2 đảm bảo rằng quá trình chuyển đổi trạng thái của nó đủ "không tin cậy".

Chúng tôi đã đề cập trước đó rằng trong Mạng B^2 và thậm chí hầu hết các quy trình làm việc của Lớp 2, dữ liệu mới được tạo bởi trình sắp xếp thứ tự, dữ liệu này tóm tắt và xử lý các giao dịch do người dùng gửi và thực hiện các giao dịch này. Kết quả thay đổi trạng thái cuối cùng được đóng gói thành các đợt và được gửi đến các nút khác trong mạng Lớp 2, bao gồm các nút đầy đủ Lớp 2 thông thường và các nút Hub B^2.

Sau khi nhận được dữ liệu Batch, nút Hub B^2 sẽ phân tích nội dung của nó và xác minh nó. Điều này bao gồm cả "xác minh trạng thái" được đề cập ở trên. . Trên thực tế, xác minh trạng thái là để xác minh xem "các thay đổi trạng thái sau khi thực hiện giao dịch" được ghi trong lô do trình sắp xếp chuỗi tạo ra có chính xác hay không. Nếu nút Hub B^2 nhận được Lô chứa trạng thái lỗi, nút này sẽ từ chối lô đó.

Trên thực tế, B^2 Hub về cơ bản là một chuỗi POS công khai và sẽ có sự phân biệt giữa nhà sản xuất khối và người xác minh. Thỉnh thoảng, các nhà sản xuất khối của B^2 Hub sẽ tạo các khối mới và truyền chúng đến các nút khác (trình xác thực). Các khối này chứa dữ liệu Batch do trình sắp xếp trình tự gửi. Quy trình làm việc còn lại có phần giống với Celestia đã đề cập trước đó. Có nhiều nút bên ngoài thường xuyên yêu cầu các đoạn dữ liệu từ nút Hub B^2. Trong quá trình này, dữ liệu Batch sẽ được phân phối đến nhiều thiết bị nút, bao gồm cả Mạng lưu trữ được đề cập sớm hơn.

Có một vai trò có thể xoay được tên là Committer trong B^2 Hub, vai trò này sẽ băm dữ liệu Batch (thực ra là gốc Merkle) và chỉ mục lưu trữ được gửi tới chuỗi Bitcoin dưới dạng một dòng chữ. Chỉ cần bạn đọc chỉ mục lưu trữ và hàm băm dữ liệu, sẽ có cách để lấy được dữ liệu hoàn chỉnh trong lớp DA/lớp lưu trữ ngoài chuỗi. Giả sử rằng có N nút trong chuỗi lưu trữ dữ liệu Hàng loạt. Miễn là một trong các nút sẵn sàng cung cấp dữ liệu cho thế giới bên ngoài, bất kỳ ai cũng có thể lấy được dữ liệu mà nó cần. Giả định độ tin cậy ở đây là 1/N.

Tất nhiên, không khó để chúng tôi nhận thấy rằng trong quy trình trên, B^2 Hub, chịu trách nhiệm xác minh tính hợp lệ của các chuyển đổi trạng thái Lớp 2, độc lập với mạng chính Bitcoin và chỉ là một Lớp xác minh ngoài chuỗi. Do đó, tại thời điểm này, Sơ đồ xác minh trạng thái Lớp 2 không thể tương đương với mạng chính Bitcoin về độ tin cậy.

Nói chung, ZK Rollup hoàn toàn có thể kế thừa tính bảo mật của Layer1, nhưng hiện tại chuỗi Bitcoin chỉ hỗ trợ một số phép tính cực kỳ đơn giản và không thể xác minh trực tiếp ZK Proof nên có không có Layer2 nào có thể tương đương với ZK Rollup của Ethereum về mô hình bảo mật, bao gồm Citrea và BOB.

Hiện tại, có vẻ như ý tưởng "khả thi hơn" như được giải thích trong sách trắng của BitVM. Quá trình tính toán phức tạp được chuyển ra khỏi chuỗi Bitcoin và được chỉ được sử dụng khi cần thiết. Đôi khi một số phép tính đơn giản được chuyển vào chuỗi. Ví dụ: dấu vết tính toán được tạo khi xác minh bằng chứng ZK có thể được công khai và chuyển cho thế giới bên ngoài để kiểm tra. Nếu mọi người nhận thấy có vấn đề với một trong những bước tính toán phức tạp hơn, họ có thể xác minh “phép tính gây tranh cãi” này trên chuỗi Bitcoin. Điều này đòi hỏi phải sử dụng ngôn ngữ kịch bản Bitcoin để mô phỏng chức năng của các máy ảo đặc biệt như EVM. Lượng kỹ thuật tiêu thụ có thể rất lớn nhưng không phải là không khả thi.

Tài liệu tham khảo: "Giải thích tối giản về BitVM: Cách 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 VM khác)"

Trong giải pháp kỹ thuật của B^2 Network, sau khi bộ phân loại tạo ra Lô mới, nó sẽ được chuyển tiếp đến đơn vị tổng hợp và Prover, đơn vị này sẽ xác minh dữ liệu của Batch.ZKize, tạo chứng chỉ ZK và cuối cùng chuyển tiếp nó đến nút Hub B^2. Nút B^Hub tương thích với EVM. Bằng chứng ZK được xác minh thông qua hợp đồng Solidity. Tất cả các quy trình tính toán liên quan sẽ được chia thành các mạch cổng logic cấp độ rất thấp. Các mạch cổng logic này sẽ được viết bằng ngôn ngữ tập lệnh Bitcoin. Hãy thể hiện nó dưới dạng và gửi tất cả đến nền tảng DA của bên thứ ba với đủ thông lượng.

Nếu mọi người có thắc mắc về những dấu vết xác minh ZK được tiết lộ này và cảm thấy có sai sót trong một bước nhỏ, họ có thể "thách thức" trên chuỗi Bitcoin. các nút được yêu cầu trực tiếp kiểm tra bước có vấn đề này và xử lý nó một cách thích hợp.

(Sơ đồ cấu trúc tổng thể của Mạng B^2, không bao gồm các nút lấy mẫu dữ liệu)

Vậy ai là người bị trừng phạt? Thực ra đó là Committer. Trong cài đặt Mạng B^2, Committer sẽ không chỉ xuất bản hàm băm dữ liệu được đề cập ở trên lên chuỗi Bitcoin mà còn xuất bản "cam kết" xác minh của chứng chỉ ZK đối với mạng chính Bitcoin. Thông qua một số cài đặt của Bitcoin Taproot, bạn có thể đặt câu hỏi và thách thức "Cam kết xác minh bằng chứng ZK" do Committer đưa ra trên chuỗi Bitcoin bất cứ lúc nào.

Đây là phần giải thích về "Cam kết". Ý nghĩa của "cam kết" là một số người cho rằng một số dữ liệu ngoài chuỗi là chính xác và xuất bản một tuyên bố tương ứng trên chuỗi. Tuyên bố này là một "cam kết" và giá trị cam kết được ràng buộc với dữ liệu ngoài chuỗi cụ thể. Trong giải pháp B^2, nếu ai đó cho rằng có vấn đề với cam kết xác minh ZK do Committer đưa ra, họ có thể phản đối điều đó.

Có thể có người thắc mắc, trước đó không phải đã đề cập rằng B^2 Hub sẽ trực tiếp xác minh tính hợp lệ của Batch sau khi nhận được sao? Tại sao lại có nhiều như vậy? thêm ở đây? Xác minh bằng chứng ZK trong một lần? Tại sao không công khai quy trình xác minh lô và để người ta trực tiếp thách thức, tại sao chúng ta phải đưa ra bằng chứng ZK? Điều này thực chất là để nén dấu vết tính toán xuống kích thước đủ nhỏ, nếu quá trình tính toán xác minh giao dịch Lớp 2 và tạo ra các thay đổi trạng thái được công khai trực tiếp dưới dạng cổng logic và tập lệnh Bitcoin sẽ tạo ra kích thước dữ liệu khổng lồ. Sau ZKization, kích thước dữ liệu có thể được nén rất nhiều trước khi được phát hành.

Dưới đây là bản tóm tắt sơ bộ về quy trình làm việc của B^2:

< li>

Trình sắp xếp chuỗi của B^2 chịu trách nhiệm tạo các khối Layer2 mới và tổng hợp nhiều khối thành các lô dữ liệu. Lô dữ liệu sẽ được gửi đến Bộ tổng hợp và nút Trình xác thực trong mạng B^Hub.

1. Trình tổng hợp sẽ gửi Lô dữ liệu đến nút Prover, cho phép nút này tạo ra chuỗi tương ứng số không Bằng chứng về kiến ​​thức. Chứng chỉ ZK sau đó sẽ được gửi đến mạng xác minh và DA của B^2 (B^2Hub).

2. Nút B^2Hub sẽ xác minh xem Bằng chứng ZK do trình tổng hợp gửi có thể được gửi tới Sequencer Lô xuất hiện tương ứng. Nếu cả hai có thể tương ứng, việc xác minh sẽ được thông qua. Chỉ số lưu trữ và hàm băm dữ liệu của Lô đã được xác minh sẽ được gửi đến chuỗi Bitcoin bởi nút B^Hub được chỉ định (được gọi là Committer).

3. Nút B^Hub sẽ tiết lộ công khai toàn bộ quá trình tính toán xác minh ZK Proof và sẽ tính toán Cam kết của quy trình được gửi đến chuỗi Bitcoin, cho phép bất kỳ ai thách thức nó. Nếu thử thách thành công, nút B^Hub đưa ra Cam kết sẽ bị trừng phạt về mặt kinh tế (UTXO của nó trên chuỗi Bitcoin sẽ được mở khóa và chuyển cho người thách thức)

Chương trình xác minh trạng thái của B^2 Network một mặt giới thiệu ZK và mặt khác sử dụng bằng chứng gian lận. Đây thực sự là một phương pháp xác minh trạng thái kết hợp. Miễn là có ít nhất một nút trung thực trong chuỗi và sẵn sàng bắt đầu thử thách sau khi phát hiện lỗi, thì có thể đảm bảo rằng sẽ không có vấn đề gì với quá trình chuyển đổi trạng thái của Mạng B^2.

Theo quan điểm của các thành viên cộng đồng Bitcoin phương Tây, mạng chính Bitcoin có thể trải qua các đợt phân nhánh thích hợp trong tương lai để hỗ trợ nhiều chức năng điện toán hơn, có lẽ trong tương lai, xác minh trực tiếp Bằng chứng ZK trên chuỗi Bitcoin sẽ trở thành hiện thực, điều này sẽ mang lại những thay đổi ở cấp độ mô hình mới cho toàn bộ Lớp 2 của Bitcoin. Là lớp DA và lớp xác minh chung, B^2 Hub không chỉ có thể đóng vai trò là mô-đun chuyên dụng của Mạng B^2 mà còn trao quyền cho lớp Bitcoin 2 khác. Trong kỷ nguyên cạnh tranh của Lớp 2 Bitcoin, các chức năng ngoài chuỗi Việc mở rộng lớp chắc chắn sẽ ngày càng trở nên quan trọng hơn và sự xuất hiện của B^Hub và BTCKB có thể vừa tiết lộ phần nổi của tảng băng trôi của các lớp mở rộng chức năng này.