Thấy mạng GOAT ra mắt Testnet dựa trên công nghệ BitVM2, trong đó có một tính năng đáng theo dõi: ZK Rollup Bitcoin 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 đối với 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 cải thiện đáng kể 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ự theo dõi của người dùng.
Vậy, từ góc độ kỹ thuật, làm thế nào để hiểu một cách đơn giản?
Đầu tiên hãy xem quy trình thực hiện L2 Bitcoin của mạng GOAT. Mạng GOAT là giải pháp dựa trên L2 Bitcoin, sử dụng công nghệ BitVM2 và zkMIPS, hỗ trợ việc tạo ra doanh thu BTC gốc (tức là người tham gia có cơ hội kiếm thêm BTC). Quy trình 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 tiền (Reimbursement) v.v. Cầu vào chủ yếu là để đặt cọc BTC vào kịch bản taproot (không ai kiểm soát khóa riêng), người trung gian sẽ gửi nó vào 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 minh, người trung gian sẽ 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 qua nhà điều hành), tiêu hủy PegBTC trên L2, nhà điều hành khởi động xử lý hoàn tiền, 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 là ủ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 minh cơ chế khách nhẹ của Bitcoin. Việc xác minh qua cơ chế khách nhẹ sẽ sử dụng tập hợp các xác minh viên đã cam kết trên BTC làm đầu vào công khai cho việc xác minh chứng minh không kiến thức sau này, để thực hiện xác minh tính đồng thuận của khối L2. Xử lý hoàn tiền thì nhà điều hành đặt cọc BTC và gửi ID giao dịch rút tiền cùng với hash khối mới nhất. Người thách thức thực hiện xác minh 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, xác minh viên sẽ được ngẫu nhiên tạo ra, xác minh viên có thể thực hiện xác minh 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), nén thời gian cần thiết cho tính ổn định. 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 doanh thu BTC gốc.
Dưới đây sẽ tập trung nói về ZK Rollup của 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 minh thông qua chuỗi chính Bitcoin (giai đoạn xác nhận/không xác 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 các cơ chế gốc như script Taproot của Bitcoin để neo cập nhật trạng thái, từ đó tránh phụ thuộc vào cầu nối bên ngoài hoặc cơ chế ký đa.
Vậy là, sau khi hiểu sơ lược về công nghệ Zk Rollup, hãy cùng 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 dòng và mạng chứng minh GPU phân tán để thực hiện việc tạo ra chứng minh nhanh chóng. Đầu tiên là việc tạo ra chứng minh khối, sử dụng kỹ thuật phân mảnh đường thực thi và chứng minh song song, xác minh xem sự 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ó kích thước nhỏ có thể xác minh trên BitVM2.
Để đạt được chứng minh thời gian thực, quá trình 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 dạ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 từ trang web chính thức hiện tại của mạng thử nghiệm của nó, chứng minh khối mất khoảng trung bình 2,6 giây, chứng minh tổng hợp trung bình 2,7 giây, chứng minh SNARK mất khoảng 10,38 giây. Người dùng có thể xem trực tiếp quá trình tạo chứng minh ZK đầy đủ cho mỗi giao dịch rút tiền thông 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 này 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ố giao dịch rút tiền trên mạng lưới Bitcoin L2 cần phải chờ đợi vài giờ mới có thể bắt đầu, nhưng với chứng minh nhanh chóng, người dùng có thể bắt đầu 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ể bắt đầu rút tiền. Tất nhiên, thời gian cuối cùng để người dùng nhận được tiền vẫ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à, trải nghiệm rút tiền gần như giống với thời gian phát động 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 từ hệ sinh thái Ethereum; đối với các nhà điều hành, không cần chờ đợi chứng nhận 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, độ an toàn lâu dài cũng cần một khoảng thời gian nhất định để chứng minh. Tuy nhiên, việc triển khai chứng minh thời gian thực đối với Bitcoin L2 là một bước tiến quan trọng trong cơ sở hạ tầng công nghệ. Tất nhiên, hiện tại Bitcoin L2 còn rất nhiều việc phải làm, ngoài việc xây dựng cơ sở hạ tầng công nghệ, còn cần nỗ lực hơn trong việc khai thác nhu cầu người dùng, thúc đẩy các nhà phát triển xây dựng các ứng dụng Bitcoin L2, vì cuối cùng, khi hệ sinh thái Bitcoin L2 hình thành, mới có đủ phí giao dịch để tạo ra sự tăng trưởng như một bánh đà. Trong đó, có 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ó thu nhập, điều này có thể thấy từ số lượng BTC trên chuỗi Ethereum (như wbtc, v.v.), hiện tại có hơn 150.000 BTC được đóng gói trên chuỗi Ethereum, trị giá hơn 15 tỷ đô la. Nếu có thể thực hiện dựa trên độ an toàn bản địa 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 thu nhập thông qua BTCFI.
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
2 thích
Phần thưởng
2
3
Chia sẻ
Bình luận
0/400
TruongGia
· 16giờ trước
Mua để kiếm tiền 💎
Trả lời0
TruongGia
· 16giờ trước
HODL chặt 💪
Trả lời0
IELTS
· 18giờ trước
Thấy rằng mạng GOAT đã ra mắt mạng thử nghiệm dựa trên công nghệ BitVM2, trong đó có một thực hiện đáng theo dõi: Chứng minh ZK Rollup Bitcoin theo thời gian thực. Thực hiện chứng minh ZK Rollup nhanh chóng, điều này là một phát triển quan trọng cho cơ sở hạ tầng BTC L2. Từ góc độ trải nghiệm người dùng, thời gian rút tiền sẽ có sự cải thiện lớn về hiệu suất so với trước đây, điều này sẽ mang lại nhiều nhà phát triển tham gia và sự quan tâm từ người dùng hơn. 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 thực hiện Bitcoin L2 của mạng GOAT. Mạng GOAT là giải pháp dựa trên Bitcoin L2, sử dụng công nghệ BitVM2 và zkMIPS, hỗ trợ thực hiện lợi nhuận BTC gốc (có nghĩa là người tham gia có cơ hội kiếm thêm.
GOAT ra mắt mạng thử nghiệm ZK Rollup thời gian thực: Có khả năng sinh lời BTC gốc mới?
Thấy mạng GOAT ra mắt Testnet dựa trên công nghệ BitVM2, trong đó có một tính năng đáng theo dõi: ZK Rollup Bitcoin 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 đối với 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 cải thiện đáng kể 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ự theo dõi của người dùng.
Vậy, từ góc độ kỹ thuật, làm thế nào để hiểu một cách đơn giản?
Đầu tiên hãy xem quy trình thực hiện L2 Bitcoin của mạng GOAT. Mạng GOAT là giải pháp dựa trên L2 Bitcoin, sử dụng công nghệ BitVM2 và zkMIPS, hỗ trợ việc tạo ra doanh thu BTC gốc (tức là người tham gia có cơ hội kiếm thêm BTC). Quy trình 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 tiền (Reimbursement) v.v. Cầu vào chủ yếu là để đặt cọc BTC vào kịch bản taproot (không ai kiểm soát khóa riêng), người trung gian sẽ gửi nó vào 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 minh, người trung gian sẽ 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 qua nhà điều hành), tiêu hủy PegBTC trên L2, nhà điều hành khởi động xử lý hoàn tiền, 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 là ủ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 minh cơ chế khách nhẹ của Bitcoin. Việc xác minh qua cơ chế khách nhẹ sẽ sử dụng tập hợp các xác minh viên đã cam kết trên BTC làm đầu vào công khai cho việc xác minh chứng minh không kiến thức sau này, để thực hiện xác minh tính đồng thuận của khối L2. Xử lý hoàn tiền thì nhà điều hành đặt cọc BTC và gửi ID giao dịch rút tiền cùng với hash khối mới nhất. Người thách thức thực hiện xác minh 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, xác minh viên sẽ được ngẫu nhiên tạo ra, xác minh viên có thể thực hiện xác minh 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), nén thời gian cần thiết cho tính ổn định. 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 doanh thu BTC gốc.
Dưới đây sẽ tập trung nói về ZK Rollup của 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 minh thông qua chuỗi chính Bitcoin (giai đoạn xác nhận/không xác 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 các cơ chế gốc như script Taproot của Bitcoin để neo cập nhật trạng thái, từ đó tránh phụ thuộc vào cầu nối bên ngoài hoặc cơ chế ký đa.
Vậy là, sau khi hiểu sơ lược về công nghệ Zk Rollup, hãy cùng 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 dòng và mạng chứng minh GPU phân tán để thực hiện việc tạo ra chứng minh nhanh chóng. Đầu tiên là việc tạo ra chứng minh khối, sử dụng kỹ thuật phân mảnh đường thực thi và chứng minh song song, xác minh xem sự 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ó kích thước nhỏ có thể xác minh trên BitVM2.
Để đạt được chứng minh thời gian thực, quá trình 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 dạ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 từ trang web chính thức hiện tại của mạng thử nghiệm của nó, chứng minh khối mất khoảng trung bình 2,6 giây, chứng minh tổng hợp trung bình 2,7 giây, chứng minh SNARK mất khoảng 10,38 giây. Người dùng có thể xem trực tiếp quá trình tạo chứng minh ZK đầy đủ cho mỗi giao dịch rút tiền thông 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 này 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ố giao dịch rút tiền trên mạng lưới Bitcoin L2 cần phải chờ đợi vài giờ mới có thể bắt đầu, nhưng với chứng minh nhanh chóng, người dùng có thể bắt đầu 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ể bắt đầu rút tiền. Tất nhiên, thời gian cuối cùng để người dùng nhận được tiền vẫ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à, trải nghiệm rút tiền gần như giống với thời gian phát động 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 từ hệ sinh thái Ethereum; đối với các nhà điều hành, không cần chờ đợi chứng nhận 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, độ an toàn lâu dài cũng cần một khoảng thời gian nhất định để chứng minh. Tuy nhiên, việc triển khai chứng minh thời gian thực đối với Bitcoin L2 là một bước tiến quan trọng trong cơ sở hạ tầng công nghệ. Tất nhiên, hiện tại Bitcoin L2 còn rất nhiều việc phải làm, ngoài việc xây dựng cơ sở hạ tầng công nghệ, còn cần nỗ lực hơn trong việc khai thác nhu cầu người dùng, thúc đẩy các nhà phát triển xây dựng các ứng dụng Bitcoin L2, vì cuối cùng, khi hệ sinh thái Bitcoin L2 hình thành, mới có đủ phí giao dịch để tạo ra sự tăng trưởng như một bánh đà. Trong đó, có 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ó thu nhập, điều này có thể thấy từ số lượng BTC trên chuỗi Ethereum (như wbtc, v.v.), hiện tại có hơn 150.000 BTC được đóng gói trên chuỗi Ethereum, trị giá hơn 15 tỷ đô la. Nếu có thể thực hiện dựa trên độ an toàn bản địa 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 thu nhập thông qua BTCFI.