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

Giá Bitcoin đã vượt mức 104.000 đô la khi mở phiên giao dịch ngày 6/6 tại Phố Wall trong bối cảnh dữ liệu thị trường lao động mạnh mẽ của Hoa Kỳ trái ngược với những lời kêu gọi mới về việc cắt giảm lãi suất. Bitcoin tăng cao khi... ...

XRP đang phải đối mặt với những khó khăn lớn trong việc thoát khỏi xu hướng giảm trong tuần qua, khi altcoin này tiếp tục suy yếu. Dù đã có những nỗ lực để phục hồi, nhưng đồng tiền này vẫn gặp nhiều thách thức, với giá tiếp tục dao... ...

Metaplanet, thường được mệnh danh là “Strategy của Nhật Bản” trong giới đầu tư Bitcoin, vừa công bố bản cập nhật chiến lược đáng chú ý: nâng mục tiêu nắm giữ Bitcoin lên 100.000 BTC vào cuối năm 2026 – gần gấp năm lần mục tiêu trước đó là 21.000... ...

Từ những ngày đầu của Bitcoin, những người theo chủ nghĩa lý tưởng về tiền điện tử đã vẽ nên một viễn cảnh đầy tham vọng: một hệ thống tài chính không cần trung gian, nơi người dùng có quyền sở hữu và kiểm soát tài sản của chính mình.... ...

Dù bị kiểm soát nghiêm ngặt bởi các cơ quan quản lý, thị trường crypto tại Nigeria vẫn đang bứt phá mạnh mẽ. Theo dữ liệu từ Chainalysis, từ tháng 7/2023 đến tháng 6/2024, quốc gia này đã ghi nhận khối lượng giao dịch tiền điện tử lên tới 59... ...

Sei Network – blockchain Layer 1 nổi bật với tốc độ xử lý cao – vừa đạt được một cột mốc đáng chú ý trong hành trình phát triển của mình: hơn 600.000 ví hoạt động hàng ngày, con số cao nhất trong lịch sử mạng lưới này. Cột mốc... ...

Strategy, công ty nắm giữ Bitcoin lớn nhất thế giới trong số các doanh nghiệp, dự định huy động gần 1 tỷ đô la thông qua chào bán cổ phiếu để mua thêm BTC. Công ty của Michael Saylor dự kiến sẽ phát hành 11.764.700 cổ phiếu ưu đãi vĩnh... ...

Carlo Pruscino, nhà phân tích thị trường tại CMC Markets, cảnh báo rằng bất kỳ động thái cắt giảm lãi suất nào từ Cục Dự trữ Liên bang Hoa Kỳ (Fed) sớm hơn dự kiến đều có thể kích hoạt một đợt tăng giá mạnh mẽ của Bitcoin, đưa đồng... ...

Pi Coin hiện đang giao dịch ở mức 0,61 USD, ghi nhận mức giảm 5% trong 24 giờ qua, đánh dấu một xu hướng tiêu cực đang hình thành rõ nét. So với mức đỉnh năm 2025, đồng tiền này đã lao dốc 62%, và giảm tới 80% kể từ mức... ...

Thị trường crypto đã chứng kiến sự biến động khi khoảng 3,7 tỷ USD giá trị quyền chọn Bitcoin và Ethereum hết hạn vào hôm nay. Với tổng giá trị danh nghĩa của quyền chọn Bitcoin là 3,1 tỷ USD và quyền chọn Ethereum chiếm 588 triệu USD, trader đang... ...

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