| 1 | [ |
| 2 | "autonomous agent", |
| 3 | { |
| 4 | "doc_url": "https://ostable.org/default-decision-engine.json", |
| 5 | "getters": "{ |
| 6 | $get_curve_aa = () => params.curve_aa; |
| 7 | }", |
| 8 | "init": "{ |
| 9 | $curve_aa = params.curve_aa; |
| 10 | $curve_params = definition[$curve_aa][1].params; |
| 11 | |
| 12 | $below_peg_threshold = params.below_peg_threshold OTHERWISE 0.001; |
| 13 | $below_peg_timeout = exists(params.below_peg_timeout) ? params.below_peg_timeout : 12 * 3600; |
| 14 | $min_reserve_delta = params.min_reserve_delta OTHERWISE 1e5; |
| 15 | |
| 16 | $fund_aa = var[$curve_aa]['fund_aa']; |
| 17 | |
| 18 | |
| 19 | $reserve_asset = $curve_params.reserve_asset OTHERWISE 'base'; |
| 20 | $asset1 = var[$curve_aa]['asset1']; |
| 21 | $shares_asset = var[$fund_aa]['shares_asset']; |
| 22 | |
| 23 | $fee = $reserve_asset == 'base' ? 1e4 : 0; |
| 24 | $network_fee = ($reserve_asset == 'base') ? 4000 : 0; |
| 25 | |
| 26 | $get_leverage = () => $curve_params.leverage OTHERWISE 0; |
| 27 | |
| 28 | $get_reserve = ($s1, $s2) => { |
| 29 | $r = $s1^$curve_params.m * $s2^$curve_params.n; |
| 30 | $r |
| 31 | }; |
| 32 | |
| 33 | $get_p2 = ($s1, $s2) => { |
| 34 | $p2 = $s1^$curve_params.m * $curve_params.n * $s2^($curve_params.n-1); |
| 35 | $p2 |
| 36 | }; |
| 37 | |
| 38 | $get_p1 = () => { |
| 39 | $s1 = var[$curve_aa]['supply1']/10^$curve_params.decimals1; |
| 40 | $s2 = var[$curve_aa]['supply2']/10^$curve_params.decimals2; |
| 41 | $p1_in_full_units = $curve_params.m * $s1^($curve_params.m-1) * $s2^$curve_params.n; |
| 42 | $p1_in_smallest_units = $p1_in_full_units * 10^($curve_params.reserve_asset_decimals - $curve_params.decimals1); |
| 43 | $p1_in_smallest_units |
| 44 | }; |
| 45 | |
| 46 | $get_oracles = () => { |
| 47 | $oracles = var[$curve_aa]['oracles']; |
| 48 | if ($oracles) |
| 49 | return $oracles; |
| 50 | $initial_oracles = []; |
| 51 | if ($curve_params.oracle1 AND $curve_params.feed_name1) |
| 52 | $initial_oracles[] = {oracle: $curve_params.oracle1, feed_name: $curve_params.feed_name1, op: $curve_params.op1 OTHERWISE '*'}; |
| 53 | if ($curve_params.oracle2 AND $curve_params.feed_name2) |
| 54 | $initial_oracles[] = {oracle: $curve_params.oracle2, feed_name: $curve_params.feed_name2, op: $curve_params.op2 OTHERWISE '*'}; |
| 55 | if ($curve_params.oracle3 AND $curve_params.feed_name3) |
| 56 | $initial_oracles[] = {oracle: $curve_params.oracle3, feed_name: $curve_params.feed_name3, op: $curve_params.op3 OTHERWISE '*'}; |
| 57 | $initial_oracles |
| 58 | }; |
| 59 | |
| 60 | $get_initial_interest_rate = () => exists($curve_params.interest_rate) ? $curve_params.interest_rate : 0.1; |
| 61 | |
| 62 | $get_interest_rate = () => { |
| 63 | $interest_rate_var = var[$curve_aa]['interest_rate']; |
| 64 | exists($interest_rate_var) ? $interest_rate_var : $get_initial_interest_rate() |
| 65 | }; |
| 66 | |
| 67 | $get_growth_factor = () => { |
| 68 | $interest_rate = $get_interest_rate(); |
| 69 | $term = (timestamp - var[$curve_aa]['rate_update_ts']) / (360 * 24 * 3600); |
| 70 | $growth_factor = var[$curve_aa]['growth_factor'] * (1 + $interest_rate)^$term; |
| 71 | $growth_factor |
| 72 | }; |
| 73 | |
| 74 | $get_oracle_price = () => { |
| 75 | $oracles = $get_oracles(); |
| 76 | $oracle_price = reduce($oracles, 3, ($price, $oracle_info) => { |
| 77 | if (!exists($price)) |
| 78 | return false; |
| 79 | $df = data_feed[[oracles=$oracle_info.oracle, feed_name=$oracle_info.feed_name, ifnone=false]]; |
| 80 | if (!exists($df)) |
| 81 | return false; |
| 82 | ($oracle_info.op == '*') ? $price * $df : $price / $df |
| 83 | }, 1); |
| 84 | $oracle_price |
| 85 | }; |
| 86 | |
| 87 | $get_target_p2 = () => { |
| 88 | $oracle_price = $get_oracle_price(); |
| 89 | if (!exists($oracle_price)) |
| 90 | return false; |
| 91 | $target_p2 = $oracle_price^($get_leverage() - 1) * $get_growth_factor(); |
| 92 | $target_p2 |
| 93 | }; |
| 94 | |
| 95 | $get_distance = ($p2, $target_p2) => (exists($p2) AND exists($target_p2)) ? abs($p2 - $target_p2) / min($p2, $target_p2) : 0; |
| 96 | |
| 97 | $get_exchange_data = () => { |
| 98 | $supply1 = var[$curve_aa]['supply1']; |
| 99 | $supply2 = var[$curve_aa]['supply2']; |
| 100 | $reserve = var[$curve_aa]['reserve']; |
| 101 | |
| 102 | $decimals1 = $curve_params.decimals1; |
| 103 | $decimals2 = $curve_params.decimals2; |
| 104 | $reserve_asset_decimals = $curve_params.reserve_asset_decimals; |
| 105 | |
| 106 | $m = $curve_params.m; |
| 107 | $n = $curve_params.n; |
| 108 | |
| 109 | $data = {}; |
| 110 | |
| 111 | $data.target_p2 = $get_target_p2(); |
| 112 | if (!exists($data.target_p2)) |
| 113 | return $data; |
| 114 | |
| 115 | $s2 = $supply2/10^$decimals2; |
| 116 | |
| 117 | |
| 118 | $target_s1 = ($data.target_p2/$n * $s2^(1-$n))^(1/$m); |
| 119 | $data.tokens1_delta = round($target_s1 * 10^$decimals1) - $supply1; |
| 120 | $data.new_s1 = ($supply1 + $data.tokens1_delta) / 10^$decimals1; |
| 121 | $data.reserve_delta = ceil($get_reserve($data.new_s1, $s2) * 10^$reserve_asset_decimals) - $reserve; |
| 122 | |
| 123 | $reserve_balance = balance[$fund_aa][$reserve_asset]; |
| 124 | if ($data.reserve_delta > $reserve_balance){ |
| 125 | $data.reserve_delta = $reserve_balance - $network_fee - ($reserve_asset == 'base' ? 3000 : 0); |
| 126 | if ($data.reserve_delta <= 0) { |
| 127 | $data.reserve_delta = 0; |
| 128 | $data.tokens1_delta = 0; |
| 129 | $data.new_s1 = $supply1/10^$decimals1; |
| 130 | } |
| 131 | else { |
| 132 | $new_reserve = $reserve + $data.reserve_delta; |
| 133 | $new_r = $new_reserve/10^$reserve_asset_decimals; |
| 134 | $data.new_s1 = ($new_r/$s2^$n)^(1/$m); |
| 135 | $data.tokens1_delta = floor($data.new_s1 * 10^$decimals1) - $supply1; |
| 136 | if ($data.tokens1_delta < 0) |
| 137 | bounce("partial tokens1_delta < 0: " || $data.tokens1_delta); |
| 138 | $data.partial = true; |
| 139 | } |
| 140 | } |
| 141 | |
| 142 | |
| 143 | $data.current_p2 = var[$curve_aa]['p2']; |
| 144 | $distance = $get_distance($data.current_p2, $data.target_p2); |
| 145 | $data.new_p2 = $get_p2($data.new_s1, $s2); |
| 146 | $new_distance = $get_distance($data.new_p2, $data.target_p2); |
| 147 | $reward = floor((1 - $new_distance/$distance) * var[$curve_aa]['fast_capacity']); |
| 148 | $data.reserve_needed = $data.reserve_delta - $reward; |
| 149 | |
| 150 | $data |
| 151 | }; |
| 152 | |
| 153 | $p1 = $get_p1(); |
| 154 | |
| 155 | $get_total_assets = () => { |
| 156 | balance[$fund_aa][$reserve_asset] + $p1 * balance[$fund_aa][$asset1] |
| 157 | }; |
| 158 | |
| 159 | |
| 160 | $redemption = var['redemption']; |
| 161 | |
| 162 | if (trigger.data.to AND !is_valid_address(trigger.data.to)) |
| 163 | bounce("bad to address"); |
| 164 | $to = trigger.data.to OTHERWISE trigger.address; |
| 165 | |
| 166 | }", |
| 167 | "messages": { |
| 168 | "cases": [ |
| 169 | { |
| 170 | "if": "{ $shares_asset AND $curve_params.allow_grants AND trigger.data.grant AND trigger.data.recipient AND trigger.data.amount AND trigger.address == var[$curve_aa]['governance_aa'] }", |
| 171 | "messages": [ |
| 172 | { |
| 173 | "app": "payment", |
| 174 | "payload": { |
| 175 | "asset": "base", |
| 176 | "outputs": [ |
| 177 | { |
| 178 | "address": "{$fund_aa}", |
| 179 | "amount": "{trigger.output[[asset=base]] - 1000}" |
| 180 | } |
| 181 | ] |
| 182 | } |
| 183 | }, |
| 184 | { |
| 185 | "app": "data", |
| 186 | "payload": { |
| 187 | "payments": [ |
| 188 | { |
| 189 | "asset": "{$shares_asset}", |
| 190 | "address": "{trigger.data.recipient}", |
| 191 | "amount": "{trigger.data.amount}" |
| 192 | } |
| 193 | ] |
| 194 | } |
| 195 | } |
| 196 | ] |
| 197 | }, |
| 198 | { |
| 199 | "if": "{ (trigger.data.tx AND trigger.address == $curve_aa) OR trigger.data.act }", |
| 200 | "init": "{ |
| 201 | $below_peg_ts = var['below_peg_ts']; |
| 202 | |
| 203 | $request_data = {payments: []}; |
| 204 | |
| 205 | |
| 206 | if ($redemption){ |
| 207 | if (trigger.address != $curve_aa) |
| 208 | bounce("BUG: redemption is still active"); |
| 209 | $res = trigger.data.tx.res; |
| 210 | $request_data.payments[] = { |
| 211 | asset: $reserve_asset, |
| 212 | address: $redemption.address, |
| 213 | amount: $redemption.reserve_amount - $res.reserve_needed - $network_fee |
| 214 | }; |
| 215 | response['t1_redemption_proceeds'] = -$res.reserve_needed; |
| 216 | } |
| 217 | |
| 218 | $data = $get_exchange_data(); |
| 219 | $below_peg = (exists($data.target_p2) AND $data.current_p2 < $data.target_p2); |
| 220 | $large_below_peg = $below_peg AND ($data.target_p2 - $data.current_p2)/$data.target_p2 >= $below_peg_threshold; |
| 221 | $tokens1 = $data.tokens1_delta; |
| 222 | if ( |
| 223 | !exists($data.target_p2) |
| 224 | OR $below_peg AND $below_peg_timeout AND (!$below_peg_ts OR timestamp < $below_peg_ts + $below_peg_timeout) |
| 225 | OR abs($tokens1) <= 1 |
| 226 | OR abs($data.reserve_delta) < $min_reserve_delta |
| 227 | ){ |
| 228 | |
| 229 | } |
| 230 | else { |
| 231 | $large_below_peg_after = $data.new_p2 < $data.target_p2 AND ($data.target_p2 - $data.new_p2)/$data.target_p2 >= $below_peg_threshold; |
| 232 | |
| 233 | $bFixing = true; |
| 234 | if ($tokens1 > 0){ |
| 235 | $request_data.payments[] = {asset: $reserve_asset, address: $curve_aa, amount: $data.reserve_needed + $network_fee}; |
| 236 | $request_data.forwarded_data = {tokens1: $tokens1}; |
| 237 | } |
| 238 | else if ($tokens1 < 0) |
| 239 | $request_data.payments[] = {asset: $asset1, address: $curve_aa, amount: -$tokens1}; |
| 240 | |
| 241 | if ($reserve_asset != 'base') |
| 242 | $request_data.payments[] = {asset: 'base', address: $curve_aa, amount: 2000}; |
| 243 | } |
| 244 | |
| 245 | $bSending = length($request_data.payments) > 0; |
| 246 | }", |
| 247 | "messages": [ |
| 248 | { |
| 249 | "if": "{$bSending}", |
| 250 | "app": "data", |
| 251 | "payload": "{$request_data}" |
| 252 | }, |
| 253 | { |
| 254 | "if": "{$bSending}", |
| 255 | "app": "payment", |
| 256 | "payload": { |
| 257 | "asset": "base", |
| 258 | "outputs": [ |
| 259 | { |
| 260 | "address": "{$fund_aa}", |
| 261 | "amount": 2000 |
| 262 | } |
| 263 | ] |
| 264 | } |
| 265 | }, |
| 266 | { |
| 267 | "app": "state", |
| 268 | "state": "{ |
| 269 | if ($large_below_peg AND !$below_peg_ts AND $below_peg_timeout) |
| 270 | var['below_peg_ts'] = timestamp; |
| 271 | if ((!$large_below_peg OR $bFixing AND !$large_below_peg_after) AND $below_peg_ts) |
| 272 | var['below_peg_ts'] = false; |
| 273 | if ($redemption) |
| 274 | var['redemption'] = false; |
| 275 | if ($bFixing) |
| 276 | response['message'] = $data.partial ? "DE partially fixed the peg" : "DE fixed the peg"; |
| 277 | else |
| 278 | response['message'] = "DE does not interfere yet"; |
| 279 | }" |
| 280 | } |
| 281 | ] |
| 282 | }, |
| 283 | { |
| 284 | "if": "{ $shares_asset AND trigger.output[[asset=$reserve_asset]] > 0 AND trigger.output[[asset=$shares_asset]] == 0 }", |
| 285 | "init": "{ |
| 286 | if ($redemption) |
| 287 | bounce("BUG: redeeming"); |
| 288 | $received_reserve_amount = trigger.output[[asset=$reserve_asset]] - $fee; |
| 289 | if ($received_reserve_amount <= 0) |
| 290 | bounce("0 contribution"); |
| 291 | |
| 292 | $balance = $get_total_assets(); |
| 293 | |
| 294 | $shares_supply = var[$fund_aa]['shares_supply'] OTHERWISE 0; |
| 295 | if ($shares_supply > 0 AND $balance == 0) |
| 296 | bounce("shares_supply > 0 AND balance == 0"); |
| 297 | $share_price = $shares_supply ? $balance / $shares_supply : 1; |
| 298 | $shares_amount = floor($received_reserve_amount / $share_price); |
| 299 | $request_data = {payments: [{asset: $shares_asset, address: $to, amount: $shares_amount}]}; |
| 300 | |
| 301 | |
| 302 | if (!var[$curve_aa]['supply1'] AND !var[$curve_aa]['supply2'] AND !var[$curve_aa]['reserve']){ |
| 303 | $m = $curve_params.m; |
| 304 | $n = $curve_params.n; |
| 305 | $target_p2 = $get_target_p2() OTHERWISE trigger.data.p2; |
| 306 | |
| 307 | $r = ($received_reserve_amount - $network_fee - 1000) / 10^$curve_params.reserve_asset_decimals; |
| 308 | $s2 = $n * $r / $target_p2; |
| 309 | $s1 = ($r / $s2^$n)^(1/$m); |
| 310 | $tokens2 = floor($s2 * 10^$curve_params.decimals2); |
| 311 | $tokens1 = floor($s1 * 10^$curve_params.decimals1); |
| 312 | $request_data.payments[] = {asset: $reserve_asset, address: $curve_aa, amount: $received_reserve_amount}; |
| 313 | $request_data.forwarded_data = {tokens1: $tokens1, tokens2: $tokens2}; |
| 314 | } |
| 315 | }", |
| 316 | "messages": [ |
| 317 | { |
| 318 | "app": "payment", |
| 319 | "payload": { |
| 320 | "asset": "{$reserve_asset}", |
| 321 | "outputs": [ |
| 322 | { |
| 323 | "address": "{$fund_aa}", |
| 324 | "amount": "{$received_reserve_amount + $fee/2}" |
| 325 | } |
| 326 | ] |
| 327 | } |
| 328 | }, |
| 329 | { |
| 330 | "if": "{$reserve_asset != 'base'}", |
| 331 | "app": "payment", |
| 332 | "payload": { |
| 333 | "asset": "base", |
| 334 | "outputs": [ |
| 335 | { |
| 336 | "address": "{$fund_aa}", |
| 337 | "amount": "{trigger.output[[asset=base]] - 1000}" |
| 338 | } |
| 339 | ] |
| 340 | } |
| 341 | }, |
| 342 | { |
| 343 | "app": "data", |
| 344 | "payload": "{$request_data}" |
| 345 | } |
| 346 | ] |
| 347 | }, |
| 348 | { |
| 349 | "if": "{ $shares_asset AND trigger.output[[asset=$shares_asset]] > 0 }", |
| 350 | "init": "{ |
| 351 | if ($redemption) |
| 352 | bounce("BUG: already redeeming"); |
| 353 | $received_shares_amount = trigger.output[[asset=$shares_asset]]; |
| 354 | $shares_supply = var[$fund_aa]['shares_supply']; |
| 355 | $my_share = $received_shares_amount/$shares_supply; |
| 356 | $reserve_amount = floor($my_share * balance[$fund_aa][$reserve_asset]); |
| 357 | $t1_amount = floor($my_share * balance[$fund_aa][$asset1]); |
| 358 | |
| 359 | $payments = [{asset: $asset1, address: $curve_aa, amount: $t1_amount}]; |
| 360 | }", |
| 361 | "messages": [ |
| 362 | { |
| 363 | "app": "payment", |
| 364 | "payload": { |
| 365 | "asset": "{$shares_asset}", |
| 366 | "outputs": [ |
| 367 | { |
| 368 | "address": "{$fund_aa}", |
| 369 | "amount": "{$received_shares_amount}" |
| 370 | } |
| 371 | ] |
| 372 | } |
| 373 | }, |
| 374 | { |
| 375 | "app": "payment", |
| 376 | "payload": { |
| 377 | "asset": "base", |
| 378 | "outputs": [ |
| 379 | { |
| 380 | "address": "{$fund_aa}", |
| 381 | "amount": "{trigger.output[[asset=base]] - 1000}" |
| 382 | } |
| 383 | ] |
| 384 | } |
| 385 | }, |
| 386 | { |
| 387 | "app": "data", |
| 388 | "payload": { |
| 389 | "payments": "{$payments}", |
| 390 | "forwarded_data": { |
| 391 | "notifyDE": 1 |
| 392 | } |
| 393 | } |
| 394 | }, |
| 395 | { |
| 396 | "app": "state", |
| 397 | "state": "{ |
| 398 | var['redemption'] = { |
| 399 | address: $to, |
| 400 | reserve_amount: $reserve_amount, |
| 401 | t1_amount: $t1_amount, |
| 402 | }; |
| 403 | response['message'] = "started redemption"; |
| 404 | response['redeemed_reserve'] = $reserve_amount; |
| 405 | response['redeemed_t1'] = $t1_amount; |
| 406 | }" |
| 407 | } |
| 408 | ] |
| 409 | } |
| 410 | ] |
| 411 | } |
| 412 | } |
| 413 | ] |