Ethereum Foundation đang nghiên cứu các khẳng định về giao dịch, cho phép người dùng đính kèm những điều kiện có thể thực thi đối với kết quả cuối cùng của giao dịch, thay vì chỉ dựa vào việc phê duyệt hành động được yêu cầu. Nghiên cứu này thuộc sáng kiến Trillion Dollar Security, nhắm đến một lỗ hổng trong an toàn giao dịch: chữ ký hợp lệ không đảm bảo số dư, quyền hạn hoặc quyền kiểm soát tài khoản sau giao dịch khớp với ý định của người ký.
Những điểm chính
- Các bước kiểm tra được đề xuất sẽ đánh giá kết quả giao dịch trong quá trình thực thi và đảo ngược những hành động vi phạm quy tắc đã ký.
- Khả năng bảo vệ phụ thuộc vào các quy tắc được phê duyệt độc lập với bên xây dựng giao dịch có thể đã bị xâm phạm.
- Nghiên cứu có thể hỗ trợ các chính sách an toàn ví, tác tử được ủy quyền và quy trình của solver, nhưng chưa có thông báo triển khai.
Mục lục
- Vì sao việc phê duyệt giao dịch vẫn có thể dẫn đến thua lỗ
- Các khẳng định về giao dịch sẽ kiểm tra kết quả như thế nào
- Cách triển khai được đề xuất sẽ cho phép truy cập những gì
- Ví và giao thức cần thay đổi ở đâu
- Tác tử và quy trình của solver có thể được lợi gì
- Kết luận
Vì sao việc phê duyệt giao dịch vẫn có thể dẫn đến thua lỗ
Ethereum thực thi yêu cầu mà người dùng cho phép dựa trên mã và trạng thái hiện có tại thời điểm chạy. Những điều kiện đó có thể khác với những gì người dùng đã kiểm tra. Chẳng hạn, một triển khai proxy có thể thay đổi trước khi thực thi, trong khi thứ tự giao dịch có thể làm thay đổi mức giá mà một giao dịch hoán đổi nhận được.
Nền tảng phân biệt giữa yêu cầu gây hiểu lầm và kết quả không mong muốn. Trong các vụ tấn công Bybit và BadgerDAO, giao diện người dùng bị xâm phạm đã hiển thị các yêu cầu ký khác với những gì người dùng nghĩ rằng họ đang phê duyệt. Ngược lại, ngay cả một yêu cầu được hiển thị chính xác vẫn có thể cho phép xảy ra kết quả gây thiệt hại về kinh tế.
Ví dụ được đưa ra là một giao dịch hoán đổi tài sản thế chấp Aave và CoW, liên quan đến khoảng 50,4 triệu USD aEthUSDT. Thanh khoản AAVE mỏng và giới hạn gas của CoW khiến báo giá đã được xác minh chỉ vào khoảng 329 aEthAAVE. Dù màn hình hiển thị cảnh báo tác động giá 99,9% và xác nhận rằng toàn bộ giá trị có thể bị mất, người dùng vẫn ký và nhận về số token trị giá khoảng 36.000 USD.
Sự khác biệt đó giải thích vì sao mô tả giao dịch tốt hơn không phải là giải pháp toàn diện. Clear Signing giúp người dùng hiểu hành động được yêu cầu. Mô phỏng ước tính tác động dựa trên trạng thái chuỗi được chọn. Bản thân mỗi phương pháp đều không áp đặt một điều kiện độc lập lên kết quả thực tế xảy ra.
| Hạng mục | Chi tiết |
|---|---|
| TXTRACE | Liệt kê các thay đổi ròng về trạng thái và sự kiện được phát ra trong giao dịch. |
| TXDIFF | Truy xuất giá trị ban đầu và cuối cùng của các địa chỉ và ô lưu trữ được chỉ định. |
| EVENTDATACOPY | Sao chép dữ liệu của một sự kiện vào bộ nhớ để kiểm tra. |
| Thông tin triển khai | Dữ liệu về thay đổi trạng thái được đề xuất bao gồm các hợp đồng mới triển khai và mã băm mã của chúng. |
Các khẳng định về giao dịch sẽ kiểm tra kết quả như thế nào
Một khẳng định sẽ so sánh trạng thái ban đầu và cuối cùng của giao dịch bằng logic chỉ đọc sau khi các hành động đã chạy. Điều kiện sẽ được đưa vào giao dịch và ký cùng với các hành động. Nếu điều kiện không được đáp ứng, các hành động đó sẽ bị hoàn tác.
Các quy tắc khả dĩ bao gồm mức nhận tối thiểu, giới hạn chi tiêu, hạn chế các phê duyệt token mới hoặc duy trì logic kiểm soát tài khoản. Khả năng kiểm tra được đề xuất không chỉ giới hạn ở số dư mà còn mở rộng tới bộ nhớ lưu trữ, mã, hợp đồng mới triển khai và các sự kiện được phát ra.
Các bước kiểm tra hiện có trong hợp đồng đã bảo vệ một số kết quả nhất định. Uniswap có thể từ chối các giao dịch hoán đổi có đầu ra thấp hơn mức tối thiểu được chỉ định, còn bộ bảo vệ Safe có thể kiểm tra trạng thái tài khoản sau khi thực thi. Hạn chế nằm ở phạm vi quan sát: các bước kiểm tra như vậy phải dự đoán trước những gì cần xem xét và nhìn chung phụ thuộc vào các giao diện mà hợp đồng khác cung cấp. Chẳng hạn, một proxy không nhất thiết phải có hàm cho biết địa chỉ triển khai của nó.
Các khẳng định tích hợp sẵn sẽ cho phép kiểm tra toàn bộ tác động ròng của giao dịch, bao gồm cả những thay đổi mà một bộ bảo vệ thông thường có thể không biết cần tìm. Tuy nhiên, khả năng quan sát rộng hơn chỉ hữu ích nếu quy tắc đáng tin cậy. Một giao diện độc hại có thể đưa ra điều kiện cho phép chính cuộc tấn công của nó, vì vậy chính sách phải xuất phát từ ý định được phê duyệt độc lập, chính sách tài khoản hoặc logic giao thức được bảo vệ.
Cách triển khai được đề xuất sẽ cho phép truy cập những gì
Thông báo của Ethereum Foundation về các khẳng định giao dịch tích hợp sẵn mô tả EIP-7906 như một phương án triển khai khả thi, chứ chưa phải thiết kế đã được chốt. Đề xuất này dựa trên các giao dịch dạng khung trong EIP-8141, sắp xếp các bước xác thực và hành động theo một trình tự. EIP-8141 dự kiến có trong Hegotá; EIP-7906 đã đạt trạng thái Considered for Inclusion nhưng chưa được xác nhận sẽ có trong bản nâng cấp đó.
Theo cách tiếp cận này, một khung POST_TX chỉ đọc sẽ kiểm tra kết quả khi quá trình thực thi kết thúc. Các lệnh truy cập dữ liệu được đề xuất sẽ chỉ hoạt động trong khung đó, thay vì xuyên suốt EVM.
Thông tin sẽ mô tả tác động ròng, không phải lịch sử của mọi lần ghi trung gian. Một ô lưu trữ bị thay đổi nhiều lần sẽ xuất hiện cùng giá trị ban đầu và cuối cùng; ô được khôi phục về giá trị ban đầu sẽ không xuất hiện. Vì vậy, cần phân biệt giữa việc thực thi trạng thái cuối cùng và giám sát mọi bước thực thi.
Nếu một bước kiểm tra không đạt, phần thân thực thi sẽ bị hoàn tác, nhưng giao dịch vẫn được đưa vào khối dưới dạng thất bại. Bên trả phí gas vẫn phải trả cho lượng gas đã tiêu thụ, ngăn các giao dịch cố tình thất bại buộc những bên xây dựng khối phải xử lý miễn phí.
Ví và giao thức cần thay đổi ở đâu
Đề xuất này cung cấp cơ chế kiểm tra, chứ không tự động bắt buộc sử dụng cơ chế đó. Đối với giao dịch của người dùng, ví sẽ phải đưa chính sách an toàn vào quá trình tạo giao dịch, thay vì để bên xây dựng giao dịch tùy ý bỏ qua chính sách này. Chính sách đó có thể dựa trên mô phỏng riêng của ví hoặc áp dụng như một quy tắc thường trực ở cấp tài khoản.
Đối với giao thức, biện pháp bảo vệ phải được tích hợp vào các điều kiện truy cập một hàm được bảo vệ. Chỉ cung cấp giao dịch có khả năng sử dụng khẳng định là chưa đủ: lời gọi cần mang theo bước kiểm tra cụ thể mà giao thức yêu cầu. Điều này sẽ làm thay đổi yêu cầu tích hợp đối với bên gọi, trong khi các hợp đồng bất biến đã triển khai không thể bổ sung hồi tố bước kiểm tra quyền truy cập đó.
Những điểm phụ thuộc này cho thấy khoảng cách giữa một khả năng EVM có tiềm năng mạnh mẽ và một sự đảm bảo hướng đến người dùng. Để bảo vệ hiệu quả, cần có cả một điều kiện vững chắc lẫn phần mềm luôn đảm bảo không thể bỏ qua điều kiện đó.
Tác tử và quy trình của solver có thể được lợi gì
Các tác tử được ủy quyền có thể bị giới hạn dựa trên kết quả cũng như quyền hạn. Các giới hạn về hợp đồng mà tác tử được phép sử dụng hoặc số tiền được phép chi tiêu có thể được bổ sung bằng những yêu cầu quy định trạng thái còn lại sau mỗi giao dịch.
Đối với cơ chế thực thi dựa trên solver, giao thức có thể quy định kết quả chấp nhận được, đồng thời cho phép solver chọn lộ trình. Sự đảm bảo này chỉ giới hạn trong một giao dịch trên một mạng duy nhất, không bao gồm lộ trình đi qua nhiều chuỗi.
Các khẳng định cũng có thể kiểm tra việc dọn dẹp sau quy trình, chẳng hạn như hoàn trả token chưa sử dụng và thu hồi các quyền phê duyệt còn lại. Ethereum Foundation đang lấy ý kiến từ các nhóm phát triển ví và giao thức trong khi tiếp tục hoàn thiện thiết kế, vì vậy đây là những hướng nghiên cứu tiềm năng chứ không phải tính năng sản phẩm đã được công bố.
Kết luận
Các khẳng định giao dịch tích hợp sẵn sẽ chuyển một phần trọng tâm của an toàn giao dịch Ethereum từ việc diễn giải yêu cầu sang thực thi kết quả. Giá trị thực tiễn của chúng sẽ phụ thuộc vào các chính sách đáng tin cậy và việc được các ví, giao thức chịu trách nhiệm áp dụng chấp nhận triển khai.
Đọc thêm tin tức
Tuyên bố miễn trừ trách nhiệm
Bài viết này của FinanceVelix cung cấp thông tin chung, không phải lời khuyên tài chính, đầu tư, pháp lý hoặc thuế được cá nhân hóa. Giá tiền mã hóa có thể biến động nhanh và bạn có thể mất toàn bộ số tiền đã đầu tư. Các dữ kiện phản ánh thông tin có tại thời điểm bài viết được xuất bản và có thể thay đổi. Hãy tự xác minh thông tin quan trọng và tham khảo chuyên gia có đủ năng lực khi cần. Việc đề cập đến một tài sản, công ty hoặc dịch vụ không đồng nghĩa với sự chứng thực.
