| 1 | [ |
| 2 | "autonomous agent", |
| 3 | { |
| 4 | "init": "{ |
| 5 | $decimals = params.decimals OTHERWISE 2; |
| 6 | |
| 7 | $max_loan_value_in_underlying = params.max_loan_value_in_underlying OTHERWISE 10000; |
| 8 | $overcollateralization_ratio = params.overcollateralization_ratio OTHERWISE 1.5; |
| 9 | $liquidation_ratio = params.liquidation_ratio OTHERWISE 1.3; |
| 10 | $auction_period = params.auction_period OTHERWISE 3600; |
| 11 | $oracle = params.oracle OTHERWISE 'F4KHJUCLJKY4JV7M5F754LAJX4EB7M4N'; |
| 12 | if (params.feed_name AND !params.ma_feed_name OR !params.feed_name AND !params.ma_feed_name) |
| 13 | bounce("both or none of feed names must be specified"); |
| 14 | $feed_name = params.feed_name OTHERWISE 'GBYTE_USD'; |
| 15 | $ma_feed_name = params.ma_feed_name OTHERWISE 'GBYTE_USD_MA'; |
| 16 | $expiry_ts = parse_date(params.expiry_date); |
| 17 | $asset = var['asset']; |
| 18 | $expiry_exchange_rate = var['expiry_exchange_rate']; |
| 19 | $expired = !!$expiry_exchange_rate; |
| 20 | if ($expired) |
| 21 | $insolvent = (balance[base]/1e9 * $expiry_exchange_rate < var['circulating_supply']/10^$decimals); |
| 22 | }", |
| 23 | "messages": { |
| 24 | "cases": [ |
| 25 | { |
| 26 | "if": "{ trigger.data.define AND !$asset }", |
| 27 | "messages": [ |
| 28 | { |
| 29 | "app": "asset", |
| 30 | "payload": { |
| 31 | "is_private": false, |
| 32 | "is_transferrable": true, |
| 33 | "auto_destroy": false, |
| 34 | "fixed_denominations": false, |
| 35 | "issued_by_definer_only": true, |
| 36 | "cosigned_by_definer": false, |
| 37 | "spender_attested": false |
| 38 | } |
| 39 | }, |
| 40 | { |
| 41 | "app": "state", |
| 42 | "state": "{ |
| 43 | var['asset'] = response_unit; |
| 44 | response['asset'] = response_unit; |
| 45 | }" |
| 46 | } |
| 47 | ] |
| 48 | }, |
| 49 | { |
| 50 | "if": "{trigger.data.repay AND trigger.data.id AND $asset AND trigger.output[[asset=$asset]] > 0}", |
| 51 | "init": "{ |
| 52 | $id = trigger.data.id; |
| 53 | if (var[$id || '_owner'] != trigger.address) |
| 54 | bounce('you are not the owner'); |
| 55 | if (var[$id || '_repaid']) |
| 56 | bounce('already repaid'); |
| 57 | if (var[$id || '_winner']) |
| 58 | bounce("the loan is currently on auction"); |
| 59 | $amount = var[$id || '_amount']; |
| 60 | if (trigger.output[[asset=$asset]] < $amount) |
| 61 | bounce('you sent less than the loan amount'); |
| 62 | $change = trigger.output[[asset=$asset]] - $amount; |
| 63 | $exchange_rate = $expired ? $expiry_exchange_rate : data_feed[[oracles=$oracle, feed_name=$ma_feed_name]]; |
| 64 | $collateral = var[$id || '_collateral']; |
| 65 | $due_in_bytes = $amount/10^$decimals / $exchange_rate * 1e9; |
| 66 | $min_collateral = round($due_in_bytes * $liquidation_ratio); |
| 67 | if ($collateral < $min_collateral) |
| 68 | bounce("the loan is not sufficiently collateralized"); |
| 69 | }", |
| 70 | "messages": [ |
| 71 | { |
| 72 | "app": "payment", |
| 73 | "payload": { |
| 74 | "asset": "base", |
| 75 | "outputs": [ |
| 76 | { |
| 77 | "address": "{trigger.address}", |
| 78 | "amount": "{ var[$id || '_collateral'] }" |
| 79 | } |
| 80 | ] |
| 81 | } |
| 82 | }, |
| 83 | { |
| 84 | "app": "payment", |
| 85 | "payload": { |
| 86 | "asset": "{$asset}", |
| 87 | "outputs": [ |
| 88 | { |
| 89 | "address": "{trigger.address}", |
| 90 | "amount": "{ $change }" |
| 91 | } |
| 92 | ] |
| 93 | } |
| 94 | }, |
| 95 | { |
| 96 | "app": "state", |
| 97 | "state": "{ |
| 98 | var[$id || '_repaid'] = 1; |
| 99 | var['circulating_supply'] -= trigger.output[[asset=$asset]]; |
| 100 | }" |
| 101 | } |
| 102 | ] |
| 103 | }, |
| 104 | { |
| 105 | "if": "{trigger.data.add_collateral AND trigger.data.id AND $asset AND trigger.output[[asset=base]] >= 1e5}", |
| 106 | "init": "{ |
| 107 | $id = trigger.data.id; |
| 108 | if (var[$id || '_owner'] != trigger.address) |
| 109 | bounce('you are not the owner'); |
| 110 | if (var[$id || '_repaid']) |
| 111 | bounce('already repaid'); |
| 112 | }", |
| 113 | "messages": [ |
| 114 | { |
| 115 | "app": "state", |
| 116 | "state": "{ |
| 117 | var[$id || '_collateral'] += trigger.output[[asset=base]]; |
| 118 | response['collateral'] = var[$id || '_collateral']; |
| 119 | }" |
| 120 | } |
| 121 | ] |
| 122 | }, |
| 123 | { |
| 124 | "if": "{ trigger.data.seize AND trigger.data.id AND $asset }", |
| 125 | "init": "{ |
| 126 | $id = trigger.data.id; |
| 127 | if (var[$id || '_repaid']) |
| 128 | bounce('already repaid'); |
| 129 | $amount = var[$id || '_amount']; |
| 130 | if (!$amount) |
| 131 | bounce('no such loan'); |
| 132 | $exchange_rate = $expired ? $expiry_exchange_rate : data_feed[[oracles=$oracle, feed_name=$ma_feed_name]]; |
| 133 | $collateral = var[$id || '_collateral']; |
| 134 | $due_in_bytes = $amount/10^$decimals / $exchange_rate * 1e9; |
| 135 | $min_collateral = round($due_in_bytes * $liquidation_ratio); |
| 136 | $opening_collateral = round($due_in_bytes * $overcollateralization_ratio); |
| 137 | |
| 138 | if ($collateral >= $min_collateral AND trigger.address != var[$id || '_owner']) |
| 139 | bounce("the loan is sufficiently collateralized, you can't seize it"); |
| 140 | $missing_collateral = $opening_collateral - $collateral; |
| 141 | if (trigger.output[[asset=base]] < $missing_collateral) |
| 142 | bounce('you sent less than the missing collateral'); |
| 143 | $auction_end_ts = var[$id || '_auction_end_ts']; |
| 144 | if ($auction_end_ts){ |
| 145 | if (timestamp > $auction_end_ts) |
| 146 | bounce('auction already expired'); |
| 147 | $current_winner_bid = var[$id || '_winner_bid']; |
| 148 | if (trigger.output[[asset=base]] <= $current_winner_bid) |
| 149 | bounce('your bid is less than the current winner'); |
| 150 | if (trigger.output[[asset=base]] < 1.01*$current_winner_bid) |
| 151 | bounce('your bid must be at least 1% better than the current winner'); |
| 152 | $current_winner = var[$id || '_winner']; |
| 153 | |
| 154 | $bRefundToCurrentWinner = !is_aa($current_winner); |
| 155 | } |
| 156 | }", |
| 157 | "messages": [ |
| 158 | { |
| 159 | "if": "{$bRefundToCurrentWinner}", |
| 160 | "app": "payment", |
| 161 | "payload": { |
| 162 | "asset": "base", |
| 163 | "outputs": [ |
| 164 | { |
| 165 | "address": "{$current_winner}", |
| 166 | "amount": "{ $current_winner_bid - 1000 }" |
| 167 | } |
| 168 | ] |
| 169 | } |
| 170 | }, |
| 171 | { |
| 172 | "app": "state", |
| 173 | "state": "{ |
| 174 | if ($current_winner AND !$bRefundToCurrentWinner) |
| 175 | var['balance_' || $current_winner] += $current_winner_bid; |
| 176 | var[$id || '_auction_end_ts'] = timestamp + $auction_period; |
| 177 | var[$id || '_winner'] = trigger.address; |
| 178 | var[$id || '_winner_bid'] = trigger.output[[asset=base]]; |
| 179 | response['new_bid'] = trigger.output[[asset=base]]; |
| 180 | response['id'] = $id; |
| 181 | }" |
| 182 | } |
| 183 | ] |
| 184 | }, |
| 185 | { |
| 186 | "if": "{ trigger.data.end_auction AND trigger.data.id AND $asset }", |
| 187 | "init": "{ |
| 188 | $id = trigger.data.id; |
| 189 | if (var[$id || '_repaid']) |
| 190 | bounce('already repaid'); |
| 191 | $auction_end_ts = var[$id || '_auction_end_ts']; |
| 192 | if (!$auction_end_ts) |
| 193 | bounce('not on auction'); |
| 194 | if (timestamp < $auction_end_ts) |
| 195 | bounce('auction still under way'); |
| 196 | $winner_bid = var[$id || '_winner_bid']; |
| 197 | $winner = var[$id || '_winner']; |
| 198 | $owner = var[$id || '_owner']; |
| 199 | $collateral = var[$id || '_collateral']; |
| 200 | $amount = var[$id || '_amount']; |
| 201 | $exchange_rate = $expired ? $expiry_exchange_rate : data_feed[[oracles=$oracle, feed_name=$ma_feed_name]]; |
| 202 | $due_in_bytes = $amount/10^$decimals / $exchange_rate * 1e9; |
| 203 | $min_collateral = round($due_in_bytes * $liquidation_ratio); |
| 204 | $bHealthy = ($collateral >= $min_collateral); |
| 205 | if ($bHealthy){ |
| 206 | $bRefundToWinner = !is_aa($winner); |
| 207 | return; |
| 208 | } |
| 209 | |
| 210 | |
| 211 | if ($winner == $owner) |
| 212 | $new_collateral = $collateral + $winner_bid; |
| 213 | else{ |
| 214 | $opening_collateral = round($due_in_bytes * $overcollateralization_ratio); |
| 215 | $new_collateral = min($opening_collateral, $collateral + $winner_bid); |
| 216 | } |
| 217 | }", |
| 218 | "messages": [ |
| 219 | { |
| 220 | "if": "{$bHealthy AND $bRefundToWinner}", |
| 221 | "app": "payment", |
| 222 | "payload": { |
| 223 | "asset": "base", |
| 224 | "outputs": [ |
| 225 | { |
| 226 | "address": "{$winner}", |
| 227 | "amount": "{ $winner_bid - 1000 }" |
| 228 | } |
| 229 | ] |
| 230 | } |
| 231 | }, |
| 232 | { |
| 233 | "app": "state", |
| 234 | "state": "{ |
| 235 | var[$id || '_auction_end_ts'] = false; |
| 236 | var[$id || '_winner'] = false; |
| 237 | var[$id || '_winner_bid'] = false; |
| 238 | if (!$bHealthy) { |
| 239 | var[$id || '_owner'] = $winner; |
| 240 | var[$id || '_collateral'] = $new_collateral; |
| 241 | response['new_owner'] = $winner; |
| 242 | response['new_collateral'] = $new_collateral; |
| 243 | response['id'] = $id; |
| 244 | } |
| 245 | else { |
| 246 | if (!$bRefundToWinner) |
| 247 | var['balance_' || $winner] += $winner_bid; |
| 248 | } |
| 249 | }" |
| 250 | } |
| 251 | ] |
| 252 | }, |
| 253 | { |
| 254 | "if": "{trigger.data.withdraw}", |
| 255 | "init": "{ |
| 256 | $key = 'balance_' || trigger.address; |
| 257 | $balance = var[$key] + 0; |
| 258 | if ($balance <= 0) |
| 259 | bounce("you have no balance"); |
| 260 | if (trigger.data.to){ |
| 261 | if (!is_valid_address(trigger.data.to)) |
| 262 | bounce("invalid withdrawal address: " || trigger.data.to); |
| 263 | $address = trigger.data.to; |
| 264 | } |
| 265 | else |
| 266 | $address = trigger.address; |
| 267 | $amount = trigger.data.amount OTHERWISE $balance; |
| 268 | if ($amount > $balance) |
| 269 | bounce("withdrawal amount too large, balance: " || $balance); |
| 270 | }", |
| 271 | "messages": [ |
| 272 | { |
| 273 | "app": "payment", |
| 274 | "payload": { |
| 275 | "asset": "base", |
| 276 | "outputs": [ |
| 277 | { |
| 278 | "address": "{$address}", |
| 279 | "amount": "{$amount}" |
| 280 | } |
| 281 | ] |
| 282 | } |
| 283 | }, |
| 284 | { |
| 285 | "app": "state", |
| 286 | "state": "{ |
| 287 | var[$key] -= $amount; |
| 288 | response[$address] = -$amount; |
| 289 | }" |
| 290 | } |
| 291 | ] |
| 292 | }, |
| 293 | { |
| 294 | "if": "{ trigger.data.expire AND $asset AND !$expired AND timestamp > $expiry_ts }", |
| 295 | "messages": [ |
| 296 | { |
| 297 | "app": "state", |
| 298 | "state": "{ |
| 299 | $exchange_rate_last = data_feed[[oracles=$oracle, feed_name=$feed_name]]; |
| 300 | $exchange_rate_ma = data_feed[[oracles=$oracle, feed_name=$ma_feed_name]]; |
| 301 | if (abs($exchange_rate_last - $exchange_rate_ma) > 0.05 * $exchange_rate_ma) |
| 302 | bounce('recent price changes are too fast'); |
| 303 | if (balance[base]/1e9 * min($exchange_rate_ma, $exchange_rate_last) < var['circulating_supply']/10^$decimals * $liquidation_ratio) |
| 304 | bounce("undercollateralized"); |
| 305 | var['expiry_exchange_rate'] = $exchange_rate_last; |
| 306 | response['expiry_exchange_rate'] = $exchange_rate_last; |
| 307 | }" |
| 308 | } |
| 309 | ] |
| 310 | }, |
| 311 | { |
| 312 | "if": "{ $asset AND trigger.output[[asset=$asset]] > 0 AND !$insolvent AND $expired }", |
| 313 | "init": "{ |
| 314 | $asset_amount = trigger.output[[asset=$asset]]; |
| 315 | $underlying_amount = $amount / 10^$decimals; |
| 316 | $gb_amount = $underlying_amount / $expiry_exchange_rate; |
| 317 | $bytes_amount = round($gb_amount * 1e9); |
| 318 | }", |
| 319 | "messages": [ |
| 320 | { |
| 321 | "app": "payment", |
| 322 | "payload": { |
| 323 | "asset": "base", |
| 324 | "outputs": [ |
| 325 | { |
| 326 | "address": "{trigger.address}", |
| 327 | "amount": "{ $bytes_amount }" |
| 328 | } |
| 329 | ] |
| 330 | } |
| 331 | }, |
| 332 | { |
| 333 | "app": "state", |
| 334 | "state": "{ |
| 335 | var['circulating_supply'] -= $asset_amount; |
| 336 | }" |
| 337 | } |
| 338 | ] |
| 339 | }, |
| 340 | { |
| 341 | "if": "{ $asset AND trigger.output[[asset=base]] >= 1e5 AND $expired }", |
| 342 | "init": "{ |
| 343 | $bytes_amount = trigger.output[[asset=base]] - 1000; |
| 344 | $gb_amount = $amount / 1e9; |
| 345 | $underlying_amount = $gb_amount * $expiry_exchange_rate; |
| 346 | $asset_amount = round($underlying_amount * 10^$decimals); |
| 347 | }", |
| 348 | "messages": [ |
| 349 | { |
| 350 | "app": "payment", |
| 351 | "payload": { |
| 352 | "asset": "{$asset}", |
| 353 | "outputs": [ |
| 354 | { |
| 355 | "address": "{trigger.address}", |
| 356 | "amount": "{ $asset_amount }" |
| 357 | } |
| 358 | ] |
| 359 | } |
| 360 | }, |
| 361 | { |
| 362 | "app": "state", |
| 363 | "state": "{ |
| 364 | var['circulating_supply'] += $asset_amount; |
| 365 | }" |
| 366 | } |
| 367 | ] |
| 368 | }, |
| 369 | { |
| 370 | "if": "{ trigger.output[[asset=base]] >= 1e5 AND $asset AND !$expired }", |
| 371 | "init": "{ |
| 372 | $exchange_rate = data_feed[[oracles=$oracle, feed_name=$feed_name]]; |
| 373 | $underlying_value = trigger.output[[asset=base]] / 1e9 * $exchange_rate; |
| 374 | $loan_value = $underlying_value / $overcollateralization_ratio; |
| 375 | if ($loan_value > $max_loan_value_in_underlying) |
| 376 | bounce('loan would be too large, please split it'); |
| 377 | $loan_value_in_asset = round($loan_value * 10^$decimals); |
| 378 | }", |
| 379 | "messages": [ |
| 380 | { |
| 381 | "app": "payment", |
| 382 | "payload": { |
| 383 | "asset": "{$asset}", |
| 384 | "outputs": [ |
| 385 | { |
| 386 | "address": "{trigger.address}", |
| 387 | "amount": "{ $loan_value_in_asset }" |
| 388 | } |
| 389 | ] |
| 390 | } |
| 391 | }, |
| 392 | { |
| 393 | "app": "state", |
| 394 | "state": "{ |
| 395 | var[response_unit || '_owner'] = trigger.address; |
| 396 | var[response_unit || '_collateral'] = trigger.output[[asset=base]]; |
| 397 | var[response_unit || '_amount'] = $loan_value_in_asset; |
| 398 | var['circulating_supply'] += $loan_value_in_asset; |
| 399 | response['amount'] = $loan_value_in_asset; |
| 400 | response['id'] = response_unit; |
| 401 | }" |
| 402 | } |
| 403 | ] |
| 404 | } |
| 405 | ] |
| 406 | } |
| 407 | } |
| 408 | ] |