Trang chủ Tạp chí Tin tức Ethereum (ETH) Nhà phân tích tiết lộ các lỗi thiết kế của Wrapped Ether...

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

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

MỚI CẬP NHẬT

bnb

Đốt token thúc đẩy sự thay đổi trong tâm lý của BNB – $606...

Vào ngày 1/11, BNB Chain thông báo đã hoàn thành đợt đốt coin theo quý lần thứ 29, về cơ bản là làm giảm...

AI dự đoán thời điểm Bitcoin đạt $100.000

Với việc Bitcoin (BTC) không giữ được mức trên $70.000, sự chú ý của thị trường vẫn tập trung vào việc liệu đồng tiền...

Tron đạt doanh thu hàng tháng cao thứ hai khi TRX tăng trưởng

Blockchain của Tron đang trải qua những bước tiến đáng kể, với token gốc TRX đạt mức cao nhất trong năm nhờ vào doanh...

NFT phá vỡ xu hướng giảm kéo dài 7 tháng, với doanh số tháng...

Trong tháng 10, lĩnh vực NFT đã chứng kiến sự phục hồi mạnh mẽ, phá vỡ xu hướng giảm kéo dài bảy tháng trước...

Thái Lan bắt giữ 6 cảnh sát bị cáo buộc dàn dựng tống tiền...

Cảnh sát Thái Lan đã tiến hành bắt giữ 7 cá nhân, trong đó có 6 cảnh sát, liên quan đến cáo buộc dàn...

Tin vắn Crypto 02/11: Bitcoin có thể quay về $65.000 trong thời gian tới...

Từ nhận định Bitcoin có thể giảm mạnh xuống $65.000 trong thời gian tới đến Grayscale XRP Trust đã mở cửa cho các nhà...
Tether

Tether chuyển hướng sang thị trường Châu Âu, Trung Đông và Châu Phi trước...

Tether (USDT) đang cho thấy xu hướng dịch chuyển mạnh mẽ sang các thị trường châu Âu, Trung Đông và châu Phi do những...

Arthur Hayes cho biết Solana là sự lựa chọn hấp dẫn trong bối cảnh...

Arthur Hayes, đồng sáng lập BitMEX và Giám đốc Đầu tư tại Maelstrom, đã thể hiện sự ủng hộ đối với Solana, gọi nó...

Ripple công bố báo cáo quý 3 – Đây là lượng token XRP mà...

Theo báo cáo quý 3 vừa được công bố, công ty blockchain Ripple, có trụ sở tại San Francisco, hiện nắm giữ 4,43 tỷ...

Chiến lược Bitcoin đã giúp MicroStrategy đạt mức vốn hóa thị trường hơn 50...

Vốn hóa thị trường của MicroStrategy, công ty đầu tư nổi tiếng chuyên về Bitcoin, đã chính thức vượt qua Coinbase, sàn giao dịch...

DWF Labs xem xét khởi kiện cựu đối tác Eugene Ng vì cáo buộc...

Đối tác quản lý của DWF Labs, Andrei Grachev, đã tuyên bố vào thứ Sáu trên mạng xã hội X rằng công ty của...
gotbit

DOJ Hoa Kỳ truy tố CEO Gotbit vì bị cáo buộc dàn dựng âm...

Bộ Tư pháp Hoa Kỳ (DOJ) đã truy tố Aleksei Andriunin, nhà sáng lập và CEO của công ty dịch vụ tài chính tiền...

Nghiên cứu cho thấy lệnh cấm khai thác Bitcoin có thể làm tăng lượng...

Các nhà nghiên cứu từ tổ chức phi lợi nhuận Exponential Science và Đại học College London đã chỉ ra rằng các lệnh cấm...

Tỷ lệ chiến thắng của Donald Trump trên Polymarket giảm xuống dưới 58% dù...

Một trong những nhà đầu tư lớn nhất trên nền tảng Polymarket đã quyết định rót thêm 7 triệu đô la vào token 'Yes'...
eth-giam-thang-11

Giá ETH có thể giảm xuống còn $1.550 vào tháng 11, đây là lý...

Sau tháng Mười thiếu đi sự sôi động cần thiết, mô hình giảm giá trên biểu đồ Ethereum không còn có thể bị phớt...

VanEck chỉ trích lập trường lỗi thời của Bộ Tài chính Mỹ về stablecoin

Nghiên cứu viên trưởng về tài sản kỹ thuật số của VanEck, Matthew Sigel, gần đây đã chỉ trích quan điểm của Bộ Tài...