Nhìn thấy mạng GOAT ra mắt mạng thử nghiệm dựa trên công nghệ BitVM2, trong đó có một triển khai đáng chú ý: ZK Rollup Bitcoin với chứng minh thời gian thực. Việc thực hiện chứng minh ZK Rollup nhanh chóng là một phát triển quan trọng cho cơ sở hạ tầng BTC L2. Về trải nghiệm người dùng, thời gian rút tiền sẽ có sự cải thiện lớn so với trước đây, điều này sẽ thu hút nhiều nhà phát triển tham gia và sự quan tâm của người dùng. Vậy, từ góc độ kỹ thuật, làm thế nào để hiểu đơn giản? Đầu tiên, hãy xem quy trình triển khai Bitcoin L2 của mạng GOAT. Mạng GOAT là một giải pháp dựa trên Bitcoin L2, sử dụng công nghệ BitVM2 và zkMIPS, hỗ trợ việc thực hiện lợi nhuận BTC gốc (tức là người tham gia có cơ hội kiếm thêm BTC). Quy trình của nó chủ yếu bao gồm cầu vào (Bridge in), cầu ra (Bridge out), cam kết bộ sắp xếp (Sequencer Set Commitment) và xử lý hoàn trả (Reimbursement) v.v. Cầu vào chủ yếu là để đặt cọc BTC vào kịch bản taproot (không có khóa riêng kiểm soát), người trung gian sẽ gửi nó đến hợp đồng của Goat. Ủy ban xây dựng luồng giao dịch BitVM2, nhà điều hành ký trước và lưu trữ trên IPFS, sau khi người dùng xác thực, người trung gian phát hành PegBTC trên L2; cầu ra là rút tiền, người dùng thực hiện giao dịch nguyên tử với nhà điều hành (người dùng cũng có thể là nhà điều hành, nếu không muốn, có thể hoàn thành việc rút tiền thông qua nhà điều hành), hủy PegBTC trên L2, nhà điều hành khởi động xử lý hoàn trả, không cần thực hiện giao dịch Peg-OUT trên chuỗi chính BTC. Cam kết bộ sắp xếp chủ yếu đề cập đến việc ủy ban định kỳ sử dụng cây Merkle để cam kết bộ sắp xếp trong tương lai, hỗ trợ xác thực cơ chế khách hàng nhẹ của Bitcoin. Thông qua cơ chế khách hàng nhẹ, xác thực bộ sưu tập người xác thực đã cam kết trên BTC như là đầu vào công cộng cho việc xác thực chứng minh không kiến thức sau này, nhằm thực hiện xác thực tính đồng thuận của khối L2. Xử lý hoàn trả là nhà điều hành đặt cọc BTC và gửi ID giao dịch rút tiền cùng với băm khối mới nhất. Người thách thức thực hiện xác thực ngoại tuyến và trực tuyến, nếu không có thách thức, nhà điều hành nhận tiền. Người thách thức cũng có thể đưa ra thách thức, sau khi thách thức xảy ra, người xác thực được chọn ngẫu nhiên, người xác thực có thể thực hiện xác thực tương tác thông qua kịch bản Bitcoin. Thời gian thách thức được rút ngắn xuống khoảng 1 ngày (khoảng 144 khối btc), rút ngắn thời gian cần thiết cho tính cuối cùng. Ngoài ra, nó sử dụng bộ sắp xếp phi tập trung, nhà điều hành đặt cọc BTC tham gia, mô hình kinh tế trong đó phí gas L2 sẽ tạo ra lợi nhuận BTC gốc. Dưới đây là phần quan trọng về ZK Rollup chứng minh thời gian thực, trước tiên hãy nói về công nghệ Rollup của nó. Mạng GOAT sẽ đóng gói nhiều giao dịch L2 thành các lô (Batch), thực hiện ngoài chuỗi để tạo ra một chứng minh ZK, chứng minh này sẽ được xác thực qua chuỗi chính Bitcoin (giai đoạn Xác nhận/Phủ nhận của BitVM2 v.v.), lợi ích của chứng minh ZK là không cần tải lên tất cả chi tiết giao dịch; ngoài ra, khác với zksync hoặc Starknet của Ethereum, Goat sử dụng kịch bản Taproot của Bitcoin và các cơ chế gốc để neo cập nhật trạng thái, do đó tránh phụ thuộc vào cầu nối bên ngoài hoặc cơ chế ký đa. Vậy, sau khi hiểu đơn giản về công nghệ Zk Rollup, hãy xem cơ chế chứng minh thời gian thực của nó. Theo tài liệu của mạng GOAT, việc tạo ra chứng minh thời gian thực của nó sử dụng động cơ zkMIPS, thông qua kiến trúc chứng minh song song theo đường ống + mạng người chứng minh phân tán để thực hiện việc tạo chứng minh nhanh chóng. Đầu tiên là việc tạo chứng minh khối, sử dụng kỹ thuật phân mảnh và chứng minh song song để xác thực xem việc chuyển đổi trạng thái Rollup có đúng hay không; tiếp theo là chứng minh tổng hợp, thực hiện nén đệ quy cho nhiều chứng minh khối; cuối cùng là chứng minh SNARK (Groth16), nén thành chứng minh có thể xác thực nhỏ gọn trên BitVM2. Để thực hiện chứng minh thời gian thực, việc tạo chứng minh trên không được xử lý theo cách đơn lẻ, mà sử dụng cơ chế xử lý song song theo đường ống (Pipelined), chủ yếu dựa vào công nghệ zkVM "Ziren" của ZKM để thực hiện, cộng với tăng tốc GPU và mạng người chứng minh phân tán, theo dữ liệu hiện tại từ trang web chính thức của mạng thử nghiệm, chứng minh khối trung bình khoảng 2.6 giây, chứng minh tổng hợp trung bình 2.7 giây, chứng minh SNARK khoảng 10.38 giây. Người dùng có thể xem quá trình tạo chứng minh ZK hoàn chỉnh cho mỗi lần rút tiền theo thời gian thực qua trang giao diện người dùng. Nếu có thể hoàn thành chứng minh ZK trong chưa đầy 1 phút, điều đó có nghĩa là tốc độ rút tiền của người dùng sẽ được tăng cường đáng kể, trước đây một số mạng Bitcoin L2 cần chờ đợi vài giờ để thực hiện rút tiền, với chứng minh nhanh chóng, người dùng có thể thực hiện rút tiền ngay sau khi chứng minh được tạo ra, tức là, trong khoảng chưa đầy 1 phút, người dùng có thể thực hiện rút tiền. Tất nhiên, thời gian cuối cùng để nhận tiền vẫn cần phụ thuộc vào tình hình giao dịch của mạng chính Bitcoin. Nhưng về mặt rút tiền, không cần phải chờ đợi, tức là, việc rút tiền của họ gần như tương đương với trải nghiệm thời gian thực hiện giao dịch trên chuỗi Bitcoin. Ngoài việc rút tiền, chứng minh thời gian thực cũng sẽ thúc đẩy các nhà phát triển xây dựng các ứng dụng L2 tần suất cao, ngoài ra tương thích với EVM, cũng có thể thu hút các nhà phát triển trong hệ sinh thái Ethereum; đối với nhà điều hành, không cần phải chờ đợi việc phát hành chứng minh hàng loạt, cũng có thể nâng cao hiệu quả tài chính. Công nghệ ZK tương đối phức tạp, tính an toàn lâu dài cũng cần một khoảng thời gian để chứng minh. Tuy nhiên, việc triển khai chứng minh thời gian thực là một bước tiến quan trọng trong cơ sở hạ tầng kỹ thuật cho Bitcoin L2. Tất nhiên, hiện tại Bitcoin L2 còn một chặng đường dài để đi, ngoài việc xây dựng cơ sở hạ tầng kỹ thuật, còn cần nỗ lực nhiều hơn trong việc khai thác nhu cầu của người dùng và thúc đẩy các nhà phát triển xây dựng ứng dụng Bitcoin L2, vì cuối cùng, khi hệ sinh thái Bitcoin L2 phát triển, sẽ có đủ phí giao dịch để thực hiện sự tăng trưởng của bánh đà. Trong đó, một nhu cầu tương đối rõ ràng là nhiều người nắm giữ BTC cũng mong muốn có lợi nhuận, điều này có thể thấy từ số lượng BTC trên chuỗi Ethereum (như wbtc v.v.) hiện đã vượt quá 150.000 BTC, trị giá hơn 15 tỷ USD. Nếu có thể thực hiện dựa trên tính an toàn gốc của chuỗi btc, thì sẽ có nhiều người nắm giữ BTC sẵn sàng thử nghiệm để kiếm lợi nhuận thông qua BTCFI.