Tác giả gốc: Stone , Trưởng nhóm nghiên cứu mạng B²
Mạng B² là giải pháp Layer 2 trên Bitcoin . Nó chủ yếu sử dụng các cam kết xác minh Bằng chứng không tri thức để gửi tới mạng Bitcoin, cho phép những người thách thức bắt đầu các thử thách bằng chứng gian lận để đạt được việc sử dụng sự đồng thuận mạnh mẽ của mạng Bitcoin để đảm bảo an ninh của Mạng B². mục tiêu của.
Bài viết này chủ yếu giới thiệu cơ chế hoạt động của ZK-Rollup và OP-Rollup trên Ethereum, giới thiệu mạch cổng NAND kỳ diệu, giới thiệu vai trò của cam kết và sử dụng các cơ chế và khái niệm này để thiết kế xác minh Bằng chứng không tri thức trên Mạng B², sau đó giải thích Bằng chứng không tri thức xác minh cách các cam kết được thực hiện trên mạng Bitcoin và cách chúng đảm bảo tính bảo mật của Mạng B².
ZK-Rollup trên Ethereum
ZK-Rollup là giải pháp mở rộng hai lớp cho blockchain nhằm đảm bảo tính chính xác và Bằng chứng không tri thức. mạng lớp để đảm bảo tính bảo mật của mạng lớp thứ hai. Nó được thiết kế để tăng thông lượng của hệ thống blockchain và giảm phí giao dịch trong khi vẫn duy trì mức độ bảo mật và tính toàn vẹn dữ liệu cao.
Quá trình chạy ZK-Rollup đại khái như sau:
Tổng hợp và sắp xếp giao dịch. Người dùng gửi giao dịch tới ZK-Rollup và các giao dịch sẽ được gửi tới mempool. Trình sắp xếp chuỗi của ZK-Rollup thu thập các giao dịch của người dùng từ mempool, thu thập và sắp xếp sắp xếp chuỗi chịu trách nhiệm xử lý các giao dịch, cập nhật trạng thái tài khoản và cuối cùng tạo ra một lô đại diện cho các cập nhật này;
Chuyển đổi trạng thái và tính toán. Tất cả việc thực hiện giao dịch và cập nhật trạng thái diễn ra ngoài chuỗi. VM của ZK-Rollup (bao gồm các công cụ thực thi hợp đồng thông minh bằng Bằng chứng không tri thức khác nhau như zkEVM và zkVM) tính toán trạng thái tài khoản mới và xử lý các hoạt động như chuyển khoản và tương tác hợp đồng thông minh. Đồng thời, tạo ra dữ liệu và bằng chứng cần thiết để chứng minh các giao dịch và cập nhật trạng thái này là hợp lệ, bao gồm trạng thái tài khoản mới và Bằng chứng không tri thức;
Tạo Bằng chứng không tri thức. Prover của ZK-Rollup sử dụng công nghệ Bằng chứng không tri thức(chẳng hạn như zk-SNARK hoặc zk-STARK) để tạo bằng chứng cho thấy tất cả các giao dịch tổng hợp đều hợp lệ và không vi phạm các quy tắc mạng. Bằng chứng này không tiết lộ bất kỳ thông tin nào về nội dung giao dịch, bảo vệ quyền riêng tư của người dùng đồng thời đảm bảo tính toàn vẹn và bảo mật dữ liệu.
Xác minh Bằng chứng không tri thức. Trình tổng hợp gửi hàng loạt dữ liệu và Bằng chứng không tri thức tới mạng blockchain một lớp. Điều này thường xảy ra dưới dạng nén để giảm không gian cần thiết trên chuỗi. Hợp đồng thông minh trên một lớp mạng blockchain nhận dữ liệu và bằng chứng này và xác minh tính hợp lệ của bằng chứng. Nếu được chứng minh là hợp lệ, hợp đồng sẽ cập nhật trạng thái của lớp ZK-Rollup được ghi lại.
Cốt lõi của ZK-Rollup nằm ở việc tạo và xác minh Bằng chứng không tri thức. Các giao dịch của ZK-Rollup được thực hiện ngoài chuỗi và trạng thái được tạo ngoài chuỗi. Bằng chứng không tri thức được tạo ra thông qua Prover như cam kết của ZK-Rollup. Cam kết này thể hiện rằng các giao dịch trên ZK-Rollup được thực hiện chính xác và hiệu quả, tạo ra trạng thái chính xác. Mạng blockchain một lớp không cần xác minh tất cả các giao dịch và trạng thái của ZK-Rollup. Nó chỉ cần xác minh cam kết. Việc xác minh cam kết là tiến hành xác minh Bằng chứng không tri thức thông qua hợp đồng thông minh của một lớp mạng để xác nhận tính hợp lệ của ZK-Rollup.
Do đó, trong ZK-Rollup của Ethereum , dữ liệu Bằng chứng không tri thức là một cam kết được mạng lớp thứ hai gửi tới mạng lớp thứ nhất.
OP-Rollup trên Ethereum
Optimistic Rollup (OP-Rollup) là một công nghệ được thiết kế để mở rộng hiệu suất blockchain bằng cách giữ dữ liệu tối thiểu trên chuỗi và thực hiện nhiều phép tính ngoài chuỗi nhất có thể. OP-Rollup tận dụng giả định "lạc quan" rằng hầu hết các giao dịch đều trung thực. Thay vì xác minh tính hợp lệ của từng giao dịch ngay lập tức, nó có thể được xác minh sau một khoảng thời gian, cải thiện đáng kể thông lượng và hiệu quả.
Quá trình chạy OP-Rollup đại khái như sau:
Tổng hợp và sắp xếp giao dịch. Người dùng gửi giao dịch tới OP-Rollup và giao dịch sẽ được gửi tới mempool. Trình sắp xếp chuỗi của OP-Rollup lấy các giao dịch của người dùng từ mempool, thu thập và sắp xếp. Trình sắp xếp chuỗi chịu trách nhiệm xử lý các giao dịch, cập nhật trạng thái tài khoản và cuối cùng tạo ra một lô đại diện cho các cập nhật này;
Thực hiện các giao dịch. Các giao dịch OP-Rollup được thực hiện ngoài chuỗi. Việc thực hiện từng lô giao dịch sẽ khiến trạng thái cũ chuyển sang trạng thái mới. Mỗi lô sẽ tính toán một gốc trạng thái mới (một "ảnh chụp nhanh"crypto biểu thị toàn bộ trạng thái hệ thống) và gửi nó tới một lớp mạng blockchain;
Xác minh trạng thái. OP-Rollup không thực hiện xác minh phức tạp ngay lập tức khi gửi lô giao dịch, nhưng giả định một cách "lạc quan" rằng các giao dịch này là hợp lệ và sau đó gửi một lớp mạng blockchain. Nếu người quan sát cho rằng một lô không hợp lệ, họ có thể thách thức lô đó bằng cách gửi bằng chứng gian lận. Trong giải pháp Optimistic rollup , bằng chứng gian lận là một cơ chế cho phép bất kỳ người quan sát nào thách thức trạng thái hoặc giao dịch được gửi tới chuỗi một cách không chính xác hoặc có ác ý. Optimistic Rollup sử dụng bằng chứng gian lận để đảm bảo rằng ngay cả các giao dịch được chấp nhận một cách "lạc quan" cũng có thể được chứng minh là sai sau khi thực hiện và được đảo ngược tương ứng;
Cơ chế thách thức Giai đoạn thử thách là sau khi trạng thái gửi OP-Rollup được xác nhận, có một khoảng thời gian thử thách trong đó bất kỳ ai cũng có thể kiểm tra lô đã gửi và gửi bằng chứng gian lận nếu phát hiện thấy lỗi. Điều này thường bằng cách gửi giao dịch đến một lớp mạng blockchain để triển khai nó, giao dịch sẽ tuyên bố những gì họ cho rằng là lỗi và cung cấp bằng chứng tương ứng. Arbitrum Rollup, một giải pháp cho Optimistic Rollup , sử dụng một quy trình được gọi là "trò chơi xác minh tương tác" để giải quyết thử thách. Trong quá trình này, sê-ri vòng diễn ra giữa người thách thức và người nộp đơn, dần dần thu hẹp phạm vi bất đồng của họ về những gì đã xảy ra (sử dụng phương pháp tìm kiếm nhị phân để nhanh chóng xác định vị trí giao dịch sai). Cuối cùng, quá trình này sẽ xác định chính xác vị trí xảy ra lỗi. Sau khi lỗi được xác nhận, lô ban đầu sẽ bị thu hồi và người xác nhận đưa ra lỗi sẽ bị phạt. Nếu thử thách thất bại, người thách thức có thể mất số tiền họ đặt cược để khởi động thử thách; nếu thử thách thành công, người thách thức có thể nhận được số tiền thưởng kiếm được khi thực hiện thử thách thành công.
Cốt lõi của OP-Rollup nằm ở cơ chế chống gian lận và thách thức. OP-Rollup trước tiên sẽ "lạc quan"cho rằng tất cả các giao dịch được thực hiện chính xác, sau đó biên dịch phép tính thành mã byte của máy ảo (AVM, OVM) trong hợp đồng trên lớp đầu tiên của mạng và giải phóng cam kết của mã byte . Việc xác minh cam kết của OP-Rollup yêu cầu tính toán giao dịch, lấy mã byte và sau đó xác minh cam kết. Khi người quan sát phát hiện một lô có cam kết không khớp, người quan sát sẽ tạo bằng chứng gian lận thông qua cơ chế thử thách và nhận phần thưởng.
OP-Rollup của Ethereum trước tiên xác nhận và gửi cam kết một cách "lạc quan", sau đó sử dụng cơ chế thử thách để cho phép bất kỳ ai thách thức cam kết đã gửi và cuối cùng đảm bảo rằng OP-Rollup được xác minh và xác nhận thông qua cam kết và thử thách.
Cổng NAND huyền diệu
Cổng NAND là cổng logic cơ bản trong logic kỹ thuật số, nó thực hiện thao tác logic NOT (NOT) sau thao tác logic AND (AND). Các đặc tính của cổng NAND làm cho nó trở thành nền tảng để xây dựng bất kỳ cổng logic nào và các mạch logic phức tạp khác. Sau đây là phần giới thiệu chi tiết cách sử dụng cổng NAND để xây dựng các cổng logic (như cổng AND, cổng OR, cổng XOR) cũng như các cổng cộng, cổng trừ:
1. Thông tin cơ bản về cổng NAND
Cổng NAND có hai đầu vào và đầu ra là 0 khi và chỉ khi cả hai đầu vào đều bằng 1; trong mọi trường hợp khác, đầu ra là 1. Điều này có thể được biểu diễn bằng một biểu thức logic là A NAND B.
2. Xây dựng các cổng logic cơ bản
Cổng AND (AND)
Để xây dựng cổng AND bằng cổng NAND:
Bước 1: Kết nối hai đầu vào với cổng NAND.
Bước 2: Kết nối đầu ra của cổng NAND này với 2 đầu vào của cổng NAND khác.
Kết quả: Đầu ra của cổng NAND thứ hai là kết quả của cổng AND.
Cổng HOẶC (HOẶC)
Để xây dựng cổng OR bằng cổng NAND:
Bước 1: Đưa từng đầu vào qua cổng NAND (self và self) để tạo ra hiệu ứng của hai cổng NOT.
Bước 2: Sử dụng đầu ra của hai cổng NAND này làm đầu vào của một cổng NAND.
Kết quả: Đầu ra của cổng NAND là kết quả của cổng OR.
Cổng OR độc quyền (XOR)
Để xây dựng cổng XOR bằng cổng NAND (phức tạp hơn một chút):
Bước 1: Xây dựng hai cổng NAND, mỗi đầu vào được kết nối với một trong đó.
Bước 2: Sử dụng đầu ra của hai cổng NAND ở bước đầu tiên làm đầu vào của cổng NAND thứ ba.
Bước 3: Kết nối đầu vào A ban đầu và đầu ra của cổng NAND thứ nhất với cổng NAND thứ tư, đồng thời kết nối đầu vào B ban đầu và đầu ra của cổng NAND thứ hai với cổng NAND thứ năm.
Bước 4: Cuối cùng, kết nối đầu ra của cổng NAND thứ tư và thứ năm với cổng NAND thứ sáu.
Kết quả: Đầu ra của cổng NAND thứ sáu là kết quả của cổng XOR.
3. Xây dựng cổng phụ
Một nửa Adder
Bộ cộng một nửa là bộ cộng đơn giản xử lý phép cộng hai bit và tạo ra tổng và số mang.
Tổng: Sử dụng cổng XOR để tạo tổng.
Mang: Sử dụng cổng AND để tạo mang.
Các cổng cơ bản này được xây dựng bằng cổng NAND và sau đó được kết hợp để tạo thành một nửa bộ cộng.
Adder đầy đủ
Bộ cộng đầy đủ tính đến đầu vào mang đến từ các bit thấp hơn.
Bước 1: Xây dựng hai nửa bộ cộng, nửa bộ cộng thứ nhất xử lý A và B, nửa bộ thứ hai xử lý tổng và mang đầu vào C của nửa bộ cộng thứ nhất.
Sum: Tổng sản lượng của bộ cộng nửa thứ hai.
Mang: Đầu ra mang của hai nửa bộ cộng được kết nối thông qua cổng OR.
Xây dựng một nửa bộ cộng và cổng OR bằng cổng NAND và sau đó kết hợp chúng để tạo thành bộ cộng đầy đủ.
4. Xây dựng cổng trừ
nửa trừ
Bộ trừ một nửa xử lý phép trừ hai bit.
Sự khác biệt: Sử dụng cổng XOR để tạo ra sự khác biệt.
Vay: Sử dụng cổng NAND và cổng NOT để tạo khoản vay.
Sử dụng cổng NAND để xây dựng cổng XOR và logic cần thiết khác, sau đó kết hợp chúng để tạo thành một nửa phép trừ.
Phép trừ đầy đủ
Bộ trừ đầy đủ tính đến các khoản vay đến từ các bit cao.
Bước 1: Xây dựng hai nửa trừ, nửa đầu xử lý A và B, nửa thứ hai xử lý hiệu và mượn đầu vào của nửa trừ thứ nhất.
Hiệu: Đầu ra chênh lệch của nửa phép trừ thứ hai.
Mượn: Đầu ra mượn của hai nửa máy trừ được kết nối thông qua cổng OR.
Sử dụng cổng NAND để xây dựng các bộ trừ một nửa và cổng OR, sau đó kết hợp chúng để tạo thành bộ trừ đầy đủ.
5. Xây dựng cổng nhân
phép nhân nhị phân
Thực hiện phép nhân hai số nhị phân.
Bước 1: Sử dụng cổng AND để nhân bitwise.
Bước 2: Sử dụng các bộ cộng đầy đủ nối tiếp để thực hiện phép cộng liên tục.
Phần 3: Thực hiện chuyển dịch và tích lũy.
6. Xây dựng thanh ghi
D flip-flop
Lưu trữ một bit thông tin nhị phân.
Bước 1: Tạo chốt bằng cổng NAND.
Bước 2: Mở rộng chốt thành flip-flop ( Flip -flop).
đăng ký
Lưu trữ số nhị phân nhiều chữ số.
Nhiều flip-flop D được kết nối song song, mỗi flip-flop lưu trữ một bit.
7. Cấu tạo một chiếc đồng hồ
Bộ dao động
Cung cấp tín hiệu đồng hồ định kỳ.
Sử dụng cổng NAND để tạo các vòng phản hồi tạo ra dao động liên tục.
Tóm lại là
Cổng NAND được gọi là "cổng logic phổ quát" vì khả năng xây dựng bất kỳ cổng logic và mạch phức tạp nào khác. Thông qua phương pháp trên, cổng NAND có thể được sử dụng để xây dựng các mạch cộng, trừ, nhân, lưu trữ và đồng hồ phức tạp, làm cơ sở cho các phép tính số học trong máy tính và hệ thống kỹ thuật số. Trong thiết kế tích hợp hiện đại, cổng NAND được sử dụng rộng rãi vì tính đơn giản và linh hoạt của chúng.
Trong thực tế Mạng B², mọi logic tính toán đều có thể được xây dựng thông qua cổng NAND.
Lời hứa trong mật mã
Các cam kết được sử dụng rộng rãi trong mật mã và blockchain. SHA 256, Merkle Tree và KZG trong Bằng chứng không tri thức đều là các cam kết. Giống như ZK-Rollup đã giới thiệu ở trên, Bằng chứng không tri thức được sử dụng làm cam kết của Rollup. OP-Rollup Sử dụng mã byte trong máy ảo như một cam kết cho Rollup.
Chúng tôi sử dụng Merkle Tree để giải thích chi tiết cách sử dụng lời hứa:
Cam kết: Prover tính toán giá trị băm cho tất cả các giá trị và giá trị băm được sử dụng làm nút lá của cây nhị phân. Quá trình tính toán băm được tiếp tục đi lên và cuối cùng Cây Merkle được tạo ra và giá trị băm gốc của cây được giải phóng dưới dạng cam kết.
tiết lộ: Prover tiết lộ giá trị tương ứng với nút lá và nhánh của nó.
kiểm tra: Trình xác minh tính toán hàm băm thông qua giá trị và nhánh được hiển thị, rồi cuối cùng so sánh nó với cam kết đã công bố để xác minh.
Như được hiển thị bên dưới:
Cam kết: Prover tính toán các giá trị băm của tx 1, tx 2...tx 8 tương ứng và thu được H(1), H(2)...H(8) và liên tục thực hiện các phép tính băm theo cặp để cuối cùng tạo ra một biểu đồ. Cấu trúc cây nhị phân trong , tức là Cây Merkle, công bố giá trị H (12345678) của nút gốc của Cây Merkle như một lời hứa.
tiết lộ: Prover tiết lộ giá trị tương ứng với nút lá, chẳng hạn như tx 3 và nhánh của nó (H(4) -> H(12) -> H(5678)).
kiểm tra: Trình xác minh tính toán và xác minh lời hứa bằng cách hiển thị tx 3 và nhánh (H( 4) -> H( 12) -> H( 5678) ):
Tính hàm băm H(3) của tx 3
H(3) được băm với H(4) trong nhánh để thu được H(34)
H(34) được băm với H(12) trong nhánh để nhận H(1234)
H(1234) được băm với H(5678) trong nhánh để nhận H(12345678)
Xác minh H(12345678) theo lời hứa đã công bố
Lời hứa xác minh bằng chứng không có kiến thức của Mạng B²
Mạng B² là giải pháp lớp thứ hai ZK-Rollup được xây dựng trên mạng Bitcoin.
Hạn chế của ZK-Rollup trên Bitcoin
Do giới hạn về tính không đầy đủ Turing của Bitcoin , không có cách nào để xác minh bằng chứng Bằng chứng không tri thức trên mạng Bitcoin . Do đó, giải pháp truyền thống của ZK-Rollup, đó là xác minh việc triển khai Bằng chứng không tri thức trên một lớp blockchain network, là không thể. Phương pháp này được triển khai trên mạng Bitcoin .
ZK-Rollup chỉ ghi tổng hợp dữ liệu của Bằng chứng không tri thức và Rollup vào mạng Bitcoin thông qua Taproot. Điều này chỉ có thể đảm bảo rằng dữ liệu ZK-Rollup được neo trong mạng Bitcoin và không thể bị giả mạo, nhưng nó không thể đảm bảo tính bảo mật Về mặt hiệu quả và tính chính xác, không có cách nào sử dụng khả năng đồng thuận mạnh mẽ của mạng Bitcoin để đảm bảo tính bảo mật của ZK-Rollup lớp thứ hai.
Do đó, xác nhận ZK-Rollup phải được thực hiện trên mạng Bitcoin.
Bằng chứng không tri thức và mạch số học
Bằng chứng không tri thức
Trong Bằng chứng không tri thức, các mạch số học được sử dụng để xây dựng một bằng chứng trong đó người chứng minh biết một số thông tin bí mật mà không tiết lộ chính thông tin đó.
Bằng chứng không tri thức sử dụng các mạch số học để tạo ra bằng chứng:
Tạo bằng chứng
Sau khi mạch số học được xây dựng, người chuẩn bị sẽ sử dụng đầu vào bí mật của họ để tính toán đầu ra của mạch. Trong quá trình này, người chứng minh cũng tạo ra thông tin bổ sung (chẳng hạn như các cam kết và số ngẫu nhiên duy nhất Bằng chứng không tri thức), được sử dụng để xây dựng bằng chứng.
Giấy chứng nhận xác minh
Người chứng minh gửi bằng chứng của họ cho người xác minh. Người xác minh không biết đầu vào bí mật của người chứng minh, nhưng họ có mô tả về mạch điện và bằng chứng của người chứng minh. Người xác minh xác minh tính hợp lệ của bằng chứng bằng cách thực hiện tính toán tương tự của mạch điện và so sánh kết quả của nó với bằng chứng do người chứng minh cung cấp.
mạch số học
Các mạch số học thường được biểu diễn dưới dạng biểu đồ tuần hoàn có hướng (DAG), trong đó mỗi nút biểu thị một phép toán số học và các cạnh biểu thị luồng dữ liệu giữa các phép tính. Nút đầu vào biểu thị các giá trị đầu vào của mạch, thường là một số số hoặc biến, trong khi nút trong biểu thị các phép toán số học. Đầu ra của mạch là kết quả tính toán cuối cùng.
Các cổng mạch cơ bản trong mạch số học:
Cổng bổ sung
Cổng nhân
Theo giới thiệu về cổng NAND ở trên, mạch số học có thể chuyển đổi thành cổng NAND bằng cách chuyển đổi cổng cộng thành cổng NAND, chuyển cổng nhân thành cổng NAND và cuối cùng là chuyển mạch số học thành mạch cổng logic dựa trên cổng NAND.
Bằng chứng không tri thức xác minh lời hứa
Bản thân chương trình xác minh của Bằng chứng không tri thức là một mạch số học. Bằng cách chuyển đổi mạch số học thành cổng logic dựa trên cổng NAND, chương trình xác minh Bằng chứng không tri thức thực sự có thể được chuyển đổi thành mạch cổng logic dựa trên NAND cổng.
Cổng NAND được triển khai thông qua tập lệnh Bitcoin và Cam kết giá trị bit được tập hợp thành cổng logic làm đầu vào và đầu ra để thực hiện các ràng buộc cổng logic.
có thể viết tắt là OP_GATECOMMITMENT, tập lệnh mở khóa tương ứng là .
Trên thực tế, cổng NAND có thể được triển khai thông qua tập lệnh Bitcoin, sau đó cổng cộng và cổng nhân được xây dựng từ cổng NAND. Cổng cộng và cổng nhân được kết hợp thành một mạch số học và cuối cùng là chương trình xác minh cho Bằng chứng không tri thức được xây dựng. Tuy nhiên, do có số lượng lớn các mạch cổng liên quan nên tập lệnh Bitcoin được xây dựng cũng rất lớn và thực tế không thể chạy trên mạng Bitcoin.
Tập hợp Cam kết Giá trị Bit làm đầu vào và đầu ra thành các cổng logic và mỗi cổng logic với các đầu vào và đầu ra khác nhau dưới dạng nút lá để tạo thành cây nhị phân mạch. .
Circuit Taproot cam kết dưới dạng B2 Rollup trên mạng blockchain một lớp Bitcoin. Không giống như ZK-Rollup truyền thống, có thể thực hiện xác minh trên một lớp của mạng, B² Rollup không thể thực hiện xác minh trực tiếp trên Bitcoin. Tuy nhiên, bạn có thể tham khảo phương pháp Optimistic Rollup để cung cấp cơ chế thử thách cho các cam kết và hoàn tất việc xác nhận các cam kết Circuit Taproot thông qua cơ chế thử thách.
Giao thức xác minh và phản hồi
Không giống như BitVM, các giao dịch ngoài chuỗi giữa hai bên cần phải được ký trước. Mạng B² sử dụng các giao dịch UTXO để phát hành phần thưởng bị khóa và tập lệnh mở khóa là tập lệnh Taproot.
Tập lệnh Taproot mở khóa cụ thể là Prover tạo trước một tập lệnh cho từng nhánh của Circuit Taproot Tree và đưa ra hàm băm đầu vào. Challenger sử dụng tiền ảnh để thực thi tập lệnh. Nếu kết quả thực thi không phù hợp với nội dung gửi của Prover, nó có thể sử dụng MAST (Cây cú pháp trừu tượng Taproot Merklized) để mở khóa toàn bộ Taproot và nhận phần thưởng bị khóa.
Do chi phí hoạt động của chương trình xác minh không có kiến thức là rất nhỏ và rất nhanh nên người dùng trên mạng Bitcoin có thể đóng vai trò là người quan sát cơ chế Thử thách, xác minh các cam kết do B² Rollup gửi và có thể ngay lập tức bắt đầu thử thách sau khi các cam kết được thực hiện thấy không nhất quán.
Cơ chế thử thách tương tự như "trò chơi xác minh tương tác" của Arbitrum Rollup, liên tục tìm kiếm các phép tính cổng logic được thực hiện không chính xác. Để tìm ra cổng sai trong số nhiều cổng logic, phương pháp tìm kiếm nhị phân sẽ được sử dụng để thực thi tập lệnh Bitcoin mạch cổng. Người thách đấu tìm sai nhánh nhanh nhất sẽ được thưởng bằng cách mở khóa UTXO khóa phần thưởng trên mạng Bitcoin.
Đồng thời, một nhánh của tập lệnh khóa Taproot là tập lệnh khóa thời gian, khi không có Thử thách nào thành công, Prover sẽ mở khóa UTXO thông qua tập lệnh khóa thời gian sau khi giai đoạn thử thách kết thúc và nhận phần thưởng.
Tóm tắt
Mạng B² sử dụng Giao thức Ordinals để tổng hợp dữ liệu tổng hợp và bằng chứng cũng như ghi chúng vào Tapscript, đồng thời sử dụng các giao thức lưu trữ phi tập trung khác nhau để lưu dữ liệu chi tiết tổng hợp, đảm bảo hiệu quả tính khả dụng của dữ liệu tổng hợp.
Bằng cách ghi lại cam kết xác minh bằng chứng không có kiến thức về Bitcoin và cho phép bất kỳ người quan sát nào thách thức cơ chế cam kết, Mạng B² có thể kế thừa tính bảo mật của Bitcoin và dữ liệu tổng hợp đồng thuận trên Bitcoin.
