Bằng chứng gian lận và ý tưởng thực hiện ZK Fraud Proof
Bằng chứng gian lận là giải pháp công nghệ được ứng dụng rộng rãi trong lĩnh vực blockchain, bắt nguồn từ cộng đồng Ethereum, được các Layer2 như Arbitrum và Optimism áp dụng. Sau khi hệ sinh thái Bitcoin nổi lên vào năm 2023, Robin Linus đã đề xuất giải pháp BitVM, với ý tưởng cốt lõi là bằng chứng gian lận, cung cấp một mô hình an toàn mới cho lớp hai của Bitcoin hoặc cầu nối.
BitVM đã trải qua nhiều phiên bản phát triển, từ BitVM0 dựa trên mạch logic ở giai đoạn đầu, đến BitVM2 với các bằng chứng gian lận ZK và mạch xác minh Groth16 là cốt lõi, con đường công nghệ ngày càng trưởng thành. Nhiều dự án như Bitlayer, Citrea, BOB, v.v. đều được triển khai dựa trên công nghệ BitVM.
Bài viết này sẽ lấy ví dụ về kế hoạch bằng chứng gian lận của Optimism, phân tích kế hoạch của nó dựa trên máy ảo MIPS và bằng chứng gian lận tương tác, cũng như ý tưởng chính của bằng chứng gian lận ZK.
OutputRoot và StateRoot
Optimism là một dự án Optimistic Rollup nổi tiếng, có kiến trúc bao gồm bộ định thứ tự và hợp đồng thông minh trên chuỗi Ethereum. Sau khi bộ định thứ tự xử lý giao dịch, nó sẽ gửi dữ liệu đến Ethereum. Bất kỳ ai cũng có thể chạy client nút Optimism, tải xuống dữ liệu và thực hiện giao dịch tại địa phương, tính toán hash của tập trạng thái hiện tại.
Nếu bộ định thứ tự tải lên hash tập trạng thái sai, kết quả tính toán cục bộ sẽ khác, lúc này có thể khởi xướng sự nghi ngờ. Optimism sử dụng trường OutputRoot để thể hiện sự thay đổi trạng thái, được tính toán từ StateRoot và hai trường khác.
Máy ảo MIPS và Cây Merkle bộ nhớ
Để xác minh tính chính xác của OutputRoot trên chuỗi, đội ngũ Optimism đã triển khai máy ảo MIPS bằng Solidity và thiết kế hệ thống bằng chứng gian lận tương tác. Hệ thống này chi tiết hóa quy trình xử lý giao dịch, quan sát mã thao tác MIPS nào đã gây ra lỗi.
Thông tin trạng thái của máy ảo MIPS được tổ chức thành cấu trúc cây Merkle. Trong bằng chứng gian lận tương tác, cần xác định mã thao tác nào đã dẫn đến lỗi trạng thái hash, sau đó tái tạo trạng thái máy ảo trên chuỗi và thực hiện mã thao tác đó.
Bằng chứng gian lận tương tác
Optimism đã phát triển giao thức Fault Dispute Game(FDG), bao gồm hai vai trò là người thách thức và người phòng thủ. Cả hai bên cần xây dựng GameTree tại địa phương, thông qua nhiều vòng tương tác để xác định mã lệnh MIPS gây tranh cãi.
Bằng chứng gian lận ZK
Bằng chứng gian lận truyền thống gặp phải các vấn đề như tương tác phức tạp, chi phí gas cao, và độ khó phát triển lớn. Để giải quyết điều này, Optimism đã đề xuất khái niệm Bằng chứng gian lận ZK. Cốt lõi là người thách thức chỉ định các giao dịch cần phát lại, bộ sắp xếp cung cấp bằng chứng ZK, và hợp đồng Ethereum xác thực.
So với bằng chứng gian lận tương tác, Bằng chứng gian lận ZK đã đơn giản hóa nhiều vòng tương tác thành một vòng tạo và xác minh bằng chứng ZK, tiết kiệm thời gian và chi phí. So với ZK Rollup, chỉ tạo bằng chứng khi bị thách thức, giảm chi phí tính toán.
Ý tưởng này cũng được BitVM2 áp dụng. BitVM2 thực hiện xác minh ZK Proof thông qua kịch bản Bitcoin và đã tinh giản chương trình lên chuỗi. Nhiều dự án như Bitlayer, Goat Network đã áp dụng giải pháp này.
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.
11 thích
Phần thưởng
11
7
Đăng lại
Chia sẻ
Bình luận
0/400
BugBountyHunter
· 07-22 23:54
Lại là kỹ thuật xe ngựa của op, thật đáng chú ý!
Xem bản gốcTrả lời0
GateUser-a180694b
· 07-22 23:36
Giải pháp mới Groth16 có điều gì đó thú vị.
Xem bản gốcTrả lời0
TestnetFreeloader
· 07-22 22:00
Sắp tới lại có cơ hội kiếm tiền dễ dàng rồi!
Xem bản gốcTrả lời0
GasWastingMaximalist
· 07-20 00:31
thế giới tiền điện tử cũng quá căng thẳng rồi, một đống người đang làm chứng.
Xem bản gốcTrả lời0
LiquidatedTwice
· 07-20 00:29
bằng chứng gian lận chơi rõ ràng rồi thì trực tiếp làm mịn
Xem bản gốcTrả lời0
BridgeTrustFund
· 07-20 00:28
Lầu chủ cái bằng chứng gian lận OP này sao lại nói dở dang như vậy?
Phân tích việc thực hiện bằng chứng gian lận Optimism và ZK Fraud Proof
Bằng chứng gian lận và ý tưởng thực hiện ZK Fraud Proof
Bằng chứng gian lận là giải pháp công nghệ được ứng dụng rộng rãi trong lĩnh vực blockchain, bắt nguồn từ cộng đồng Ethereum, được các Layer2 như Arbitrum và Optimism áp dụng. Sau khi hệ sinh thái Bitcoin nổi lên vào năm 2023, Robin Linus đã đề xuất giải pháp BitVM, với ý tưởng cốt lõi là bằng chứng gian lận, cung cấp một mô hình an toàn mới cho lớp hai của Bitcoin hoặc cầu nối.
BitVM đã trải qua nhiều phiên bản phát triển, từ BitVM0 dựa trên mạch logic ở giai đoạn đầu, đến BitVM2 với các bằng chứng gian lận ZK và mạch xác minh Groth16 là cốt lõi, con đường công nghệ ngày càng trưởng thành. Nhiều dự án như Bitlayer, Citrea, BOB, v.v. đều được triển khai dựa trên công nghệ BitVM.
Bài viết này sẽ lấy ví dụ về kế hoạch bằng chứng gian lận của Optimism, phân tích kế hoạch của nó dựa trên máy ảo MIPS và bằng chứng gian lận tương tác, cũng như ý tưởng chính của bằng chứng gian lận ZK.
OutputRoot và StateRoot
Optimism là một dự án Optimistic Rollup nổi tiếng, có kiến trúc bao gồm bộ định thứ tự và hợp đồng thông minh trên chuỗi Ethereum. Sau khi bộ định thứ tự xử lý giao dịch, nó sẽ gửi dữ liệu đến Ethereum. Bất kỳ ai cũng có thể chạy client nút Optimism, tải xuống dữ liệu và thực hiện giao dịch tại địa phương, tính toán hash của tập trạng thái hiện tại.
Nếu bộ định thứ tự tải lên hash tập trạng thái sai, kết quả tính toán cục bộ sẽ khác, lúc này có thể khởi xướng sự nghi ngờ. Optimism sử dụng trường OutputRoot để thể hiện sự thay đổi trạng thái, được tính toán từ StateRoot và hai trường khác.
Máy ảo MIPS và Cây Merkle bộ nhớ
Để xác minh tính chính xác của OutputRoot trên chuỗi, đội ngũ Optimism đã triển khai máy ảo MIPS bằng Solidity và thiết kế hệ thống bằng chứng gian lận tương tác. Hệ thống này chi tiết hóa quy trình xử lý giao dịch, quan sát mã thao tác MIPS nào đã gây ra lỗi.
Thông tin trạng thái của máy ảo MIPS được tổ chức thành cấu trúc cây Merkle. Trong bằng chứng gian lận tương tác, cần xác định mã thao tác nào đã dẫn đến lỗi trạng thái hash, sau đó tái tạo trạng thái máy ảo trên chuỗi và thực hiện mã thao tác đó.
Bằng chứng gian lận tương tác
Optimism đã phát triển giao thức Fault Dispute Game(FDG), bao gồm hai vai trò là người thách thức và người phòng thủ. Cả hai bên cần xây dựng GameTree tại địa phương, thông qua nhiều vòng tương tác để xác định mã lệnh MIPS gây tranh cãi.
Bằng chứng gian lận ZK
Bằng chứng gian lận truyền thống gặp phải các vấn đề như tương tác phức tạp, chi phí gas cao, và độ khó phát triển lớn. Để giải quyết điều này, Optimism đã đề xuất khái niệm Bằng chứng gian lận ZK. Cốt lõi là người thách thức chỉ định các giao dịch cần phát lại, bộ sắp xếp cung cấp bằng chứng ZK, và hợp đồng Ethereum xác thực.
So với bằng chứng gian lận tương tác, Bằng chứng gian lận ZK đã đơn giản hóa nhiều vòng tương tác thành một vòng tạo và xác minh bằng chứng ZK, tiết kiệm thời gian và chi phí. So với ZK Rollup, chỉ tạo bằng chứng khi bị thách thức, giảm chi phí tính toán.
Ý tưởng này cũng được BitVM2 áp dụng. BitVM2 thực hiện xác minh ZK Proof thông qua kịch bản Bitcoin và đã tinh giản chương trình lên chuỗi. Nhiều dự án như Bitlayer, Goat Network đã áp dụng giải pháp này.