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

Trong khi thị trường tiền điện tử đồng loạt hồi phục – Bitcoin tăng 2,2%, Ethereum bứt phá 10,1% và XRP cộng thêm 6,5% – thì giới cá voi lại tỏ ra thận trọng, không chạy theo mọi nhịp tăng. Thay vào đó, các nhà đầu tư lớn chọn lọc... ...

Thị trường crypto đã lấy lại đà tăng trong 24 giờ qua và vốn hóa của các coin Made in USA tăng 7%. Đợt phục hồi này đến sau bài phát biểu của Jerome Powell tại hội nghị Jackson Hole. Chủ tịch Cục dự trữ liên bang Mỹ (Fed) đã... ...

World Liberty Financial, một dự án blockchain có liên hệ với gia đình Tổng thống Donald Trump, sẽ chính thức cho phép các nhà đầu tư claim và giao dịch token WLFI bắt đầu từ ngày 1 tháng 9. Sự ra mắt này đánh dấu lần đầu tiên các holder có... ...

Vào ngày 22/8, một số nhà phát hành đã nộp hồ sơ sửa đổi cho XRP ETF giao ngay tại Mỹ, sau khi vụ kiện giữa Ripple và Ủy ban Giao dịch và Chứng khoán Hoa Kỳ (SEC) cuối cùng cũng được bác bỏ. Bảy nhà phát hành bao gồm... ...

Sau bài phát biểu của Jerome Powell tại Jackson Hole, thị trường tiền điện tử đồng loạt ghi nhận những dấu hiệu tích cực: Bitcoin tăng 4,3%, trong khi giá Ethereum vọt lên tới 14%. Nhìn chung, cả hai “anh lớn” đều ghi nhận đà tăng trong ngắn hạn. Tuy... ...

Trong bối cảnh bầu không khí ảm đạm bao trùm thị trường, giá Zcash đã ghi nhận đà tăng trưởng nổi bật. Chỉ trong một tuần qua, ZEC đã tăng 19,3%, hiện được giao dịch quanh 43,36 USD sau khi vượt qua ngưỡng kháng cự 43,04 USD. Trong khi Bitcoin... ...

Tâm lý thị trường tiền điện tử đã chuyển sang trạng thái “Tham lam” vào thứ Bảy, sau khi chứng kiến sự bùng nổ mạnh mẽ, sau những phát biểu ôn hòa từ Chủ tịch Cục Dự trữ Liên bang Mỹ, Jerome Powell. Những bình luận này đã làm dấy... ...

Sự quan tâm của các tổ chức đối với Ripple (XRP) đang tăng vọt, đạt đỉnh cao chưa từng có trong bối cảnh Mỹ nhiều khả năng sẽ sớm phê duyệt ETF giao ngay. Theo số liệu từ Chicago Mercantile Exchange (CME), thị trường hợp đồng tương lai XRP đã... ...

[Bài Viết Quảng Cáo]  Sự chững lại của thị trường thường gây ra tâm lý hoảng sợ và dẫn đến những quyết định sai lầm. Nhiều nhà đầu tư bán tháo quá sớm hoặc chọn sai tài sản. Tuy nhiên, có một số tài sản kỹ thuật số vẫn giữ... ...

Trong 24 giờ qua, giá Pi Coin đã tăng nhẹ lên quanh mốc 0,36 USD sau khi chạm mức thấp trong ngày khoảng 0,35 USD. Dù vẫn thấp hơn so với mốc quan trọng 0,4 USD, đợt phục hồi này đi kèm với sự gia tăng mạnh mẽ về khối... ...

Xem thêm bài viết

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