/ BLOG

Tại sao OP Mainnet tạm dừng cơ chế Fraud Proof và tiến hành hard fork Granite?

Fraud Proof là gì ? Fraud proof (hay còn gọi là fault proof) là dạng bằng chứng được các đơn vị xác thực (Verifier) gửi về Layer-1 khi phát hiện có giao dịch

arrow white

Back

Aug 20, 2024

Written by

Logo

Thuynguyen

facebook instagram instagram

Fraud Proof là gì ?

Fraud proof (hay còn gọi là fault proof) là dạng bằng chứng được các đơn vị xác thực (Verifier) gửi về Layer-1 khi phát hiện có giao dịch đáng ngờ. Và đối chiếu với thông tin ở phần trước đó, Fraud Proof sẽ được sử dụng trong mô hình Optimistic Rollup.

Cách hoạt động

Khi mạng lưới vận hành bình thường, Fraud Proof sẽ không xuất hiện.

Khi phát hiện giao dịch đáng ngờ, Verifier sẽ gửi Fraud Proof đính kèm một bằng chứng rằng “State Transition không chính xác” vào Batch giao dịch (phương thức đóng gói, tổng hợp các giao dịch) trên Layer-1. Sau đó, mạng lưới sẽ tiến hành xác thực liệu đề xuất “tố giác” này có chính xác hay không:

  • Nếu bằng chứng tố cáo chính xác, batch giao dịch ở Layer-1 trước đó sẽ được đảo ngược để không đính kèm giao dịch đáng ngờ nói trên.
  • Nếu không, giao dịch vẫn diễn ra bình thường.

Vì cần một khoảng thời gian để mạng lưới đối chiếu, nên các giao dịch rút tiền từ Optimistic Rollup về Layer-1 thường tốn khoảng 7 ngày để xử lý. Đây là khoảng thời gian vừa đủ để các Verifier trong mạng lưới đối chiếu với nhau nếu như có giao dịch bị tố cáo.

Lợi ích của Frault Proof

Việc không phải liên tục tạo proof không chỉ giúp tiết kiệm nguồn lực mà còn giảm đáng kể chi phí gas cho mạng lưới, tối ưu hóa hiệu quả vận hành. Điều này đặc biệt quan trọng trong việc duy trì hoạt động của hệ thống mà không gây áp lực lớn về tài nguyên. Đồng thời, hệ thống cũng tránh được những rào cản về khả năng mở rộng trong giai đoạn đầu phát triển.

Thay vì yêu cầu một số lượng giao dịch tối ưu ngay từ đầu để giảm chi phí trên mỗi đơn vị giao dịch, các giao dịch được đóng gói và xử lý liên tục cho đến khi có tranh chấp phát sinh. Điều này cho phép mạng lưới vận hành linh hoạt hơn, không bị giới hạn bởi yêu cầu về lượng giao dịch, từ đó hỗ trợ quá trình mở rộng quy mô mà không gây ra những thách thức về mặt kỹ thuật.

Tại sao OP Mainnet tạm dừng cơ chế Fault Proof?

Vào tháng 06/2024, OP Mainnet đã thông báo tích hợp “permissionless Fault Proof”, tiến lên Stage 1 của giai đoạn phát triển L2 và hướng tới giải pháp thống nhất các layer-2 trong Superchain.

Việc tích hợp permissionless Fault Proof mở ra khả năng cho phép người dùng rút ETH và các token ERC-20 từ các chain OP Stack về L1 mà không cần dựa vào bên thứ ba đáng tin cậy. Điều này không chỉ giúp người dùng tự mình xóa bỏ các lệnh rút không hợp lệ, mà còn cho phép họ phản đối trực tiếp những giao dịch có dấu hiệu gian lận hoặc sai sót trên Layer-2 một cách minh bạch và hiệu quả.

Tuy nhiên, chỉ sau hơn hai tháng vận hành, Optimism đã bất ngờ loại bỏ lại cơ chế này và quay trở lại sử dụng mô hình permissioned fraud proof. Tài khoản chính thức của Optimism trên X đã thông báo về thay đổi này, nhấn mạnh rằng mặc dù chưa có lỗ hổng nào bị khai thác nhưng đội ngũ vẫn quyết định kích hoạt cơ chế dự phòng để đảm bảo tính ổn định của mạng lưới.

Nguyên nhân xuất phát từ nhiều lỗ hổng bảo mật được cộng đồng phát hiện ở các mức độ nghiêm trọng khác nhau. Mặc dù chưa có lỗ hổng nào bị khai thác và tài sản của người dùng hiện vẫn đang an toàn nhưng để đề phòng các rủi ro tiềm ẩn, Optimism đã quyết định kích hoạt lại hệ thống permissioned để đảm bảo ổn định trong khi các lỗ hổng được khắc phục.

Nhóm phát triển của Optimism OP Labs cho biết đã đăng tải blog chi tiết trên diễn đàn của giao thức, giải thích rằng quyết định này là do phát hiện hai lỗ hổng bảo mật chính:

  • Lỗ hổng “outOfGas”: Một kẻ tấn công có thể cố tình dùng ít phí gas hơn mức cần thiết khi thực hiện một thao tác. Điều này khiến hệ thống bị lỗi do hết gas. Nếu còn lại chút gas, lỗi này có thể thay thế dữ liệu đúng bằng dữ liệu lỗi, dẫn đến kết quả sai trong hệ thống kiểm chứng.
  • Lỗ hổng khi xử lý các giao dịch lớn: Một số giao dịch yêu cầu lượng gas lớn và thay đổi tùy theo kích thước dữ liệu. Trên Layer-1, lượng gas cung cấp cho hàm tăng tốc có thể không đủ để xử lý các giao dịch phức tạp trên Layer-2, tạo ra rủi ro bảo mật cho các giao dịch lớn hơn.

Việc triển khai bản hard fork Granite vào ngày 10/09 tới đây để khắc phục các lỗ hổng được tạo ra hiện tại. Bản nâng cấp này của Optimism tập trung vào việc khắc phục lỗ hổng “outOfGas” bằng cách thêm yêu cầu số gas tối thiểu để đảm bảo xử lý chính xác các hàm phức tạp. Đồng thời, bản nâng cấp này đặt giới hạn kích thước đầu vào cho các giao dịch lớn nhằm tránh tình trạng quá tải.

Ngoài ra, giá trị ChannelTimeout (thời gian chờ tối đa trước khi hệ thống tự động đóng một giao dịch trên giao thức) cũng được giảm từ 200 xuống còn 50 khối để giải phóng và ngăn chặn nguy cơ tràn bộ nhớ. Bản hard fork Granite cũng sửa lỗi trong hàm “recover” của DelayedWETH, đảm bảo chủ sở hữu có thể thu hồi lại ETH hoặc WETH trong những trường hợp như giao dịch không hoàn thành hoặc gặp lỗi trong hợp đồng.