Address X56TOFFTFUMMMHDMZPIE5JVFOAX6DRAU, transactions and portfolio

X56TOFFTFUMMMHDMZPIE5JVFOAX6DRAU

Definition

1	[
2	"autonomous agent",
3	{
4	"bounce_fees": {
5	"base": 10000
6	},
7	"init": "{
8	$INVESTMENT_CUT = 0.01; //We take a 1% cut from all maecenas investments
9	$RESERVE_AMOUNT = 200000; //We will always keep > 200.000 in the AA
10
11	if (NOT trigger.data["method"])
12	bounce("method field is mandatory");
13
14	$method = trigger.data["method"];
15
16	$spendableFunds = balance["base"] - var["locked"] - storage_size - $RESERVE_AMOUNT;
17	$owner = var["owner"];
18	$calculateSharesToBuy = ($price, $pool, $myShare)=>ln($price / ($pool * $myShare)) / ln($myShare);
19	$_maecenasCurve = $x=>6969420 * $x^2;
20	}",
21	"getters": "{
22	/*
23	** Attested profile (or just the address if not found)
24	*/
25	$profileOf = $artist=>{
26	$att = attestation[[attestors=this_address, address=$artist, ifseveral='last', type="auto"]]["data"];
27	$ret = ($att ? json_parse($att) : {}) \|\| {address: $artist};
28	return $ret;
29	};
30	$artistInfoOf = $artist=>var["artist_" \|\| $artist];
31	}",
32	"messages": {
33	"cases": [
34	{
35	"if": "{
36	NOT $owner
37	}",
38	"messages": [
39	{
40	"app": "state",
41	"state": "{
42	var["owner"] = "IUU43O7TS2TBYKAPGKUARDZHOTAE275A"; //Set the Owner to my address
43	var["helper"] = "IUU43O7TS2TBYKAPGKUARDZHOTAE275A";
44	var["locked"] = 0; //Bytes locked in investments are not withdrawable by the Owner
45	}"
46	}
47	]
48	},
49	{
50	"if": "{
51	trigger.address == $owner
52	AND ($method == "payout"
53	OR $method == "transferOwnership"
54	OR $method == "setHelper"
55	OR $method == "setAA"
56	OR $method == "delAA"
57	OR $method == "unverify")
58	}",
59	"messages": {
60	"cases": [
61	{
62	"if": "{
63	$method == "payout"
64	}",
65	"messages": [
66	{
67	"app": "payment",
68	"payload": {
69	"asset": "base",
70	"outputs": [
71	{
72	"address": "{trigger.address}",
73	"amount": "{$spendableFunds}"
74	}
75	]
76	}
77	}
78	]
79	},
80	{
81	"if": "{
82	$method == "unverify"
83	}",
84	"init": "{
85	if (NOT trigger.data["artist"])
86	bounce("artist field is mandatory");
87	$_ = $profileOf(trigger.data["artist"]);
88	$oldUsername = $_["username"];
89	$prof = $_ \|\| {verified: false, username: false};
90	}",
91	"messages": [
92	{
93	"app": "attestation",
94	"init": "{
95	$profileString = json_stringify($prof);
96	if (length($profileString) > 4096)
97	bounce("The profile is too long, the user has to remove some fields and retry verification");
98	}",
99	"payload": "{
100	{
101	address: trigger.data["artist"],
102	profile: {
103	data: $profileString
104	}
105	}
106	}"
107	},
108	{
109	"app": "state",
110	"state": "{
111	var["user_" \|\| $oldUsername] = false; //Free username
112	}"
113	}
114	]
115	},
116	{
117	"if": "{
118	$method == "transferOwnership"
119	}",
120	"init": "{
121	if (NOT trigger.data["newOwner"])
122	bounce("newOwner field is mandatory");
123	if (NOT is_valid_address(trigger.data["newOwner"]))
124	bounce("newOwner field is not a valid address");
125	}",
126	"messages": [
127	{
128	"app": "payment",
129	"payload": {
130	"asset": "base",
131	"outputs": [
132	{
133	"address": "{trigger.address}",
134	"amount": "{$spendableFunds}"
135	}
136	]
137	}
138	},
139	{
140	"app": "state",
141	"state": "{
142	var["owner"] = trigger.data["newOwner"];//Ownership is transferred
143	}"
144	}
145	]
146	},
147	{
148	"if": "{
149	$method == "setHelper"
150	}",
151	"init": "{
152	if (NOT trigger.data["helper"])
153	bounce("helper field is mandatory");
154	}",
155	"messages": [
156	{
157	"app": "state",
158	"state": "{
159	var["helper"] = trigger.data["helper"];
160	}"
161	}
162	]
163	},
164	{
165	"if": "{
166	trigger.data["method"] == "setAA"
167	}",
168	"init": "{
169	if (NOT is_valid_address(trigger.data["AA"]))
170	bounce("AA is not a valid address");
171	}",
172	"messages": [
173	{
174	"app": "state",
175	"state": "{
176	var["AA_" \|\| trigger.data["AA"]] = true;
177	}"
178	}
179	]
180	},
181	{
182	"if": "{
183	trigger.data["method"] == "delAA"
184	}",
185	"init": "{
186	if (NOT var["AA_" \|\| trigger.data["AA"]])
187	bounce("AA is not a valid address");
188	}",
189	"messages": [
190	{
191	"app": "state",
192	"state": "{
193	var["AA_" \|\| trigger.data["AA"]] = false;
194	}"
195	}
196	]
197	}
198	]
199	}
200	},
201	{
202	"if": "{
203	(trigger.address == $owner
204	OR trigger.address == var["helper"])
205	AND $method == "verifyProfile"
206	}",
207	"init": "{
208	if (NOT trigger.data["artist"])
209	bounce("artist field is mandatory");
210	$prof = $profileOf(trigger.data["artist"]);
211	}",
212	"messages": [
213	{
214	"app": "attestation",
215	"payload": "{
216	{
217	address: trigger.data["artist"],
218	profile: { //Wrapper to be able to query the whole object at once since you can only query attestations by fields
219	data: json_stringify($prof \|\| {verified: true})
220	}
221	}
222	}"
223	},
224	{
225	"app": "state",
226	"state": "{
227	var["user_" \|\| $prof.username] = trigger.data["artist"]; //Username is now taken
228	}"
229	}
230	]
231	},
232	{
233	"if": "{
234	$method == "DIVEST"
235	}",
236	"init": "{
237	$artist = $profileOf(trigger.data["artist"]);
238
239	if (NOT trigger.data["artist"])
240	bounce("artist field is mandatory");
241	if (NOT is_valid_address(trigger.data["artist"]))
242	bounce("artist's address is invalid");
243
244	if (NOT $artist)
245	bounce("That artist never accepted maecenas");
246
247	if (NOT exists(trigger.data["amount"]))
248	bounce("amount field is mandatory");
249	if (NOT is_integer(trigger.data["amount"]) OR trigger.data["amount"] <= 0)
250	bounce("amount must be an integer > 0");
251
252	$investedAmount = var["maecenas_" \|\| trigger.address \|\| "_" \|\| trigger.data["artist"]];
253
254	if (NOT $investedAmount)
255	bounce("You have no shares of that artist");
256
257	if (trigger.data["amount"] > $investedAmount)
258	bounce("You only have " \|\| $investedAmount \|\| " shares of that artist");
259
260	$yourShare = floor($artist.share * trigger.data["amount"] / $artist.supply, 0);
261
262	if ($yourShare < 20000)
263	bounce("It is not worth divesting your share");
264
265	$allowsMaecenas = ($artist.sharePercent >= 0.01) ? true : false;
266	$hasMaecenas = $allowsMaecenas
267	? $artist.supply > 0
268	? true
269	: false
270	: false;
271
272
273	if ($allowsMaecenas){
274	$maecenasShare = 0;
275	$sharesInThePool = $artist.supply - trigger.data["amount"]; //If divesting we need to substract divested shares
276	$p = $artist.share - floor((trigger.data["amount"] / $artist.supply) * $artist.share, 0); //Current share minus what was just divested
277
278	$k = 1 / ($sharesInThePool + 1); //The fraction of the pool 1 share represents
279	$price = $_maecenasCurve($sharesInThePool + 1); //Price of buying one share
280
281	$totalSpendable = floor($spendableFunds + $price * $INVESTMENT_CUT, 0);
282
283	$sharesToBuy = $sharesInThePool == 0 ? 0 : ceil($calculateSharesToBuy($price, $p, $k), 0);//Can be 0 and I would still afford 1 share if profitable
284
285	if ($k == 1){
286	$sharesICanAfford = $price < $totalSpendable ? 1 : 0;
287	}
288	else {
289	if ($totalSpendable > $price AND $sharesToBuy >= 1){
290	$sharesICanAfford = floor($totalSpendable / ($price * $sharesToBuy * (1 - $INVESTMENT_CUT)), 0); //Do not buy more shares than what I can afford
291	}
292	else{
293	$sharesICanAfford = 0;
294	}
295	}
296	}
297
298	if ($allowsMaecenas AND $sharesICanAfford > 0){
299	$buyShares = true;
300	}
301	else{
302	$buyShares = false;
303	}
304
305	$shareIWillfinallyBuy = min($sharesToBuy, $sharesICanAfford); //Maybe I can afford more shares than what is profitable to buy
306	$myProfit = floor($buyShares ? $p - $p * $k^$shareIWillfinallyBuy : 0, 0); //0 if no shares are bought
307	$poolFinalValue = $p - $myProfit; //Not actual profit but what I got out of the pool
308	}",
309	"messages": [
310	{
311	"app": "payment",
312	"payload": {
313	"asset": "base",
314	"outputs": [
315	{
316	"address": "{trigger.address}",
317	"amount": "{$yourShare - 10000}"
318	}
319	]
320	}
321	},
322	{
323	"app": "state",
324	"state": "{
325	var["artist_" \|\| trigger.data["artist"]] \|\|= {
326	share: $artist.share - $yourShare, //Decrease the share by the amount just divested
327	supply: $artist.supply - trigger.data["amount"] //Decrease the supply by the shares used to divest
328	};
329	var["maecenas_" \|\| trigger.address \|\| "_" \|\| trigger.data["artist"]] -= trigger.data["amount"];
330	var["locked"] -= ($yourShare + $myProfit);
331	}"
332	}
333	]
334	},
335	{
336	"if": "{
337	$method == "ENABLE_INVESTING"
338	}",
339	"init": "{
340	if (var["artist_" \|\| trigger.address])
341	bounce("You are already accepting maecenas");
342
343	if (NOT trigger.data["share"])
344	bounce("share field is mandatory");
345
346	if (NOT is_integer(trigger.data["share"]) OR trigger.data["share"] < 1 OR trigger.data["share"] > 50)
347	bounce("share must be an integer between 1 - 50");
348	if (exists(trigger.data["selfBuy"])){
349	if (NOT is_integer(trigger.data["selfBuy"]))
350	bounce("selfBuy field must be an integer");
351	if (trigger.data["selfBuy"] < 0)
352	bounce("selfBuy must be a positive integer");
353
354	$cost = (1161570 * trigger.data["selfBuy"] * (1 + trigger.data["selfBuy"]) * (1 + 2 * trigger.data["selfBuy"])) * $INVESTMENT_CUT;
355
356	if (trigger.output[[asset="base"]].amount < $cost)
357	bounce("You need to send at least " \|\| $cost \|\| " bytes");
358	}
359	}",
360	"messages": [
361	{
362	"app": "state",
363	"state": "{
364	var["artist_" \|\| trigger.address] = {
365	supply: trigger.data["selfBuy"] OTHERWISE 0,
366	share: 0, //Pooled amount availabe to investors
367	sharePercent: trigger.data["share"] / 100
368	};
369	if (trigger.data["selfBuy"])
370	var["maecenas_" \|\| trigger.address \|\| "_" \|\| trigger.address] = trigger.data["selfBuy"];
371	}"
372	}
373	]
374	},
375	{
376	"if": "{
377	$method == "DISABLE_INVESTING"
378	}",
379	"init": "{
380	$info = $profileOf(trigger.address);
381
382	if (NOT $info)
383	bounce("You are already not accepting maecenas");
384
385	if ($info.supply > 0)
386	bounce("You cannot stop accepting maecenas right now as you already have some");
387	}",
388	"messages": [
389	{
390	"app": "state",
391	"state": "{
392	var["artist_" \|\| trigger.address] = false;
393	}"
394	}
395	]
396	},
397	{
398	"if": "{
399	$method == "INVEST"
400	}",
401	"init": "{
402	if (NOT trigger.data["artist"])
403	bounce("artist field is mandatory");
404
405	$artist = $profileOf(trigger.data["artist"]);
406
407	if (NOT $artist)
408	bounce("That artist is not accepting maecenas");
409
410	if (NOT trigger.data["amount"])
411	bounce("amount field is mandatory");
412	if (NOT is_integer(trigger.data["amount"]) OR trigger.data["amount"] <= 0)
413	bounce("amount must be a positive integer");
414
415
416	$x0 = $artist.supply;
417	$x1 = $artist.supply + trigger.data["amount"];
418
419
420	$upToFirstToken = 1161570 * $x0 * (1 + $x0) * (1 + 2 * $x0);
421	$upToTargetPurchase = 1161570 * $x1 * (1 + $x1) * (1 + 2 * $x1);
422
423	$totalCost = round($upToTargetPurchase - $upToFirstToken, 0);
424
425	if (trigger.output[[asset="base"]].amount < $totalCost)
426	bounce("Your payment is not enough for that purchase");
427	}",
428	"messages": [
429	{
430	"app": "payment",
431	"payload": {
432	"asset": "base",
433	"outputs": [
434	{
435	"address": "{trigger.data["artist"]}",
436	"amount": "{floor($totalCost * (1 - $INVESTMENT_CUT) - 10000, 0)}"
437	}
438	]
439	}
440	},
441	{
442	"app": "state",
443	"state": "{
444	var["artist_" \|\| trigger.data["artist"]] \|\|= {supply: $artist.supply + trigger.data["amount"]};
445
446	if (var["maecenas_" \|\| trigger.address \|\| "_" \|\| trigger.data["artist"]])
447	var["maecenas_" \|\| trigger.address \|\| "_" \|\| trigger.data["artist"]] += trigger.data["amount"];
448	else
449	var["maecenas_" \|\| trigger.address \|\| "_" \|\| trigger.data["artist"]] = trigger.data["amount"];
450	}"
451	}
452	]
453	},
454	{
455	"if": "{
456	$method == "PROFILE"
457	}",
458	"init": "{
459	$prof = $profileOf(trigger.address);
460
461	$oldUsername = $prof.username;
462	$newUsername = trigger.data["username"] OTHERWISE $oldUsername;
463
464	if (NOT $oldUsername){
465	if (NOT trigger.data["username"])
466	bounce("username field is mandatory");
467	}
468
469	if (var["user_" \|\| $newUsername]){
470	if ($oldUsername){
471	if ($oldUsername != $newUsername){
472	bounce("username already taken by a verified user");
473	}
474	}
475	}
476	if (exists(trigger.data["username"]) OR exists(trigger.data["name"]) OR exists(trigger.data["company"]))
477	$unverify = true;
478	else
479	$unverify = false;
480
481	if ($prof)
482	$profileObj = $prof \|\| trigger.data \|\| {username: $newUsername, verified: $unverify};
483	else
484	$profileObj = trigger.data \|\| {username: $newUsername, verified: $unverify};
485	delete($profileObj, "method");
486	}",
487	"messages": [
488	{
489	"app": "attestation",
490	"init": "{
491	$profileString = json_stringify($profileObj);
492	if (length($profileString) > 4096)
493	bounce("Your profile is too big, try removing some fields");
494	}",
495	"payload": "{
496	{
497	address: trigger.address,
498	profile: {
499	data: $profileString
500	}
501	}
502	}"
503	},
504	{
505	"app": "state",
506	"state": "{
507	//var["profile_" \|\| trigger.address] = $profileObj;
508	if ($oldUsername){
509	if ($oldUsername != $newUsername)
510	var["user_" \|\| $oldUsername] = false; //Free old username
511	}
512	//Do not lock new username here. It will be locked upon verification to prevent username squatting
513	}"
514	}
515	]
516	},
517	{
518	"if": "{
519	$method == "addShare"
520	}",
521	"init": "{
522	//Failsafe measures against a bug being found on one of our AAs
523	if (NOT var["AA_" \|\| trigger.address])
524	bounce("You have no power here!");
525	}",
526	"messages": [
527	{
528	"app": "state",
529	"state": "{
530	$current = $artistInfoOf(trigger.data["artist"]);
531	var[trigger.data["artist"]] = $current \|\| {share: ($current.share OTHERWISE 0) + trigger.output[[asset="base"]].amount};
532	}"
533	}
534	]
535	}
536	]
537	}
538	}
539	]