zkMIPS là zkVM đầu tiên dựa trên bộ chỉ thị MIPS, kết hợp với hệ sinh thái mạnh mẽ của MIPS và cơ sở hạ tầng ZKP của ZKM, đã rất mạnh mẽ trong việc thúc đẩy sự triển khai nhanh chóng của zkVM.
Viết bởi: Stephen D
Mạng lưới lớp hai của Bitcoin là một giải pháp công nghệ nhằm cải thiện tốc độ giao dịch của Bitcoin. Bằng cách chuyển một phần giao dịch từ chuỗi chính của Bitcoin xuống xử lý ngoại chuỗi, giảm gánh nặng cho chuỗi chính, tăng tốc độ xử lý giao dịch, giảm chi phí giao dịch. Các công nghệ mạng lưới lớp hai phổ biến bao gồm Mạng Lightning (Lightning Network), Kênh Trạng thái (State Channels) cùng với kết hợp nóng hổi hiện tại của BitVM2 Bridge kết hợp zkRollup.
Những khó khăn mà giải pháp zkRollup Layer 2 của Bitcoin đối mặt
An ninh: An ninh là yếu tố quan trọng nhất đối với người giữ Bitcoin. An ninh đòi hỏi tính nhất quán, tính linh hoạt và khả năng tự phục hồi của mạng lưới. Tính nhất quán, tức là an toàn đồng thuận, quyết định tính không thể thay đổi của sổ cái toàn mạng, tính linh hoạt quyết định tính sẵn có của toàn bộ mạng lưới, khả năng tự phục hồi quyết định khả năng của mạng lưới có thể nhanh chóng phục hồi từ cuộc tấn công hoặc tình trạng bất thường. Là một zkRollup của BTC, để thừa kế an toàn của BTC, zkRollup cần có khả năng cam kết giao dịch ở tầng hai một cách hoàn chỉnh, và cam kết có thể được các thợ đào Bitcoin kiểm chứng trực tiếp. Tuy nhiên, khó khăn đang ở chỗ rằng hiện tại, việc triển khai Covenant trên BTC rất khó khăn. Gần đây đã xuất hiện một số giải pháp triển vọng, bao gồm BitVM2, mã hóa hàm, và giải pháp ColliderScript mới nhất vv. Tiếp theo là việc duy trì tính linh hoạt và khả năng tự phục hồi của mạng lưới tầng hai. Hiện tại, vấn đề mà nhiều zkRollup đối mặt là vấn đề của Sequencer tập trung, dẫn đến mức độ tập trung của chuỗi Rollup rất cao, thiếu đủ động lực để kích thích người chơi khác tham gia, tạo ra một vòng lặp xấu.
Khả năng lập trình: Khả năng lập trình là cơ sở của BTCFi. Là tài sản có vốn hóa lớn nhất trong hệ sinh thái blockchain, Bitcoin đã lâu được coi là một công cụ lưu trữ giá trị, nhưng trong thực tế, nó thiếu đi tính ứng dụng và tạo lợi nhuận so với các tài sản khác. Hạn chế này chủ yếu đến từ khả năng mở rộng của mạng Bitcoin và các hạn chế cốt lõi của ngôn ngữ script, khiến việc hỗ trợ các ứng dụng tài chính phi tập trung phức tạp trở nên khó khăn. Đối với những người nắm giữ Bitcoin, muốn tạo lợi nhuận từ số Bitcoin họ nắm giữ, truyền thống chỉ có thể chọn cách gửi tài sản vào sàn giao dịch tập trung hoặc sử dụng dịch vụ cầu nối chuyển đổi thành token bọc (ví dụ như WBTC). Tuy nhiên, các phương pháp này đều mang lại rủi ro bổ sung, như rủi ro về niềm tin do nền tảng tập trung mang lại, trái với bản chất phi tập trung của Bitcoin. Việc áp dụng EVM trở nên rất quan trọng, bằng cách lấy cảm hứng từ các giao thức và hệ sinh thái phong phú trong lĩnh vực DeFi của hệ sinh thái ETH.
GOAT Network: Mạng lưới zkMIPS dựa trên mạng lưới lớp hai của Bitcoin tương thích với EVM
GOAT Network là giao thức thách thức lạc quan an toàn đầu tiên dựa trên zkMIPS, BitVM2 và Sequencer phi tâm trung trong lớp hai của Bitcoin, đồng thời đảm bảo 100% tương thích với EVM và chỉ cần giả định 1-of-n để đảm bảo an toàn cho mạng Bitcoin. GOAT Network có những điểm nổi bật sau:
Thực sự phi tập trung: Thông qua giao thức Sequencer phi tập trung không được phép đột phá, tất cả các thông điệp chuỗi chéo — bao gồm chốt vào, chốt ra và tổng hợp trạng thái lớp 2 — có thể đạt được sự đồng thuận về Bitcoin và Mạng GOAT. Điều này hoàn toàn thoát khỏi sự phụ thuộc vào một thực thể tập trung duy nhất, đảm bảo phân cấp thực sự. Đồng thời, sự đổi mới này đơn giản hóa đáng kể các cài đặt tin cậy của giao thức BitVM2 trong khi cung cấp cùng một mức độ bảo mật.
Không cần hard fork, có thể thực hiện xác minh toàn diện của Bitcoin : Mạng GOAT kết hợp với Sequencer phi tập trung và giao thức BitVM2, khiến cho giao thức BitVM2 trở nên có thể sử dụng, thông qua việc xác minh proof trực tiếp từ script của Bitcoin, kế thừa tính bảo mật nguyên bản của Bitcoin. zkMIPS, là cơ sở mở rộng của GOAT, không chỉ có thể đạt được 100% sự tương thích với EVM, mà còn có thể tăng tốc quá trình tạo và xác minh proof đáng kể, mang lại khả năng mở rộng sinh thái chưa từng có đối với mạng GOAT.
Cơ chế trừng phạt kép bảo đảm an toàn: Mạng GOAT đã tiên phong giới thiệu cơ chế "trừng phạt kép" trong mạng Layer 2 của Bitcoin. Cơ chế này kết hợp cả cơ chế trừng phạt nguyên bản của lớp xác minh Bitcoin và cơ chế trừng phạt của lớp đồng thuận GOAT, hiệu quả giảm thiểu khả năng xảy ra hành vi không trung thực trong giao thức GOAT Rollup. Cơ chế này đặc biệt nhắm vào các rủi ro tiềm ẩn như chữ ký kép, tắt máy của nút và cuộc tấn công hủy bỏ bất hợp pháp của nút Sequencer, từ đó nâng cao toàn diện tính an toàn và đáng tin cậy của mạng.
Công nghệ đổi mới này đánh dấu sự chuyển mình của mạng lưới lớp hai của Bitcoin vào một thời đại phi trung tâm mới, đặt ra tiêu chuẩn ngành công nghiệp mới cho tương lai của công nghệ blockchain.
Trong việc kết hợp zkMIPS với BitVM2, zkMIPS không chỉ tối ưu hóa tốc độ chứng minh Groth16 mà còn tối ưu hóa đáng kể giai đoạn xác minh, bao gồm việc sử dụng các mẹo Hints để giảm đáng kể độ phức tạp của việc tính toán Miller Loop của kịch bản Bitcoin, phân đoạn mạch Verifier để cam kết, nén public input của zkVM để cam kết, sử dụng Decentralized Sequencer để đảm bảo public input và superblock trên cùng một nhánh, đơn giản hóa một phần quá trình thách thức lạc quan của BitVM2.
zkMIPS: Đầu tiên dựa trên tập lệnh MIPS của zkVM
zkMIPS là zkVM đầu tiên dựa trên tập lệnh MIPS, một tập lệnh trưởng thành có các lợi ích bao gồm:
Các hướng dẫn trong MIPS32R2 phong phú hơn so với RISCV32IM, trong đó chuỗi hướng dẫn J/JAL, độ dài nhảy có thể lên đến 256MiB, trong trường hợp liên kết tĩnh, có thể dễ dàng thực hiện việc nhảy. MIPS32r2 có các hướng dẫn thao tác bit phong phú, những hướng dẫn này không tồn tại trong RISCV32IM, cần sử dụng tiện ích B, MIPS32r2 có các hướng dẫn lựa chọn điều kiện như MOVN/MOVZ, trong nhiều tình huống có thể thay thế cho hướng dẫn nhảy, có thể cải thiện hiệu suất, giảm số lượng hướng dẫn. MIPS32r2 có hướng dẫn nhân cộng số nguyên, có thể cải thiện hiệu suất, giảm số lượng hướng dẫn. MIPS32r2 có hướng dẫn mở rộng dấu SEH, SEB, có thể dễ dàng thực hiện thao tác mở rộng dấu cho dữ liệu kiểu char và short.
Tất cả các chỉ thị trong MIPS32r2, như một tổng thể, đã được sử dụng rộng rãi và chín chắn trong hơn 20 năm và không có vấn đề liên kết giữa các mô-đun; cũng không có sự dao động có thể phát sinh do tranh chấp về bản quyền. Với việc mở rộng triển khai thay vì triển khai tổng thể, có thể có vấn đề về sự phối hợp giữa các phần mở rộng. Một số kết hợp mở rộng có thể gặp vấn đề về tính không hoàn chỉnh hoặc quá lớn. Hướng dẫn chỉ thị MIPS cũng mô tả hành vi của chỉ thị một cách rõ ràng và chi tiết hơn. Trên blockchain, MIPS đã được áp dụng thành công vào việc xác minh Fraud Proof của Optimism dựa trên MIPS VM.
zkMIPS đã có các tính năng hoàn thiện. Nhà phát triển có thể chứng minh bằng cách viết bất kỳ chương trình nào bằng ngôn ngữ cao cấp phổ biến như Rust, Golang. zkMIPS cung cấp một loạt các công cụ phát triển dễ sử dụng, bao gồm ZKM Playground, ZKM-Project-Template và ZKM Proof Network, giúp dự án và nhà phát triển xây dựng sản phẩm ZKP của họ với mức ngưỡng rất thấp.
zkMIPS giúp các nhà phát triển đảm bảo tính an toàn của logic mạch. Nhà phát triển có thể sử dụng ngôn ngữ phổ biến nhất để triển khai bất kỳ ứng dụng nào mà không cần phải kiểm tra mạch chứng minh không biết. Khác với phát triển ZKP truyền thống, zkMIPS tuân thủ nghiêm ngặt tập lệnh MIPS32r2, nếu nhà phát triển đã kiểm tra logic kinh doanh của ứng dụng, thì không cần phải kiểm tra mạch nữa.
ZKM cung cấp một mạng lưới chứng minh giúp các nhà phát triển và dự án tạo ra chứng minh nhanh chóng, hỗ trợ mở rộng theo chiều ngang, có thể thực sự tạo ra chứng minh theo thời gian thực (Real-time proving). Điều này giúp các nhà phát triển và dự án có thể xây dựng ứng dụng Web3 phi tập trung của họ một cách hiệu quả cực kỳ cao. Ngoài ra, zkMIPS còn hỗ trợ nhiều giải pháp tăng tốc chứng minh cực kỳ như Precompiles.
zkMIPS có các trường hợp sử dụng hàng đầu trong ngành, hỗ trợ nhiều trường hợp sáng tạo được hỗ trợ bởi zkVM, bao gồm L2 Bitcoin của Mạng GOAT và HybridRollup của Metis. Và đang được sử dụng rộng rãi trong nhiều ngành công nghiệp như zkLLM, zkIdentity để thúc đẩy công nghệ zkVM.
zkMIPS là zkVM đầu tiên dựa trên bộ chỉ thị MIPS, kết hợp với hệ sinh thái mạnh mẽ của MIPS và cơ sở hạ tầng ZKP của ZKM, đã đẩy mạnh sự triển khai nhanh chóng của zkVM.
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.
zkMIPS Bitcoin二层 GOAT Network 上线
Viết bởi: Stephen D
Mạng lưới lớp hai của Bitcoin là một giải pháp công nghệ nhằm cải thiện tốc độ giao dịch của Bitcoin. Bằng cách chuyển một phần giao dịch từ chuỗi chính của Bitcoin xuống xử lý ngoại chuỗi, giảm gánh nặng cho chuỗi chính, tăng tốc độ xử lý giao dịch, giảm chi phí giao dịch. Các công nghệ mạng lưới lớp hai phổ biến bao gồm Mạng Lightning (Lightning Network), Kênh Trạng thái (State Channels) cùng với kết hợp nóng hổi hiện tại của BitVM2 Bridge kết hợp zkRollup.
Những khó khăn mà giải pháp zkRollup Layer 2 của Bitcoin đối mặt
An ninh: An ninh là yếu tố quan trọng nhất đối với người giữ Bitcoin. An ninh đòi hỏi tính nhất quán, tính linh hoạt và khả năng tự phục hồi của mạng lưới. Tính nhất quán, tức là an toàn đồng thuận, quyết định tính không thể thay đổi của sổ cái toàn mạng, tính linh hoạt quyết định tính sẵn có của toàn bộ mạng lưới, khả năng tự phục hồi quyết định khả năng của mạng lưới có thể nhanh chóng phục hồi từ cuộc tấn công hoặc tình trạng bất thường. Là một zkRollup của BTC, để thừa kế an toàn của BTC, zkRollup cần có khả năng cam kết giao dịch ở tầng hai một cách hoàn chỉnh, và cam kết có thể được các thợ đào Bitcoin kiểm chứng trực tiếp. Tuy nhiên, khó khăn đang ở chỗ rằng hiện tại, việc triển khai Covenant trên BTC rất khó khăn. Gần đây đã xuất hiện một số giải pháp triển vọng, bao gồm BitVM2, mã hóa hàm, và giải pháp ColliderScript mới nhất vv. Tiếp theo là việc duy trì tính linh hoạt và khả năng tự phục hồi của mạng lưới tầng hai. Hiện tại, vấn đề mà nhiều zkRollup đối mặt là vấn đề của Sequencer tập trung, dẫn đến mức độ tập trung của chuỗi Rollup rất cao, thiếu đủ động lực để kích thích người chơi khác tham gia, tạo ra một vòng lặp xấu.
Khả năng lập trình: Khả năng lập trình là cơ sở của BTCFi. Là tài sản có vốn hóa lớn nhất trong hệ sinh thái blockchain, Bitcoin đã lâu được coi là một công cụ lưu trữ giá trị, nhưng trong thực tế, nó thiếu đi tính ứng dụng và tạo lợi nhuận so với các tài sản khác. Hạn chế này chủ yếu đến từ khả năng mở rộng của mạng Bitcoin và các hạn chế cốt lõi của ngôn ngữ script, khiến việc hỗ trợ các ứng dụng tài chính phi tập trung phức tạp trở nên khó khăn. Đối với những người nắm giữ Bitcoin, muốn tạo lợi nhuận từ số Bitcoin họ nắm giữ, truyền thống chỉ có thể chọn cách gửi tài sản vào sàn giao dịch tập trung hoặc sử dụng dịch vụ cầu nối chuyển đổi thành token bọc (ví dụ như WBTC). Tuy nhiên, các phương pháp này đều mang lại rủi ro bổ sung, như rủi ro về niềm tin do nền tảng tập trung mang lại, trái với bản chất phi tập trung của Bitcoin. Việc áp dụng EVM trở nên rất quan trọng, bằng cách lấy cảm hứng từ các giao thức và hệ sinh thái phong phú trong lĩnh vực DeFi của hệ sinh thái ETH.
GOAT Network: Mạng lưới zkMIPS dựa trên mạng lưới lớp hai của Bitcoin tương thích với EVM
GOAT Network là giao thức thách thức lạc quan an toàn đầu tiên dựa trên zkMIPS, BitVM2 và Sequencer phi tâm trung trong lớp hai của Bitcoin, đồng thời đảm bảo 100% tương thích với EVM và chỉ cần giả định 1-of-n để đảm bảo an toàn cho mạng Bitcoin. GOAT Network có những điểm nổi bật sau:
Thực sự phi tập trung: Thông qua giao thức Sequencer phi tập trung không được phép đột phá, tất cả các thông điệp chuỗi chéo — bao gồm chốt vào, chốt ra và tổng hợp trạng thái lớp 2 — có thể đạt được sự đồng thuận về Bitcoin và Mạng GOAT. Điều này hoàn toàn thoát khỏi sự phụ thuộc vào một thực thể tập trung duy nhất, đảm bảo phân cấp thực sự. Đồng thời, sự đổi mới này đơn giản hóa đáng kể các cài đặt tin cậy của giao thức BitVM2 trong khi cung cấp cùng một mức độ bảo mật.
Không cần hard fork, có thể thực hiện xác minh toàn diện của Bitcoin : Mạng GOAT kết hợp với Sequencer phi tập trung và giao thức BitVM2, khiến cho giao thức BitVM2 trở nên có thể sử dụng, thông qua việc xác minh proof trực tiếp từ script của Bitcoin, kế thừa tính bảo mật nguyên bản của Bitcoin. zkMIPS, là cơ sở mở rộng của GOAT, không chỉ có thể đạt được 100% sự tương thích với EVM, mà còn có thể tăng tốc quá trình tạo và xác minh proof đáng kể, mang lại khả năng mở rộng sinh thái chưa từng có đối với mạng GOAT.
Cơ chế trừng phạt kép bảo đảm an toàn: Mạng GOAT đã tiên phong giới thiệu cơ chế "trừng phạt kép" trong mạng Layer 2 của Bitcoin. Cơ chế này kết hợp cả cơ chế trừng phạt nguyên bản của lớp xác minh Bitcoin và cơ chế trừng phạt của lớp đồng thuận GOAT, hiệu quả giảm thiểu khả năng xảy ra hành vi không trung thực trong giao thức GOAT Rollup. Cơ chế này đặc biệt nhắm vào các rủi ro tiềm ẩn như chữ ký kép, tắt máy của nút và cuộc tấn công hủy bỏ bất hợp pháp của nút Sequencer, từ đó nâng cao toàn diện tính an toàn và đáng tin cậy của mạng.
Công nghệ đổi mới này đánh dấu sự chuyển mình của mạng lưới lớp hai của Bitcoin vào một thời đại phi trung tâm mới, đặt ra tiêu chuẩn ngành công nghiệp mới cho tương lai của công nghệ blockchain.
Trong việc kết hợp zkMIPS với BitVM2, zkMIPS không chỉ tối ưu hóa tốc độ chứng minh Groth16 mà còn tối ưu hóa đáng kể giai đoạn xác minh, bao gồm việc sử dụng các mẹo Hints để giảm đáng kể độ phức tạp của việc tính toán Miller Loop của kịch bản Bitcoin, phân đoạn mạch Verifier để cam kết, nén public input của zkVM để cam kết, sử dụng Decentralized Sequencer để đảm bảo public input và superblock trên cùng một nhánh, đơn giản hóa một phần quá trình thách thức lạc quan của BitVM2.
zkMIPS: Đầu tiên dựa trên tập lệnh MIPS của zkVM
zkMIPS là zkVM đầu tiên dựa trên tập lệnh MIPS, một tập lệnh trưởng thành có các lợi ích bao gồm:
zkMIPS đã có các tính năng hoàn thiện. Nhà phát triển có thể chứng minh bằng cách viết bất kỳ chương trình nào bằng ngôn ngữ cao cấp phổ biến như Rust, Golang. zkMIPS cung cấp một loạt các công cụ phát triển dễ sử dụng, bao gồm ZKM Playground, ZKM-Project-Template và ZKM Proof Network, giúp dự án và nhà phát triển xây dựng sản phẩm ZKP của họ với mức ngưỡng rất thấp.
zkMIPS giúp các nhà phát triển đảm bảo tính an toàn của logic mạch. Nhà phát triển có thể sử dụng ngôn ngữ phổ biến nhất để triển khai bất kỳ ứng dụng nào mà không cần phải kiểm tra mạch chứng minh không biết. Khác với phát triển ZKP truyền thống, zkMIPS tuân thủ nghiêm ngặt tập lệnh MIPS32r2, nếu nhà phát triển đã kiểm tra logic kinh doanh của ứng dụng, thì không cần phải kiểm tra mạch nữa.
ZKM cung cấp một mạng lưới chứng minh giúp các nhà phát triển và dự án tạo ra chứng minh nhanh chóng, hỗ trợ mở rộng theo chiều ngang, có thể thực sự tạo ra chứng minh theo thời gian thực (Real-time proving). Điều này giúp các nhà phát triển và dự án có thể xây dựng ứng dụng Web3 phi tập trung của họ một cách hiệu quả cực kỳ cao. Ngoài ra, zkMIPS còn hỗ trợ nhiều giải pháp tăng tốc chứng minh cực kỳ như Precompiles.
zkMIPS có các trường hợp sử dụng hàng đầu trong ngành, hỗ trợ nhiều trường hợp sáng tạo được hỗ trợ bởi zkVM, bao gồm L2 Bitcoin của Mạng GOAT và HybridRollup của Metis. Và đang được sử dụng rộng rãi trong nhiều ngành công nghiệp như zkLLM, zkIdentity để thúc đẩy công nghệ zkVM.
zkMIPS là zkVM đầu tiên dựa trên bộ chỉ thị MIPS, kết hợp với hệ sinh thái mạnh mẽ của MIPS và cơ sở hạ tầng ZKP của ZKM, đã đẩy mạnh sự triển khai nhanh chóng của zkVM.