Unit ID
AW0drqtw6vZ+4ZuuxZVyoej+nmiyrti1MOW/zIcl4bQ=
Received
03.04.2022 13:16:48
Confirmation delay (full node)
7 minutes 46 seconds
Messages
Definition
Definition: [ "autonomous agent", { "doc_url": "https://counterstake.org/bridge-import-assistant.json", "getters": "{ $get_param = ($name, $default) => { $value = var[$name]; if (exists($value)) return $value; exists(params[$name]) ? params[$name] : $default }; // the fee charged for claiming a transfer on behalf of a client $get_swap_fee = () => $get_param('swap_fee', 0.003); // 0.3% $get_exit_fee = () => $get_param('exit_fee', 0); $get_profit_diffusion_period = () => $get_param('profit_diffusion_period', 10*24*3600); $get_manager = () => var['manager'] OTHERWISE params.manager; $get_unavailable_profit = () => { $elapsed = timestamp - var['recent_profit_ts']; $profit_diffusion_period = $get_profit_diffusion_period(); if ($elapsed >= $profit_diffusion_period) return {stake: 0, image: 0}; $recent_profit = var['recent_profit'] OTHERWISE {stake: 0, image: 0}; $share = ($profit_diffusion_period - $elapsed) / $profit_diffusion_period; { stake: $recent_profit.stake * $share, image: $recent_profit.image * $share, } }; }", "init": "{ // exponent = 1 is the standard AMM like oswap // exponent > 1 causes later shares to be more expensive than earlier ones. We issue fewer shares for the same amount of swappable assets $exponent = params.exponent OTHERWISE 1; if ($exponent <= 0) bounce("invalid exponent"); $stake_share = params.stake_share OTHERWISE 0.5; if ($stake_share <= 0 OR $stake_share >= 1) bounce("invalid stake share"); $image_share = 1 - $stake_share; $get_shares = ($stake_balance, $image_balance) => $stake_balance^($stake_share/$exponent) * $image_balance^($image_share/$exponent); $net_of_swap_fee = 1 - $get_swap_fee(); $bridge_aa = params.bridge_aa; $bridge_params = definition[$bridge_aa][1].params; $stake_asset = $bridge_params.stake_asset OTHERWISE 'base'; $asset = var[$bridge_aa]['asset']; // ratio of the initial stake to the amount claimed $get_ratio = () => var[$bridge_aa]['ratio'] OTHERWISE $bridge_params.ratio OTHERWISE 1; $get_min_stake = () => var[$bridge_aa]['min_stake'] OTHERWISE $bridge_params.min_stake OTHERWISE 0; $get_oracles = () => var[$bridge_aa]['oracles'] OTHERWISE $bridge_params.oracles; // returns oracle price of foreign asset in terms of stake asset. The price is in display units (e.g. ETH/GBYTE, not wei/byte) $get_oracle_price = () => { $oracles = $get_oracles(); $oracle_price = reduce($oracles, 3, ($price, $oracle_info) => { if (!exists($price)) return false; $df = data_feed[[oracles=$oracle_info.oracle, feed_name=$oracle_info.feed_name, ifnone=false]]; if (!exists($df)) return false; ($oracle_info.op == '*') ? $price * $df : $price / $df }, 1); $oracle_price }; // returns oracle price in the smallest indivisible units of local assets (e.g. nanoeth/byte) $get_oracle_price_in_pennies = () => { $mul = 10^($bridge_params.stake_asset_decimals - $bridge_params.asset_decimals); $mul * $get_oracle_price() }; $get_required_stake = ($amount) => max(ceil($get_oracle_price_in_pennies() * $amount * $get_ratio()), $get_min_stake()); $get_my_loss = ($claim_num) => { $claim = var[$bridge_aa]['f_' || $claim_num]; if (!$claim) bounce("no such claim or it is not finished yet"); $my_winning_stake = var[$bridge_aa][$claim_num || '_' || $claim.current_outcome || '_by_' || this_address]; if ($my_winning_stake) bounce("winning stake is " || $my_winning_stake); $losing_outcome = $claim.current_outcome == 'yes' ? 'no' : 'yes'; $my_losing_stake = var[$bridge_aa][$claim_num || '_' || $losing_outcome || '_by_' || this_address]; $my_loss = {stake: $my_losing_stake OTHERWISE 0, image: 0}; if ($claim.current_outcome == 'no' AND $claim.claimant_address == this_address){ $current_stakes = var['claim_' || $claim_num]; if (!$current_stakes) bounce("no current stakes in claim " || $claim_num); $loss_in_image_asset = $current_stakes.image; // it is slightly less than the amount claimed because of our reward if (!$loss_in_image_asset) bounce("nothing invested in image asset in claim " || $claim_num); $my_loss.image = $loss_in_image_asset; } $my_loss }; $shares_asset = var['shares_asset']; $received_stake_amount = trigger.output[[asset=$stake_asset]]; $received_image_amount = trigger.output[[asset=$asset]]; $received_shares_amount = $shares_asset ? trigger.output[[asset=$shares_asset]] : 0; $stake_balance_in_work = var['stake_balance_in_work']; $image_balance_in_work = var['image_balance_in_work']; // gross balances including management and success fees $gross_stake_balance = balance[$stake_asset] + $stake_balance_in_work - $received_stake_amount; $gross_image_balance = balance[$asset] + $image_balance_in_work - $received_image_amount; // management fee $mf = var['mf']; $scaled_mf = (timestamp - $mf.ts)/(360*24*3600) * params.management_fee; $delta_stake_mf = $gross_stake_balance * $scaled_mf; $delta_image_mf = $gross_image_balance * $scaled_mf; $stake_mf = $mf.stake + $delta_stake_mf; $image_mf = $mf.image + $delta_image_mf; // success fee $stake_sf = max(floor(var['stake_profit'] * params.success_fee), 0); $image_sf = max(floor(var['image_profit'] * params.success_fee), 0); // net balances $stake_balance = $gross_stake_balance - $stake_mf - $stake_sf; $image_balance = $gross_image_balance - $image_mf - $image_sf; // risk free balances $risk_free_stake_balance = $stake_balance - $stake_balance_in_work; $risk_free_image_balance = $image_balance - $image_balance_in_work; $shares_supply = var['shares_supply'] OTHERWISE 0; $check_balance = ($type, $balance) => { if ($balance < 0) bounce($type || " balance = " || $balance); if ($shares_supply > 0 AND $balance == 0) bounce("shares_supply = " || $shares_supply || " AND " || $type || " balance == 0"); }; $update_mf = () => { $mf.stake = $stake_mf; $mf.image = $image_mf; $mf.ts = timestamp; var['mf'] = $mf; }; $init_mf = () => { var['mf'] = {stake: 0, image: 0, ts: timestamp}; }; $fee = 2000; $asset_fee = ($stake_asset == 'base') ? $fee : 0; $min_stake_asset_amount = ($stake_asset == 'base') ? 10000 : 0; // bounce fee $add_recent_profit = ($new_profit) => { if ($new_profit.stake < 0) $new_profit.stake = 0; if ($new_profit.image < 0) $new_profit.image = 0; if ($new_profit.stake == 0 AND $new_profit.image == 0) return; $unavailable_profit = $get_unavailable_profit(); var['recent_profit'] = { stake: $unavailable_profit.stake + $new_profit.stake, image: $unavailable_profit.image + $new_profit.image, }; var['recent_profit_ts'] = timestamp; }; $manager = $get_manager(); if (!params.manager) bounce("no initial manager"); $governance_base_aa = '4EBJCXXWESRLDPH2LM7MDDQKOAG5P3PH'; }", "messages": { "cases": [ { "if": "{ !$shares_asset AND trigger.data.define }", "messages": [ { "app": "definition", "payload": { "definition": [ "autonomous agent", { "base_aa": "{$governance_base_aa}", "params": { "assistant_aa": "{this_address}", "challenging_period": "{params.governance_challenging_period OTHERWISE ''}", "freeze_period": "{params.governance_freeze_period OTHERWISE ''}" } } ] } }, { "app": "asset", "payload": { "is_private": false, "is_transferrable": true, "auto_destroy": false, "fixed_denominations": false, "issued_by_definer_only": true, "cosigned_by_definer": false, "spender_attested": false } }, { "if": "{trigger.data.factory}", "app": "payment", "payload": { "asset": "base", "outputs": [ { "address": "{trigger.data.factory}", "amount": 1000 } ] } }, { "app": "state", "state": "{ var['governance_aa'] = unit[response_unit].messages[[.app='definition']].payload.address; var['shares_asset'] = response_unit; response['shares_asset'] = response_unit; $init_mf(); var['stake_profit'] = 0; var['image_profit'] = 0; }" } ] }, { "if": "{ trigger.address == var['governance_aa'] AND trigger.data.name }", "init": "{ $name = trigger.data.name; }", "messages": [ { "app": "state", "state": "{ var[$name] = trigger.data.value; }" } ] }, { "if": "{trigger.data.txid AND trigger.data.amount AND exists(trigger.data.reward) AND trigger.data.txts AND trigger.data.sender_address AND trigger.data.address AND trigger.address == $manager }", "init": "{ $required_stake = $get_required_stake(trigger.data.amount); if ($required_stake > $risk_free_stake_balance) bounce("not enough stake balance"); // what the user receives $paid_amount = trigger.data.amount - trigger.data.reward; if ($paid_amount > $risk_free_image_balance) bounce("not enough image balance"); $claim_num = var[$bridge_aa]['claim_num'] + 1; // next num }", "messages": [ { "if": "{$stake_asset != 'base'}", "app": "payment", "payload": { "asset": "base", "outputs": [ { "address": "{$bridge_aa}", "amount": "{$fee}" } ] } }, { "app": "payment", "payload": { "asset": "{$stake_asset}", "outputs": [ { "address": "{$bridge_aa}", "amount": "{$required_stake + $asset_fee}" } ] } }, { "app": "payment", "payload": { "asset": "{$asset}", "outputs": [ { "address": "{$bridge_aa}", "amount": "{$paid_amount}" } ] } }, { "app": "data", "payload": { "txid": "{trigger.data.txid}", "txts": "{trigger.data.txts}", "amount": "{trigger.data.amount}", "reward": "{trigger.data.reward}", "address": "{trigger.data.address}", "sender_address": "{trigger.data.sender_address}", "data": "{trigger.data.data OTHERWISE ''}" } }, { "app": "state", "state": "{ var['stake_balance_in_work'] += $required_stake; var['image_balance_in_work'] += $paid_amount; var['claim_' || $claim_num] = {image: $paid_amount, stake: $required_stake}; // how much invested response['sent_stake_amount'] = $required_stake; response['sent_image_amount'] = $paid_amount; response['message'] = "will claim for " || trigger.data.address; $update_mf(); }" } ] }, { "if": "{trigger.data.stake_on AND trigger.data.claim_num AND trigger.address == $manager}", "init": "{ $claim = var[$bridge_aa]['o_' || trigger.data.claim_num]; if (!$claim) bounce("no such claim"); $required_stake = $claim.challenging_target - $claim.stakes[trigger.data.stake_on]; // don't send excess amount as we are not able to accept it $stake = (!trigger.data.stake OR trigger.data.stake > $required_stake) ? $required_stake : trigger.data.stake; if ($stake + $asset_fee >= $risk_free_stake_balance) bounce("not enough balance"); }", "messages": [ { "if": "{$stake_asset != 'base'}", "app": "payment", "payload": { "asset": "base", "outputs": [ { "address": "{$bridge_aa}", "amount": "{$fee}" } ] } }, { "app": "payment", "payload": { "asset": "{$stake_asset}", "outputs": [ { "address": "{$bridge_aa}", "amount": "{$stake + $asset_fee}" } ] } }, { "app": "data", "payload": { "claim_num": "{trigger.data.claim_num}", "stake_on": "{trigger.data.stake_on}" } }, { "app": "state", "state": "{ var['stake_balance_in_work'] += $stake; $current_stakes = var['claim_' || trigger.data.claim_num] OTHERWISE {stake: 0, image: 0}; $current_stakes.stake = $current_stakes.stake + $stake; var['claim_' || trigger.data.claim_num] = $current_stakes; // how much invested response['sent_stake_amount'] = $stake; response['message'] = "will challenge " || trigger.data.claim_num || " with " || trigger.data.stake_on; $update_mf(); }" } ] }, { "if": "{ trigger.address == $bridge_aa }", "messages": [ { "app": "state", "state": "{ $claim_num = trigger.data.claim_num; if (!$claim_num) bounce("no claim_num in received from bridge"); // it gets added to our balance response['received_stake_amount'] = $received_stake_amount; response['received_image_amount'] = $received_image_amount; // check if we also staked on the losing outcome in this claim $my_loss = $get_my_loss($claim_num); $current_stakes = var['claim_' || $claim_num]; if (!$current_stakes) bounce("BUG: I didn't stake in this claim?"); if ($my_loss.stake){ response['lost_stake_amount'] = $my_loss.stake; if ($my_loss.stake > $current_stakes.stake) bounce("BUG: losing stake mismatch: staked on bridge " || $my_loss.stake || ", assistant " || $current_stakes.stake); } if ($my_loss.image){ response['lost_image_amount'] = $my_loss.image; if ($my_loss.image != $current_stakes.image) bounce("BUG: lost image asset mismatch: bridge " || $my_loss.image || ", assistant " || $current_stakes.image); } var['stake_balance_in_work'] -= $current_stakes.stake; var['image_balance_in_work'] -= $current_stakes.image; if (var['stake_balance_in_work'] < 0) bounce("BUG: after received from bridge, stake balance in work would become negative"); if (var['image_balance_in_work'] < 0) bounce("BUG: after received from bridge, image balance in work would become negative"); $new_stake_profit = $received_stake_amount - $current_stakes.stake; $new_image_profit = $received_image_amount - $current_stakes.image; var['stake_profit'] += $new_stake_profit; var['image_profit'] += $new_image_profit; $add_recent_profit({stake: $new_stake_profit, image: $new_image_profit}); var['claim_' || $claim_num] = false; $update_mf(); }" } ] }, { "if": "{ trigger.data.loss AND trigger.data.claim_num }", "messages": [ { "app": "state", "state": "{ $claim_num = trigger.data.claim_num; $current_stakes = var['claim_' || $claim_num]; if (!$current_stakes) bounce("this claim is already accounted for"); // calling this function is necessary because it also checks that we didn't have a winning stake $my_loss = $get_my_loss($claim_num); if ($my_loss.stake != $current_stakes.stake) bounce("BUG: losing stake mismatch: bridge " || $my_loss.stake || ", assistant " || $current_stakes.stake); if ($my_loss.image != $current_stakes.image) bounce("BUG: lost image asset mismatch: bridge " || $my_loss.image || ", assistant " || $current_stakes.image); if ($my_loss.stake) response['lost_stake_amount'] = $my_loss.stake; if ($my_loss.image) response['lost_image_amount'] = $my_loss.image; response['message'] = "recorded a loss in claim " || $claim_num; var['stake_balance_in_work'] -= $current_stakes.stake; var['image_balance_in_work'] -= $current_stakes.image; if (var['stake_balance_in_work'] < 0) bounce("BUG: stake balance in work would become negative"); if (var['image_balance_in_work'] < 0) bounce("BUG: image balance in work would become negative"); var['stake_profit'] -= $current_stakes.stake; var['image_profit'] -= $current_stakes.image; var['claim_' || $claim_num] = false; $update_mf(); }" } ] }, { "if": "{ $shares_asset AND ($received_stake_amount > $min_stake_asset_amount OR $received_image_amount > 0) AND $received_shares_amount == 0 AND trigger.data.buy_shares }", "init": "{ $check_balance("stake", $stake_balance); $check_balance("image", $image_balance); if (!$shares_supply AND !($received_stake_amount > 0 AND $received_image_amount > 0)) bounce("send both assets for the first issue"); $coef = $shares_supply ? $shares_supply / $get_shares($stake_balance, $image_balance) : 1; $new_shares_supply = floor($coef * $get_shares($stake_balance + $received_stake_amount, $image_balance + $received_image_amount)); $shares_amount = $new_shares_supply - $shares_supply; }", "messages": [ { "app": "payment", "payload": { "asset": "{$shares_asset}", "outputs": [ { "address": "{trigger.address}", "amount": "{$shares_amount}" } ] } }, { "app": "state", "state": "{ var['shares_supply'] += $shares_amount; $update_mf(); }" } ] }, { "if": "{ $shares_asset AND $received_shares_amount > 0 AND $received_stake_amount <= $min_stake_asset_amount AND $received_image_amount == 0 }", "init": "{ $exit_fee = $get_exit_fee(); $share_of_shares = $received_shares_amount / $shares_supply; $remaining_share_of_shares = 1 - $share_of_shares; $remaining_share_of_assets = $remaining_share_of_shares^$exponent; $share_of_assets = 1 - $remaining_share_of_assets; $unavailable_profit = $get_unavailable_profit(); $available_stake_balance = max($risk_free_stake_balance - $unavailable_profit.stake, 0); $available_image_balance = max($risk_free_image_balance - $unavailable_profit.image, 0); $stake_amount = floor($share_of_assets * $available_stake_balance * ($net_of_swap_fee - $exit_fee)); $image_amount = floor($share_of_assets * $available_image_balance * ($net_of_swap_fee - $exit_fee)); }", "messages": [ { "app": "payment", "payload": { "asset": "{$stake_asset}", "outputs": [ { "address": "{trigger.address}", "amount": "{$stake_amount}" } ] } }, { "app": "payment", "payload": { "asset": "{$asset}", "outputs": [ { "address": "{trigger.address}", "amount": "{$image_amount}" } ] } }, { "app": "state", "state": "{ var['shares_supply'] -= $received_shares_amount; $update_mf(); }" } ] }, { "if": "{ $stake2image = $received_stake_amount > $min_stake_asset_amount AND $received_image_amount == 0; $image2stake = $received_stake_amount <= $min_stake_asset_amount AND $received_image_amount > 0; $shares_asset AND $received_shares_amount == 0 AND ($stake2image OR $image2stake) }", "init": "{ $check_balance("stake", $stake_balance); $check_balance("image", $image_balance); // the fee is taken from the output asset if ($image2stake) $stake_amount = floor($risk_free_stake_balance * ( 1 - ($image_balance/($image_balance + $received_image_amount))^($image_share/$stake_share) ) * $net_of_swap_fee); else if ($stake2image) $image_amount = floor($risk_free_image_balance * ( 1 - ($stake_balance/($stake_balance + $received_stake_amount))^($stake_share/$image_share) ) * $net_of_swap_fee); if (trigger.data.min_amount_out){ $amount_out = $image2stake ? $stake_amount : $image_amount; require($amount_out >= trigger.data.min_amount_out, "output amount "||$amount_out||" would be less than min "||trigger.data.min_amount_out); } }", "messages": [ { "if": "{$stake_amount}", "app": "payment", "payload": { "asset": "{$stake_asset}", "outputs": [ { "address": "{trigger.address}", "amount": "{$stake_amount}" } ] } }, { "if": "{$image_amount}", "app": "payment", "payload": { "asset": "{$asset}", "outputs": [ { "address": "{trigger.address}", "amount": "{$image_amount}" } ] } }, { "app": "state", "state": "{ $update_mf(); }" } ] }, { "if": "{ $shares_asset AND trigger.data.withdraw_management_fee AND trigger.address == $manager }", "messages": [ { "app": "payment", "payload": { "asset": "{$stake_asset}", "outputs": [ { "address": "{trigger.address}", "amount": "{floor($stake_mf)}" } ] } }, { "app": "payment", "payload": { "asset": "{$asset}", "outputs": [ { "address": "{trigger.address}", "amount": "{floor($image_mf)}" } ] } }, { "app": "state", "state": "{ // reset it and start accumulating again $init_mf(); }" } ] }, { "if": "{ $shares_asset AND trigger.data.withdraw_success_fee AND trigger.address == $manager }", "messages": [ { "app": "payment", "payload": { "asset": "{$stake_asset}", "outputs": [ { "address": "{trigger.address}", "amount": "{$stake_sf}" } ] } }, { "app": "payment", "payload": { "asset": "{$asset}", "outputs": [ { "address": "{trigger.address}", "amount": "{$image_sf}" } ] } }, { "app": "state", "state": "{ if ($stake_sf > 0) var['stake_profit'] = 0; if ($image_sf > 0) var['image_profit'] = 0; $update_mf(); }" } ] }, { "if": "{ $shares_asset AND trigger.data.withdraw_bytes AND trigger.data.amount AND $stake_asset != 'base' AND trigger.address == $manager }", "messages": [ { "app": "payment", "payload": { "asset": "base", "outputs": [ { "address": "{trigger.address}", "amount": "{trigger.data.amount}" } ] } } ] }, { "if": "{ trigger.data.manager_address AND trigger.address == $manager }", "messages": [ { "app": "state", "state": "{ if (!is_valid_address(trigger.data.manager_address)) bounce("new manager address is invalid"); var['manager'] = trigger.data.manager_address; }" } ] } ] } } ]
Technical information
Fees:
19,833 bytes
(451 headers, 19382 payload)
Level:8990139
Witnessed level:8990128
Main chain index:8649101
Latest included mc index:8649100
Status:stable/confirmed/final