Merge pull request #9 from strike-finance/fix/one-side-deposit-vul

add check no side has deposited asset
strike-finance · Nov 3, 2024 · 3eeaf82 · 3eeaf82
2 parents 5283d64 + ec3fed6
commit 3eeaf82
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/.DS_Store b/.DS_Store
diff --git a/validators/collateral.ak b/validators/collateral.ak
@@ -75,8 +75,11 @@ fn one_side_deposit_agreement(
 
   let ref_script_empty = ref_script_empty(output_to_validator)
 
+  let no_side_has_deposited_asset: Bool =
+    !datum.issuer_has_deposited_asset && !datum.obligee_has_deposited_asset
+
   expect
-    stake_credential_is_valid && only_one_validator_input && only_one_validator_output && updated_datum_correct && deadline_not_passed && ref_script_empty
+    stake_credential_is_valid && only_one_validator_input && only_one_validator_output && updated_datum_correct && deadline_not_passed && ref_script_empty && no_side_has_deposited_asset
 
   let strike_is_used_as_collateral: Bool =
     datum.each_party_strike_collateral_asset_amount > 0