Nhà phân tích tiết lộ các lỗi thiết kế của Wrapped Ether (WETH)

Updated: 20/11/2022 at 15:30

Tại nghiên cứu Xác minh định dạng của Wrapped ETH (WETH), Stephen Tong đã xác minh hai tham số quan trọng đối với thiết kế nền kinh tế token của WETH – là token ERC-20 được gắn với ETH theo tỷ lệ 1:1, chuyên để sử dụng trong các ứng dụng DeFi.

Kiểm tra độ chính xác của tổng nguồn cung và khả năng thanh toán của WETH

Vào ngày 19/11/2022, Tong đã công bố một bài đánh giá về hai tính năng của Wrapped Ethereum (WETH) – một hợp đồng thông minh trên mạng Ethereum được thiết kế để hợp lý hóa việc sử dụng ETH trong DeFi bằng cách “wrap” altcoin này thành một tài sản ERC-20 thông thường.

Anh sử dụng các công cụ của Constrained Horn Clause (CHC) để mô hình hóa tất cả các trạng thái có thể có của Wrapped Ethereum. Sau đó, anh kiểm tra số liệu “tổng nguồn cung” của hợp đồng thông minh WETH có thực sự bằng số lượng token được đúc hay không.

Anh cũng đã cố gắng xác minh xem có thể đổi ETH từ WETH vào bất cứ lúc nào hay không. Tong gọi chức năng này là “khả năng thanh toán”.

Về điểm đầu tiên, nhà phân tích tiết lộ tổng nguồn cung không nhất thiết bằng số lượng token tồn tại:

“Về mặt kỹ thuật, tiêu chuẩn ERC-20 chỉ định totalSupply() phải bằng với… “tổng cung”. Điều này hơi mơ hồ, nhưng nhiều người sẽ cho rằng đó là tổng số token tồn tại”.

Thông qua chức năng tự hủy để chấm dứt hợp đồng hoặc chuyển bất kỳ khoản tiền nào trong hợp đồng đến một địa chỉ được chỉ định, người dùng sẽ có thể đúc token WETH mà không cần thực sự gửi ETH để wrap, Tong kết luận.

Điều này có thực sự nguy hiểm cho người dùng WETH không?

Anh cũng chứng minh rằng người gửi ETH không nhất thiết có thể rút tiền của họ từ các hợp đồng thông minh bất cứ lúc nào.

FTX

Nguồn: cts

Do đó, anh cung cấp hai mô hình giả thuyết để chứng minh không có tương quan giữa số dư hợp đồng WETH và số lượng token thực tế được đúc, cũng như “lỗi khả năng thanh toán” có thể ảnh hưởng đến quá trình rút tiền.

Tuy nhiên, anh nhấn mạnh rằng cả hai tình huống đều là giả thuyết và chỉ được mô hình hóa cho thí nghiệm. Các lỗi trong nghiên cứu là “nhỏ” và “vô hại”.

Kể từ khi ra mắt vào năm 2020, Zellic đã kiểm toán một số giao thức DeFi hàng đầu, bao gồm các giao thức như 1inch (1INCH), LayerZero và SushiSwap (SUSHI).

Tham gia Telegram của Tạp Chí Bitcoin: https://t.me/tapchibitcoinvn

Theo dõi kênh Tiktok của Tạp Chí Bitcoin tại đây: https://www.tiktok.com/@tapchibitcoin

Đình Đình

Theo UToday

  • Thẻ đính kèm:
  • WETH
Được đề cập trong bài viết
Bình luận
Đang tải
Mới cập nhật

Bittensor, một nền tảng phi tập trung hỗ trợ các mô hình AI, vừa ghi nhận một cột mốc đáng chú ý trong quá trình phát triển của mình: số lượng subnet hoạt động trên hệ sinh thái này đã đạt mức cao kỷ lục mới. Điều này không chỉ... ...

Giá Chainlink (LINK) gần đây đã thu hút sự chú ý sau khi có các hoạt động on-chain từ cá voi sử dụng địa chỉ 0x7fBB. Kể từ ngày 27/5, cá voi này đã chuyển 403.000 LINK lên sàn Binance, trị giá khoảng 5,87 triệu đô la. Điều này khiến... ...

Một cá voi đã stake 61.838 SOL, thể hiện niềm tin vào xu hướng tăng dài hạn. Trong khi đó, một cá voi khác unstake và bán 44.539 SOL, thu về 649.000 đô la lợi nhuận thực. Sự trái ngược này cho thấy tâm lý của các nhà đầu tư... ...

Bitcoin Hyper là dự án presale mới đầy tiềm năng, kết hợp hoàn hảo tiện ích tốc độ cao của mạng Solana với tính bảo mật, lượng người dùng khổng lồ của mạng Bitcoin. Tính tới thời điểm viết bài, dự án đã huy động được hơn 530.000 đô la,... ...

Trong bối cảnh thị trường crypto suy giảm với giao dịch ảm đạm và tâm lý thận trọng từ các nhà đầu tư, tổng vốn hóa thị trường toàn cầu đã chứng kiến sự sụt giảm. Tại thời điểm bài viết, vốn hóa thị trường ghi nhận 3,3 nghìn tỷ... ...

Mười sáu năm sau khi ra mắt, Bitcoin đã vượt ra ngoài vai trò của một thí nghiệm mật mã hay một tài sản chống lại thiết lập. Vào năm 2025, Bitcoin ngày càng trở nên gần gũi với các chính trị gia, tổ chức và những ông trùm Phố... ...

Cộng đồng Bitcoin đang kêu gọi CEO Tesla, Elon Musk, tích trữ Bitcoin như một cách để giành thế thượng phong trong cuộc đấu khẩu công khai với Tổng thống Hoa Kỳ, Donald Trump. “Cách tốt nhất để Elon trả đũa Trump là chuyển hướng hoàn toàn sang Bitcoin”, trader... ...

Khoảng 3,8 tỷ đô la trong các quyền chọn Bitcoin và Ethereum (ETH) đã hết hạn vào ngày hôm qua, cho thấy khả năng biến động trên thị trường. Sự biến động như vậy mang lại tiềm năng tăng trưởng, đồng thời cũng khiến các trader phải chịu rủi ro... ...

Cục Dự trữ Liên bang Hoa Kỳ (Fed) đang tăng tốc nỗ lực xóa bỏ các “vùng xám” pháp lý, cam kết sẽ ban hành hướng dẫn cụ thể về tài sản số nhằm mở khóa tiềm năng đổi mới trong lĩnh vực tiền điện tử và công nghệ tài chính... ...

Eric Trump tuyên bố rằng World Liberty Financial (WLFI), nền tảng DeFi có liên quan đến Tổng thống Donald Trump và gia đình ông, sẽ nắm giữ một lượng cổ phần lớn trong memecoin Official TRUMP. Ông cũng xác nhận rằng ví mang thương hiệu Trump, được nhóm phát triển... ...

Xem thêm bài viết
Chọn chế độ hiển thị:
Bình thường Bảo vệ mắt Dark Mode