Bạn có thể sử dụng hệ thống loại của Move để làm cho các hợp đồng thông minh tài chính an toàn hơn vì nó coi tài sản là * tài nguyên mà chính trình biên dịch thực thi các quy tắc nghiêm ngặt. Điều này cung cấp cho bạn sự bảo vệ trước khi hợp đồng được triển khai.

Hệ thống làtuyến tính, có nghĩa là các tài nguyên như mã thông báo, vị thế hoặc tài sản thế chấp không thể bị sao chép hoặc loại bỏ vô tình. Ví dụ: nếu bạn định nghĩa mã thông báo là một resource (struct Coin has key, store), trình biên dịch sẽ không cho phép bạn sao chép nó hoặc quên xử lý nó đúng cách. Điều đó trực tiếp ngăn chặn các vấn đề phổ biến như chi tiêu gấp đôi hoặc mất tài sản trong quá trình chuyển khoản.

Bạn cũng có được** lan can tích hợp để chống lại sự tái nhập cảnh và lạm dụng**. Vì mọi tài nguyên phải được truyền, di chuyển hoặc phá hủy một cách rõ ràng, nên việc viết các hàm vô tình phơi bày các lỗ hổng sẽ khó khăn hơn. Điều này chuyển nhiều kiểm tra an toàn thời gian chạy sang thực thi thời gian biên dịch.

Một lợi thế lớn khác là** mã hóa các bất biến tài chính trực tiếp theo các loại**. Bạn có thể xác định trong logic hợp đồng thông minh rằng tài sản thế chấp luôn cần phải lớn hơn nợ hoặc mã thông báo cho vay không thể tồn tại nếu không có tài sản thế chấp phù hợp. Bởi vì những điều kiện này tồn tại bên trong các trừu tượng an toàn kiểu, bạn ít dựa vào các ifkiểm tra phân tán hơn và giảm khả năng xảy ra lỗi thời gian chạy.

Điều này làm cho các hợp đồng tài chính của bạn ít bị lỗi hơn, dễ dự đoán hơn và dễ kiểm toán hơn, vì nhiều đảm bảo quan trọng được thực thi bởi chính ngôn ngữ thay vì các quy trình bên ngoài.

Bạn có thể dựa vào hệ thống loại hình của Move để làm cho các hợp đồng tài chính thông minh an toàn hơn vì nó coi tài sản là tài nguyên không thể sao chép hoặc vứt đi do nhầm lẫn. Điều này có nghĩa là các vấn đề như chi tiêu gấp đôi, khai thác tái nhập cảnh hoặc tiền bị mất sẽ dừng lại trước khi mã chạy. Khi bạn thiết kế mã thông báo, tài sản thế chấp hoặc nợ làm tài nguyên, trình biên dịch sẽ thực thi các quy tắc để bạn không cần phải chỉ phụ thuộc vào kiểm tra thời gian chạy. Bạn cũng có thể xây dựng các quy tắc của riêng mình trực tiếp vào mã, chẳng hạn như đảm bảo tài sản thế chấp luôn bao gồm nợ và ngôn ngữ sẽ giúp thực thi chúng một cách tự động. Cách tiếp cận này giúp giảm lỗi của con người, tăng cường bảo mật và giữ cho logic hợp đồng của bạn sạch sẽ ngay từ đầu.

struct Collateral has key, store {
    amount: u64,
}
struct Debt has key, store {
    amount: u64,
}

// Example: enforce that collateral >= debt before borrowing
public fun borrow(collateral: &Collateral, debt: &mut Debt, amount: u64) {
    assert!(collateral.amount >= debt.amount + amount, 0);
    debt.amount = debt.amount + amount;
}