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

Ethereum (ETH) đã có một đợt tăng mạnh trong tháng này, tăng hơn 50% trong tháng 7 và mang lại luồng sinh khí mới cho thị trường crypto. Nhiều trader đã bắt đầu kỳ vọng mức 5.000 đô la cho ETH, nhưng trước khi đạt được cột mốc đó, mục... ...

Các công ty crypto đang bắt đầu quay trở lại Hoa Kỳ khi các quan chức cấp cao phát đi tín hiệu về sự thay đổi chính sách theo hướng thân thiện hơn, khuyến khích tăng trưởng nội địa. Trong bài phát biểu hôm thứ Năm tại Viện Chính sách... ...

Ủy ban Giao dịch và Chứng khoán Hoa Kỳ (SEC) vừa chính thức khởi động “Project Crypto” – một sáng kiến quy mô lớn nhằm hiện đại hóa hệ thống quy định chứng khoán, trong bối cảnh công nghệ blockchain ngày càng phát triển mạnh mẽ. Dự án này đánh... ...

Đồng sáng lập Ethereum, Vitalik Buterin, vừa công bố một hướng tiếp cận mới nhằm cải thiện tốc độ và khả năng mở rộng của mạng lưới, thông qua việc tái cấu trúc cách thức đạt được tính cuối cùng (finality) của các khối. Trong bài viết ngày 1/8, Buterin... ...

Shiba Inu (SHIB) – một trong những meme coin nổi bật nhất trên thị trường tiền điện tử – đang chịu sức ép bán tháo đáng kể trong những ngày gần đây. Chỉ trong 10 ngày, altcoin này đã lao dốc tới 21%, hiện giao dịch quanh mốc $0,00001210. Mặc... ...

Thị trường chứng khoán Mỹ chứng kiến làn sóng bán tháo vào thứ Sáu, đặc biệt ở nhóm cổ phiếu tiền điện tử, trong bối cảnh dữ liệu kinh tế kém tích cực và lo ngại về các biện pháp thuế quan mới. Cổ phiếu của Coinbase (COIN), Riot Platforms... ...

Thị trường crypto mở đầu tuần theo xu hướng giảm và dường như cũng sẽ kết thúc tuần trong tình trạng tương tự. Tuy nhiên, một số altcoin đã thành công lội ngược dòng và có khả năng tiếp tục tận dụng sự biến động của cuối tuần để ghi... ...

Ethereum (ETH) có thể đối mặt với áp lực giảm giá trong tháng 8 khi lực hỗ trợ từ các tổ chức đầu tư và cá voi – yếu tố đã giúp ETH đạt đỉnh $3.800 vào tháng 7 – đang suy yếu. Tâm lý bi quan đang âm thầm... ...

Thị trường tiền điện tử rúng động mạnh trong phiên giao dịch sớm tại châu Á sáng thứ Sáu, khi vốn hóa toàn thị trường “bốc hơi” gần 4%, giảm từ 3,87 nghìn tỷ USD xuống còn 3,74 nghìn tỷ USD. Bitcoin (BTC) mất 3% giá trị, trượt xuống dưới... ...

XRP đang phát ra hàng loạt tín hiệu tích cực, cho thấy đà phục hồi ngắn hạn có thể đang hình thành — với kỳ vọng mức tăng giá lên tới 20% trước khi tháng 8 khép lại. Phân kỳ tăng giá cho thấy áp lực bán đang suy yếu... ...

Xem thêm bài viết

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