Address D6MZ7PSM7RRMF52IDHOUZKXVIM3RF2I5, transactions and portfolio

D6MZ7PSM7RRMF52IDHOUZKXVIM3RF2I5

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