Address 64COA2QBLEME44JJMWDOSZQCO3YIN7XD, transactions and portfolio

64COA2QBLEME44JJMWDOSZQCO3YIN7XD

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