#termmax @TermMax ...Tôi đang xem các bản sửa lỗi V2 mới nhất của TermMax, và có một điều cứ làm tôi băn khoăn.
Trước đây tôi nghĩ hầu hết các lỗi trong DeFi đều bắt nguồn từ tính toán sai.
Lần này, phép toán về cơ bản là ổn.
Vấn đề lớn hơn nằm ở việc dùng sai cách biểu diễn thực tại.
Hãy lấy apr().
Luận logic cũ dựa trên số dư XT thô của lệnh.
Nghe có vẻ hợp lý, đúng không?
Nhưng V2 không dùng số dư XT thô làm trạng thái định giá. Nó sử dụng virtualXtReserve.
Sự khác biệt này là quan trọng...
Hãy tưởng tượng một cửa hàng nơi bảng giá được kiểm soát bởi sổ cái nội bộ của cửa hàng, nhưng bạn lại bắt đầu tính giá từ lượng tiền mặt ai đó ngẫu nhiên mang đến quầy.
Tiền mặt thay đổi.
Mô hình giá không thay đổi.
Đó chính là điều mà một lệnh chuyển XT trực tiếp có thể làm được đối với phép tính APR cũ.
Số dư có thể di chuyển mà đường cong không di chuyển, nhưng apr() vẫn có thể coi số dư đó là trạng thái định giá mới.
Bản sửa giúp mô hình kế toán khớp với mô hình kinh tế.
Và tôi nghĩ đó mới là bài học thú vị hơn.
Trong các smart contract tài chính, câu hỏi nguy hiểm không phải lúc nào cũng là:
“Công thức có đúng không?”
Đôi khi là:...
“Chúng ta đang đưa cho công thức đúng trạng thái chưa?”
Chủ đề tương tự cũng xuất hiện trong bản sửa lỗi về thanh lý.
Một oracle nợ có độ chính xác 18 chữ số thập phân có thể khiến việc chuyển đổi số thập phân làm sụp phép so sánh tài sản thế chấp, khiến các vị thế lẽ ra cho phép thanh lý 50% lại bị thanh lý hoàn toàn.
Một lần nữa, đây không hẳn là vấn đề của một công thức quá phức tạp.
Đó là vấn đề về đơn vị đo.
Vì vậy, tôi đang bắt đầu chú ý nhiều hơn đến những thay đổi có vẻ tẻ nhạt này.
Một bản sửa kế toán chỉ một dòng có thể quan trọng hơn cả một tính năng mới hào nhoáng, vì nó quyết định liệu giao thức có đang diễn giải đúng thị trường hay không.
Với TermMax, tôi sẽ theo dõi sát một điều từ đây:
không chỉ hệ thống có bao nhiêu thanh khoản, mà còn việc định giá, định giá tài sản thế chấp và logic thanh lý có đang đọc cùng một thực tại kinh tế hay không.....
Đó là lúc “code chạy được” bắt đầu trở thành “hạ tầng tài chính hoạt động được.”
Bạn thà kiểm toán công thức trước, trạng thái kế toán trước, hay các giả định về oracle/đơn vị trước?....
Trước đây tôi nghĩ hầu hết các lỗi trong DeFi đều bắt nguồn từ tính toán sai.
Lần này, phép toán về cơ bản là ổn.
Vấn đề lớn hơn nằm ở việc dùng sai cách biểu diễn thực tại.
Hãy lấy apr().
Luận logic cũ dựa trên số dư XT thô của lệnh.
Nghe có vẻ hợp lý, đúng không?
Nhưng V2 không dùng số dư XT thô làm trạng thái định giá. Nó sử dụng virtualXtReserve.
Sự khác biệt này là quan trọng...
Hãy tưởng tượng một cửa hàng nơi bảng giá được kiểm soát bởi sổ cái nội bộ của cửa hàng, nhưng bạn lại bắt đầu tính giá từ lượng tiền mặt ai đó ngẫu nhiên mang đến quầy.
Tiền mặt thay đổi.
Mô hình giá không thay đổi.
Đó chính là điều mà một lệnh chuyển XT trực tiếp có thể làm được đối với phép tính APR cũ.
Số dư có thể di chuyển mà đường cong không di chuyển, nhưng apr() vẫn có thể coi số dư đó là trạng thái định giá mới.
Bản sửa giúp mô hình kế toán khớp với mô hình kinh tế.
Và tôi nghĩ đó mới là bài học thú vị hơn.
Trong các smart contract tài chính, câu hỏi nguy hiểm không phải lúc nào cũng là:
“Công thức có đúng không?”
Đôi khi là:...
“Chúng ta đang đưa cho công thức đúng trạng thái chưa?”
Chủ đề tương tự cũng xuất hiện trong bản sửa lỗi về thanh lý.
Một oracle nợ có độ chính xác 18 chữ số thập phân có thể khiến việc chuyển đổi số thập phân làm sụp phép so sánh tài sản thế chấp, khiến các vị thế lẽ ra cho phép thanh lý 50% lại bị thanh lý hoàn toàn.
Một lần nữa, đây không hẳn là vấn đề của một công thức quá phức tạp.
Đó là vấn đề về đơn vị đo.
Vì vậy, tôi đang bắt đầu chú ý nhiều hơn đến những thay đổi có vẻ tẻ nhạt này.
Một bản sửa kế toán chỉ một dòng có thể quan trọng hơn cả một tính năng mới hào nhoáng, vì nó quyết định liệu giao thức có đang diễn giải đúng thị trường hay không.
Với TermMax, tôi sẽ theo dõi sát một điều từ đây:
không chỉ hệ thống có bao nhiêu thanh khoản, mà còn việc định giá, định giá tài sản thế chấp và logic thanh lý có đang đọc cùng một thực tại kinh tế hay không.....
Đó là lúc “code chạy được” bắt đầu trở thành “hạ tầng tài chính hoạt động được.”
Bạn thà kiểm toán công thức trước, trạng thái kế toán trước, hay các giả định về oracle/đơn vị trước?....
