[ "autonomous agent", { "doc_url": "https://odex.ooo/odex.json", "messages": { "cases": [ { "if": "{ trigger.data.withdraw AND trigger.data.asset AND trigger.data.amount AND trigger.output[[asset=base]] >= 10000 }", "init": "{ if (trigger.data.to){ if (!is_valid_address(trigger.data.to)) bounce("invalid withdrawal address: " || trigger.data.to); $address = trigger.data.to; // authorized address can initiate withdrawals in favor of the owner $owner_address = var['grant_' || $address || '_to_' || trigger.address] ? $address : trigger.address; } else { $address = trigger.address; $owner_address = trigger.address; } $key = 'balance_' || $owner_address || '_' || trigger.data.asset; $balance = var[$key] + 0; if (trigger.data.amount == 'all') $amount = $balance; else if (trigger.data.amount > $balance) bounce("withdrawal amount too large, balance: " || $balance); else $amount = trigger.data.amount; }", "messages": [ { "app": "payment", "payload": { "asset": "{trigger.data.asset}", "outputs": [ { "address": "{$address}", "amount": "{$amount}" } ] } }, { "app": "state", "state": "{ var[$key] -= $amount; response[$owner_address || '_' || trigger.data.asset] = -$amount; response['event'] = 'withdrawal'; }" } ] }, { "if": "{ $order1 = trigger.data.order1.signed_message; $order2 = trigger.data.order2.signed_message; if (!$order1.sell_asset OR !$order2.sell_asset) return false; if ($order1.sell_asset != $order2.buy_asset OR $order1.buy_asset != $order2.sell_asset) bounce('assets do not match'); if ($order1.sell_asset == $order1.buy_asset) bounce('same asset'); if ($order1.matcher != trigger.address) bounce('wrong matcher in order1'); if ($order2.matcher != trigger.address) bounce('wrong matcher in order2'); if ($order1.aa != this_address) bounce('wrong aa in order1'); if ($order2.aa != this_address) bounce('wrong aa in order2'); if ($order1.expiry_ts AND $order1.expiry_ts <= timestamp) bounce("order1 expired"); if ($order2.expiry_ts AND $order2.expiry_ts <= timestamp) bounce("order2 expired"); $sell_key1 = 'balance_' || $order1.address || '_' || $order1.sell_asset; $sell_key2 = 'balance_' || $order2.address || '_' || $order2.sell_asset; $id1 = sha256($order1.address || $order1.sell_asset || $order1.buy_asset || $order1.sell_amount || $order1.price || ($order1.nonce otherwise '') || (trigger.data.order1.last_ball_unit otherwise '-')); $id2 = sha256($order2.address || $order2.sell_asset || $order2.buy_asset || $order2.sell_amount || $order2.price || ($order2.nonce otherwise '') || (trigger.data.order2.last_ball_unit otherwise '-')); if (var['executed_' || $id1]) bounce('order1 already executed'); if (var['executed_' || $id2]) bounce('order2 already executed'); if (var['cancelled_' || $id1]) bounce('order1 already cancelled'); if (var['cancelled_' || $id2]) bounce('order2 already cancelled'); $amount_left1 = var['amount_left_' || $id1] otherwise $order1.sell_amount; $amount_left2 = var['amount_left_' || $id2] otherwise $order2.sell_amount; // check balances if ($amount_left1 > var[$sell_key1] + 0) bounce('not sufficient balance in sell asset to complete order1'); if ($amount_left2 > var[$sell_key2] + 0) bounce('not sufficient balance in sell asset to complete order2'); // check if prices match $maker_price = $order1.price; $buy_amount1 = round($amount_left1 * $order1.price); if ($buy_amount1 > $amount_left2){ // order2 is the smaller one $order_smaller = $order2; $order_larger = $order1; $id_smaller = $id2; $id_larger = $id1; $amount_left_smaller = $amount_left2; $amount_left_larger = $amount_left1; $buy_amount2 = round($amount_left2 / $maker_price); // using maker price instead of our $order2.price $buy_amount_smaller = $buy_amount2; $amount_sold2 = $amount_left2; $amount_sold1 = $buy_amount2; } else{ // order1 is the smaller one $order_smaller = $order1; $order_larger = $order2; $id_smaller = $id1; $id_larger = $id2; $amount_left_smaller = $amount_left1; $amount_left_larger = $amount_left2; $buy_amount_smaller = $buy_amount1; $amount_sold1 = $amount_left1; $amount_sold2 = $buy_amount1; } // if $order1.price * $order2.price > 1 then you can make a profit by going through two opposite trades or being on both sides of a single trade. This is only possible for market-maker orders, which are not matched. // order of multiplication is important as it can affect rounding errors if (round($amount_left_smaller * ($order1.price * $order2.price)) > $amount_left_smaller) bounce("price mismatch"); $expected_buy_amount_larger = round(($buy_amount_smaller-1) * $order_larger.price); // -1 to account for rounding errors if ($expected_buy_amount_larger > $amount_left_smaller) bounce("price mismatch: larger user " || $id_larger || " doesn't like the price, he gets less than expects: " || $amount_left_smaller || " < " || $expected_buy_amount_larger || ", amounts left: " || $amount_left1 || ", " || $amount_left2); // matcher fees $max_matcher_fee1 = round($order1.matcher_fee * $amount_sold1/$order1.sell_amount); $max_matcher_fee2 = round($order2.matcher_fee * $amount_sold2/$order2.sell_amount); $matcher_fee1 = (!exists(trigger.data.matcher_fee1) OR trigger.data.matcher_fee1 == 'default') ? $max_matcher_fee1 : trigger.data.matcher_fee1; $matcher_fee2 = (!exists(trigger.data.matcher_fee2) OR trigger.data.matcher_fee2 == 'default') ? $max_matcher_fee2 : trigger.data.matcher_fee2; // the formula will fail if matcher_fee1/matcher_fee2 is not a number if ($matcher_fee1 > $max_matcher_fee1) bounce('matcher_fee1 is too large'); if ($matcher_fee2 > $max_matcher_fee2) bounce('matcher_fee2 is too large'); // affiliates if ($order1.affiliate){ if (!$order1.affiliate_fee_asset) bounce('no affiliate_fee_asset in order1'); if ($order1.affiliate_fee < 0) // will error if none or not a number bounce('affiliate_fee < 0 in order1'); $affiliate_fee1 = round($order1.affiliate_fee * $amount_sold1/$order1.sell_amount); } if ($order2.affiliate){ if (!$order2.affiliate_fee_asset) bounce('no affiliate_fee_asset in order2'); if ($order2.affiliate_fee < 0) // will error if none or not a number bounce('affiliate_fee < 0 in order2'); $affiliate_fee2 = round($order2.affiliate_fee * $amount_sold2/$order2.sell_amount); } $signer1 = trigger.data.order1.authors[0].address; $signer2 = trigger.data.order2.authors[0].address; if ($signer1 != $order1.address AND !var['grant_' || $order1.address || '_to_' || $signer1]) bounce("order1 signer was not authorized to sign"); if ($signer2 != $order2.address AND !var['grant_' || $order2.address || '_to_' || $signer2]) bounce("order2 signer was not authorized to sign"); if (!is_valid_signed_package(trigger.data.order1, $signer1)) bounce('bad signature of order1'); if (!is_valid_signed_package(trigger.data.order2, $signer2)) bounce('bad signature of order2'); true }", "messages": [ { "app": "state", "state": "{ $buy_key1 = 'balance_' || $order1.address || '_' || $order1.buy_asset; $buy_key2 = 'balance_' || $order2.address || '_' || $order2.buy_asset; var[$sell_key1] -= $amount_sold1; var[$sell_key2] -= $amount_sold2; var[$buy_key1] += $amount_sold2; var[$buy_key2] += $amount_sold1; // matcher fees $matcher_fee_user_key1 = 'balance_' || $order1.address || '_' || $order1.matcher_fee_asset; $matcher_fee_user_key2 = 'balance_' || $order2.address || '_' || $order2.matcher_fee_asset; $matcher_fee_matcher_key1 = 'balance_' || $order1.matcher || '_' || $order1.matcher_fee_asset; $matcher_fee_matcher_key2 = 'balance_' || $order2.matcher || '_' || $order2.matcher_fee_asset; var[$matcher_fee_matcher_key1] += $matcher_fee1; var[$matcher_fee_matcher_key2] += $matcher_fee2; var[$matcher_fee_user_key1] -= $matcher_fee1; var[$matcher_fee_user_key2] -= $matcher_fee2; if (var[$matcher_fee_user_key1] < 0) bounce("not enough user1 balance for matcher fees"); if (var[$matcher_fee_user_key2] < 0) bounce("not enough user2 balance for matcher fees"); // fees can be negative if (var[$matcher_fee_matcher_key1] < 0) bounce("not enough matcher order1.matcher_fee_asset balance for matcher fees"); if (var[$matcher_fee_matcher_key2] < 0) bounce("not enough matcher order2.matcher_fee_asset balance for matcher fees"); // affiliate fees if ($order1.affiliate AND $affiliate_fee1){ $affiliate_fee_user_key1 = 'balance_' || $order1.address || '_' || $order1.affiliate_fee_asset; $affiliate_fee_affiliate_key1 = 'balance_' || $order1.affiliate || '_' || $order1.affiliate_fee_asset; var[$affiliate_fee_user_key1] -= $affiliate_fee1; var[$affiliate_fee_affiliate_key1] += $affiliate_fee1; if (var[$affiliate_fee_user_key1] < 0) bounce("not enough user1 balance for affiliate fees"); } if ($order2.affiliate AND $affiliate_fee2){ $affiliate_fee_user_key2 = 'balance_' || $order2.address || '_' || $order2.affiliate_fee_asset; $affiliate_fee_affiliate_key2 = 'balance_' || $order2.affiliate || '_' || $order2.affiliate_fee_asset; var[$affiliate_fee_user_key2] -= $affiliate_fee2; var[$affiliate_fee_affiliate_key2] += $affiliate_fee2; if (var[$affiliate_fee_user_key2] < 0) bounce("not enough user2 balance for affiliate fees"); } // AA fees $aa_fee = 1000; $base_key1 = 'balance_' || $order1.address || '_base'; $base_key2 = 'balance_' || $order2.address || '_base'; var[$base_key1] -= $aa_fee; var[$base_key2] -= $aa_fee; if (var[$base_key1] < 0 OR var[$base_key2] < 0) bounce('not enough balance for AA fees'); // refund the matcher for bounce fees var['balance_' || trigger.address || '_base'] += trigger.output[[asset=base]]; // update order states var['executed_' || $id_smaller] = 1; var['amount_left_' || $id_smaller] = false; response['executed_' || $id_smaller] = 1; $new_amount_left_larger = $amount_left_larger - $buy_amount_smaller; if ($new_amount_left_larger < 0) bounce("panic: new_amount_left_larger < 0"); if ($new_amount_left_larger){ var['amount_left_' || $id_larger] = $new_amount_left_larger; response['amount_left_' || $id_larger] = $new_amount_left_larger; } else{ var['executed_' || $id_larger] = 1; var['amount_left_' || $id_larger] = false; response['executed_' || $id_larger] = 1; } // parsable response for transaction log if ($order1.address != $order2.address){ response[$order1.address || '_' || $order1.sell_asset] = -$amount_sold1; response[$order2.address || '_' || $order2.buy_asset] = $amount_sold1; response[$order1.address || '_' || $order1.buy_asset] = $amount_sold2; response[$order2.address || '_' || $order2.sell_asset] = -$amount_sold2; } else{ // self-match response[$order1.address || '_' || $order1.sell_asset] = 0; response[$order1.address || '_' || $order1.buy_asset] = 0; } response['amount_' || $order1.sell_asset] = $amount_sold1; response['amount_' || $order1.buy_asset] = $amount_sold2; response['event'] = 'trade'; }" } ] }, { "if": "{trigger.data.cancel AND trigger.data.order}", "init": "{ $order = trigger.data.order.signed_message; if (!$order.sell_asset OR !$order.buy_asset OR !$order.sell_amount OR !$order.price OR !$order.address OR !$order.matcher) bounce("missing data in order"); if ($order.address != trigger.address AND !var['grant_' || $order.address || '_to_' || trigger.address]) bounce('not your order'); if ($order.aa != this_address) bounce('wrong aa in order'); if ($order.expiry_ts AND $order.expiry_ts <= timestamp) bounce("order expired"); $id = sha256($order.address || $order.sell_asset || $order.buy_asset || $order.sell_amount || $order.price || ($order.nonce otherwise '') || trigger.data.order.last_ball_unit); if (var['executed_' || $id]) bounce('order already executed'); $signer = trigger.data.order.authors[0].address; if ($signer != $order.address AND !var['grant_' || $order.address || '_to_' || $signer]) bounce("order signer was not authorized to sign"); if (!is_valid_signed_package(trigger.data.order, $signer)) bounce('bad signature of order'); }", "messages": [ { "app": "state", "state": "{ var['cancelled_' || $id] = 1; response['message'] = 'cancelled order ' || $id; response['id'] = $id; response['event'] = 'cancel'; $cancel_fee = 1000; $key = 'balance_' || $order.address || '_base'; var[$key] += trigger.output[[asset=base]] - $cancel_fee; if (var[$key] < 0) // received funds can be less than bounce fees if received from an AA bounce("balance would drop below 0"); }" } ] }, { "if": "{ trigger.data.revoke AND trigger.data.address AND trigger.output[[asset=base]] >= 10000 }", "init": "{ if (!is_valid_address(trigger.data.address)) bounce("invalid address"); if (trigger.data.address == trigger.address) bounce("same address"); }", "messages": [ { "app": "state", "state": "{ var['grant_' || trigger.address || '_to_' || trigger.data.address] = false; response['message'] = 'revoked authorization from ' || trigger.data.address || ' to sign orders for you'; response['address'] = trigger.data.address; response['event'] = 'revocation'; }" } ] }, { "if": "{ (!trigger.data OR trigger.data.to OR trigger.data.grant AND trigger.data.address) AND trigger.output[[asset=base]] >= 10000 }", "init": "{ if (trigger.data.grant){ if (!is_valid_address(trigger.data.address)) bounce("invalid address"); if (trigger.data.address == trigger.address) bounce("same address"); if (trigger.data.to) bounce("grant and to at the same time"); } }", "messages": [ { "app": "state", "state": "{ if (trigger.data.grant){ var['grant_' || trigger.address || '_to_' || trigger.data.address] = 1; $response_grant = 'authorized ' || trigger.data.address || ' to sign orders for you, also '; response['authorized_address'] = trigger.data.address; response['event'] = 'grant'; } $asset = trigger.output[[asset!=base]].asset; if ($asset == 'ambiguous') bounce('ambiguous asset'); if (trigger.data.to){ if (!is_valid_address(trigger.data.to)) bounce("invalid deposit address: " || trigger.data.to); $address = trigger.data.to; } else $address = trigger.address; $base_key = 'balance_'||$address||'_'||'base'; var[$base_key] = var[$base_key] + trigger.output[[asset=base]]; $response_base = trigger.output[[asset=base]] || ' bytes'; response[$address || '_base'] = trigger.output[[asset=base]]; if ($asset != 'none'){ $asset_key = 'balance_'||$address||'_'||$asset; var[$asset_key] = var[$asset_key] + trigger.output[[asset=$asset]]; $response_asset = ' and ' || trigger.output[[asset=$asset]] || ' of ' || $asset; response[$address || '_' || $asset] = trigger.output[[asset=$asset]]; } response['message'] = ($response_grant otherwise '') || 'accepted coins: ' || $response_base || ($response_asset otherwise ''); response[trigger.data.grant ? 'secondary_event' : 'event'] = 'deposit'; }" } ] } ] } } ]