Address R75GUSXBH2OGYMXCM2AZ6L5CWHVLHZVF, transactions and portfolio

R75GUSXBH2OGYMXCM2AZ6L5CWHVLHZVF

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