Năm 2023, Robin Linus, đồng sáng lập công ty phát triển cơ sở hạ tầng blockchain ZeroSync, đã đề xuất một giải pháp mở rộng quy mô mang tên BitVM. Giải pháp này nhằm mục đích giới thiệu khả năng lập trình tương tự hợp đồng thông minh cho mạng lưới cơ sở hạ tầng Bitcoin mà không cần thay đổi các quy tắc đồng thuận của mạng chính Bitcoin. Không giống như nhiều phương pháp mở rộng quy mô khác đòi hỏi những thay đổi đáng kể đối với giao thức cơ bản và dẫn đến quá trình phát triển chậm, BitVM tận dụng các cơ chế lạc quan và bằng chứng gian lận để chuyển đổi các phép tính tùy ý thành dạng có thể xác minh được bằng Bitcoin Script, từ đó cho phép tính toán Turing-complete trên mạng lưới cơ sở hạ tầng Bitcoin với những thay đổi tối thiểu.
Với sự phát triển nhanh chóng của cộng đồng BitVM và sự chú ý của các nhà phát triển trong những năm gần đây, đặc biệt là sau khi BitVM2 ra mắt, hệ sinh thái Lớp 2 được xây dựng xung quanh nó đã dần xuất hiện, thúc đẩy hơn nữa sự phát triển của các ứng dụng tài chính trong hệ sinh thái cơ sở hạ tầng Bitcoin. Đặc biệt, Mạng GOAT đã xây dựng ZK Rollup của Bitcoin dựa trên BitVM2. Bằng cách tối ưu hóa một cách có hệ thống các chức năng và vai trò của các nút điều hành, mạng này đã khắc phục được những điểm nghẽn tiềm ẩn về bảo mật, tính công bằng và hiệu quả của BitVM2, đồng thời triển khai cơ chế "chứng minh thời gian thực" trong hệ sinh thái Bitcoin. Chính thức, GOAT BitVM2, thành phần cốt lõi của Mạng GOAT, có thể tạo ra bằng chứng ZK (bằng chứng không kiến thức) cho các khối Lớp 2 trong khoảng 2,6 giây. Điều này chứng tỏ Mạng GOAT đã vượt qua những hạn chế về khả năng mở rộng và hiệu quả xác minh trong khuôn khổ lý thuyết của BitVM, tạo ra một nền tảng khả thi để hỗ trợ các ứng dụng hệ sinh thái quy mô lớn và xác minh chuỗi chéo.
Vậy, BitVM thực sự hoạt động như thế nào? Mạng lưới GOAT tối ưu hóa BitVM như thế nào? Bên cạnh BitVM, Mạng lưới GOAT còn giới thiệu những thành phần chính nào và đạt được những cải tiến công nghệ nào? Báo cáo nghiên cứu này sẽ giải thích từng thành phần.
Tác giả: ShirleyLi
Bìa: Logo của dự án này
Số lượng từ: Khoảng 12.700+ từ
lý lịch
Bitcoin ban đầu được thiết kế như một hệ thống tiền điện tử ngang hàng, về cơ bản là một sổ cái phân tán phi tập trung. Do đó, là blockchain thế hệ đầu tiên, nó thiếu chức năng hợp đồng phức tạp. Tuy nhiên, khi mạng lưới cơ sở hạ tầng Bitcoin mở rộng, thiết kế này đã trở thành một nút thắt, hạn chế thông lượng và tốc độ xác nhận của mạng chính Bitcoin. Hơn nữa, do cấu trúc quản trị phi tập trung cao độ của mạng lưới cơ sở hạ tầng Bitcoin, việc nâng cấp mạng lưới cực kỳ khó khăn và thách thức đối với các nhà phát triển. Những yếu tố này, kết hợp lại, đã trở thành lý do cơ bản khiến mạng lưới cơ sở hạ tầng Bitcoin gặp khó khăn trong việc mở rộng quy mô.
Trong bối cảnh này, các nhà phát triển mạng lưới cơ sở hạ tầng Bitcoin đã thử một loạt các kế hoạch mở rộng "vòng vo", nhằm cải thiện khả năng xử lý mạng, giảm chi phí tương tác và trao quyền cho mạng lưới cơ sở hạ tầng Bitcoin bằng khả năng hợp đồng thông minh mà không cần thay đổi trực tiếp mạng chính Bitcoin.
Ví dụ, Mạng Lightning đề xuất các kênh trạng thái, thiết lập một kênh thanh toán hai chiều giữa hai nút để tạo điều kiện thuận lợi cho nhiều giao dịch ngoài chuỗi với một lần thanh toán trên chuỗi duy nhất. Điều này cung cấp một đường dẫn nhanh cho các giao dịch nhỏ, tần suất cao. Mặt khác, RGB sử dụng mô hình xác minh phía máy khách, cố gắng giảm chi phí xác minh dữ liệu toàn cầu bằng cách để mỗi nút tham gia chỉ xác minh dữ liệu của chính mình. Tuy nhiên, các giải pháp này gặp phải một số hạn chế: các kịch bản ứng dụng của Mạng Lightning tương đối hạn hẹp; và RGB, bắt đầu phát triển vào năm 2019 nhưng chỉ chính thức ra mắt mạng chính vào tháng 8 năm nay, đã làm chậm đáng kể việc triển khai.
Vào tháng 1 năm 2023, giao thức Ordinals ra đời, mở ra một cuộc bùng nổ lớn trong hệ sinh thái Bitcoin và tạo ra một số lượng lớn các giao thức Lớp 2 mới nổi. Lấy cảm hứng từ mô hình Rollups trong hệ sinh thái Ethereum, các nhà phát triển bắt đầu khám phá cách đưa mô hình này vào hệ sinh thái Bitcoin một cách hiệu quả hơn.
Về mặt cốt lõi, khái niệm thiết kế Rollup là thực hiện các giao dịch bên ngoài chuỗi chính Ethereum và gửi kết quả thực hiện cùng dữ liệu liên quan đến chuỗi chính. Cách tiếp cận này giảm đáng kể gánh nặng tính toán trên chuỗi chính, đồng thời đảm bảo tính bảo mật. Dựa trên phương thức gửi, các Rollup chính thống hiện tại có thể được chia thành hai loại: Optimistic Rollup và ZK Rollup. Optimistic Rollup giả định tất cả các giao dịch đều đáng tin cậy và gửi chúng trực tiếp lên mạng chính Ethereum theo từng đợt, nhưng vẫn dành một khoảng thời gian để bất kỳ ai cũng có thể đặt câu hỏi hoặc phản biện dữ liệu đã gửi. Mặt khác, ZK Rollup gửi "bằng chứng xác thực" cho tất cả các trình xác thực cùng lúc với dữ liệu được gửi lên mạng chính.
Tuy nhiên, do chi phí tính toán đáng kể cần thiết để tạo ra bằng chứng ZK, ZK Rollup đã phải vật lộn để được áp dụng rộng rãi trong hệ sinh thái Ethereum trong một thời gian dài. Tuy nhiên, với sự trưởng thành của cơ sở hạ tầng ZK, ZK Rollup đã bắt đầu được triển khai với tốc độ nhanh hơn, mở ra một kỷ nguyên mới cho hệ sinh thái khả năng mở rộng của Ethereum.
Đồng thời, trong mạng lưới cơ sở hạ tầng Bitcoin, BitVM, một mô hình tính toán quan trọng, đã được đề xuất. Giá trị cốt lõi của nó nằm ở khả năng xác minh gián tiếp logic của các ứng dụng phức tạp trên mạng chính của mạng lưới cơ sở hạ tầng Bitcoin thông qua một cơ chế xác minh cụ thể trong hệ thống tập lệnh hạn chế của mạng. Điều này có nghĩa là BitVM có thể giới thiệu các khả năng xác minh tính toán mạnh mẽ hơn nữa cho mạng lưới cơ sở hạ tầng Bitcoin, đáp ứng chính xác nhu cầu xác minh tính toán của ZK Rollup. Đặc biệt, sau khi phát hành sách trắng BitVM3 vào tháng 7 năm 2025, BitVM3 đã giảm đáng kể chi phí giao dịch của toàn bộ quá trình xác minh bằng cách giảm đáng kể quy mô của các giao dịch trên chuỗi liên quan, giúp việc này khả thi hơn về mặt kinh tế và do đó tạo điều kiện tiên quyết để triển khai xác minh tính toán phức tạp trong mạng lưới Bitcoin.
GOAT Network giới thiệu ZK Rollup vào mạng lưới cơ sở hạ tầng Bitcoin như thế nào ?
Như đã đề cập trước đó, Rollup hiện là giải pháp Lớp 2 phổ biến nhất trên Ethereum. Do đó, cả Optimisic Rollup và ZK Rollup ban đầu được thiết kế để mở rộng quy mô Ethereum. Tuy nhiên, do tính đơn giản của các tập lệnh mạng lưới cơ sở hạ tầng Bitcoin, việc hỗ trợ trực tiếp xác minh bằng chứng ZK rất khó khăn, và chi phí xác minh trực tiếp trên chuỗi cũng rất cao. Do đó, việc xây dựng Rollup, đặc biệt là ZK Rollup, trên mạng lưới cơ sở hạ tầng Bitcoin khó triển khai hơn nhiều so với trên Ethereum. Vậy, liệu mô hình Rollup có thể được áp dụng vào mạng lưới cơ sở hạ tầng Bitcoin không? Và làm thế nào để gửi kết quả tính toán và dữ liệu lên mạng chính Bitcoin để xác minh?
Mạng lưới GOAT cung cấp giải pháp triển khai ZK Rollup trên mạng lưới Bitcoin. Bằng cách kết hợp ZKM, BitVM2 và một trình tự phân cấp, mạng lưới xây dựng ZK Rollup trong cơ sở hạ tầng của Bitcoin, nhằm mục đích tạo ra trải nghiệm người dùng nhanh hơn và phổ biến hơn bằng cách mở rộng chức năng của Bitcoin.
Theo thông tin chính thức , Kevin Liu, một cộng tác viên cốt cán của Mạng lưới GOAT, cũng là người sáng lập Layer 2 Metis của Ethereum. Metis là một Ethereum Hybrid Rollup kết hợp những ưu điểm của Optimistic Rollup và ZK Rollup để đạt được thông lượng cao và khả năng tương tác nhanh chóng.
Để đưa cơ chế chứng minh ZK vào kiến trúc Optimistic Rollup và cho phép chúng được chuyển đổi thành Hybrid Rollup, Metis Foundation đã ấp ủ khuôn khổ zkVM - ZKM vào tháng 7 năm 2023. Ý định ban đầu của họ là có thể tích hợp các chứng minh ZK vào mô hình Optimistic Rollup của mình, để các nhà phát triển có thể sử dụng các chứng minh ZK để xác nhận trạng thái cuối cùng và cải thiện hơn nữa hiệu quả của việc thanh toán xuyên chuỗi. Tuy nhiên, khi quá trình phát triển tiến triển, ZKM không còn giới hạn ở vị trí của một máy ảo duy nhất mà dần dần phát triển thành một cơ sở hạ tầng ZK chung. Trong số đó, zkMIPS (hiện được đổi tên thành Ziren) do nhóm khởi chạy đã trở thành cốt lõi của hệ thống chứng minh chung của họ, chuyên cho phép các chuỗi khác nhau tương tác trong một môi trường xác minh ZK thống nhất. Do đó, nhóm tin rằng tính phổ quát của ZKM cũng có thể giúp xây dựng một mạng lưới thanh toán phổ quát độc lập với máy ảo và có thể hỗ trợ tất cả các blockchain, và Bitcoin cũng nên được đưa vào hệ thống đa chuỗi này. [1]
Do đó, dựa trên xác minh cơ bản do ZKM cung cấp, GOAT Network bắt đầu khám phá cách xây dựng ZK Rollup khả thi trên mạng cơ sở hạ tầng Bitcoin.
Theo thông tin chính thức , GOAT Network hiện đã đạt được khả năng tạo bằng chứng ZK theo thời gian thực trong môi trường sản xuất. Điều này có nghĩa là GOAT Network sẽ có thể nhanh chóng tạo bằng chứng xác minh trong khi đóng gói giao dịch.
Về mặt triển khai, ngoài việc sử dụng máy ảo ZKM Ziren làm cơ sở hạ tầng mở rộng, Mạng GOAT còn tích hợp sâu với BitVM2, cho phép viết bằng chứng ZK vào các tập lệnh Bitcoin và xác minh trên chuỗi, kế thừa tính bảo mật của mạng lưới cơ sở hạ tầng Bitcoin. Hơn nữa, thông qua giao thức sắp xếp phi tập trung, Mạng GOAT sẽ cho phép các thông điệp xuyên chuỗi đạt được sự đồng thuận giữa mạng lưới cơ sở hạ tầng Bitcoin và Mạng GOAT, loại bỏ hoàn toàn sự phụ thuộc vào một nút tập trung duy nhất.
Tiếp theo, chúng ta sẽ phân tích từng thành phần này và phân tích sâu về logic vận hành của Mạng GOAT.
Đường dẫn kỹ thuật của Mạng GOAT
Cơ sở lý thuyết của Mạng GOAT — BitVM
BitVM là một giải pháp mở rộng quy mô được Robin Linus, đồng sáng lập ZeroSync, nhà phát triển cơ sở hạ tầng blockchain, đề xuất vào năm 2023. Mục tiêu của giải pháp này là giới thiệu các khả năng lập trình tương tự như hợp đồng thông minh vào mạng lưới cơ sở hạ tầng Bitcoin mà không thay đổi các quy tắc đồng thuận của mạng lưới cơ sở hạ tầng Bitcoin.
Không giống như mô hình tài khoản của Ethereum, cơ sở hạ tầng mạng lưới Bitcoin được xây dựng dựa trên mô hình UTXO (Đầu ra Giao dịch Chưa Chi). Script của Bitcoin về cơ bản là một cơ chế xác minh có điều kiện đơn giản được thiết kế riêng để chỉ định các điều kiện chi tiêu UTXO. Do đó, khả năng diễn đạt của script Bitcoin rất hạn chế. Hơn nữa, sau khi UTXO được chi tiêu, toàn bộ điều kiện của script cũng được công khai, dẫn đến thiếu tính riêng tư trong quá trình chi tiêu.
Năm 2021, mạng lưới cơ sở hạ tầng Bitcoin đã giới thiệu một loại giao dịch mới, Pay-to-Taproot (P2TR), thông qua bản nâng cấp Taproot. Một trong những cơ chế cốt lõi được loại giao dịch này sử dụng là MAST (Cây cú pháp trừu tượng Merkel hóa). Cơ chế MAST cho phép các điều kiện thực hiện trong các tập lệnh phức tạp được chia nhỏ và dệt thành một cây Merkle. Khi chi tiêu UTXO, chỉ các nhánh thực sự được thực hiện và các bằng chứng có liên quan mới được công bố mà không tiết lộ toàn bộ tập lệnh. Cách tiếp cận này không chỉ cải thiện tính riêng tư của các giao dịch UTXO mà còn nâng cao hiệu quả thực hiện. Do đó, các nhà phát triển có thể viết các tập lệnh phức tạp hơn (chẳng hạn như cơ chế đa chữ ký, chiều cao chi tiêu, v.v.). Đồng thời, vì chỉ các nhánh tập lệnh thực sự được thực hiện mới cần được tiết lộ, nên lượng dữ liệu cần tải lên chuỗi cũng giảm đáng kể.
BitVM sử dụng cơ chế MAST, cố gắng biểu diễn logic chương trình phức tạp dưới dạng cây Merkle. Dựa trên khái niệm về bằng chứng gian lận, nó chỉ định hai vai trò: người chứng minh (prover) và người xác minh (verifier). Người chứng minh chịu trách nhiệm thực hiện phép tính toán của chương trình ngoài chuỗi và khẳng định tính chính xác của kết quả, trong khi người xác minh chịu trách nhiệm xác minh kết quả của người chứng minh và thách thức bất kỳ dữ liệu nào đang tranh chấp. Để đảm bảo độ tin cậy tính toán, người chứng minh biên dịch chương trình thành một mạch bao gồm các phép toán logic và sau đó ánh xạ toàn bộ mạch này vào một Taproot MAST khổng lồ. Mỗi cổng logic tương ứng với một tập lệnh lá (leaf script) trong cây Merkle. Điều quan trọng cần lưu ý là việc ánh xạ này không phải là một thực thi thực sự, mà là một "cam kết" với logic của chương trình. Sau đó, người chứng minh tạo ra một P2TR UTXO từ gốc của cây này, khóa một khoản tiền gửi vào đó như một sự đảm bảo cho cam kết của họ, và sau đó thực hiện toàn bộ phép tính toán của chương trình ngoài chuỗi.
Trong thiết kế ban đầu của BitVM, chỉ có một tập hợp các trình xác thực cố định mới có thể thực hiện các thử thách. Ngoài ra, vì các bằng chứng gian lận tương tác được sử dụng để xác định các phép tính gây ra xung đột, tức là liên tục thu hẹp phạm vi của vấn đề thông qua việc chia đôi, nên mỗi thử thách đòi hỏi một số lượng lớn các tương tác trên chuỗi, từ đó khiến tranh chấp kéo dài. Để giải quyết các vấn đề trên, BitVM2 đã được đề xuất vào năm 2024. Giải pháp này đã tự do hóa cơ chế thử thách, cho phép bất kỳ người dùng nào có nút đầy đủ Bitcoin khởi tạo một thử thách và giới thiệu các trình xác thực SNARK (Đối số kiến thức không tương tác ngắn gọn) để giảm số vòng tương tác thử thách xuống còn 2-3, do đó cải thiện hiệu quả xác minh. [2]
Cụ thể, BitVM2 được xây dựng dựa trên một cơ chế lạc quan. Giả sử kết quả tính toán do người chứng minh gửi là trung thực và đáng tin cậy, ngay cả khi bất kỳ người xác minh nào được phép khởi tạo một thử thách, miễn là ít nhất một trong số họ trung thực và có thể so sánh chính xác bằng chứng do người chứng minh gửi với kết quả, thì hành vi thực sự của người chứng minh có thể được xác minh. Những người xác minh không trung thực sẽ bị phạt (tiền đặt cọc của họ sẽ bị tịch thu). Đây được gọi là giả định trung thực 1/n.
Để giảm số vòng tương tác, BitVM2 sử dụng trình xác minh SNARK để tạo cam kết cho toàn bộ quy trình tính toán ngoài chuỗi. Tuy nhiên, do những hạn chế trong Bitcoin Script, nó không thể chạy toàn bộ quy trình xác minh SNARK cùng một lúc, như trong Ethereum. Do đó, BitVM2 chia trình xác minh SNARK thành nhiều chương trình con, mỗi chương trình con được nhúng trong một tập lệnh lá của MAST. Do đó, trong hoạt động thực tế của BitVM2, trình chứng minh trước tiên tạo một cam kết SNARK ngoại tuyến, khẳng định rằng kết quả tính toán của chương trình mà chúng thực hiện là chính xác. Cam kết SNARK này sau đó được lưu lại để giải quyết tranh chấp trong tương lai. Nếu sau đó, trình xác minh đặt câu hỏi về một bước tính toán cụ thể, họ có thể trực tiếp khiếu nại chương trình con của trình xác minh trong một lá, yêu cầu trình chứng minh tiết lộ các đầu vào và đầu ra tương ứng, sau đó chạy tập lệnh trên chuỗi để xác minh. Nếu trình chứng minh không tiết lộ dữ liệu trong khung thời gian đã thỏa thuận hoặc nếu dữ liệu được tiết lộ không nhất quán với dữ liệu thực tế sau khi chạy, trình xác minh sẽ thắng khoản tiền gửi của trình chứng minh. Nếu không có khiếu nại hợp lệ nào được đưa ra trong thời gian khiếu nại, người chứng minh cuối cùng có thể lấy lại tiền ký quỹ của mình.
Nói một cách đơn giản, phiên bản BitVM gốc yêu cầu phải dần dần tiết lộ toàn bộ quy trình tính toán cho mạng chính Bitcoin và điều hướng nhiều vòng tương tác để xác định các điểm tranh chấp, dẫn đến thời gian xác minh kéo dài. BitVM2 giải quyết vấn đề này bằng cách giới thiệu mô hình "thực thi lạc quan + chống gian lận". Mô hình này mặc định giả định kết quả tính toán là chính xác và chỉ giải phóng dữ liệu tranh chấp trên chuỗi khi một thách thức được khởi tạo. Điều này cũng giúp giảm số lượng tương tác xác minh, cải thiện hiệu quả xác minh.
Đổi mới dựa trên BitVM——GOAT BitVM2
Tuy nhiên, BitVM2 vẫn còn một số hạn chế trong thiết kế, cụ thể:
- Vì BitVM2 tách các trình xác thực SNARK vào cấu trúc Taproot MAST, nên một lần xác minh trên chuỗi chỉ có thể tương ứng với một bước tính toán cụ thể, thay vì xác minh tính hợp lệ toàn cục của toàn bộ quá trình chuyển đổi trạng thái cùng một lúc như Ethereum. Do đó, đối với mạng lưới cơ sở hạ tầng Bitcoin áp dụng "nguyên tắc chuỗi dài nhất", nếu một nút điều hành độc hại gửi một cam kết trạng thái được tạo trên một chuỗi phân nhánh đến trình xác thực trên BitVM2, về mặt lý thuyết, BitVM2 sẽ không kiểm tra xem cam kết trạng thái này có bắt nguồn từ "chuỗi dài nhất" hay không, tạo ra nguy cơ tiềm ẩn của một "cuộc tấn công chi tiêu kép".
- Mặc dù BitVM2 đã cải thiện hiệu quả xác minh bằng cách giới thiệu trình xác minh SNARK, nhưng nó vẫn dựa trên cơ chế chống gian lận và có chu kỳ thử thách là 1-2 tuần. [2]
- Để đảm bảo hiệu quả của quá trình thách thức, tất cả người tham gia được yêu cầu đặt cọc một số lượng tài sản nhất định trong suốt thời gian tranh chấp. Tuy nhiên, do thời gian tranh chấp kéo dài, số tiền đặt cọc này khó được giải ngân nhanh chóng, vô tình làm tăng chi phí của các nút tham gia. Hơn nữa, nếu kết quả thách thức không phát hiện ra gian lận (điều này thường xảy ra), các bên xác thực sẽ phải đối mặt với tình huống "tốn công" mà không nhận được "phần thưởng", làm giảm thêm sự nhiệt tình của những người thách thức.
Để giải quyết các vấn đề trên, GOAT Network đã tối ưu hóa một cách có hệ thống các vấn đề chính như bảo mật, cơ chế thách thức và các ưu đãi kinh tế bằng cách kết hợp kiến trúc xác minh của BitVM2 và hỗ trợ của zkVM cho cơ chế chứng minh ZK, qua đó thúc đẩy việc triển khai giải pháp ZK Rollup trên mạng cơ sở hạ tầng Bitcoin.
Không giống như Optimistic Rollup, tính năng cốt lõi của ZK Rollup là sử dụng bằng chứng ZK thay vì bằng chứng gian lận. Người chứng minh cần tạo bằng chứng ZK cho mỗi lô giao dịch, và người xác minh có thể trực tiếp xác minh bằng chứng, do đó tránh được các thử thách tương tác kéo dài.
Vì BitVM2 đã tích hợp bằng chứng gian lận với xác minh SNARK, triển khai trình xác thực SNARK theo từng phần, nên nếu logic xác minh bằng chứng ZK hoàn chỉnh cho Rollup có thể được nhúng vào trình xác thực của BitVM2, cho phép mạng chính cơ sở hạ tầng Bitcoin xác nhận trực tiếp tính hợp lệ của bằng chứng ZK, thì mô hình ZK Rollup sẽ có thể được hỗ trợ trên mạng cơ sở hạ tầng Bitcoin. Để đạt được mục tiêu này, Mạng lưới GOAT đã tối ưu hóa BitVM2 và phát triển GOAT BitVM2.
Tối ưu hóa cơ chế cầu nối chuỗi chéo thông qua Cầu GOAT
Như đã đề cập trước đó, BitVM2 là một khuôn khổ tính toán có khả năng xác minh việc thực thi logic phức tạp trên mạng lưới cơ sở hạ tầng Bitcoin. Trong quá trình vận hành, BitVM2 sử dụng mạng chính Bitcoin làm lớp thanh toán và trong trường hợp xảy ra tranh chấp, nó cho phép đảm nhận một số trách nhiệm của lớp khả dụng dữ liệu. Nói cách khác, BitVM2 cho phép các hệ thống bên ngoài kế thừa tính bảo mật của mạng lưới cơ sở hạ tầng Bitcoin, đồng thời tạo điều kiện thuận lợi cho tương tác giữa các tài sản mạng lưới cơ sở hạ tầng Bitcoin và các mạng lưới bên ngoài. Do đó, dựa trên khả năng xác minh của BitVM2 trong các tình huống liên chuỗi, giao thức liên chuỗi BitVM2 đã được phát triển.
Từ góc độ vận hành, một cầu nối chuỗi chéo kết nối chuỗi khởi tạo và chuỗi đích. Khi tài sản "di chuyển" giữa hai chuỗi, đó không phải là một chuyển giao chuỗi chéo thực sự; thay vào đó, nó bao gồm việc khóa tài sản trên một chuỗi và giải phóng một lượng tương đương trên chuỗi kia. Ví dụ: khi người dùng khóa một lượng tài sản mạng chính nhất định trên mạng lưới cơ sở hạ tầng Bitcoin, giao thức chuỗi chéo BitVM2 sẽ ánh xạ một lượng tài sản được đóng gói tương đương trên Lớp 2. Quá trình này được gọi là neo giá (pegging). Khi người dùng muốn mở khóa tài sản bị khóa khỏi mạng lưới cơ sở hạ tầng Bitcoin, các tài sản được đóng gói trên Lớp 2 sẽ bị hủy và các tài sản tương ứng trên mạng lưới cơ sở hạ tầng Bitcoin sẽ được giải phóng sau khi xác minh. Quá trình này còn được gọi là neo giá (pegging out). Do đó, việc xác định có nên giải phóng tài sản hay không trở thành một cơ chế quan trọng cho các giải pháp neo giá khác nhau.
Các giải pháp bắc cầu truyền thống thường dựa vào cơ chế đa chữ ký để xác nhận giao dịch, hoặc triển khai hợp đồng thông minh trên cả chuỗi khởi tạo và chuỗi đích, sau đó một nhóm các nút được đặt cọc sẽ xác minh và thực hiện các giao dịch xuyên chuỗi. Mặt khác, giao thức xuyên chuỗi BitVM2 trực tiếp ủy quyền tính chính xác của các giao dịch xuyên chuỗi cho cơ chế xác minh của BitVM2, dựa trên sự kết hợp giữa trình xác thực SNARK và bằng chứng gian lận để tạo điều kiện thuận lợi cho việc luân chuyển tài sản giữa mạng chính Bitcoin và Lớp 2. Do đó, giao thức bắc cầu BitVM2 có thể được coi là một giải pháp "cầu nối xuyên chuỗi giảm thiểu độ tin cậy".
Trong quá trình bắc cầu chuỗi chéo, BitVM2 đã thiết kế ba vai trò để đảm bảo tính bảo mật của quá trình truyền tải: Nút vận hành (tương ứng với trình chứng minh trong BitVM), Nút xác minh (tương ứng với trình xác minh trong BitVM) và Ủy ban. Nút vận hành chịu trách nhiệm thực hiện công việc, yêu cầu đặt cọc và cam kết thực hiện trình xác minh SNARK một cách trung thực. Trong quá trình chốt giao dịch, chúng gửi kết quả đầu ra của trình xác minh SNARK lên mạng chính Bitcoin dưới dạng kết quả tính toán được yêu cầu. Sau đó, nút xác minh chịu trách nhiệm kiểm tra kết quả tính toán của nút vận hành. Ủy ban hỗ trợ ký các giao dịch như một biện pháp bảo mật bổ sung.
Dựa trên logic chuỗi chéo của BitVM2, GOAT Bridge đã thực hiện một số điều chỉnh.
Đầu tiên, quy trình Peg-out trên BitVM2 phải được khởi tạo bởi người dùng. Trên GOAT Bridge, khi người dùng có ý định hủy tài sản đã được đóng gói của mình, nút Operator sẽ đồng thời khởi tạo khoản thanh toán tương đương với số lượng tài sản mainnet trên cơ sở hạ tầng Bitcoin. Quy trình này tuân theo logic xác minh của BitVM2. Nếu xác minh thành công, người dùng sẽ nhận được tài sản mainnet cơ sở hạ tầng Bitcoin tương ứng và tài sản đã được đóng gói của họ sẽ bị hủy. Nếu xác minh không thành công, cả hai giao dịch sẽ được khôi phục. Cơ chế này cho phép các nút Operator tổng hợp và thanh lý nhiều Peg-out nhỏ, giảm chi phí thực hiện, cải thiện hiệu quả liên chuỗi và tối ưu hóa trải nghiệm người dùng.
Thứ hai, để ngăn chặn nút điều hành chọn một tập hợp các trình sắp xếp có lợi trong giai đoạn Peg-out, điều này sẽ ảnh hưởng đến quá trình sắp xếp và xác minh giao dịch, GOAT Bridge yêu cầu ủy ban đóng gói và gửi danh sách khóa công khai của tập hợp các trình sắp xếp tiếp theo tới mạng chính cơ sở hạ tầng Bitcoin trước hai tuần một lần và phát dưới dạng UTXO để đạt được mục đích thông tin công khai.
Cuối cùng, phần thưởng mà các nút xác minh nhận được sau khi thách thức các nút điều hành sẽ được gộp vào một nhóm phần thưởng thống nhất và được ủy ban phân phối đồng đều để duy trì tính bền vững của hệ thống khuyến khích.
Cơ chế thử thách ngẫu nhiên nhiều vòng
Để tăng cường độ tin cậy của quy trình xác minh, BitVM2 giới thiệu một cơ chế thách thức. Tuy nhiên, nếu nhiều người cùng lúc thách thức cùng một phép tính, điều này không chỉ lãng phí tài nguyên mà còn làm chậm hiệu quả xác minh. Hơn nữa, nếu nút Người vận hành không có hành vi gian lận trong nhiều vòng thách thức, nút Người xác minh sẽ phải đối mặt với vấn đề phát sinh chi phí nhưng không nhận được bất kỳ khoản thưởng nào. Do đó, GOAT BitVM2 giới thiệu một cơ chế thách thức ngẫu nhiên nhiều vòng để tối ưu hóa quy trình này.
Cụ thể, GOAT BitVM2 phân tích giai đoạn thử thách kéo dài 1-2 tuần như trong Optimistic Rollup truyền thống. Trong giai đoạn này, một nhóm người xác thực được chọn ngẫu nhiên và thử thách qua nhiều vòng, mỗi vòng chỉ có một người thách thức. Ví dụ: GOAT BitVM2 có thể chọn sáu người xác thực (tất cả đều phải đặt cược một lượng nhỏ tài sản cơ sở hạ tầng mạng chính Bitcoin), chỉ định cho mỗi người một khung thời gian hai giờ và yêu cầu họ thay phiên nhau xác thực. Nếu một người xác thực phát hiện gian lận trong vòng của mình và gửi bằng chứng gian lận, họ sẽ được thưởng. Nếu họ không hoàn thành trách nhiệm của mình trong vòng, họ sẽ bị phạt.
Ưu điểm của cơ chế này là tránh lãng phí tài nguyên do nhiều nút cùng lúc khởi chạy thử thách và cải thiện hiệu quả xác minh. Hơn nữa, vì các nút xác thực được chọn ngẫu nhiên, điều này cũng vô hình cải thiện tính bảo mật của quy trình xác minh. Theo thông tin chính thức , GOAT BitVM2 sử dụng cơ chế này để rút ngắn thời gian thử thách xuống còn một ngày.
Công cụ chứng minh của GOAT Network — ZKM
Để tạo ra bằng chứng ZK (bằng chứng không kiến thức) cho các khối Lớp 2, GOAT Network đã sử dụng sản phẩm máy ảo của nhóm ZKM.
ZKM, một dự án được Quỹ Metis ươm tạo vào tháng 7 năm 2023 và trước đây được gọi là Dự án M, ban đầu nhằm mục đích giới thiệu một giải pháp chứng minh không kiến thức cho các kiến trúc Rollup lai và xây dựng một lớp cơ sở hạ tầng nguồn mở cho hệ sinh thái Ethereum. Tuy nhiên, khi quá trình phát triển tiến triển, tầm quan trọng của ZKM dần được mở rộng, vượt ra ngoài phạm vi phát triển Rollup lai để tập trung vào việc tạo ra một "lớp xác minh chuỗi chéo", cho phép các nhà phát triển sử dụng chứng minh ZK để xác minh thống nhất kết quả thực thi trên các chuỗi khác nhau, do đó giảm sự phụ thuộc vào các cầu nối chuỗi chéo tập trung.
Vào tháng 6 năm nay, zkMIPS, máy ảo cốt lõi của ZKM, đã phát hành phiên bản 1.0. Phiên bản này được thiết kế để cung cấp dịch vụ cho cả mạng lưới cơ sở hạ tầng Ethereum và Bitcoin, xây dựng cơ sở hạ tầng ZK Rollup tương thích với nhiều chuỗi khác nhau. Điều này càng làm tăng thêm tính linh hoạt của zkMIPS.
Về mặt triển khai, zkMIPS là một zkVM dựa trên kiến trúc tập lệnh MIPS32r2. ZkVM kết hợp các bằng chứng không kiến thức (ZK proof) với một máy ảo (VM), cung cấp nhiều tính năng tổng quát hơn zkEVM. Nói cách khác, zkVM không chỉ hỗ trợ hợp đồng thông minh và xác minh mật mã mà còn có thể chạy logic tính toán tổng quát hơn, mở rộng phạm vi hoạt động ra ngoài hệ sinh thái Ethereum. Hiện tại, các nhóm như Polygon và RISC Zero đang thúc đẩy quá trình phát triển zkVM.
Tuy nhiên, không giống như tập lệnh chính thống RISC-V được RISC Zero sử dụng, zkMIPS sử dụng tập lệnh MIPS32r2. Trước khi giải thích lựa chọn này, trước tiên chúng ta hãy tìm hiểu bối cảnh liên quan của RISC-V.
RISC-V là một kiến trúc tập lệnh (ISA) mã nguồn mở dựa trên các nguyên lý RISC. Bộ lệnh này có nguồn gốc từ lĩnh vực điện toán Web2 và đại diện cho một tập hợp các lệnh cho điện toán nói chung. Bộ lệnh RISC-V bao gồm các lệnh thực hiện các phép toán và logic, các phép toán tải và lưu trữ, các lệnh nhảy và các chức năng khác. Bộ lệnh cơ bản của nó chỉ có hơn 40 lệnh, và ngay cả với các lệnh mở rộng dạng mô-đun, cũng chỉ có hàng chục lệnh. Do đó, kiến trúc RISC-V có đặc điểm là đơn giản và linh hoạt, hoàn toàn mã nguồn mở và có tính linh hoạt cao. [3]
Tuy nhiên, cách tiếp cận quá đơn giản này dường như không phải là lựa chọn tốt nhất cho zkMIPS, vốn hướng đến việc phục vụ đồng thời cơ sở hạ tầng Bitcoin. Lý do là, mặc dù tập lệnh cơ bản của RISC-V rất đơn giản, nhưng việc triển khai logic chương trình phức tạp đòi hỏi rất nhiều lệnh, từ đó làm tăng kích thước mạch chứng minh và chi phí tạo chứng minh. Mặt khác, MIP32r2 hỗ trợ luồng lệnh phong phú hơn (triển khai 62 lệnh) và định dạng thống nhất hơn, loại bỏ các bước không cần thiết. Hơn nữa, do RISC-V vẫn đang trong quá trình phát triển, MIP32r2 là lựa chọn tốt hơn cho zkMIPS, vốn hướng đến sự ổn định lâu dài, khả năng di động xuyên chuỗi và chi phí tạo chứng minh ZK thấp hơn.
Vào tháng 7 năm nay, nhóm ZKM đã nâng cấp zkMIPS lên phiên bản mới nhất, Ziren. Phiên bản này tăng đáng kể tốc độ tạo bằng chứng ZK thông qua khả năng tăng tốc GPU và giới thiệu mạng lưới nút phân tán để hỗ trợ tạo bằng chứng ZK song song.
Về mặt chức năng, Ziren biên dịch các chương trình được phát triển bằng Rust hoặc C (sắp có hỗ trợ cho Golang) thành các lệnh MIPS có thể thực thi, thực hiện các phép tính và đồng thời tạo ra các bằng chứng ZK để chứng minh tính đúng đắn của các phép tính. Đối với GOAT BitVM2, Ziren có thể tạo ra các bằng chứng ZK cho mỗi thay đổi trạng thái ở Lớp 2 cho mỗi khối được tạo ra. Các nút điều hành có thể tổng hợp các bằng chứng theo từng khối này thành một bằng chứng SNARK duy nhất và gửi nó đến mạng chính Bitcoin khi cần. Theo dữ liệu chính thức mới nhất , Ziren có thể tạo ra một bằng chứng ZK cho một khối Lớp 2 trong khoảng 2,6 giây, một nút điều hành có thể tổng hợp một loạt bằng chứng ZK trong khoảng 2,7 giây và thời gian từ khi tổng hợp bằng chứng đến khi gửi lên mạng chính Bitcoin là khoảng 10,38 giây. Các số liệu hiệu suất này rõ ràng hỗ trợ tính khả thi của các khả năng bằng chứng thời gian thực trên mạng thử nghiệm GOAT BitVM2 Beta.
Sắp xếp phi tập trung với Toán tử phổ quát
Vậy, làm thế nào GOAT Network gửi dữ liệu đang chạy trên mạng của mình đến mạng lưới cơ sở hạ tầng Bitcoin, qua đó kế thừa tính bảo mật của mạng chính Bitcoin? Điều này đòi hỏi phải sử dụng cơ chế phân loại phi tập trung của GOAT Network.
Do các Rollup Lớp 2 hỗ trợ mạng chính Lớp 1 xử lý các yêu cầu giao dịch, chúng cần sắp xếp các giao dịch đang chờ trong Mempool của mạng để xác định cách đóng gói chúng thành các khối. Nhiều Rollup ban đầu, bao gồm Arbitrum và Optimism, đã áp dụng phương pháp sắp xếp tập trung, sử dụng một bộ sắp xếp chính thức duy nhất và xử lý giao dịch theo nguyên tắc ai đến trước được phục vụ trước (FCFS). Phương pháp này duy trì hiệu quả thứ tự và hiệu suất giao dịch, nhưng tiềm ẩn rủi ro tập trung hóa. Một nút sắp xếp duy nhất bị ngoại tuyến có thể khiến toàn bộ mạng không thể tạo khối trong một khoảng thời gian ngắn.
Hơn nữa, cách thức và người thực hiện việc phân loại thường liên quan đến sự cạnh tranh về MEV. MEV (Giá trị Trích xuất Tối đa) là một khái niệm hành vi liên quan đến lợi ích kinh tế. Nó đề cập đến quá trình tạo khối, trong đó các nút trong mạng PoW, hoặc các trình xác thực và xây dựng khối trong mạng PoS, trích xuất giá trị vượt quá phần thưởng khối và phí gas tiêu chuẩn bằng cách bao gồm hoặc loại trừ các giao dịch trong một khối, thay đổi thứ tự các giao dịch trong khối. Sử dụng một trình phân loại duy nhất có nghĩa là tất cả MEV được tạo ra đều thuộc về trình phân loại đó, điều này vô tình làm giảm lợi nhuận của nút.
Để đạt được mục tiêu này, Mạng GOAT đã mở rộng cơ chế luân chuyển thách thức để bao gồm tất cả các nút tham gia trong toàn bộ mạng. Trong hoạt động thực tế của Mạng GOAT, có nhiều vai trò, bao gồm Ủy ban, Trình tự, Nhà điều hành, Thách thức, Tháp canh (một loại thách thức được chọn từ nhóm ứng viên Trình tự) và Người chuyển tiếp. Các nút này có các bộ phận lao động khác nhau, chịu chi phí khác nhau và được hưởng các lợi ích khác nhau. Ví dụ: các nút Nhà điều hành yêu cầu sức mạnh tính toán lớn hơn nhiều so với các vai trò khác, trong khi các nút Trình tự kiểm soát doanh thu MEV.
Để cân bằng áp lực về sức mạnh và chi phí giữa các nút và giảm thiểu rủi ro tập trung hóa do một số lượng nhỏ các loại nút nhất định gây ra, Mạng GOAT giới thiệu khái niệm Nhà điều hành phổ quát. Khái niệm này hợp nhất tất cả các vai trò và cho phép các nút luân chuyển qua các trách nhiệm khác nhau, do đó cân bằng chi phí và lợi ích giữa các nút và thúc đẩy chúng hơn nữa. Điều này có nghĩa là các nút trong Mạng GOAT sẽ không cố định là người sắp xếp hay người xác thực, mà sẽ luân chuyển qua các vai trò. Theo thiết kế, Nhà điều hành phổ quát yêu cầu một khoản đặt cược trước khi được phân bổ ngẫu nhiên vào các vai trò khác nhau theo từng vòng. Tuy nhiên, xác suất một nút được chỉ định một vai trò tỷ lệ thuận với phần đặt cược của nó. Ví dụ: nếu tài sản đặt cược của một nút chiếm 5% tổng số tiền đặt cược, thì nút đó có 5% cơ hội trở thành nút sắp xếp, 5% cơ hội trở thành nút nhà điều hành, 5% cơ hội trở thành nút thách thức, v.v. Điều này cho phép các nút luân chuyển cả về chi phí sức mạnh tính toán và lợi ích của mạng.
Tuy nhiên, quá trình này cũng có thể phát sinh các vấn đề tiềm ẩn. Ví dụ, các nút vận hành khác nhau có thể có hiệu suất phần cứng khác nhau, dẫn đến tốc độ thực thi khác nhau. Để giải quyết vấn đề này, Mạng GOAT đã triển khai cơ chế tạm dừng. Nếu một nút thách thức hoặc nút sắp xếp không hoàn thành nhiệm vụ đúng hạn, hệ thống sẽ trực tiếp chuyển sang nút tiếp theo và phạt nút không hoàn thành nhiệm vụ trong vòng này hoặc mất cơ hội đảm nhận vai trò này vào lần sau.
Sử dụng EIP-1559 để giảm phí gas
Ngoài ra, GOAT Network cũng đã thực hiện một số tối ưu hóa cho cấu trúc phí Gas. Đội ngũ đang cố gắng giảm phí bằng cách sử dụng cơ chế EIP-1559.
EIP-1559 là đề xuất cải tiến Ethereum được đưa ra vào năm 2019 để điều chỉnh phương thức thanh toán gas và chính thức ra mắt vào ngày 5 tháng 8 năm 2021 với tư cách là nội dung cốt lõi của bản nâng cấp London.
Trước khi EIP-1559 được thông qua, mô hình phí gas của Ethereum về cơ bản là một cơ chế đấu giá: Giá gas (số tiền người dùng sẵn sàng trả cho mỗi đơn vị gas) × Giới hạn gas (lượng gas tối đa người dùng sẵn sàng trả cho giao dịch; nói chung, lượng gas thực tế tiêu thụ ít hơn giới hạn này). [4] Nếu người dùng đưa ra Giá gas cao hơn, nút sẽ ưu tiên đóng gói đơn hàng của người đó. Khi tình trạng tắc nghẽn mạng tăng lên, người dùng sẽ cần liên tục tăng phí gas của họ. Điều này sẽ dẫn đến sự biến động phí cực kỳ cao, khiến người dùng khó dự đoán được phí gas mà họ phải trả. Đối với các nút, sự biến động này cũng sẽ gây ra sự cạnh tranh không lành mạnh và thậm chí có thể đe dọa đến tính công bằng và ổn định của mạng Ethereum.
Do đó, EIP-1559 chia phí gas thành hai thành phần: phí cơ bản và phí chặn (blocker tip), đây là cấu trúc phí hiện đang được mạng lưới Ethereum sử dụng. Phí cơ bản là khoản phí bắt buộc do người dùng trả, số tiền phí này được kiểm soát bởi một thuật toán và được đốt trực tiếp để giảm tổng lượng tài sản mạng lưới Ethereum. Mặt khác, phí chặn (blocker tip) là khoản phí bổ sung mà người dùng sẵn sàng trả để đẩy nhanh quá trình xử lý giao dịch. Cách tiếp cận này giúp phí gas chính xác và dễ kiểm soát hơn.
Mạng GOAT đã giới thiệu mô hình này vào mạng Lớp 2 của mình. Phí gas của mạng này cũng bao gồm hai phần: phí cơ bản và phí đầu tư cho người đóng gói khối.
Để đảm bảo khả năng tương thích với các công cụ hệ sinh thái Ethereum, Mạng GOAT áp dụng trực tiếp logic chuẩn EIP-1559 để tính phí cơ sở. Phí gas được tính bằng Wei (đơn vị nhỏ nhất của Ethereum), nhưng được chuyển đổi thành tài sản mạng lưới cơ sở hạ tầng Bitcoin (BTC) để thanh toán trong quá trình thanh toán thực tế. Tuy nhiên, Mạng GOAT không hỗ trợ EIP-4844 và do đó không phát sinh phí liên quan đến việc sử dụng blob. Hơn nữa, không giống như mạng Ethereum, Mạng GOAT không đốt phí cơ sở. Thay vào đó, nó tích hợp phí này vào một nhóm phần thưởng thống nhất và sau đó được phân phối lại cho các nút dưới dạng phần thưởng khuyến khích.
bản tóm tắt
Như có thể thấy, GOAT BitVM2, với tư cách là hệ thống thực thi cốt lõi của Mạng GOAT, cố gắng khắc phục vấn đề tắc nghẽn của BitVM2 từ ba khía cạnh:
1. Sử dụng cơ chế trình tự phân cấp để giảm nguy cơ bị tấn công chi tiêu gấp đôi bởi các nút điều hành;
2. Cải thiện hiệu quả xác minh bằng cách giới thiệu cơ chế chứng minh ZK và giới thiệu cơ chế thử thách ngẫu nhiên nhiều vòng trong giai đoạn thử thách để tăng chi phí cho hành vi độc hại của bên thách thức;
3. Tối ưu hóa chiến lược khuyến khích cho các nút tham gia thông qua thiết kế Universal Operator.
Nhìn chung, Mạng GOAT, một giải pháp mở rộng Lớp 2 cho mạng lưới cơ sở hạ tầng Bitcoin, kết hợp BitVM2 và ZKM để giải quyết các thách thức trong việc xác minh logic tính toán chương trình trong mạng lưới cơ sở hạ tầng Bitcoin, cho phép tương tác xuyên chuỗi và tạo ra bằng chứng ZK. Cách tiếp cận này không chỉ duy trì khả năng tương thích với Ethereum EVM ở cấp độ phát triển mà còn kế thừa tính bảo mật của mạng chính Bitcoin. Mạng GOAT cũng tận dụng cơ chế vận hành chung để phân bổ chi phí node và stake, triển khai độc đáo cơ chế xếp hạng phi tập trung và tạo ra sự cân bằng giữa hiệu quả và phi tập trung. Hơn nữa, Mạng GOAT tối ưu hóa cơ chế gas của mình bằng cách giới thiệu mô hình EIP-1559, thúc đẩy cạnh tranh bền vững giữa các node.
Đáng chú ý, sách trắng BitVM3 đã chính thức được phát hành vào tháng 7 năm nay. Được xây dựng trên BitVM2, nó tối ưu hóa đáng kể hiệu suất và hiệu quả, di chuyển toàn bộ quy trình xác minh, trước đây yêu cầu trên chuỗi, ngoài chuỗi, giảm thiểu lượng dữ liệu tranh chấp được lưu trữ trên chuỗi. Cụ thể, trong BitVM2, việc xác minh bằng chứng SNARK thường yêu cầu xây dựng một giao dịch khoảng 4MB. Với các tối ưu hóa của BitVM3, kích thước dữ liệu này đã được nén xuống mức KB, giảm chi phí tranh chấp gần 1.000 lần. Điều này cũng làm giảm đáng kể chi phí đặt cược nút. Điều này có nghĩa là với BitVM3, lượng dữ liệu cần thiết để đưa lên chuỗi sẽ thậm chí còn nhỏ hơn, chi phí tranh chấp sẽ thấp hơn và hiệu quả xác minh của bằng chứng ZK sẽ được cải thiện đáng kể. Điều này làm cho việc xây dựng ZK Rollup trên mạng cơ sở hạ tầng Bitcoin trở nên thiết thực. Có thể nói rằng sự xuất hiện của BitVM3 sẽ có ý nghĩa sâu rộng hơn nữa.
Theo thông tin chính thức, Mạng lưới GOAT đã tối ưu hóa và triển khai BitVM3, đưa nó từ một "khái niệm thử nghiệm" lên giai đoạn "có thể triển khai". Động thái này không chỉ cải thiện hiệu quả xác minh mà còn thúc đẩy hơn nữa ứng dụng thực tế của công nghệ BitVM. Nếu bản Rollup được xây dựng trên BitVM2 vẫn còn mang một chút lạc quan, thì việc triển khai hỗ trợ cho BitVM3 cho thấy Mạng lưới GOAT đang dần chuyển đổi sang kiến trúc ZK Rollup thực sự.
Tiến độ sản phẩm và phát triển sinh thái của GOAT Network
Để đạt được khả năng tương tác hiệu quả giữa mạng lưới cơ sở hạ tầng Bitcoin và Mạng GOAT, bản Beta Testnet3 của Mạng GOAT đã chính thức ra mắt vào ngày 31 tháng 7 năm 2025. Sự kiện ra mắt này cũng chính thức đánh dấu tầm nhìn của Mạng GOAT về việc hỗ trợ Bitcoin ZK Rollup "bằng chứng thời gian thực". Điều này cũng có nghĩa là với Mạng GOAT, người dùng không còn phải chịu đựng các chu kỳ thử thách kéo dài mà có thể hoàn tất xác minh nhanh chóng, mang lại trải nghiệm người dùng mượt mà.
Theo dữ liệu mới nhất tính đến ngày 15 tháng 9 năm 2025, Testnet3 Beta đã tạo ra hơn 7,3 triệu khối. Thời gian trung bình để tạo bằng chứng ZK cho sáu khối gần nhất là khoảng 2,17 giây, việc tổng hợp sáu bằng chứng gần nhất mất khoảng 2,67 giây và bằng chứng SNARK gần đây nhất mất khoảng 9,71 giây. Điều này cho thấy Testnet3 Beta đã ổn định ở tốc độ tương đối nhanh trong giai đoạn hoạt động hiện tại.
Tác giả xin lưu ý rằng bài viết này chỉ nhằm mục đích giúp độc giả hiểu rõ các nguyên tắc kỹ thuật và quá trình hình thành Mạng lưới GOAT, đồng thời thúc đẩy sự phát triển tuân thủ của Web3 và ngành công nghiệp blockchain. Bài viết này không cấu thành bất kỳ đề xuất hay lời chào hàng nào. Xin lưu ý rằng việc phát hành và đầu tư token phải tuân theo các yêu cầu và hạn chế theo quy định ở các mức độ nghiêm ngặt khác nhau tùy theo quốc gia và khu vực. Cụ thể, việc phát hành token tại Trung Quốc đại lục bị nghi ngờ là "phát hành chứng khoán bất hợp pháp" (độc giả tại Trung Quốc đại lục nên đọc " Tổng hợp và Tóm tắt Chính về Luật và Quy định Liên quan đến Blockchain và Tiền ảo tại Trung Quốc Đại lục "). Do đó, vui lòng không đưa ra bất kỳ quyết định nào dựa trên thông tin này và vui lòng tuân thủ nghiêm ngặt luật pháp và quy định của quốc gia và khu vực của bạn.
Tính đến ngày 15 tháng 9 năm 2025, GOAT Network đã chính thức công bố 66 đối tác hệ sinh thái, bao gồm DeFi, cơ sở hạ tầng, cầu nối chuỗi chéo và trò chơi blockchain. Trong số đó, nhà cung cấp cơ sở hạ tầng node toàn cầu RockX, công ty cơ sở hạ tầng blockchain BenMo và Hashkey Cloud, một dịch vụ cơ sở hạ tầng đám mây thuộc HashKey Group, là các nhà vận hành node sequencer hợp tác hiện đã được công bố của GOAT Network, chịu trách nhiệm hỗ trợ sắp xếp giao dịch, tạo khối, thực hiện và xác minh bằng chứng ZK trong GOAT Network.
Những thách thức tiềm ẩn mà Mạng lưới GOAT phải đối mặt ở cấp độ sản phẩm
Tuy nhiên, việc xây dựng ZK Rollup trên mạng lưới cơ sở hạ tầng Bitcoin vẫn đang trong giai đoạn thăm dò và Mạng lưới GOAT sẽ phải đối mặt với một số rủi ro và thách thức tiềm ẩn.
Ví dụ, để đảm bảo hệ thống hoạt động bình thường, chính sách luân chuyển nút của Mạng GOAT quy định rằng khi một nút hết thời gian, hệ thống sẽ tự động chuyển sang nút tiếp theo. Tuy nhiên, các nút trong mạng cần luân chuyển ở các vai trò nút khác nhau, đặc biệt là các nút Điều hành, điều này ngầm đặt ra yêu cầu cao về hiệu suất tính toán của chúng. Mặc dù tổn thất mà các nút phải chịu trong quá trình luân chuyển nút Điều hành có thể được bù đắp bằng cách hoạt động như các nút Sắp xếp, với yêu cầu về công suất tính toán thấp hơn và mức độ ưu đãi tương đối cao hơn, do đó cân bằng lợi ích ở một mức độ nhất định, nhưng về lâu dài, các nút vẫn sẽ hình thành xu hướng "sinh tồn của những kẻ mạnh nhất", và cuối cùng, chỉ những nút hiệu suất cao mới có thể tồn tại.
Hơn nữa, Mạng GOAT phụ thuộc rất nhiều vào BitVM để hỗ trợ các hợp đồng thông minh trong mạng lưới cơ sở hạ tầng Bitcoin. Tuy nhiên, bản thân BitVM vẫn đang trong quá trình tối ưu hóa, và hiệu suất cũng như tính ổn định của nó còn chưa chắc chắn, tất cả những điều này có thể ảnh hưởng trực tiếp đến Mạng GOAT.
Hơn nữa, GOAT Network không phải là nền tảng Layer 2 duy nhất được xây dựng trên BitVM trên thị trường hiện tại; còn có những đối thủ cạnh tranh trực tiếp khác. Hơn nữa, BitVM không phải là nhà cung cấp duy nhất hỗ trợ hợp đồng thông minh cho mạng lưới cơ sở hạ tầng Bitcoin, nghĩa là GOAT Network có thể sẽ phải đối mặt với sự cạnh tranh gay gắt trong quá trình phát triển tương lai.
So sánh theo chiều ngang của Mạng GOAT và các giải pháp mở rộng khác
Như đã đề cập trước đó, cùng với sự ra mắt và phát triển của BitVM, ngoài GOAT Network, nhiều dự án khác cũng đang đi theo con đường phát triển tương tự. Bao gồm: Citrea, Alpen, Hemi Network, v.v. Vậy, sự khác biệt chính xác giữa các dự án này và GOAT Network là gì?
Citrea là mạng lưới Bitcoin ZK Rollup sử dụng cơ chế BitVM để xác thực lạc quan trên mạng lưới cơ sở hạ tầng Bitcoin và neo trạng thái Lớp 2 của nó vào mạng chính Bitcoin. Citrea sử dụng máy ảo RISC Zero để tương thích với EVM, với kế hoạch bổ sung hỗ trợ cho các máy ảo khác. Hơn nữa, Citrea kết hợp nhiều nút sắp xếp để phân cấp.
Alpen là một ZK Rollup tương thích với EVM được xây dựng trên mạng lưới cơ sở hạ tầng Bitcoin làm lớp thanh toán. Nó sử dụng mạng chính Bitcoin làm lớp nền tảng để lưu trữ các cam kết trạng thái và bằng chứng chuyển đổi trạng thái hợp lệ. Để cho phép chuyển giao chuỗi chéo giữa mạng lưới cơ sở hạ tầng Bitcoin và mạng Aplen, nhóm Aplen đã ra mắt giao thức cầu nối Bitcoin, Strata Bridge, cũng tận dụng các cơ chế xác minh và giải quyết tranh chấp của BitVM2. Nhóm Aplen cũng đang phát triển các trình xác thực dựa trên các cơ chế lạc quan để đạt được sự cân bằng giữa hiệu suất và bảo mật trong các tình huống ứng dụng khác nhau.
Mạng Hemi là một mạng lưới mô-đun Lớp 2. Mạng lưới này hướng đến việc tích hợp các mạng lưới cơ sở hạ tầng Bitcoin và Ethereum thành một mạng lưới thống nhất, cho phép người dùng và nhà phát triển kế thừa tính bảo mật của mạng lưới cơ sở hạ tầng Bitcoin, đồng thời tận dụng các tính năng hợp đồng thông minh của mạng lưới Ethereum. Mạng Hemi đã phát triển máy ảo hVM riêng dựa trên EVM, cố gắng tích hợp một nút mạng lưới cơ sở hạ tầng Bitcoin hoàn chỉnh trực tiếp vào EVM, cho phép truy cập dữ liệu mạng lưới cơ sở hạ tầng Bitcoin. Theo kế hoạch chính thức của Mạng Hemi, nhóm sẽ giới thiệu cơ chế BitVM để sử dụng ZKP nhằm chứng minh trạng thái của mạng lưới cơ sở hạ tầng Bitcoin, mạng lưới cơ sở hạ tầng Ethereum và Mạng Hemi.
| dự án | Định vị sản phẩm | Có nên giới thiệu BitVM không | Cơ chế cốt lõi hiện tại | Tiến độ phát triển |
| Citrea | Bitcoin ZK Rollup | Đúng | Sử dụng cầu nối được phát triển dựa trên BitVM, cam kết biến Bitcoin thành một lớp thanh toán | Mainnet sẽ sớm ra mắt |
| Aplen | Bitcoin ZK Rollup tương thích với EVM | Đúng | Sử dụng Strata Bridge để đạt được sự truyền tải giữa mạng Bitcoin và mạng Alpen và xây dựng nó vào lớp thanh toán ZK của mạng Bitcoin | Vào tháng 4 năm nay, phiên bản beta công khai đã được ra mắt |
| Mạng lưới Hemi | Lớp mô-đun 2 | Giới thiệu | Tích hợp một nút mạng cơ sở hạ tầng Bitcoin hoàn chỉnh trực tiếp vào EVM, cung cấp cho nó khả năng truy cập dữ liệu mạng cơ sở hạ tầng Bitcoin | Vào tháng 3 năm nay, mạng lưới chính đã được ra mắt |
| Mạng lưới GOAT | Bitcoin ZK Rollup | Đúng | Bằng cách tận dụng BitVM2, ZKM và cơ chế sắp xếp phi tập trung, có thể tạo ra bằng chứng ZK theo thời gian thực. | Vào tháng 7 năm nay, mạng thử nghiệm Testnet3 Beta đã chính thức ra mắt |
Như có thể thấy, trong khi tất cả các dự án đã đề cập ở trên đã giới thiệu hoặc đang trong quá trình giới thiệu cơ chế BitVM, Aplen và Citrea, tương tự như GOAT Network, tự định nghĩa rõ ràng là Bitcoin ZK Rollup. Tuy nhiên, Aplen, Citrea và GOAT Network khác nhau về định vị của họ: Aplen và Citrea chủ yếu sử dụng cầu nối chuỗi chéo để neo các thay đổi trạng thái Lớp 2 vào mạng chính Bitcoin, do đó tận dụng vai trò của mạng cơ sở hạ tầng Bitcoin như một lớp khả dụng dữ liệu và lớp thanh toán. Nói cách khác, trọng tâm của họ là neo các thay đổi trạng thái Lớp 2 vào mạng chính Bitcoin, đạt được tính bảo mật và khả năng xác minh vốn có trong mạng Bitcoin. Tuy nhiên, GOAT Network nhấn mạnh vào khả năng tạo bằng chứng ZK theo thời gian thực, cố gắng chứng minh khả năng sử dụng thực tế của ZK Rollup trên mạng cơ sở hạ tầng Bitcoin bằng cách cải thiện hiệu suất mạng. Do đó, Aplen, Citrea và GOAT Network sẽ theo đuổi các lộ trình sản phẩm khác nhau trong tương lai.
Triển vọng tương lai
Về cơ bản, mục tiêu cốt lõi của GOAT Network khi xây dựng Bitcoin ZK Rollup là khai thác sâu hơn nữa giá trị của hệ sinh thái mạng lưới cơ sở hạ tầng Bitcoin và tạo thêm không gian cho sự đổi mới. Mặc dù các chính sách toàn cầu liên quan đến blockchain gần đây đã trở nên bao quát hơn, nhưng các chiến lược tuân thủ và quy định đối với các sản phẩm tài chính phân tán vẫn còn chưa rõ ràng. Trong bối cảnh này, GOAT Network phải đảm bảo sự phát triển của mình tuân thủ các khuôn khổ quy định trong tương lai, đồng thời liên tục thúc đẩy đổi mới công nghệ.
Đáng chú ý, vào tháng 4 năm nay, Vitalik Buterin đã đề xuất khả năng sử dụng RISC-V để thay thế EVM (Máy ảo Ethereum) trong bài viết "Đề xuất lớp thực thi L1 dài hạn: thay thế EVM bằng RISC-V ". Điều này cho thấy một sự chuyển đổi lớn đối với Ethereum—một sự tái cấu trúc hoàn toàn lớp điện toán cốt lõi, với hệ thống chứng minh ZK sẵn sàng trở thành khuôn khổ điện toán cốt lõi. Điều này vừa là cơ hội vừa là thách thức đối với Mạng lưới GOAT. Nguyên nhân là do ZKM hiện đang được Mạng lưới GOAT sử dụng không dựa trên tập lệnh RISC-V, làm dấy lên câu hỏi liệu nó có gặp phải rào cản về khả năng tương thích trong quá trình tích hợp hệ sinh thái chuỗi chéo trong tương lai hay không. Tuy nhiên, chiến lược đầu tư vào công nghệ ZK trong hệ sinh thái Bitcoin của Mạng lưới GOAT dự kiến sẽ phù hợp với xu hướng này.
Hơn nữa, Quỹ Ethereum gần đây đã đề xuất một tiêu chuẩn "bằng chứng thời gian thực" cho nhóm zkEVM. Tiêu chuẩn này quy định các thông số như độ trễ khối mainnet, chi phí node và kích thước bằng chứng, nhằm mục đích nâng cao tính khả thi và hiệu quả của công nghệ ZK trên mainnet. Ví dụ: tiêu chuẩn quy định rằng kích thước bằng chứng phải được giữ dưới 300KB và chi phí ban đầu cho phần cứng node không được vượt quá 100.000 đô la. Điều này rất phù hợp với mục tiêu tối ưu hóa của BitVM3: nén kích thước dữ liệu cần thiết trên chuỗi trong quá trình xác minh và giảm chi phí tương tác. Do đó, việc Mạng GOAT khám phá cơ chế "bằng chứng thời gian thực" trên mạng cơ sở hạ tầng Bitcoin không chỉ phù hợp với lộ trình phát triển công nghệ của Ethereum mà còn chứng minh tiềm năng của công nghệ ZK trong hệ sinh thái mạng cơ sở hạ tầng Bitcoin, đồng thời đáp ứng nhu cầu tương tác hiệu quả của các nhà phát triển ứng dụng chính thống. Với xu hướng này, việc Mạng GOAT có thể khai phá tiềm năng và giá trị lớn hơn trong tương lai cũng đáng được quan tâm và kỳ vọng.
Tài liệu tham khảo
[2] BitVM2: Kết nối Bitcoin với Lớp thứ hai
[3] RISC-V | Bách khoa toàn thư Baidu
[4] EIP-1559: Bản nâng cấp lớn cho Ethereum | Galaxy
[5] Từ Ethereum đến Bitcoin: Hai cuộc cách mạng hệ sinh thái dưới góc nhìn của một nhà xây dựng
[6] GOAT Network Economic Beigepaper 2.0
[7] Bộ ba Lightning Network: Nâng cấp Taproot và Sự thay đổi ban đầu trong Câu chuyện về Bitcoin
[8] Pay-to-Taproot (P2TR) là gì? - Sổ tay Bitcoin
[9] BitVM và những cân nhắc về tối ưu hóa | bởi Bitlayer | Medium
[11] BitVM: Mở khóa tính toán tùy ý trên Bitcoin thông qua trừu tượng mạch - ZKSecurity
[12] Tại sao ZKM chọn MIPS32r2 thay vì RISC-V cho zkMIPS | bởi ZKM | Medium
[13] zkMIPS 1.0: Được xây dựng cho Ethereum. Được xây dựng cho Bitcoin | bởi ZKM | Medium
[14] zkMIPS: một thông số kỹ thuật cấp cao
[15] Ziren: Xây dựng với sự tự tin. Triển khai mà không thỏa hiệp
[17] Truyền nhãn hướng tới BitVM3
[18] Ethereum có thể mở ra bản nâng cấp lớn nhất trong lịch sử: EVM ngừng hoạt động, RISC-V tiếp quản
[20] BitVM3s– Mạch lộn xộn cho tính toán hiệu quả trên Bitcoin
Tuyên bố miễn trừ trách nhiệm: Báo cáo này, do Web3Caff biên soạn, chỉ nhằm mục đích cung cấp thông tin và không cấu thành bất kỳ dự báo, lời khuyên, đề xuất hay ưu đãi đầu tư nào. Nhà đầu tư không nên dựa vào thông tin này để mua hoặc bán bất kỳ chứng khoán, tiền điện tử nào, hoặc áp dụng bất kỳ chiến lược đầu tư nào. Thuật ngữ được sử dụng và quan điểm được trình bày trong báo cáo này nhằm mục đích hỗ trợ việc hiểu các xu hướng của ngành và thúc đẩy sự phát triển có trách nhiệm của ngành Web3, bao gồm ngành công nghiệp blockchain. Chúng không nên được hiểu là ý kiến pháp lý chắc chắn hoặc quan điểm của Web3Caff. Các quan điểm được trình bày trong báo cáo này phản ánh quan điểm cá nhân của tác giả tính đến ngày được nêu, không đại diện cho quan điểm của Web3Caff và có thể thay đổi tùy theo các tình huống sau này. Thông tin và quan điểm trong báo cáo này được lấy từ các nguồn độc quyền và không độc quyền mà Web3Caff tin là đáng tin cậy. Chúng không nhất thiết bao gồm tất cả dữ liệu và độ chính xác của chúng không được đảm bảo. Do đó, Web3Caff không đưa ra bất kỳ bảo đảm nào về tính chính xác hoặc độ tin cậy của báo cáo và không chịu bất kỳ trách nhiệm pháp lý nào (bao gồm trách nhiệm pháp lý đối với bất kỳ cá nhân nào do sơ suất) đối với các lỗi và thiếu sót phát sinh dưới bất kỳ hình thức nào. Báo cáo này có thể chứa thông tin "hướng tới tương lai", bao gồm các dự báo và dự đoán. Báo cáo này không cấu thành bất kỳ đảm bảo nào cho bất kỳ dự báo nào. Việc sử dụng thông tin trong báo cáo này hoàn toàn tùy thuộc vào quyết định của người đọc. Báo cáo này chỉ mang tính chất tham khảo và không cấu thành lời khuyên đầu tư, đề xuất hoặc chào mời mua bán bất kỳ chứng khoán, tiền điện tử nào hoặc áp dụng bất kỳ chiến lược đầu tư nào. Vui lòng tuân thủ nghiêm ngặt luật pháp và quy định hiện hành của quốc gia hoặc khu vực của bạn.
Chào mừng bạn tham gia cộng đồng chính thức của Web3Caff : Tài khoản X (Twitter) | Nghiên cứu Web3Caff Tài khoản X (Twitter) | Nhóm độc giả WeChat | Tài khoản công khai WeChat
