Skip to content

Commit ad1067d

Browse files
author
Fausto Spoto
committed
Updated tutorial up to Chapter 5
1 parent 67a1813 commit ad1067d

12 files changed

+8042
-8397
lines changed

‎README.md

+3,826-4,184
Large diffs are not rendered by default.

‎pics/contracts.png

3.62 KB
Loading

‎pics/state1.fig

+47
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,47 @@
1+
#FIG 3.2 Produced by xfig version 3.2.7b
2+
Portrait
3+
Center
4+
Metric
5+
A4
6+
100.00
7+
Single
8+
-2
9+
1200 2
10+
5 1 0 5 0 28 47 -1 -1 0.000 0 1 1 0 4119.209 4417.690 3915 3780 3465 4275 3780 4995
11+
1 1 2.00 120.00 120.00
12+
5 1 0 5 0 31 50 -1 20 0.000 0 0 1 0 2947.500 4927.500 2385 1575 3060 1530 3510 1575
13+
1 1 2.00 120.00 120.00
14+
5 1 0 5 0 28 47 -1 -1 0.000 0 0 1 0 4395.000 4858.636 5220 4185 5445 4680 5085 5670
15+
1 1 2.00 120.00 120.00
16+
5 1 0 5 0 28 47 -1 -1 0.000 0 1 1 0 6487.861 5749.970 4950 4590 4680 5085 4815 6705
17+
1 1 2.00 120.00 120.00
18+
5 1 0 5 0 31 50 -1 20 0.000 0 0 1 0 2857.500 6592.500 2295 3240 2970 3195 3420 3240
19+
1 1 2.00 120.00 120.00
20+
2 4 0 2 0 31 50 -1 20 0.000 0 0 7 0 0 5
21+
7650 2835 3600 2835 3600 1395 7650 1395 7650 2835
22+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
23+
7650 6525 3600 6525 3600 5760 7650 5760 7650 6525
24+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
25+
7650 7650 3600 7650 3600 6750 7650 6750 7650 7650
26+
2 4 0 2 0 11 51 -1 20 0.000 0 0 7 0 0 5
27+
8100 7875 3150 7875 3150 1125 8100 1125 8100 7875
28+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
29+
7650 5445 3600 5445 3600 4995 7650 4995 7650 5445
30+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
31+
7650 4725 3600 4725 3600 3060 7650 3060 7650 4725
32+
4 0 0 50 -1 0 16 0.0000 4 195 1635 540 1665 takamakaCode\001
33+
4 0 0 50 -1 0 14 0.0000 4 165 1635 3960 5310 balance: 9999....\001
34+
4 0 0 50 -1 0 14 0.0000 4 165 1035 4050 4545 validators:\001
35+
4 0 0 50 -1 0 14 0.0000 4 225 1080 4050 4230 gasStation:\001
36+
4 0 0 50 -1 0 14 0.0000 4 210 765 4050 3915 gamete:\001
37+
4 0 0 50 -1 0 14 0.0000 4 225 1785 4050 3645 signature:ed25519\001
38+
4 0 0 50 -1 0 14 0.0000 4 165 2370 4050 3375 chainId: chain-ASdWiN\001
39+
4 0 0 50 -1 0 12 0.0000 4 195 3465 3960 2610 Storage, StorageMap, StorageTreeMap\001
40+
4 0 0 50 -1 0 12 0.0000 4 195 2445 4365 2295 @Payable, PayableContract\001
41+
4 0 0 50 -1 0 12 0.0000 4 180 3045 4140 1980 Contract, @View, @FromContract\001
42+
4 0 0 50 -1 0 14 0.0000 4 225 1065 3780 6075 gasPrice: 1\001
43+
4 0 0 50 -1 0 14 0.0000 4 165 1605 3735 6435 inflation: 0.10%\001
44+
4 0 0 50 -1 0 14 0.0000 4 165 1245 3780 7425 validator #0:\001
45+
4 0 0 50 -1 0 16 0.0000 4 195 975 1125 3330 manifest\001
46+
4 0 0 50 -1 0 16 0.0000 4 255 2325 4500 1665 io-takamaka-code.jar\001
47+
4 0 0 50 -1 0 14 0.0000 4 165 2355 3780 7065 number of validators: ...\001

‎pics/state2.fig

+56
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,56 @@
1+
#FIG 3.2 Produced by xfig version 3.2.7b
2+
Portrait
3+
Center
4+
Metric
5+
A4
6+
100.00
7+
Single
8+
-2
9+
1200 2
10+
5 1 0 5 0 28 47 -1 -1 0.000 0 1 1 0 4119.209 4417.690 3915 3780 3465 4275 3780 4995
11+
1 1 2.00 120.00 120.00
12+
5 1 0 5 0 31 50 -1 20 0.000 0 0 1 0 2947.500 4927.500 2385 1575 3060 1530 3510 1575
13+
1 1 2.00 120.00 120.00
14+
5 1 0 5 0 28 47 -1 -1 0.000 0 0 1 0 4395.000 4858.636 5220 4185 5445 4680 5085 5670
15+
1 1 2.00 120.00 120.00
16+
5 1 0 5 0 28 47 -1 -1 0.000 0 1 1 0 6487.861 5749.970 4950 4590 4680 5085 4815 6705
17+
1 1 2.00 120.00 120.00
18+
5 1 0 5 0 31 50 -1 20 0.000 0 0 1 0 2857.500 6592.500 2295 3240 2970 3195 3420 3240
19+
1 1 2.00 120.00 120.00
20+
5 1 0 5 0 28 50 -1 -1 0.000 0 0 1 0 12233.863 -2522.045 13770 1710 12870 1935 12195 1980
21+
1 1 2.00 120.00 120.00
22+
2 4 0 2 0 31 50 -1 20 0.000 0 0 7 0 0 5
23+
7650 2835 3600 2835 3600 1395 7650 1395 7650 2835
24+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
25+
7650 6525 3600 6525 3600 5760 7650 5760 7650 6525
26+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
27+
7650 7650 3600 7650 3600 6750 7650 6750 7650 7650
28+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
29+
7650 5445 3600 5445 3600 4995 7650 4995 7650 5445
30+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
31+
7650 4725 3600 4725 3600 3060 7650 3060 7650 4725
32+
2 4 0 2 0 11 51 -1 20 0.000 0 0 7 0 0 5
33+
12600 7875 3150 7875 3150 1125 12600 1125 12600 7875
34+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
35+
12150 2880 8100 2880 8100 1395 12150 1395 12150 2880
36+
4 0 0 50 -1 0 16 0.0000 4 195 1635 540 1665 takamakaCode\001
37+
4 0 0 50 -1 0 14 0.0000 4 165 1635 3960 5310 balance: 9999....\001
38+
4 0 0 50 -1 0 14 0.0000 4 165 1035 4050 4545 validators:\001
39+
4 0 0 50 -1 0 14 0.0000 4 225 1080 4050 4230 gasStation:\001
40+
4 0 0 50 -1 0 14 0.0000 4 210 765 4050 3915 gamete:\001
41+
4 0 0 50 -1 0 14 0.0000 4 225 1785 4050 3645 signature:ed25519\001
42+
4 0 0 50 -1 0 14 0.0000 4 165 2370 4050 3375 chainId: chain-ASdWiN\001
43+
4 0 0 50 -1 0 12 0.0000 4 195 3465 3960 2610 Storage, StorageMap, StorageTreeMap\001
44+
4 0 0 50 -1 0 12 0.0000 4 195 2445 4365 2295 @Payable, PayableContract\001
45+
4 0 0 50 -1 0 12 0.0000 4 180 3045 4140 1980 Contract, @View, @FromContract\001
46+
4 0 0 50 -1 0 14 0.0000 4 225 1065 3780 6075 gasPrice: 1\001
47+
4 0 0 50 -1 0 14 0.0000 4 165 1605 3735 6435 inflation: 0.10%\001
48+
4 0 0 50 -1 0 14 0.0000 4 165 2355 3780 7065 number of validators: ...\001
49+
4 0 0 50 -1 0 14 0.0000 4 165 1245 3780 7425 validator #0:\001
50+
4 0 0 50 -1 0 16 0.0000 4 195 975 1125 3330 manifest\001
51+
4 0 0 50 -1 0 16 0.0000 4 255 2325 4500 1665 io-takamaka-code.jar\001
52+
4 0 0 50 -1 0 14 0.0000 4 165 810 8370 1710 nonce: 0\001
53+
4 0 0 50 -1 0 14 0.0000 4 225 3015 8370 2025 publicKey: MCowBQYDK2...\001
54+
4 0 0 50 -1 0 14 0.0000 4 165 1455 8370 2385 balance:5000...\001
55+
4 0 0 50 -1 0 14 0.0000 4 165 1305 8370 2700 balanceRed:0\001
56+
4 0 0 50 -1 0 16 0.0000 4 195 2010 13185 1530 22e5e16eeed3...#0\001

‎pics/state2.fig.bak

+56
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,56 @@
1+
#FIG 3.2 Produced by xfig version 3.2.7b
2+
Portrait
3+
Center
4+
Metric
5+
A4
6+
100.00
7+
Single
8+
-2
9+
1200 2
10+
5 1 0 5 0 28 47 -1 -1 0.000 0 1 1 0 4119.209 4417.690 3915 3780 3465 4275 3780 4995
11+
1 1 2.00 120.00 120.00
12+
5 1 0 5 0 31 50 -1 20 0.000 0 0 1 0 2947.500 4927.500 2385 1575 3060 1530 3510 1575
13+
1 1 2.00 120.00 120.00
14+
5 1 0 5 0 28 47 -1 -1 0.000 0 0 1 0 4395.000 4858.636 5220 4185 5445 4680 5085 5670
15+
1 1 2.00 120.00 120.00
16+
5 1 0 5 0 28 47 -1 -1 0.000 0 1 1 0 6487.861 5749.970 4950 4590 4680 5085 4815 6705
17+
1 1 2.00 120.00 120.00
18+
5 1 0 5 0 31 50 -1 20 0.000 0 0 1 0 2857.500 6592.500 2295 3240 2970 3195 3420 3240
19+
1 1 2.00 120.00 120.00
20+
5 1 0 5 0 28 50 -1 -1 0.000 0 0 1 0 12233.863 -2522.045 13770 1710 12870 1935 12195 1980
21+
1 1 2.00 120.00 120.00
22+
2 4 0 2 0 31 50 -1 20 0.000 0 0 7 0 0 5
23+
7650 2835 3600 2835 3600 1395 7650 1395 7650 2835
24+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
25+
7650 6525 3600 6525 3600 5760 7650 5760 7650 6525
26+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
27+
7650 7650 3600 7650 3600 6750 7650 6750 7650 7650
28+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
29+
7650 5445 3600 5445 3600 4995 7650 4995 7650 5445
30+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
31+
7650 4725 3600 4725 3600 3060 7650 3060 7650 4725
32+
2 4 0 2 0 11 51 -1 20 0.000 0 0 7 0 0 5
33+
12600 7875 3150 7875 3150 1125 12600 1125 12600 7875
34+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
35+
12150 2880 8100 2880 8100 1395 12150 1395 12150 2880
36+
4 0 0 50 -1 0 16 0.0000 4 195 1635 540 1665 takamakaCode\001
37+
4 0 0 50 -1 0 14 0.0000 4 165 1635 3960 5310 balance: 9999....\001
38+
4 0 0 50 -1 0 14 0.0000 4 165 1035 4050 4545 validators:\001
39+
4 0 0 50 -1 0 14 0.0000 4 225 1080 4050 4230 gasStation:\001
40+
4 0 0 50 -1 0 14 0.0000 4 210 765 4050 3915 gamete:\001
41+
4 0 0 50 -1 0 14 0.0000 4 225 1785 4050 3645 signature:ed25519\001
42+
4 0 0 50 -1 0 14 0.0000 4 165 2370 4050 3375 chainId: chain-ASdWiN\001
43+
4 0 0 50 -1 0 12 0.0000 4 195 3465 3960 2610 Storage, StorageMap, StorageTreeMap\001
44+
4 0 0 50 -1 0 12 0.0000 4 195 2445 4365 2295 @Payable, PayableContract\001
45+
4 0 0 50 -1 0 12 0.0000 4 180 3045 4140 1980 Contract, @View, @FromContract\001
46+
4 0 0 50 -1 0 14 0.0000 4 225 1065 3780 6075 gasPrice: 1\001
47+
4 0 0 50 -1 0 14 0.0000 4 165 1605 3735 6435 inflation: 0.10%\001
48+
4 0 0 50 -1 0 14 0.0000 4 165 2355 3780 7065 number of validators: ...\001
49+
4 0 0 50 -1 0 14 0.0000 4 165 1245 3780 7425 validator #0:\001
50+
4 0 0 50 -1 0 16 0.0000 4 195 975 1125 3330 manifest\001
51+
4 0 0 50 -1 0 16 0.0000 4 255 2325 4500 1665 io-takamaka-code.jar\001
52+
4 0 0 50 -1 0 14 0.0000 4 165 810 8370 1710 nonce: 0\001
53+
4 0 0 50 -1 0 14 0.0000 4 225 3015 8370 2025 publicKey: MCowBQYDK2...\001
54+
4 0 0 50 -1 0 14 0.0000 4 165 1455 8370 2385 balance:5000...\001
55+
4 0 0 50 -1 0 14 0.0000 4 165 1305 8370 2700 balanceRed:0\001
56+
4 0 0 50 -1 0 16 0.0000 4 195 1725 13185 1530 22e5e16eeed3...\001

‎pics/state2.png

-174 Bytes
Loading

‎pics/state3.fig

+65
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,65 @@
1+
#FIG 3.2 Produced by xfig version 3.2.7b
2+
Portrait
3+
Center
4+
Metric
5+
A4
6+
100.00
7+
Single
8+
-2
9+
1200 2
10+
5 1 0 5 0 28 47 -1 -1 0.000 0 1 1 0 4119.209 4417.690 3915 3780 3465 4275 3780 4995
11+
1 1 2.00 120.00 120.00
12+
5 1 0 5 0 31 50 -1 20 0.000 0 0 1 0 2947.500 4927.500 2385 1575 3060 1530 3510 1575
13+
1 1 2.00 120.00 120.00
14+
5 1 0 5 0 28 47 -1 -1 0.000 0 0 1 0 4395.000 4858.636 5220 4185 5445 4680 5085 5670
15+
1 1 2.00 120.00 120.00
16+
5 1 0 5 0 28 47 -1 -1 0.000 0 1 1 0 6487.861 5749.970 4950 4590 4680 5085 4815 6705
17+
1 1 2.00 120.00 120.00
18+
5 1 0 5 0 31 50 -1 20 0.000 0 0 1 0 2857.500 6592.500 2295 3240 2970 3195 3420 3240
19+
1 1 2.00 120.00 120.00
20+
5 1 0 5 0 28 50 -1 -1 0.000 0 0 1 0 12233.863 -2522.045 13770 1710 12870 1935 12195 1980
21+
1 1 2.00 120.00 120.00
22+
5 1 0 5 0 28 50 -1 -1 0.000 0 0 1 0 12278.863 -1127.045 13815 3105 12915 3330 12240 3375
23+
1 1 2.00 120.00 120.00
24+
5 1 0 5 0 7 50 -1 -1 0.000 0 1 1 0 7582.500 3082.500 8055 3150 7920 2745 7650 2610
25+
1 1 1.00 120.00 120.00
26+
2 4 0 2 0 31 50 -1 20 0.000 0 0 7 0 0 5
27+
7650 2835 3600 2835 3600 1395 7650 1395 7650 2835
28+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
29+
7650 6525 3600 6525 3600 5760 7650 5760 7650 6525
30+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
31+
7650 7650 3600 7650 3600 6750 7650 6750 7650 7650
32+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
33+
7650 5445 3600 5445 3600 4995 7650 4995 7650 5445
34+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
35+
7650 4725 3600 4725 3600 3060 7650 3060 7650 4725
36+
2 4 0 2 0 11 51 -1 20 0.000 0 0 7 0 0 5
37+
12600 7875 3150 7875 3150 1125 12600 1125 12600 7875
38+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
39+
12150 2880 8100 2880 8100 1395 12150 1395 12150 2880
40+
2 4 0 2 0 31 50 -1 20 0.000 0 0 7 0 0 5
41+
12105 3915 8055 3915 8055 3105 12105 3105 12105 3915
42+
4 0 0 50 -1 0 16 0.0000 4 195 1635 540 1665 takamakaCode\001
43+
4 0 0 50 -1 0 14 0.0000 4 165 1635 3960 5310 balance: 9999....\001
44+
4 0 0 50 -1 0 14 0.0000 4 165 1035 4050 4545 validators:\001
45+
4 0 0 50 -1 0 14 0.0000 4 225 1080 4050 4230 gasStation:\001
46+
4 0 0 50 -1 0 14 0.0000 4 210 765 4050 3915 gamete:\001
47+
4 0 0 50 -1 0 14 0.0000 4 225 1785 4050 3645 signature:ed25519\001
48+
4 0 0 50 -1 0 14 0.0000 4 165 2370 4050 3375 chainId: chain-ASdWiN\001
49+
4 0 0 50 -1 0 12 0.0000 4 195 3465 3960 2610 Storage, StorageMap, StorageTreeMap\001
50+
4 0 0 50 -1 0 12 0.0000 4 195 2445 4365 2295 @Payable, PayableContract\001
51+
4 0 0 50 -1 0 12 0.0000 4 180 3045 4140 1980 Contract, @View, @FromContract\001
52+
4 0 0 50 -1 0 14 0.0000 4 225 1065 3780 6075 gasPrice: 1\001
53+
4 0 0 50 -1 0 14 0.0000 4 165 1605 3735 6435 inflation: 0.10%\001
54+
4 0 0 50 -1 0 14 0.0000 4 165 2355 3780 7065 number of validators: ...\001
55+
4 0 0 50 -1 0 14 0.0000 4 165 1245 3780 7425 validator #0:\001
56+
4 0 0 50 -1 0 16 0.0000 4 195 975 1125 3330 manifest\001
57+
4 0 0 50 -1 0 16 0.0000 4 255 2325 4500 1665 io-takamaka-code.jar\001
58+
4 0 0 50 -1 0 14 0.0000 4 165 810 8370 1710 nonce: 0\001
59+
4 0 0 50 -1 0 14 0.0000 4 225 3015 8370 2025 publicKey: MCowBQYDK2...\001
60+
4 0 0 50 -1 0 14 0.0000 4 165 1455 8370 2385 balance:5000...\001
61+
4 0 0 50 -1 0 14 0.0000 4 165 1305 8370 2700 balanceRed:0\001
62+
4 0 0 50 -1 0 16 0.0000 4 195 2010 13185 1530 22e5e16eeed3...#0\001
63+
4 0 0 50 -1 0 16 0.0000 4 255 1680 9270 3465 family-0.0.1.jar\001
64+
4 0 0 50 -1 0 12 0.0000 4 150 600 9495 3735 Person\001
65+
4 0 0 50 -1 0 16 0.0000 4 195 1530 13185 2925 428383706d...\001

‎pics/state3.fig.bak

+65
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,65 @@
1+
#FIG 3.2 Produced by xfig version 3.2.7b
2+
Portrait
3+
Center
4+
Metric
5+
A4
6+
100.00
7+
Single
8+
-2
9+
1200 2
10+
5 1 0 5 0 28 47 -1 -1 0.000 0 1 1 0 4119.209 4417.690 3915 3780 3465 4275 3780 4995
11+
1 1 2.00 120.00 120.00
12+
5 1 0 5 0 31 50 -1 20 0.000 0 0 1 0 2947.500 4927.500 2385 1575 3060 1530 3510 1575
13+
1 1 2.00 120.00 120.00
14+
5 1 0 5 0 28 47 -1 -1 0.000 0 0 1 0 4395.000 4858.636 5220 4185 5445 4680 5085 5670
15+
1 1 2.00 120.00 120.00
16+
5 1 0 5 0 28 47 -1 -1 0.000 0 1 1 0 6487.861 5749.970 4950 4590 4680 5085 4815 6705
17+
1 1 2.00 120.00 120.00
18+
5 1 0 5 0 31 50 -1 20 0.000 0 0 1 0 2857.500 6592.500 2295 3240 2970 3195 3420 3240
19+
1 1 2.00 120.00 120.00
20+
5 1 0 5 0 28 50 -1 -1 0.000 0 0 1 0 12233.863 -2522.045 13770 1710 12870 1935 12195 1980
21+
1 1 2.00 120.00 120.00
22+
5 1 0 5 0 28 50 -1 -1 0.000 0 0 1 0 12278.863 -1127.045 13815 3105 12915 3330 12240 3375
23+
1 1 2.00 120.00 120.00
24+
5 1 0 5 0 7 50 -1 -1 0.000 0 1 1 0 7582.500 3082.500 8055 3150 7920 2745 7650 2610
25+
1 1 1.00 120.00 120.00
26+
2 4 0 2 0 31 50 -1 20 0.000 0 0 7 0 0 5
27+
7650 2835 3600 2835 3600 1395 7650 1395 7650 2835
28+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
29+
7650 6525 3600 6525 3600 5760 7650 5760 7650 6525
30+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
31+
7650 7650 3600 7650 3600 6750 7650 6750 7650 7650
32+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
33+
7650 5445 3600 5445 3600 4995 7650 4995 7650 5445
34+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
35+
7650 4725 3600 4725 3600 3060 7650 3060 7650 4725
36+
2 4 0 2 0 11 51 -1 20 0.000 0 0 7 0 0 5
37+
12600 7875 3150 7875 3150 1125 12600 1125 12600 7875
38+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
39+
12150 2880 8100 2880 8100 1395 12150 1395 12150 2880
40+
2 4 0 2 0 31 50 -1 20 0.000 0 0 7 0 0 5
41+
12105 3915 8055 3915 8055 3105 12105 3105 12105 3915
42+
4 0 0 50 -1 0 16 0.0000 4 195 1635 540 1665 takamakaCode\001
43+
4 0 0 50 -1 0 14 0.0000 4 165 1635 3960 5310 balance: 9999....\001
44+
4 0 0 50 -1 0 14 0.0000 4 165 1035 4050 4545 validators:\001
45+
4 0 0 50 -1 0 14 0.0000 4 225 1080 4050 4230 gasStation:\001
46+
4 0 0 50 -1 0 14 0.0000 4 210 765 4050 3915 gamete:\001
47+
4 0 0 50 -1 0 14 0.0000 4 225 1785 4050 3645 signature:ed25519\001
48+
4 0 0 50 -1 0 14 0.0000 4 165 2370 4050 3375 chainId: chain-ASdWiN\001
49+
4 0 0 50 -1 0 12 0.0000 4 195 3465 3960 2610 Storage, StorageMap, StorageTreeMap\001
50+
4 0 0 50 -1 0 12 0.0000 4 195 2445 4365 2295 @Payable, PayableContract\001
51+
4 0 0 50 -1 0 12 0.0000 4 180 3045 4140 1980 Contract, @View, @FromContract\001
52+
4 0 0 50 -1 0 14 0.0000 4 225 1065 3780 6075 gasPrice: 1\001
53+
4 0 0 50 -1 0 14 0.0000 4 165 1605 3735 6435 inflation: 0.10%\001
54+
4 0 0 50 -1 0 14 0.0000 4 165 2295 3780 7065 number of validators: 1\001
55+
4 0 0 50 -1 0 14 0.0000 4 165 1245 3780 7425 validator #0:\001
56+
4 0 0 50 -1 0 16 0.0000 4 195 975 1125 3330 manifest\001
57+
4 0 0 50 -1 0 16 0.0000 4 255 2325 4500 1665 io-takamaka-code.jar\001
58+
4 0 0 50 -1 0 14 0.0000 4 165 810 8370 1710 nonce: 0\001
59+
4 0 0 50 -1 0 14 0.0000 4 225 3015 8370 2025 publicKey: MCowBQYDK2...\001
60+
4 0 0 50 -1 0 14 0.0000 4 165 1515 8370 2385 balance:500000\001
61+
4 0 0 50 -1 0 14 0.0000 4 165 1305 8370 2700 balanceRed:0\001
62+
4 0 0 50 -1 0 16 0.0000 4 195 2340 13185 1530 06aa6a1afabc82c...#0\001
63+
4 0 0 50 -1 0 16 0.0000 4 255 1590 9270 3465 ponzi-0.0.1.jar\001
64+
4 0 0 50 -1 0 12 0.0000 4 195 1050 9495 3735 SimplePonzi\001
65+
4 0 0 50 -1 0 16 0.0000 4 195 2010 13185 2925 39f999a6355554...\001

‎pics/state3.png

19.1 KB
Loading

‎pics/state4.fig

+72
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,72 @@
1+
#FIG 3.2 Produced by xfig version 3.2.7b
2+
Portrait
3+
Center
4+
Metric
5+
A4
6+
100.00
7+
Single
8+
-2
9+
1200 2
10+
5 1 0 5 0 28 47 -1 -1 0.000 0 1 1 0 4119.209 4417.690 3915 3780 3465 4275 3780 4995
11+
1 1 2.00 120.00 120.00
12+
5 1 0 5 0 31 50 -1 20 0.000 0 0 1 0 2947.500 4927.500 2385 1575 3060 1530 3510 1575
13+
1 1 2.00 120.00 120.00
14+
5 1 0 5 0 28 47 -1 -1 0.000 0 0 1 0 4395.000 4858.636 5220 4185 5445 4680 5085 5670
15+
1 1 2.00 120.00 120.00
16+
5 1 0 5 0 28 47 -1 -1 0.000 0 1 1 0 6487.861 5749.970 4950 4590 4680 5085 4815 6705
17+
1 1 2.00 120.00 120.00
18+
5 1 0 5 0 31 50 -1 20 0.000 0 0 1 0 2857.500 6592.500 2295 3240 2970 3195 3420 3240
19+
1 1 2.00 120.00 120.00
20+
5 1 0 5 0 28 50 -1 -1 0.000 0 0 1 0 12233.863 -2522.045 13770 1710 12870 1935 12195 1980
21+
1 1 2.00 120.00 120.00
22+
5 1 0 5 0 28 50 -1 -1 0.000 0 0 1 0 12278.863 -1127.045 13815 3105 12915 3330 12240 3375
23+
1 1 2.00 120.00 120.00
24+
5 1 0 5 0 7 50 -1 -1 0.000 0 1 1 0 7582.500 3082.500 8055 3150 7920 2745 7650 2610
25+
1 1 1.00 120.00 120.00
26+
5 1 0 5 0 28 50 -1 -1 0.000 0 0 1 0 12278.863 132.955 13815 4365 12915 4590 12240 4635
27+
1 1 2.00 120.00 120.00
28+
2 4 0 2 0 31 50 -1 20 0.000 0 0 7 0 0 5
29+
7650 2835 3600 2835 3600 1395 7650 1395 7650 2835
30+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
31+
7650 6525 3600 6525 3600 5760 7650 5760 7650 6525
32+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
33+
7650 7650 3600 7650 3600 6750 7650 6750 7650 7650
34+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
35+
7650 5445 3600 5445 3600 4995 7650 4995 7650 5445
36+
2 4 0 2 0 11 51 -1 20 0.000 0 0 7 0 0 5
37+
12600 7875 3150 7875 3150 1125 12600 1125 12600 7875
38+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
39+
12150 2880 8100 2880 8100 1395 12150 1395 12150 2880
40+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
41+
7650 4725 3600 4725 3600 3060 7650 3060 7650 4725
42+
2 4 0 2 0 31 50 -1 20 0.000 0 0 7 0 0 5
43+
12105 3915 8055 3915 8055 3105 12105 3105 12105 3915
44+
2 4 0 2 0 28 50 -1 20 0.000 0 0 7 0 0 5
45+
12105 4995 8055 4995 8055 4230 12105 4230 12105 4995
46+
4 0 0 50 -1 0 16 0.0000 4 195 1635 540 1665 takamakaCode\001
47+
4 0 0 50 -1 0 14 0.0000 4 165 1635 3960 5310 balance: 9999....\001
48+
4 0 0 50 -1 0 14 0.0000 4 165 1035 4050 4545 validators:\001
49+
4 0 0 50 -1 0 14 0.0000 4 225 1080 4050 4230 gasStation:\001
50+
4 0 0 50 -1 0 14 0.0000 4 210 765 4050 3915 gamete:\001
51+
4 0 0 50 -1 0 14 0.0000 4 225 1785 4050 3645 signature:ed25519\001
52+
4 0 0 50 -1 0 14 0.0000 4 165 2370 4050 3375 chainId: chain-ASdWiN\001
53+
4 0 0 50 -1 0 12 0.0000 4 195 3465 3960 2610 Storage, StorageMap, StorageTreeMap\001
54+
4 0 0 50 -1 0 12 0.0000 4 195 2445 4365 2295 @Payable, PayableContract\001
55+
4 0 0 50 -1 0 12 0.0000 4 180 3045 4140 1980 Contract, @View, @FromContract\001
56+
4 0 0 50 -1 0 14 0.0000 4 225 1065 3780 6075 gasPrice: 1\001
57+
4 0 0 50 -1 0 14 0.0000 4 165 1605 3735 6435 inflation: 0.10%\001
58+
4 0 0 50 -1 0 14 0.0000 4 165 2295 3780 7065 number of validators: 1\001
59+
4 0 0 50 -1 0 14 0.0000 4 165 1245 3780 7425 validator #0:\001
60+
4 0 0 50 -1 0 16 0.0000 4 195 975 1125 3330 manifest\001
61+
4 0 0 50 -1 0 16 0.0000 4 255 2325 4500 1665 io-takamaka-code.jar\001
62+
4 0 0 50 -1 0 14 0.0000 4 165 810 8370 1710 nonce: 0\001
63+
4 0 0 50 -1 0 14 0.0000 4 225 3015 8370 2025 publicKey: MCowBQYDK2...\001
64+
4 0 0 50 -1 0 14 0.0000 4 165 1515 8370 2385 balance:500000\001
65+
4 0 0 50 -1 0 14 0.0000 4 165 1305 8370 2700 balanceRed:0\001
66+
4 0 0 50 -1 0 16 0.0000 4 195 2340 13185 1530 06aa6a1afabc82c...#0\001
67+
4 0 0 50 -1 0 16 0.0000 4 255 1590 9270 3465 ponzi-0.0.1.jar\001
68+
4 0 0 50 -1 0 12 0.0000 4 195 1050 9495 3735 SimplePonzi\001
69+
4 0 0 50 -1 0 16 0.0000 4 195 2010 13185 2925 39f999a6355554...\001
70+
4 0 0 50 -1 0 14 0.0000 4 165 2025 8235 4500 currentInvestment: 0\001
71+
4 0 0 50 -1 0 14 0.0000 4 165 2010 8235 4815 currentInvestor: null\001
72+
4 0 0 50 -1 0 16 0.0000 4 195 2280 13230 4230 754371b03ef2c4...#0\001

0 commit comments

Comments
 (0)