Address OSWAPWKOXZKJPYWATNK47LRDV4UN4K7H OSWAP token, transactions and portfolio

OSWAPWKOXZKJPYWATNK47LRDV4UN4K7H

View Autonomous Agent stats (TVL, turnover)

OSWAP token

Definition

1	[
2	"autonomous agent",
3	{
4	"doc_url": "https://oswap.io/token.json",
5	"getters": "{
6
7	/* nonce: 29566482 */
8
9	$reserve_asset = 'base';
10	$initial_s0 = 1e12;
11	$min_staking_term = 14; // in days
12
13	$lib_aa = 'U6TGY7C5SLLIPDDCEDAXHMZV7Y2DN3GK';
14	$common_ts = 1657843200; // Fri Jul 15 2022 00:00:00 GMT+0000
15	$year = 31104000; // 360 * 24 * 3600;
16	$max_pools_per_group = 30;
17	$max_groups = 40;
18
19	$get_param = ($name, $default) => {
20	$value = var[$name];
21	exists($value) ? $value : $default
22	};
23
24	$get_swap_fee = () => $get_param('swap_fee', 0.003);
25	$get_arb_profit_tax = () => $get_param('arb_profit_tax', 0.9);
26	$get_base_rate = () => $get_param('base_rate', 0.3); // rate of appreciation if TVL = base TVL
27	$get_inflation_rate = () => $get_param('inflation_rate', 0.3);
28	$get_stakers_share = () => $get_param('stakers_share', 0.5); // share of emissions that is distributed among stakers
29	$get_base_tvl = () => $get_param('base_tvl', 1e6); // in USD
30	$get_oracle = () => $get_param('oracle', 'KMCA3VLWKLO3AWSSDA3LQIKI3OQEN7TV');
31	$get_challenging_period = () => $get_param('challenging_period', 432000); // 5 days
32
33	$get_tvl = () => data_feed[[oracles=$get_oracle(), feed_name='TVL', ifnone=0]];
34
35	$get_appreciation_rate = () => $get_base_rate() * $get_tvl() / $get_base_tvl();
36
37
38	$apply_appreciation = ($state) => {
39	($lib_aa\|\|'')#0.$apply_appreciation($state, $get_appreciation_rate());
40	};
41
42
43	$get_reserve = ($s) => {
44	$state = var['state'] OTHERWISE {coef: 1, s0: $initial_s0, supply: 0, reserve: 0};
45	$apply_appreciation($state);
46	($lib_aa\|\|'')#0.$get_reserve_by_state(exists($s) ? $s : $s, $state);
47	};
48
49	$get_tokens = ($r) => {
50	$state = var['state'] OTHERWISE {coef: 1, s0: $initial_s0, supply: 0, reserve: 0};
51	$apply_appreciation($state);
52	($lib_aa\|\|'')#0.$get_tokens_by_state(exists($r) ? $r : $state.reserve, $state)
53	};
54
55	$get_price = ($s) => {
56	$state = var['state'] OTHERWISE {coef: 1, s0: $initial_s0, supply: 0, reserve: 0};
57	$apply_appreciation($state);
58	($lib_aa\|\|'')#0.$get_price_by_state(exists($s) ? $s : $state.supply, $state)
59	};
60
61
62
63	$get_exchange_result = ($tokens, $delta_r) => {
64	$state = var['state'];
65	$props = {
66	swap_fee: $get_swap_fee(),
67	arb_profit_tax: $get_arb_profit_tax(),
68	};
69	$apply_appreciation($state);
70	($lib_aa\|\|'')#0.$get_exchange_result_by_state($tokens, $delta_r, 'ADDRESS', $state, $props)
71	};
72
73
74	$get_vp = ($user_address) => {
75	$user = var['user_' \|\| $user_address];
76	$user ? $user.normalized_vp / 4^((timestamp - $common_ts)/$year) : 0
77	};
78
79	$get_staking_reward = ($user_address) => {
80	$state = var['state'];
81	$user = var['user_' \|\| $user_address];
82	$props = {
83	inflation_rate: $get_inflation_rate(),
84	stakers_share: $get_stakers_share(),
85	};
86	($lib_aa\|\|'')#0.$distribute_stakers_emissions($state, $user, $props);
87	$user.reward
88	};
89
90	$get_lp_reward = ($user_address, $pool_asset, $deposit_aa) => {
91	$state = var['state'];
92	$props = {
93	inflation_rate: $get_inflation_rate(),
94	stakers_share: $get_stakers_share(),
95	};
96	$full_pool_asset = $pool_asset \|\| ($deposit_aa ? '_'\|\|$deposit_aa : '');
97	$pool = var['pool_'\|\|$full_pool_asset];
98	require($pool, "no such pool "\|\|$full_pool_asset);
99	$pool_vps = var['pool_vps_'\|\|$pool.group_key] OTHERWISE {};
100	$lp_key = 'lp_' \|\| ($deposit_aa OTHERWISE $user_address) \|\| '_' \|\| $pool.asset_key;
101	$lp = var[$lp_key] OTHERWISE {balance: 0, last_pool_emissions: 0, last_distribution_ts: 0, reward: 0};
102	if ($deposit_aa)
103	$lp.balance = balance[$deposit_aa][$pool_asset];
104	$total_lp_balance = $deposit_aa ? $lp.balance : var['pool_asset_balance_' \|\| $pool.asset_key];
105	($lib_aa\|\|'')#0.$distribute_lp_emissions($state, $lp, $pool, $pool_vps, $total_lp_balance, $props);
106	$lp.reward
107	};
108
109	}",
110	"init": "{
111
112	$lib = $lib_aa\|\|'';
113
114	// reserve
115	$min_contribution = ($reserve_asset == 'base') ? 99999 : 0;
116	$network_fee = ($reserve_asset == 'base') ? 1000 : 0;
117
118	$constants = var['constants'] OTHERWISE {};
119
120	// tokens
121	$asset = $constants.asset;
122
123	$state = var['state'] OTHERWISE {
124	coef: 1,
125	s0: $initial_s0,
126	supply: 0,
127	reserve: 0,
128	last_ts: timestamp,
129	last_buy: {
130	ts: timestamp,
131	delta_s: 0,
132	initial_p: 0,
133	tax: 0,
134	address: '',
135	},
136	last_sell: {
137	ts: timestamp,
138	delta_s: 0,
139	initial_p: 0,
140	tax: 0,
141	address: '',
142	},
143	total_normalized_vp: 0,
144	total_staked_balance: 0,
145	stakers_emissions: 0,
146	lp_emissions: 0,
147	};
148
149	if ($asset)
150	$apply_appreciation($state);
151
152	if (trigger.data.to AND !is_valid_address(trigger.data.to))
153	bounce("bad to address");
154	$to = trigger.data.to OTHERWISE trigger.address;
155	$user_address = (trigger.data.deposit OR trigger.data.stake) ? $to : trigger.address;
156
157	if (trigger.data.pool_asset)
158	require(asset[trigger.data.pool_asset].exists, "bad pool asset");
159	if (trigger.data.deposit_aa)
160	require(is_aa(trigger.data.deposit_aa), "deposit AA is not an AA");
161
162	$user = var['user_' \|\| $user_address] OTHERWISE {
163	balance: 0,
164	reward: 0,
165	normalized_vp: 0,
166	last_stakers_emissions: 0,
167	expiry_ts: 0,
168	};
169
170
171	$props = {
172	inflation_rate: $get_inflation_rate(),
173	stakers_share: $get_stakers_share(),
174	swap_fee: $get_swap_fee(),
175	arb_profit_tax: $get_arb_profit_tax(),
176	};
177
178	$challenging_period = $get_challenging_period();
179
180	$initial_sale_pool_base_aa = 'WPHI4NQTDMCRY5DOOEZBOQPSANZNRN7G';
181
182	}",
183	"messages": {
184	"cases": [
185	{
186	"if": "{ trigger.data.define AND !$asset }",
187	"init": "{
188	$initial_sale_pool_aa = [
189	'autonomous agent',
190	{
191	base_aa: $initial_sale_pool_base_aa,
192	params: {
193	token_aa: this_address,
194	reserve_asset: $reserve_asset,
195	buy_freeze_period: 1,
196	launch_date: '2023-04-06 04:34:00',
197	admin_address: '3Y24IXW57546PQAPQ2SXYEPEDNX4KC6Y',
198	}
199	}
200	];
201	$constants.initial_sale_pool_address = chash160($initial_sale_pool_aa);
202	}",
203	"messages": [
204	{
205	"app": "asset",
206	"payload": {
207	"is_private": false,
208	"is_transferrable": true,
209	"auto_destroy": false,
210	"fixed_denominations": false,
211	"issued_by_definer_only": true,
212	"cosigned_by_definer": false,
213	"spender_attested": false
214	}
215	},
216	{
217	"app": "definition",
218	"payload": {
219	"definition": "{$initial_sale_pool_aa}"
220	}
221	},
222	{
223	"app": "state",
224	"state": "{
225	response['initial_sale_pool_address'] = $constants.initial_sale_pool_address;
226	response['asset'] = response_unit;
227	$constants.asset = response_unit;
228	var['constants'] = $constants;
229	}"
230	}
231	]
232	},
233	{
234	"if": "{ $asset AND (trigger.output[[asset=$asset]] > 0 OR trigger.data.stake_reward) AND ($to == trigger.address OR $to == trigger.initial_address) AND trigger.data.stake AND trigger.data.term AND trigger.data.group_key AND trigger.data.percentages }",
235	"init": "{
236	$term = trigger.data.term; // in days
237	$four_years = 4 * 360;
238	require($term >= $min_staking_term AND is_integer($term) AND $term <= $four_years, "invalid term");
239
240	$new_expiry_ts = timestamp + $term * 24 * 3600;
241	require($new_expiry_ts >= $user.expiry_ts, "the new term should expire after " \|\| timestamp_to_string($user.expiry_ts));
242
243	$group_key = trigger.data.group_key;
244	$votes = var['votes_'\|\|$user_address] OTHERWISE {};
245	$group_vps = var['group_vps'] OTHERWISE {};
246	$pool_vps = var['pool_vps_'\|\|$group_key] OTHERWISE {};
247	}",
248	"messages": [
249	{
250	"app": "state",
251	"state": "{
252	$lib#0.$distribute_stakers_emissions($state, $user, $props);
253
254	$accumulated_reward = trigger.data.stake_reward AND $to == trigger.address ? floor($user.reward) : 0;
255	$amount = trigger.output[[asset=$asset]] + $accumulated_reward;
256	$new_balance = $user.balance + $amount;
257	// require($amount > 0, "nothing to stake"); // 0 to only extend the term
258	$final_voting_power = $new_balance / 256;
259	$normalized_voting_power = $final_voting_power * 4^($term/360 + (timestamp - $common_ts)/$year); // vp decays 4 times every year
260
261	$user.expiry_ts = $new_expiry_ts;
262
263	$user.balance = $new_balance;
264	if ($accumulated_reward)
265	$user.reward = $user.reward - $accumulated_reward;
266
267	$delta_normalized_vp = $normalized_voting_power - $user.normalized_vp;
268	$user.normalized_vp = $normalized_voting_power;
269	$state.total_normalized_vp = $state.total_normalized_vp + $delta_normalized_vp;
270
271	$state.total_staked_balance = $state.total_staked_balance + $amount;
272	response['total_staked_balance'] = $state.total_staked_balance;
273
274	$lib#1.$distribute_new_vp($votes, $pool_vps, $delta_normalized_vp, trigger.data.percentages);
275	$group_vps[$group_key] = $group_vps[$group_key] + $delta_normalized_vp;
276	$group_vps.total = $group_vps.total + $delta_normalized_vp;
277
278	var['votes_'\|\|$user_address] = $votes;
279	var['pool_vps_'\|\|$group_key] = $pool_vps;
280	var['group_vps'] = $group_vps;
281
282	var['user_'\|\|$user_address] = $user;
283	var['state'] = $state;
284	}"
285	}
286	]
287	},
288	{
289	"if": "{ $asset AND trigger.data.unstake AND trigger.data.group_key }",
290	"init": "{
291	require(timestamp >= $user.expiry_ts, "you can unstake only after " \|\| timestamp_to_string($user.expiry_ts));
292	$group_key = trigger.data.group_key;
293	$votes = var['votes_'\|\|$user_address];
294	require($votes, "you have no votes");
295	// require(!$user.count_voted_props, "please remove your votes first");
296	$group_vps = var['group_vps'] OTHERWISE {};
297	$pool_vps = var['pool_vps_'\|\|$group_key] OTHERWISE {};
298	}",
299	"messages": [
300	{
301	"app": "payment",
302	"payload": {
303	"asset": "{$asset}",
304	"outputs": [
305	{
306	"address": "{$to}",
307	"amount": "{ $user.balance }"
308	}
309	]
310	}
311	},
312	{
313	"app": "state",
314	"state": "{
315	$removed_normalized_vp = $user.normalized_vp;
316	$lib#1.$remove_votes($votes, $pool_vps);
317	$pool_vps.total = $pool_vps.total - $removed_normalized_vp;
318	$group_vps[$group_key] = $group_vps[$group_key] - $removed_normalized_vp;
319	$group_vps.total = $group_vps.total - $removed_normalized_vp;
320
321	var['user_'\|\|$user_address] = false;
322	var['votes_'\|\|$user_address] = false;
323
324	var['pool_vps_'\|\|$group_key] = $pool_vps;
325	var['group_vps'] = $group_vps;
326
327	$state.total_normalized_vp = $state.total_normalized_vp - $removed_normalized_vp;
328
329	$state.total_staked_balance = $state.total_staked_balance - $user.balance;
330	response['total_staked_balance'] = $state.total_staked_balance;
331
332	var['state'] = $state;
333	}"
334	}
335	]
336	},
337	{
338	"if": "{ $asset AND trigger.data.withdraw_staking_reward }",
339	"init": "{
340	$lib#0.$distribute_stakers_emissions($state, $user, $props);
341	$reward = floor($user.reward); // fractional part is lost
342	// require($reward > 0, "no reward yet"); // if 0, only updates the state
343	}",
344	"messages": [
345	{
346	"app": "payment",
347	"payload": {
348	"asset": "{$asset}",
349	"outputs": [
350	{
351	"address": "{$to}",
352	"amount": "{ $reward }"
353	}
354	]
355	}
356	},
357	{
358	"app": "state",
359	"state": "{
360	$user.reward = 0;
361	var['user_'\|\|$user_address] = $user;
362	var['state'] = $state;
363	}"
364	}
365	]
366	},
367	{
368	"if": "{trigger.data.deposit OR trigger.data.pool_asset AND (trigger.data.withdraw OR trigger.data.withdraw_lp_reward)}",
369	"init": "{
370	if (trigger.data.deposit) {
371	$bDeposit = true;
372	$pool_asset = trigger.output[[asset!='base']].asset;
373	require($pool_asset != 'ambiguous' AND $pool_asset != 'none' AND $pool_asset != $asset, "invalid pool asset");
374	$full_pool_asset = $pool_asset;
375	$deposit_amount = trigger.output[[asset!='base']];
376	$delta_balance = $deposit_amount;
377	}
378	else if (trigger.data.pool_asset) {
379	$pool_asset = trigger.data.pool_asset;
380	$deposit_aa = trigger.data.deposit_aa; // optional: the tokens are stored on deposit_aa rather than our AA
381	$full_pool_asset = $pool_asset \|\| ($deposit_aa ? '_'\|\|$deposit_aa : '');
382	if (trigger.data.withdraw){
383	$bWithdraw = true;
384	require(!$deposit_aa, "can't withdraw to deposit AA");
385	}
386	else if (trigger.data.withdraw_lp_reward) {
387	// if a user's share of LP tokens increases and they don't withdraw for a long time, they can get an unfairly large share for the earlier period when their share was small. This would also lead to excessive emission (by a factor of 2 in the worst case if there are 2 LPs). To prevent this, any third party can trigger the AA with "for" param and record the reward according to the current share.
388	$for_user_address = trigger.data.for; // if not a valid address, $lp will be zeros
389	}
390	$bWithdrawLpReward = !$for_user_address; // otherwise we only update the $lp using distribute_lp_emissions() but don't send anything
391	}
392	$pool = var['pool_'\|\|$full_pool_asset];
393	require($pool, "unknown asset");
394	$lp_key = 'lp_' \|\| ($deposit_aa OTHERWISE $for_user_address OTHERWISE $user_address) \|\| '_' \|\| $pool.asset_key;
395	$lp = var[$lp_key] OTHERWISE {balance: 0, last_pool_emissions: 0, last_distribution_ts: 0, reward: 0};
396	if ($deposit_aa)
397	$lp.balance = balance[$deposit_aa][$pool_asset];
398	if (trigger.data.pool_asset){
399	require($lp.balance > 0, "you have no balance in this pool asset");
400	if ($bWithdraw){
401	$withdrawal_amount = trigger.data.amount OTHERWISE $lp.balance;
402	require(is_integer($withdrawal_amount) AND $withdrawal_amount > 0 AND $withdrawal_amount <= $lp.balance, "invalid withdrawal amount");
403	$delta_balance = -$withdrawal_amount;
404	}
405	}
406	$pool_vps = var['pool_vps_'\|\|$pool.group_key] OTHERWISE {};
407	$total_lp_balance = $deposit_aa ? $lp.balance : var['pool_asset_balance_' \|\| $pool.asset_key];
408	$lib#0.$distribute_lp_emissions($state, $lp, $pool, $pool_vps, $total_lp_balance, $props);
409	}",
410	"messages": [
411	{
412	"if": "{$bWithdraw}",
413	"app": "payment",
414	"payload": {
415	"asset": "{$pool_asset}",
416	"outputs": [
417	{
418	"address": "{$to}",
419	"amount": "{$withdrawal_amount}"
420	}
421	]
422	}
423	},
424	{
425	"if": "{$bWithdrawLpReward}",
426	"app": "payment",
427	"payload": {
428	"asset": "{$asset}",
429	"outputs": [
430	{
431	"address": "{$deposit_aa OTHERWISE $to}",
432	"amount": "{ floor($lp.reward) }"
433	}
434	]
435	}
436	},
437	{
438	"app": "state",
439	"state": "{
440	if ($bDeposit OR $bWithdraw){
441	$lp.balance = $lp.balance + $delta_balance;
442	var['pool_asset_balance_' \|\| $pool.asset_key] += $delta_balance;
443	if ($bDeposit)
444	response['deposited'] = $deposit_amount;
445	}
446	if ($bWithdrawLpReward)
447	$lp.reward = 0;
448	var[$lp_key] = $bWithdraw AND $lp.balance == 0 ? false : $lp;
449	var['pool_'\|\|$full_pool_asset] = $pool;
450	var['state'] = $state;
451	}"
452	}
453	]
454	},
455	{
456	"if": "{trigger.data.vote_shares AND trigger.data.changes AND trigger.data.group_key1}",
457	"init": "{
458	$changes = trigger.data.changes;
459	$group_key1 = trigger.data.group_key1;
460	$group_key2 = trigger.data.group_key2;
461	require(is_assoc($changes), "invalid changes object");
462	$votes = var['votes_'\|\|$user_address] OTHERWISE {};
463	$group_vps = var['group_vps'] OTHERWISE {};
464	$pool_vps = {};
465	$pool_vps[$group_key1] = var['pool_vps_'\|\|$group_key1] OTHERWISE {};
466	if ($group_key2)
467	$pool_vps[$group_key2] = var['pool_vps_'\|\|$group_key2] OTHERWISE {};
468	$lib#1.$apply_vote($votes, $pool_vps, $group_key1, $group_key2, $group_vps, $changes);
469	}",
470	"messages": [
471	{
472	"app": "state",
473	"state": "{
474	var['votes_'\|\|$user_address] = $votes;
475	var['group_vps'] = $group_vps;
476	var['pool_vps_'\|\|$group_key1] = $pool_vps[$group_key1];
477	if ($group_key2)
478	var['pool_vps_'\|\|$group_key2] = $pool_vps[$group_key2];
479	}"
480	}
481	]
482	},
483	{
484	"if": "{(trigger.data.vote_whitelist OR trigger.data.vote_blacklist OR trigger.data.vote_neutral) AND trigger.data.pool_asset}",
485	"init": "{
486	$sign = trigger.data.vote_whitelist ? 1 : (trigger.data.vote_blacklist ? -1 : 0);
487	$pool_asset = trigger.data.pool_asset;
488	$deposit_aa = trigger.data.deposit_aa;
489	$full_pool_asset = $pool_asset \|\| ($deposit_aa ? '_'\|\|$deposit_aa : '');
490	$wl_votes = var['wl_votes_'\|\|$full_pool_asset] OTHERWISE {vp: 0, flip_ts: 0};
491
492	$old_vp = var['user_wl_votes_'\|\|$user_address\|\|'_'\|\|$full_pool_asset];
493	$new_vp = $user.normalized_vp * $sign;
494	$added_vp = $new_vp - $old_vp;
495	}",
496	"messages": [
497	{
498	"app": "state",
499	"state": "{
500	var['user_wl_votes_'\|\|$user_address\|\|'_'\|\|$full_pool_asset] += $added_vp;
501
502	$new_total_vp = $wl_votes.vp + $added_vp;
503	if ($new_total_vp AND $wl_votes.vp * $new_total_vp <= 0) // flipped the sign
504	$wl_votes.flip_ts = timestamp;
505	$wl_votes.vp = $new_total_vp;
506	var['wl_votes_'\|\|$full_pool_asset] = $wl_votes;
507
508	// commit if have the majority or stayed unchallenged long enough
509	if (abs($new_total_vp) > $state.total_normalized_vp/2 OR timestamp > $wl_votes.flip_ts + $challenging_period OR $state.total_normalized_vp == 0){
510	$pool = var['pool_'\|\|$full_pool_asset];
511	if ($new_total_vp > 0 OR $state.total_normalized_vp == 0){ // add to the whitelist (or re-add)
512	if (!$pool){ // create a new pool
513	var['last_asset_num'] += 1;
514	$last_asset_num = var['last_asset_num'];
515	if ($state.total_normalized_vp == 0)
516	require($last_asset_num == 1, "only one asset can be added without voting");
517	$asset_key = 'a' \|\| $last_asset_num;
518	/* if (trigger.data.group_key){ // indicated the group where to add the new pool
519	$group_key = trigger.data.group_key;
520	$pool_vps = var['pool_vps_'\|\|$group_key];
521	require($pool_vps, "no such group");
522	require(length($pool_vps) < 101, "the group is already full");
523	}
524	else {*/ // add the new pool to the last group, or create a new group if the last one is full
525	$last_group_num = var['last_group_num'];
526	$last_pool_vps = var['pool_vps_g'\|\|$last_group_num];
527	// +1 adds the 'total' key
528	if (!$last_group_num OR length($last_pool_vps) >= $max_pools_per_group + 1){ // start a new group
529	var['last_group_num'] += 1;
530	$group_num = $last_group_num + 1;
531	require($group_num <= $max_groups, "too many groups");
532	$pool_vps = {total:0};
533	}
534	else{
535	$group_num = $last_group_num;
536	$pool_vps = $last_pool_vps;
537	}
538	$group_key = 'g' \|\| $group_num;
539	// }
540	$pool_vps[$asset_key] = 0;
541	var['pool_vps_'\|\|$group_key] = $pool_vps;
542	$new_pool = {
543	asset_key: $asset_key,
544	group_key: $group_key,
545	last_lp_emissions: $state.lp_emissions,
546	received_emissions: 0,
547	};
548	response['message'] = 'whitelisted';
549	}
550	else{ // revive a previously blacklisted pool
551	if ($pool.blacklisted){
552	$pool.blacklisted = false;
553	$pool.last_lp_emissions = $state.lp_emissions; // skipping all emissions accrued while we were blacklisted
554	response['message'] = 're-whitelisted';
555	}
556	}
557	}
558	else{ // blacklist
559	if ($pool AND !$pool.blacklisted){
560	$pool.blacklisted = true;
561	response['message'] = 'blacklisted';
562	}
563	}
564	var['pool_'\|\|$full_pool_asset] = $new_pool OTHERWISE $pool;
565	/*
566	if (!$old_vp AND $new_vp) // joining the vote on this pool
567	$delta_voted_props = 1;
568	else if ($old_vp AND !$new_vp) // removing one's vote
569	$delta_voted_props = -1;
570	if ($delta_voted_props) {
571	$user.count_voted_props = $user.count_voted_props + $delta_voted_props;
572	var['user_'\|\|$user_address] = $user;
573	}
574	*/
575	}
576	}"
577	}
578	]
579	},
580	{
581	"if": "{trigger.data.vote_value AND trigger.data.name}",
582	"init": "{
583	$name = trigger.data.name;
584	$value = trigger.data.value;
585	if ($name == 'proposal'){
586	$num = trigger.data.num;
587	require($num, "no proposal number");
588	$proposal = var['proposal_' \|\| $num];
589	require($proposal, "no such proposal");
590	$full_name = $name\|\|$num;
591	}
592	else
593	$full_name = $name;
594	if (exists($value)){
595	if ($name == 'swap_fee')
596	require($value >= 0 AND $value < 1, "invalid value");
597	else if ($name == 'arb_profit_tax')
598	require($value >= 0, "invalid value");
599	else if ($name == 'base_rate')
600	require($value >= 0, "invalid value");
601	else if ($name == 'inflation_rate')
602	require($value >= 0, "invalid value");
603	else if ($name == 'stakers_share')
604	require($value >= 0 AND $value <= 1, "invalid value");
605	else if ($name == 'base_tvl')
606	require($value > 0, "invalid value");
607	else if ($name == 'oracle')
608	require(is_valid_address($value), "invalid value");
609	else if ($name == 'challenging_period')
610	require(is_integer($value) AND $value > 0, "invalid value");
611	else if ($name == 'proposal'){
612	require($value == 'yes' OR $value == 'no', "invalid value");
613	require(parse_date($proposal.expiry) > timestamp, "the proposal has expired");
614	require(!$proposal.result, "the proposal has already been decided upon");
615	}
616	else
617	bounce("unknown variable");
618	}
619	$prev_vote = var['user_value_votes_'\|\|$user_address\|\|'_'\|\|$full_name];
620	$vp = $user.normalized_vp;
621	$leader = var['leader_'\|\|$full_name] OTHERWISE {};
622	$subtracted_from_leader_vp = ($prev_vote AND exists($leader.value) AND $prev_vote.value == $leader.value AND $value != $prev_vote.value) ? $prev_vote.vp : 0; // removing my vote from the current leader
623	$leader_vp = exists($leader.value) ? var['value_votes_'\|\|$full_name\|\|'_'\|\|$leader.value] - $subtracted_from_leader_vp : 0;
624	if (exists($value)){
625	$added_vp = $vp - ($prev_vote AND $prev_vote.value == $value ? $prev_vote.vp : 0);
626	$new_vp = var['value_votes_'\|\|$full_name\|\|'_'\|\|$value] + $added_vp;
627	if ((!exists($leader.value) OR $leader.value != $value) AND $new_vp > $leader_vp){
628	$leader.value = $value;
629	$leader.flip_ts = timestamp;
630	$new_leader_vp = $new_vp;
631	$bLeaderChanged = true;
632	response['new_leader'] = $value;
633	}
634	else
635	$new_leader_vp = $leader_vp;
636	$bProposalJustFinished = $new_leader_vp > $state.total_normalized_vp/2 AND $name == 'proposal' AND !$proposal.result;
637	if ($bProposalJustFinished)
638	$proposal.result = $leader.value;
639	}
640	}",
641	"messages": [
642	{
643	"if": "{$bProposalJustFinished AND $proposal.result == 'yes'}",
644	"app": "payment",
645	"payload": {
646	"asset": "{$reserve_asset}",
647	"outputs": [
648	{
649	"address": "{$proposal.recipient}",
650	"amount": "{$proposal.amount}"
651	}
652	]
653	}
654	},
655	{
656	"app": "state",
657	"state": "{
658	if ($prev_vote)
659	var['value_votes_'\|\|$full_name\|\|'_'\|\|$prev_vote.value] -= $prev_vote.vp;
660	if (exists($value)){
661	var['value_votes_'\|\|$full_name\|\|'_'\|\|$value] += $vp;
662	if ($bLeaderChanged)
663	var['leader_'\|\|$full_name] = $leader;
664
665	$is_new_value = () => {
666	$current_value = var[$name];
667	!exists($current_value) OR $current_value != $leader.value
668	};
669
670	// commit token params
671	if ($name != 'proposal' AND $is_new_value() AND ($new_leader_vp > $state.total_normalized_vp/2 OR timestamp > $leader.flip_ts + $challenging_period AND $name != 'challenging_period')){
672	var[$name] = $leader.value;
673	response['committed'] = $leader.value;
674	}
675	// commit proposals
676	if ($bProposalJustFinished){
677	var['proposal_' \|\| $num] = $proposal;
678	if ($proposal.result == 'yes'){
679	$lib#0.$subtract_grant($state, $proposal.amount);
680	var['state'] = $state;
681	response['committed'] = 'proposal_' \|\| $num;
682	}
683	}
684	}
685	var['user_value_votes_'\|\|$user_address\|\|'_'\|\|$full_name] = exists($value) ? {value:$value, vp:$vp} : false;
686	/*
687	if (!$prev_vote AND exists($value)) // joining the vote on this prop
688	$delta_voted_props = 1;
689	else if ($prev_vote AND !exists($value)) // removing one's vote
690	$delta_voted_props = -1;
691	if ($delta_voted_props) {
692	$user.count_voted_props = $user.count_voted_props + $delta_voted_props;
693	var['user_'\|\|$user_address] = $user;
694	}
695	*/
696	}"
697	}
698	]
699	},
700	{
701	"if": "{ trigger.data.add_proposal }",
702	"init": "{
703	require(is_valid_address(trigger.data.recipient), "invalid grant recipient address");
704	require(is_integer(trigger.data.amount) AND trigger.data.amount > 0, "invalid grant amount");
705	require(unit[trigger.data.unit], "proposal unit not found");
706	require(trigger.data.expiry, "proposal expiry date not set");
707	$expiry_ts = parse_date(trigger.data.expiry);
708	require($expiry_ts, "invalid expiry date");
709	}",
710	"messages": [
711	{
712	"app": "state",
713	"state": "{
714	var['count_proposals'] += 1;
715	$num = var['count_proposals'];
716	var['proposal_' \|\| $num] = {
717	recipient: trigger.data.recipient,
718	amount: trigger.data.amount,
719	unit: trigger.data.unit,
720	expiry: trigger.data.expiry,
721	};
722	}"
723	}
724	]
725	},
726	{
727	"if": "{ $asset AND (trigger.output[[asset=$reserve_asset]] > $min_contribution OR trigger.output[[asset=$asset]] > 0) }",
728	"init": "{
729
730	require($state.supply OR trigger.address == $constants.initial_sale_pool_address, "only the initial sale pool is allowed to make the first purchase");
731
732	$tokens = trigger.output[[asset=$asset]];
733	if ($tokens)
734	require(trigger.output[[asset=$reserve_asset]] <= $min_contribution, "don't send the reserve when redeeming tokens");
735
736	$reserve_asset_amount = $tokens ? 0 : trigger.output[[asset=$reserve_asset]] - $network_fee; // subtract a fee to compensate for network fees
737
738	$res = $lib#0.$get_exchange_result_by_state($tokens, $reserve_asset_amount, trigger.initial_address, $state, $props);
739
740	response['price'] = $res.new_price;
741	response['swap_fee'] = $res.swap_fee;
742	response['arb_profit_tax'] = $res.arb_profit_tax;
743	response['total_fee'] = $res.total_fee;
744	response['coef_multiplier'] = $res.coef_multiplier;
745
746	if ($res.payout AND $res.payout < 0)
747	$error = "unexpected payout < 0";
748	else if ($res.payout AND trigger.data.min_reserve_tokens AND $res.payout < trigger.data.min_reserve_tokens)
749	$error = "payout would be only " \|\| $res.payout;
750	else if ($res.delta_s > 0 AND trigger.data.min_tokens AND $res.delta_s < trigger.data.min_tokens)
751	$error = "would buy only " \|\| $res.delta_s;
752	else if (trigger.data.max_fee_percent AND $res.fee_percent > trigger.data.max_fee_percent)
753	$error = "fee would be " \|\| $res.fee_percent \|\| '%';
754
755	if ($error){
756	if (trigger.data.soft_bounce)
757	return; // will send the coins back to $to
758	else
759	bounce($error);
760	}
761
762	// further hops
763	$hops = trigger.data.hops;
764	$address = $hops[0].address OTHERWISE $to;
765	if ($hops){
766	$data_for_next_hop = $hops[0].data;
767	delete($hops, 0); // remove the head hop
768	if ($data_for_next_hop OR length($hops)){
769	$forwarded_data = $data_for_next_hop OTHERWISE {};
770	if (length($hops))
771	$forwarded_data.hops = $hops;
772	}
773	}
774
775	}",
776	"messages": [
777	{
778	"if": "{$res.delta_s > 0 AND !$error}",
779	"app": "payment",
780	"payload": {
781	"asset": "{$asset}",
782	"outputs": [
783	{
784	"address": "{$address}",
785	"amount": "{ floor($res.delta_s) }"
786	}
787	]
788	}
789	},
790	{
791	"if": "{!$error}",
792	"app": "payment",
793	"payload": {
794	"asset": "{$reserve_asset}",
795	"outputs": [
796	{
797	"address": "{$address}",
798	"amount": "{$res.payout}",
799	"if": "{$res.payout}"
800	}
801	]
802	}
803	},
804	{
805	"if": "{$error AND $tokens}",
806	"app": "payment",
807	"payload": {
808	"asset": "{$asset}",
809	"outputs": [
810	{
811	"address": "{$to}",
812	"amount": "{ $tokens }"
813	}
814	]
815	}
816	},
817	{
818	"if": "{$error AND !$tokens}",
819	"app": "payment",
820	"payload": {
821	"asset": "{$reserve_asset}",
822	"outputs": [
823	{
824	"address": "{$to}",
825	"amount": "{$reserve_asset_amount - 10000}"
826	}
827	]
828	}
829	},
830	{
831	"if": "{$forwarded_data}",
832	"app": "data",
833	"payload": "{$forwarded_data}"
834	},
835	{
836	"app": "state",
837	"state": "{
838	if ($error) return;
839	$state.supply = $state.supply + $res.delta_s;
840	$state.reserve = $state.reserve + $res.delta_reserve;
841	$state.coef = $state.coef * $res.coef_multiplier;
842	var['state'] = $state;
843	response['fee%'] = round($res.fee_percent, 4) \|\| '%';
844	response['supply'] = $state.supply;
845	response['reserve'] = $state.reserve;
846	}"
847	}
848	]
849	}
850	]
851	}
852	}
853	]