Ви можете використовувати систему типів Move, щоб зробити фінансові смарт-контракти безпечнішими, оскільки вона розглядає активи як * ресурси*, щодо яких сам компілятор застосовує суворі правила. Це дає вам захист ще до розгортання контракту.

Система єлінійною, що означає, що такі ресурси, як токени, позиції чи застава, не можуть бути скопійовані або викинуті випадково. Наприклад, якщо ви визначаєте маркер як resource (struct Coin has key, store), компілятор не дозволить вам дублювати його або забути правильно обробляти його. Це безпосередньо блокує поширені проблеми, такі як подвійне витрачання або втрата активів під час переказів.

Ви також отримуєвбудовані огорожі проти повторного входу та неправильного використання. Оскільки кожен ресурс повинен бути явно переданий, переміщений або знищений, складніше писати функції, які ненавмисно виявляють вразливості. Це зміщує багато перевірок безпеки під час виконання на виконання під час компіляції.

Ще однією великою перевагою є** кодування фінансових інваріантів безпосередньо в типах**. Ви можете визначити в логіці смарт-контракту, що застава завжди повинна бути більшою за борг, або що токен позики не може існувати без відповідного застави. Оскільки ці умови живуть всередині абстракцій, безпечних для типу, ви менше покладаєтесь на розсіяні ifперевірки та зменшуєте ймовірність помилок під час виконання.

Це робить ваші фінансові контракти менш схильними до помилок, більш передбачуваними та легшими для аудиту, оскільки багато критичних гарантій виконуються самою мовою, а не зовнішніми процесами.

Ви можете покластися на систему типу Move, щоб зробити фінансові смарт-контракти безпечнішими, оскільки вона розглядає активи як ресурси, які неможливо скопіювати або викинути помилково. Це означає, що такі проблеми, як подвійне витрачання, повторне входження або втрата коштів, зупиняються ще до запуску коду. Коли ви проектуєте токени, заставу або борг як ресурси, компілятор застосовує правила, тому вам не потрібно залежати лише від перевірок виконання. Ви також можете вбудувати власні правила безпосередньо в коді, наприклад, переконатися, що застава завжди покриває борг, а мова допоможе автоматично їх виконувати. Такий підхід зменшує людські помилки, зміцнює безпеку та зберігає логіку вашого контракту чистою з самого початку.

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;
}