[e-cvs] cvs commit: e/doc/smart-contracts/ertp/images contract-5.gif contract-5.sdr contract-5x2.gif contract-5x2.sdr
markm@eros.cs.jhu.edu
markm@eros.cs.jhu.edu
Mon, 14 May 2001 13:17:09 -0400
markm 01/05/14 13:17:09
Modified: doc/elib/distrib index.html
doc/smart-contracts exchange.html
Added: doc/smart-contracts/ertp/images contract-5.gif
contract-5.sdr contract-5x2.gif contract-5x2.sdr
Log:
CertCert link. Missing slides from Eros WG
Revision Changes Path
1.5 +16 -0 e/doc/elib/distrib/index.html
Index: index.html
===================================================================
RCS file: /cvs/e/doc/elib/distrib/index.html,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
--- index.html 2001/05/07 08:29:25 1.4
+++ index.html 2001/05/14 17:17:09 1.5
@@ -78,6 +78,22 @@
<td valign="top"><b>Cap</b>ability <b>T</b>ransport <b>P</b>rotocol</td>
</tr>
</table>
+ <p>The above sections cover the only kind of distributed programming currently
+ supported by E -- programming with on-line messages sent over live references.
+ The one form of off-line communication currently support by E is the <a href="../../elang/concurrency/introducer.html">SturdyRef</a>,
+ an off-line reference transmissible over other media.</p>
+ <p><a href="../capability/ode/ode-pki.html">SPKI</a> points the way to a
+ very different means of implementing and using distributed cryptographic
+ capabilities: via off-line certificates. Indeed, to the degree that SPKI
+ can be said to be the foundations for a capability system, <a href="http://www.e-speak.net/">E-speak
+ >= 3.0</a> is a capability system built from SPKI.</p>
+ <p>Inspired by SPKI and Nikita Borisov's <a href="http://www.cs.berkeley.edu/%7Enikitab/papers/acert-retreat.ppt">Active
+ Certificates</a>, as <a href="http://www.capcert.org/"><b>CapCert</b></a>
+ we are working towards a draft proposal for what would be a full fledged
+ capability system implemented from off-line active invocation certificates.
+ CapCert and the above on-line protocols are naturally complementary. We
+ hope to see a future E (sometime after 1.0) in which these two are well
+ integrated.</p>
<!-- #EndEditable --></TD>
<TD WIDTH="10%"> </TD>
</TR>
1.20 +4 -1 e/doc/smart-contracts/exchange.html
Index: exchange.html
===================================================================
RCS file: /cvs/e/doc/smart-contracts/exchange.html,v
retrieving revision 1.19
retrieving revision 1.20
diff -u -r1.19 -r1.20
--- exchange.html 2001/02/10 18:42:55 1.19
+++ exchange.html 2001/05/14 17:17:09 1.20
@@ -69,7 +69,10 @@
<h2>Derivative #3: Futures</h2>
<p align="center"><img src="images/futures.gif" width="481" height="369"></p>
<h1>Escrow Exchange</h1>
- <p align="center"><img src="images/scro-xchg.gif" width="630" height="445"></p>
+ <p align="center"><img src="ertp/images/contract-5.gif" width="650" height="601"></p>
+ <h1>Derivatives by Composition</h1>
+ <p align="center"><img src="ertp/images/contract-5x2.gif" width="600" height="586"></p>
+ <p> </p>
<!-- #EndEditable --></TD>
<TD WIDTH="10%"> </TD>
</TR>
1.1 e/doc/smart-contracts/ertp/images/contract-5.gif
Index: contract-5.gif
===================================================================
GIF89aY
h݇ 208ш_ r%:db'h*E^b'g`)$)i
zՠ\v !E
i,ДK"XPU`W ygZdE
&Ko29eAqimִ梆hJ>jf.X{y
p皉y)kBj M[Gԣfj&6 MɺgCZA8@ֆk
;VW;r/ȩ~;vOZ<ci_s[}㗏W/e>X?>^TrZ#bPb^0( d 8
Zq"(AoS`W3`
Wf
2EKwtS
y:Q4>' FRԢ JgxS֔iw%P
)?OYJ̴hQ*SڸjƤæzuWj[~4?:kDvųtj%[Luf%#Fd'Ѽy̳8 X&lm"؏Q8QOE5Kړ
%Aݣ5jA2mS&֨{Xnu{(h,`7Z➏6^r bN"vʮZ.wǛW%V=zkwb6YjK7܋;]ƾ
M&PB upEg Ѐ E)'U ~yI30* ƧDv)O g#CUOS
qW.ߋ̧>s,[S#h?= yD&NZ [-5
!MҭH#}JѺeDrnl5)LԞ82Oa1 qXs
e<>=P_CREȁO(@! 8N4kΥNx23`:A3heՅu(R-M @MwPb1Ns6xSyncL_HKc$ oUGw$BLIqQnMc{ %
Q#D~O1PĎ؎hN xPǏP揝A
aiDt>taFcJTce5B!`ѧVYTz؏2u8YXws19B s>(ɐCZ%mWȔdž(?ã *^G:C[i;cՄXbeWRyіS9tw fV7y1l#I{;V$ɘ$ؗf Y8ljwCx/<639I9%|HY3'~E&Ymy4\j\Kxqjʉe \hC%i"֚B7%Z䙞I>U9]3!isb.% ie)oD?ٟ6z>D.9CB\*heuc"nvn
"X$"X&XgRբd2:6$z
AHr
ᡨC-J))
i'zP7\7Jі0z,7SjgY:%:hSʢkI%%87|d7g~'45a1KF|PӦ{7OzaƪivgxkFmݪf:"kM66t-8lE[-a oPV9oFoKv;n'r yM:pr6 ";DAk" ء.p_U
̮}ͻ*z:}ˉh$^yϮ$DU
ANH=?EjUl=%6CVTfePj[m
Is@[k%Ƅi-kd݇!vam@ֻSחXz
;z?~}J3=&xlI^Z}Rp^+ԏy
}R~ BgL<)XH*,VMG& *MVvdžhbODaI<))5ۢ͒vrLֿ ]3BhyhLB7nMhFdA= '}ڽ]}J
HH崒譑Dv
]aqtF-K(K$ݻB/#l&GkLzM)-9@$K> ifђ|4h@F% k5adǘ)Ita3EBD<4N$ʓ
A.[$w5H 9R _KNI.qG奈 _N_q40e縬+ё֔2NȑEr|xn&)5.R DGJ D}0 긄c OHt,DŽ꙾gjS 5m▾T3s N8^ګ.Ik]^^?O~}D'
?z@TPZ pB
|1|I
;Cd=<KqE[R˻ +DE {Ql̑$ ñ#G&t4K֦*I.d"++k)
(+Q2tMƬ<S0,jpNts6OD5-ϣc PFmxD$ 4> tSK-RJAUL75NG54HU+TXLճVLcuWnŵV~EU^}WaW*I5YeX Zl Z%VloӜwG]\w)S]z;#7^BmzS0~5M{ބe<n'F
b;xژ
xd@L%y Sedyf ?֘ysFQ`D@}vXZ#PRg
ђƼhVT˦뵶Femݞku6{o1=
\fhmWEwK# /q3grs1p |t/As#R;[Wu2S Ywi4SbZtw5W|W~z'qŞz %6gwGTwo^My矌|qן~>L^k ݉H]Gf/JURe<]p_$!87Qv|R*BMp0dnJxCM Dv" 0EhA &qY:DNDAYị]6#6Q% d,,{NSD/ҍW ָ-fkɈ8M` Uī Ib݄BHV #4&RɏC$G3p!k`7p2d["Io"&(:h vSR,;,ex7r&R[HZ˖C% w <,D"GIHAưPK/ۦ`5әϼsNtS: 3qsg¤RwΓtXPO}0HZ@QP'BP@hJzP
~h<&Q:]5Fb
5Mt}b%@i%8@ Ú
%imZ!5B&Z .W4D`D F<9i%LFWB_A q FF"C?F>EP&fFVZahZUzԦqE؝EPᱛ5bqd|"e̛f!sȵt@pǻȰpF BTMH3ᒭAH 8&AhI π\_?Ƃ¡IlG4v4LJ,]iJ HJcbJ nJT\K)$F1K( aKl KK& Kt ɢB 1$ǼL
Y-z̹<LM$њӤKR͜
I'|M Rdͼ ܜʟM̖ J\ܸlKaNlJatĔ:4wKȾLYL9O2Ϩ#EO~C9 | "O,PGhIϐḁkL
]ј
uPuрPH<]pQM
=ְP# eѭ "$ %}=MWTN'Q4. ҎME Si/}D"u5%6tRө4SON̉S#FOSA KB =T5@QN
@
THeE
>-KTLlVP$Y-_ݗf]ՑhNUo݄4'KZcE֍VmUpUt:h;
Vot]c8paneW}Wmu2>WuVSVW]UbW(#Jz
@C%Xx|]XEׯk=XqY08@v5Vc,PbI61N $، Z8ZMZ]EYy6Y>؊-EZ5ZUڤڥڡXWc1ځAY$7u١X(Z
:(T?%
t ZJ:ie9(Z)lB)
dv*[h
&hzkb(fkKXKx:;њ'z2'- ;nxݚk۷Q{.nnKo.ѽ:Z%[;< sTO0vUl1 r,0\qV2Y(\d/25c$Ɯ4H< C}4E87}SG5֥Y
.[tWOc^i'u]=+jk۞yDz -p
x܃w{xnxߝZ^wDyz~vs
z軎Nvo_:Dγ_ ;[M+h<S\#<%_ο:}Ba_Γc/\\'vϾM^^Ͼ|U#ƥ']۟?U=63<,2.Ps
R7l!~
/hE{ |dB$[۟]*6 8JFay
Gd!Ӓ Reh (]Rw NfvxA
Q;8x}ٯa ؕ:0[ 3B]HBd Y!qCd"mHBPe$&1H {$(9e}2/R X)CJ2!YTzȴȸZ2+Db$D
1.1 e/doc/smart-contracts/ertp/images/contract-5.sdr
Index: contract-5.sdr
===================================================================
SMARTDRW
od
o
o
q>
b
S
b
S
S
A6
v n e "[ $R 'H )? ,5 ., 1" 3 6 :>ADFEB>83-)'$!
{ { w s o j f~ bz ^u Zq Ul QE ZB Nb GY @b :n D @ Ky N
0
!
$
'
*
0
1
0
.
'
{ s k c \ "T %L 'D *= -5 0- 2% 5 8 ; >
@ K O R
T SNFJNSXO<:7520-+(&#!
y!
{)
~0
3
5
4
1
/
,
$
;
K
P
S
S
Q
O
M
J
E
?
7
0
(
4
I
^
^
Q
K
E
@
:
4
&
! $ & ) + . 2p 6b 9V <G >> =8 :4 61 02 +4 %6 !8 ; ? D J P V \ c i p v | y i X G 5 $
'
.
6
=
E
M
T
\
X
T
O
K
G
C
?
;
6
2
.
*
&
!
{ w r n j f b ^ Z V _ S M F @ J E P Sp
~
~
y
t
n
k
i
b
Z
S
K
D
<
5
.
&
! $ & ) , . 1 3 6{ 9w ;~ F J~ L{ Nw Nl Hd AW EI I< M/ R% IY 7V 5T 2Q 0O .L +I )G 'D $B "? = : 7 5 2 0 - + (
& # !
}
n
f
]
T
K
B
8
/
!&
%
(
+
.
1 4 7 9 < A D G B ? <
8$
47
0J
-]
*p
'
$
"
!
#
&
*
0
5
;
@
C
E
H
K
M
P
R
U
W
Yw
\
Y
W
U
S
P
O
T
X
^
d
j
n
q
t
w
{
~
{
r
h
_
U
L
B
9
(
$
+
1
8
>
D
J
;
/
!
| z v r o l m k gy `r Xq Sr Nt Kw Hz E} B > ; 8 4 0 , * ' % "
+
6
K
`
$ ) -z 0q 2t 5v 8y :{ =~ @ B E G J M O R T W Z \ _ b d g i l n q t v y { ~
%
-
5
=
D
L
T
\
d
l
t
{
| y u q l h d
`
[
W
S
O
J
F
B
=
9
5
1
,
(
$
e
b
y
/ r? mP w= A D G J P Q P N G = 8 3 - * '
|
t
l
d
]
U
M
E
=
6
.
*
1
1
0
-
)
~ { y v s q n l i f d a ^ \ Y W T| Qy Ow Lu Ir Go Dm Aj ?h <e 9c 7X 9P ;H 8H 6K 3R 1[ .P #Z j +t )~ & #
!$&),.1368;=
J G E" B* ?1 <9 9A 7I 4Q 1M -I )D $@ < 7 3 / * & ! g *w % /u 7y :| = @ C L Q S T Su Op Mk Ie Db B_ ?W BO EH G@ J8 M0 O) R! U X Z
] `behjmpruxz}}unfbiiheaVM?1$ B?<:741/,)~'{$y"v t qoligd b _]ZXURPMKHEC@>;8631.+)&$! %0:D8
v n e "[ $R 'H )? ,5 ., 1" 3 6 :>ADFEB>83-)'$!
{ { w s o j f~ bz ^u Zq Ul QE ZB Nb GY @b :n D @ Ky N
0
!
$
'
*
0
1
0
.
'
{ s k c \ "T %L 'D *= -5 0- 2% 5 8 ; >
@ K O R
T SNFJNSXO<:7520-+(&#!
y!
{)
~0
3
5
4
1
/
,
$
;
K
P
S
S
Q
O
M
J
E
?
7
0
(
4
I
^
^
Q
K
E
@
:
4
&
! $ & ) + . 2p 6b 9V <G >> =8 :4 61 02 +4 %6 !8 ; ? D J P V \ c i p v | y i X G 5 $
'
.
6
=
E
M
T
\
X
T
O
K
G
C
?
;
6
2
.
*
&
!
{ w r n j f b ^ Z V _ S M F @ J E P Sp
~
~
y
t
n
k
i
b
Z
S
K
D
<
5
.
&
! $ & ) , . 1 3 6{ 9w ;~ F J~ L{ Nw Nl Hd AW EI I< M/ R% IY 7V 5T 2Q 0O .L +I )G 'D $B "? = : 7 5 2 0 - + (
& # !
}
n
f
]
T
K
B
8
/
!&
%
(
+
.
1 4 7 9 < A D G B ? <
8$
47
0J
-]
*p
'
$
"
!
#
&
*
0
5
;
@
C
E
H
K
M
P
R
U
W
Yw
\
Y
W
U
S
P
O
T
X
^
d
j
n
q
t
w
{
~
{
r
h
_
U
L
B
9
(
$
+
1
8
>
D
J
;
/
!
| z v r o l m k gy `r Xq Sr Nt Kw Hz E} B > ; 8 4 0 , * ' % "
+
6
K
`
$ ) -z 0q 2t 5v 8y :{ =~ @ B E G J M O R T W Z \ _ b d g i l n q t v y { ~
%
-
5
=
D
L
T
\
d
l
t
{
| y u q l h d
`
[
W
S
O
J
F
B
=
9
5
1
,
(
$
e
b
y
/ r? mP w= A D G J P Q P N G = 8 3 - * '
|
t
l
d
]
U
M
E
=
6
.
*
1
1
0
-
)
~ { y v s q n l i f d a ^ \ Y W T| Qy Ow Lu Ir Go Dm Aj ?h <e 9c 7X 9P ;H 8H 6K 3R 1[ .P #Z j +t )~ & #
}
n
f
]
T
K
B
8
/
!&
%
(
+
.
1 4 7 9 < A D G B ? <
8$
47
0J
-]
*p
'
$
"
!
#
&
*
0
5
;
@
C
E
H
K
M
P
R
U
W
Yw
\
Y
W
U
S
P
O
T
X
^
d
j
n
q
t
w
{
~
{
r
h
_
U
L
B
9
(
$
+
1
8
>
D
J
;
/
!
| z v r o l m k gy `r Xq Sr Nt Kw Hz E} B > ; 8 4 0 , * ' % "
+
6
K
`
$ ) -z 0q 2t 5v 8y :{ =~ @ B E G J M O R T W Z \ _ b d g i l n q t v y { ~
%
-
5
=
D
L
T
\
d
l
t
{
| y u q l h d
`
[
W
S
O
J
F
B
=
9
5
1
,
(
$
e
b
y
/ r? mP w= A D G J P Q P N G = 8 3 - * '
|
t
l
d
]
U
M
E
=
6
.
*
1
1
0
-
)
~ { y v s q n l i f d a ^ \ Y W T| Qy Ow Lu Ir Go Dm Aj ?h <e 9c 7X 9P ;H 8H 6K 3R 1[ .P #Z j +t )~ & #
!$&),.1368;=
J G E" B* ?1 <9 9A 7I 4Q 1M -I )D $@ < 7 3 / * & ! g *w % /u 7y :| = @ C L Q S T Su Op Mk Ie Db B_ ?W BO EH G@ J8 M0 O) R! U X Z
] `behjmpruxz}}unfbiiheaVM?1$ B?<:741/,)~'{$y"v t qoligd b _]ZXURPMKHEC@>;8631.+)&$! %0:D8
!$&),.1368;=
J G E" B* ?1 <9 9A 7I 4Q 1M -I )D $@ < 7 3 / * & ! g *w % /u 7y :| = @ C L Q S T Su Op Mk Ie Db B_ ?W BO EH G@ J8 M0 O) R! U X Z
] `behjmpruxz}}unfbiiheaVM?1$ B?<:741/,)~'{$y"v t qoligd b _]ZXURPMKHEC@>;8631.+)&$! %0:D8
6@ ?nn?6@?nn?=
]2
2
6@ ?nn?6@?nn?=
]2
2
L <
j
j
j A6
4
[
j
n
3
q F K
#
.
9
E
K
T
]
c
i
l
o
r
t
u
s
p
l
g
a
Z
K
;
0
(
=
@
B
E<
G\
Dy
?
:
7
4
0
-
)
&
,
3
:
?
C
F
H
K
Or
S^
WJ
Y:
Z,
W#
T
Q
M
H
D @ =
=
_
"
(
.
5
<
C
J
Z
}
"
}
r
\
R
H
?
6
.
&
#
w
m
b
V
<
8
5
1
.
*
%
!
"
) 0 7 > E M T [ c j q x
-
>
K
O
S
|W
xX
z_
nb
d`
Z^
T[
NW
BY
@[
@e
Fj
Kn
Ru
au
ss
xq
|n
j
e
_
X
P
L
G
B
;
8
4
1
-
*
&
"
# $
'
+
/
3
8
<
@
y r k d ] V O H A : 3 , $
%
-
3
9
%
B
`
}
z
v
t
v
x
z
}
~
p
T
9
$
| y v o e Y L > 7 1 * $
(
.
3
8
=
B
G
P
Y a p } w p h a Y Q I A
8
0
(
$
!
!
"
$
(
P
S
V
Y
[
^#
_/
b:
cJ
eP
fT
kT
nR
qM
tF
v9
x/
y
v
p k f ` Z T O K I M
m
y
|
y
u
q
m
i
e
a
\
W
R
M
H
E
@
@
?
=
;
#8
&4
(,
)$
(
$
"
%
)
,
0
4
8
<
@
E
I
N
R
V
[
_
c
h
l
o
s
v
z
~
l
m
4
|9
x@
nC
cC
TC
PE
MH
KK
JQ
LU
RT
dR
kN
qJ
wD
|=
9
5
/
-
-
.
4
[
j
n
3
q F K
#
.
9
E
K
T
]
c
i
l
o
r
t
u
s
p
l
g
a
Z
K
;
0
(
=
@
B
E<
G\
Dy
?
:
7
4
0
-
)
&
,
3
:
?
C
F
H
K
Or
S^
WJ
Y:
Z,
W#
T
Q
M
H
D @ =
=
_
"
(
.
5
<
C
J
Z
}
"
}
r
\
R
H
?
6
.
&
#
w
m
b
V
<
8
5
1
.
*
%
!
"
) 0 7 > E M T [ c j q x
-
>
K
O
S
|W
xX
z_
nb
d`
Z^
T[
NW
BY
@[
@e
Fj
Kn
Ru
au
ss
xq
|n
j
e
_
X
P
L
G
B
;
8
4
1
-
*
&
"
# $
'
+
/
3
8
<
@
y r k d ] V O H A : 3 , $
%
-
3
9
%
B
`
}
z
v
t
v
x
z
}
~
p
T
9
$
| y v o e Y L > 7 1 * $
(
.
3
8
=
B
G
P
Y a p } w p h a Y Q I A
8
0
(
$
!
!
"
$
(
P
S
V
Y
[
^#
_/
b:
cJ
eP
fT
kT
nR
qM
tF
v9
x/
y
v
p k f ` Z T O K I M
m
y
|
y
u
q
m
i
e
a
\
W
R
M
H
E
@
@
?
=
;
#8
&4
(,
)$
(
$
"
%
)
,
0
4
8
<
@
E
I
N
R
V
[
_
c
h
l
o
s
v
z
~
l
m
4
|9
x@
nC
cC
TC
PE
MH
KK
JQ
LU
RT
dR
kN
qJ
wD
|=
9
5
/
-
-
.
C.
a
a
a6
a
&
&+/00.)"w k`ULC:;61,&{ pg_[YYZ]bjr}
&
&+/00.)"w k`ULC:;61,&{ pg_[YYZ]bjr}
(l(l
/
6 > E M T \ c j r y y z | ~
4
[
j
n
3
q F K
#
.
9
E
K
T
]
c
i
l
o
r
t
u
s
p
l
g
a
Z
K
;
0
(
=
@
B
E<
G\
Dy
?
:
7
4
0
-
)
&
,
3
:
?
C
F
H
K
Or
S^
WJ
Y:
Z,
W#
T
Q
M
H
D @ =
=
_
"
(
.
5
<
C
J
Z
}
"
}
r
\
R
H
?
6
.
&
#
w
m
b
V
<
8
5
1
.
*
%
!
"
) 0 7 > E M T [ c j q x
-
>
K
O
S
|W
xX
z_
nb
d`
Z^
T[
NW
BY
@[
@e
Fj
Kn
Ru
au
ss
xq
|n
j
e
_
X
P
L
G
B
;
8
4
1
-
*
&
"
# $
'
+
/
3
8
<
@
y r k d ] V O H A : 3 , $
%
-
3
9
%
B
`
}
z
v
t
v
x
z
}
~
p
T
9
$
| y v o e Y L > 7 1 * $
(
.
3
8
=
B
G
P
Y a p } w p h a Y Q I A
8
0
(
$
!
!
"
$
(
P
S
V
Y
[
^#
_/
b:
cJ
eP
fT
kT
nR
qM
tF
v9
x/
y
v
p k f ` Z T O K I M
m
y
|
y
u
q
m
i
e
a
\
W
R
M
H
E
@
@
?
=
;
#8
&4
(,
)$
(
$
"
%
)
,
0
4
8
<
@
E
I
N
R
V
[
_
c
h
l
o
s
v
z
~
l
m
4
|9
x@
nC
cC
TC
PE
MH
KK
JQ
LU
RT
dR
kN
qJ
wD
|=
9
5
/
-
-
.
4
[
j
n
3
q F K
#
.
9
E
K
T
]
c
i
l
o
r
t
u
s
p
l
g
a
Z
K
;
0
(
=
@
B
E<
G\
Dy
?
:
7
4
0
-
)
&
,
3
:
?
C
F
H
K
Or
S^
WJ
Y:
Z,
W#
T
Q
M
H
D @ =
=
_
"
(
.
5
<
C
J
Z
}
"
}
r
\
R
H
?
6
.
&
#
w
m
b
V
<
8
5
1
.
*
%
!
"
) 0 7 > E M T [ c j q x
-
>
K
O
S
|W
xX
z_
nb
d`
Z^
T[
NW
BY
@[
@e
Fj
Kn
Ru
au
ss
xq
|n
j
e
_
X
P
L
G
B
;
8
4
1
-
*
&
"
# $
'
+
/
3
8
<
@
y r k d ] V O H A : 3 , $
%
-
3
9
%
B
`
}
z
v
t
v
x
z
}
~
p
T
9
$
| y v o e Y L > 7 1 * $
(
.
3
8
=
B
G
P
Y a p } w p h a Y Q I A
8
0
(
$
!
!
"
$
(
P
S
V
Y
[
^#
_/
b:
cJ
eP
fT
kT
nR
qM
tF
v9
x/
y
v
p k f ` Z T O K I M
m
y
|
y
u
q
m
i
e
a
\
W
R
M
H
E
@
@
?
=
;
#8
&4
(,
)$
(
$
"
%
)
,
0
4
8
<
@
E
I
N
R
V
[
_
c
h
l
o
s
v
z
~
l
m
4
|9
x@
nC
cC
TC
PE
MH
KK
JQ
LU
RT
dR
kN
qJ
wD
|=
9
5
/
-
-
.
/
6 > E M T \ c j r y y z | ~
4
[
j
n
3
q F K
#
.
9
E
K
T
]
c
i
l
o
r
t
u
s
p
l
g
a
Z
K
;
0
(
=
@
B
E<
G\
Dy
?
:
7
4
0
-
)
&
,
3
:
?
C
F
H
K
Or
S^
WJ
Y:
Z,
W#
T
Q
M
H
D @ =
=
_
"
(
.
5
<
C
J
Z
}
"
}
r
\
R
H
?
6
.
&
#
w
m
b
V
<
8
5
1
.
*
%
!
"
) 0 7 > E M T [ c j q x
-
>
K
O
S
|W
xX
z_
nb
d`
Z^
T[
NW
BY
@[
@e
Fj
Kn
Ru
au
ss
xq
|n
j
e
_
X
P
L
G
B
;
8
4
1
-
*
&
"
# $
'
+
/
3
8
<
@
y r k d ] V O H A : 3 , $
%
-
3
9
%
B
`
}
z
v
t
v
x
z
}
~
p
T
9
$
| y v o e Y L > 7 1 * $
(
.
3
8
=
B
G
P
Y a p } w p h a Y Q I A
8
0
(
$
!
!
"
$
(
P
S
V
Y
[
^#
_/
b:
cJ
eP
fT
kT
nR
qM
tF
v9
x/
y
v
p k f ` Z T O K I M
m
y
|
y
u
q
m
i
e
a
\
W
R
M
H
E
@
@
?
=
;
#8
&4
(,
)$
(
$
"
%
)
,
0
4
8
<
@
E
I
N
R
V
[
_
c
h
l
o
s
v
z
~
l
m
4
|9
x@
nC
cC
TC
PE
MH
KK
JQ
LU
RT
dR
kN
qJ
wD
|=
9
5
/
-
-
.
4
[
j
n
3
q F K
#
.
9
E
K
T
]
c
i
l
o
r
t
u
s
p
l
g
a
Z
K
;
0
(
=
@
B
E<
G\
Dy
?
:
7
4
0
-
)
&
,
3
:
?
C
F
H
K
Or
S^
WJ
Y:
Z,
W#
T
Q
M
H
D @ =
=
_
"
(
.
5
<
C
J
Z
}
"
}
r
\
R
H
?
6
.
&
#
w
m
b
V
<
8
5
1
.
*
%
!
"
) 0 7 > E M T [ c j q x
-
>
K
O
S
|W
xX
z_
nb
d`
Z^
T[
NW
BY
@[
@e
Fj
Kn
Ru
au
ss
xq
|n
j
e
_
X
P
L
G
B
;
8
4
1
-
*
&
"
# $
'
+
/
3
8
<
@
y r k d ] V O H A : 3 , $
%
-
3
9
%
B
`
}
z
v
t
v
x
z
}
~
p
T
9
$
| y v o e Y L > 7 1 * $
(
.
3
8
=
B
G
P
Y a p } w p h a Y Q I A
8
0
(
$
!
!
"
$
(
P
S
V
Y
[
^#
_/
b:
cJ
eP
fT
kT
nR
qM
tF
v9
x/
y
v
p k f ` Z T O K I M
m
y
|
y
u
q
m
i
e
a
\
W
R
M
H
E
@
@
?
=
;
#8
&4
(,
)$
(
$
"
%
)
,
0
4
8
<
@
E
I
N
R
V
[
_
c
h
l
o
s
v
z
~
l
m
4
|9
x@
nC
cC
TC
PE
MH
KK
JQ
LU
RT
dR
kN
qJ
wD
|=
9
5
/
-
-
.
4
D
D
@6
4
4
h
h
1.1 e/doc/smart-contracts/ertp/images/contract-5x2.gif
Index: contract-5x2.gif
===================================================================
GIF89aXJ
JIF*]ʴSIJիXb=ׯ`"
KY]˶۷pN xݻ-dž(7^kKÈ1;Ȉ+;.{Zș;M?lQ++ڳV͛v'㡳i' vn N54{|mʭ&\j<Wνwב.9橫'6|ϿVwW{l=FF(v7a{Uhۄ!Lv$(܇MX +!(}P0.f8ȜcȢL2ՏQHH{-ɤNNTcIGXb)b\doA~S;hqSGPlnsi^)&e{i]UQ7U"h裎
h)T' j=9}Bf֝swgEuN:@Vj颗(`T&k|&J@*
j]˙uhU
-?^E
͉vn-c 'M Z|A6i/m*Te`;lA!
rf)RM%B|,c<&8|-|ٜ' pA:?̯ү2.j-AmTT5G ڮz'k5s`]nYmkP#;"{t ^euyHf*Uh8pl'59[cd?꠷^ӗk~I& ;ãex_:r~⬿;ܺ?nD=v 9<t$F ͿW^[o~[twO/g`O~/?G[KW-pc `t?}<!"G 'H
ZM(0 < 1H'dB.
gx(!\C[8 H"
KDG$*RCZŽXQ̠ F(vQx[L#H21# x,#)}̡B{ "ŘE4d!#)%GZҏ$%#N` xEnrwL%*SJQ1<%`dJHΕDZ^pKXїOBf0 ̒Ь`3Yj 4chn
̦Mr>1 g.K0rgAuA̧`9?{N4%tIP`4G9phL MQL(8tw&N3 š^JS$>sZS>gPJTx"47|gފTf*W|`S"f*UFMWJk]|#ϴJֶ*JHJצ*P]jg|
`Y%bX)ZV)akI5{jT
h7w*hǷ
n}'E jZU8P!Oo-x.qoCc ֘vЍfW3ɐ/\{j\qerVjBCYҒF}zYuK;wvasP\MDR$os#uX+%X\n^@B NqpCӨi'cZb831ha%p9$je0
"% țC&gmҢYu"._i2@kZjE_yav%)^ՙWUqYfT<9`DrV(ㅖ9Xk+MWUe Xdc= /g+TUE 5s l6Ooiי&VK]??Ռ58nFҽuغ6
jf-nKǼ6o))U
>Nd6/W[^8 McpLp}y)%݅#2F:z;|A6 w*@?$dȩsZ"$V[,ynoh[-Οdj-w}2SG
՞UOy|&O`^>4f.iCĄxz~=\\(2'31E8r%}Hyޣ]?L>CVW1} Z7 OMLU
jٟ??$/Zߔ?[_D%2OYtWEMXE ILjuR_qX5#}_dxΗRd7LĂTrH"Ea 8E&fPGzÃ67|9XQ Hy9QĄ'xO}NR>NhVqYS_$aHSXccVhƅygXT8mH 6#x`r$Lx؆kzc
Kyfu8zUIbFUX<X]U~hRA7؊8Gh^ =%ȃ+tLjwGVtTySOSquh`ZBV4֤ۨ>qgw>#=wDWtb^ >&XHf{G@ I /;]iaE=#"m lf"Y#B 7:ha) I萔 (2r9W0i=3k5^-u><8Lws_")[Nu60[9=ٔ?lf;F
5a`aSN5pM'Sy3'%jI9``^ aR"^.)Vٲzp
bq BI 8=.aQe{ahf[^唘Øc<,"7
0>8E67"bjƕUp4B9y"wuăYTlvVi 4 8 `WruَYw=_)E'hoaЙx<f(gejbYOh^Vikdeaj6R49oggmagb
/I
Yx F DyqS#nR- "dg|ω㏉.n%ǯnsNʹQ4
\i6I-9_' >U∰ 7ShJcr'y8mk$?5(<W؊seS[( hu6j
{yydfo< uIIV&|(P,.0 hU~{<Y
hà7H97g}HQ$8?EQ`;I
en<CL|lCI|,]eu v=Eh-H,EU
]C 8 Vm{TΜDT,Nx
|s <QW-=Š<{+X
$XA .dC%NX4nG!Ez pဌ#UDː(M"l ӦƔ7WgOA%Z(ќ:*94ҝON%t"JTAfՊ(_Ŏ%[֬Y]rZڨpVZw˴]Î{_{wn]ĆmTرZ<e̙ F~sGƟE ~\iͩUy뻡afiֹ 捔Ү.Yޔ`ܹʖ^=@q㪑?(wr' ulϧWvD< <̭_=p/Yk3AQ?
7/,íº $@ KpB, _
ë밻#>{џPLqcq5e,F%J=F 3Բ
Go%uIs=gogd"I8H8 VPG*Np"
䈄%j3| 'mI-$myK:eVrL \s
`bpd&%ˉPSlf5%AG>qΤfsyc&IgtMs PQA>VlYn:r7r[>c:T,۹R@*|1k[-Ч]tJM1b|cZF~5%gzX[F"LKcěǨ4yRŴ6A ЙS֩LV=JR}B+ϫ3[ZVrEnaJQuk%˶J.)sݩU5>|e+-ڐ!lJrLv3m^X"ѳ4{˒gi"kC/kS2IQ\-چtN,lKʲ@hKo}Z㎶zlpC:ӡ7F
\6%XUד`}NWnz=*l2suSu#/ۢ4#KYpTfs 1;/ _[",fDzK/YOP\JxR$_5ߣrtzE ^(U⎃<d2+[}ڲ\C\O[GtRp9rESؽͬ2I9&πT'ˌ6߹{>Se28'"thzmW|j =L+44N*NO/_nFRܲzWMʍu<M:5[؉^ä9Blݚ%Nbf3 ϩaKSj/f
N0uv
[=vet*Hs75*
oJWW![̻e>}Mhˌ? j2C?q >yc7
cD.u[sO}.k\Q)EW
y}ATzt;Pԩ [C֍Y=dbuMvs(6mλ?Zz]h:Iwu^X@ x75Y|o.|=xBtIy^M
\@@{
D \lckA[KA+@{4AAl?#A <@ HB<(%d²c)At,T}rB+d^#?$Bc(0 ;4\> $C \c|Ýx$?9C5CCC3BAD&@C5$DBGA
\DH|DtD6J MĉK$;DDԴOI>|C)S;TLD\EVC[dŹEYt%Z$D$E?E]5:Z|D`Wa4EJ Eߛ=c ]lFg\i L[Ff*T'h=<BoGl 2DuCqt? v=tLy z,#G\8HFGELHU\HܿVLB &3P4CHȍHH~4x 4Cs̸EȏɓX>[ XjI^$0ɝTALU[JsH<+AƩJG˹D#J|Atʪ\K!K|JKvDL tiLK˾˿,J#<h=,cK:L{ I~˴L<K|LDLѼDdLM\ ׄMMY1Mu Mܼ>=Դ̻ µ$TNrTLMN5 N NLC
4>ʴK;D.,O;OD`j>t="ϞL>Oأȶn| O @QFO$=l!|kCE+JCPZO
P,4 m4"PM0S&D=Q uѧQQQ|\IQ#J<4Ғa`C$N'-R
J)]N*Rm}HO. ;L Ż1ReKP֛5%S3
9eST7Mmq=S7]7ASC-MTM8|TH+ӜԝF<=H13LM
|$QU}RT UxU!UU[=ͰUZ]˨`$V*dcuɖRsf¹UP ֓ P1UT5mqu70ſUoeu%vef-WPWx}W{?AupW#RXwRՃ%M>Y:WQPwzػAhG<X@ XKeH
H<L0\PuS јU5bmқUVҞv贕BOIZ,=]D "ʌUڟ[̧* ,UFmϰƤ1S>TPHۄQG
THF뾂ښEԻEJH[F1g
Zf5]1wteݏbV5cQc]&]4V]H8MS<^HmIVUԵӛ`m,]=V79K^EQWyW<_}(U_}u#ٖ_;
[=ߴ;5=3
1.1 e/doc/smart-contracts/ertp/images/contract-5x2.sdr
Index: contract-5x2.sdr
===================================================================
SMARTDRW
od
o
o
A6
%
AA6
v n e "[ $R 'H )? ,5 ., 1" 3 6 :>ADFEB>83-)'$!
{ { w s o j f~ bz ^u Zq Ul QE ZB Nb GY @b :n D @ Ky N
0
!
$
'
*
0
1
0
.
'
{ s k c \ "T %L 'D *= -5 0- 2% 5 8 ; >
@ K O R
T SNFJNSXO<:7520-+(&#!
y!
{)
~0
3
5
4
1
/
,
$
;
K
P
S
S
Q
O
M
J
E
?
7
0
(
4
I
^
^
Q
K
E
@
:
4
&
! $ & ) + . 2p 6b 9V <G >> =8 :4 61 02 +4 %6 !8 ; ? D J P V \ c i p v | y i X G 5 $
'
.
6
=
E
M
T
\
X
T
O
K
G
C
?
;
6
2
.
*
&
!
{ w r n j f b ^ Z V _ S M F @ J E P Sp
~
~
y
t
n
k
i
b
Z
S
K
D
<
5
.
&
! $ & ) , . 1 3 6{ 9w ;~ F J~ L{ Nw Nl Hd AW EI I< M/ R% IY 7V 5T 2Q 0O .L +I )G 'D $B "? = : 7 5 2 0 - + (
& # !
}
n
f
]
T
K
B
8
/
!&
%
(
+
.
1 4 7 9 < A D G B ? <
8$
47
0J
-]
*p
'
$
"
!
#
&
*
0
5
;
@
C
E
H
K
M
P
R
U
W
Yw
\
Y
W
U
S
P
O
T
X
^
d
j
n
q
t
w
{
~
{
r
h
_
U
L
B
9
(
$
+
1
8
>
D
J
;
/
!
| z v r o l m k gy `r Xq Sr Nt Kw Hz E} B > ; 8 4 0 , * ' % "
+
6
K
`
$ ) -z 0q 2t 5v 8y :{ =~ @ B E G J M O R T W Z \ _ b d g i l n q t v y { ~
%
-
5
=
D
L
T
\
d
l
t
{
| y u q l h d
`
[
W
S
O
J
F
B
=
9
5
1
,
(
$
e
b
y
/ r? mP w= A D G J P Q P N G = 8 3 - * '
|
t
l
d
]
U
M
E
=
6
.
*
1
1
0
-
)
~ { y v s q n l i f d a ^ \ Y W T| Qy Ow Lu Ir Go Dm Aj ?h <e 9c 7X 9P ;H 8H 6K 3R 1[ .P #Z j +t )~ & #
!$&),.1368;=
J G E" B* ?1 <9 9A 7I 4Q 1M -I )D $@ < 7 3 / * & ! g *w % /u 7y :| = @ C L Q S T Su Op Mk Ie Db B_ ?W BO EH G@ J8 M0 O) R! U X Z
] `behjmpruxz}}unfbiiheaVM?1$ B?<:741/,)~'{$y"v t qoligd b _]ZXURPMKHEC@>;8631.+)&$! %0:D8
v n e "[ $R 'H )? ,5 ., 1" 3 6 :>ADFEB>83-)'$!
{ { w s o j f~ bz ^u Zq Ul QE ZB Nb GY @b :n D @ Ky N
0
!
$
'
*
0
1
0
.
'
{ s k c \ "T %L 'D *= -5 0- 2% 5 8 ; >
@ K O R
T SNFJNSXO<:7520-+(&#!
y!
{)
~0
3
5
4
1
/
,
$
;
K
P
S
S
Q
O
M
J
E
?
7
0
(
4
I
^
^
Q
K
E
@
:
4
&
! $ & ) + . 2p 6b 9V <G >> =8 :4 61 02 +4 %6 !8 ; ? D J P V \ c i p v | y i X G 5 $
'
.
6
=
E
M
T
\
X
T
O
K
G
C
?
;
6
2
.
*
&
!
{ w r n j f b ^ Z V _ S M F @ J E P Sp
~
~
y
t
n
k
i
b
Z
S
K
D
<
5
.
&
! $ & ) , . 1 3 6{ 9w ;~ F J~ L{ Nw Nl Hd AW EI I< M/ R% IY 7V 5T 2Q 0O .L +I )G 'D $B "? = : 7 5 2 0 - + (
& # !
}
n
f
]
T
K
B
8
/
!&
%
(
+
.
1 4 7 9 < A D G B ? <
8$
47
0J
-]
*p
'
$
"
!
#
&
*
0
5
;
@
C
E
H
K
M
P
R
U
W
Yw
\
Y
W
U
S
P
O
T
X
^
d
j
n
q
t
w
{
~
{
r
h
_
U
L
B
9
(
$
+
1
8
>
D
J
;
/
!
| z v r o l m k gy `r Xq Sr Nt Kw Hz E} B > ; 8 4 0 , * ' % "
+
6
K
`
$ ) -z 0q 2t 5v 8y :{ =~ @ B E G J M O R T W Z \ _ b d g i l n q t v y { ~
%
-
5
=
D
L
T
\
d
l
t
{
| y u q l h d
`
[
W
S
O
J
F
B
=
9
5
1
,
(
$
e
b
y
/ r? mP w= A D G J P Q P N G = 8 3 - * '
|
t
l
d
]
U
M
E
=
6
.
*
1
1
0
-
)
~ { y v s q n l i f d a ^ \ Y W T| Qy Ow Lu Ir Go Dm Aj ?h <e 9c 7X 9P ;H 8H 6K 3R 1[ .P #Z j +t )~ & #
}
n
f
]
T
K
B
8
/
!&
%
(
+
.
1 4 7 9 < A D G B ? <
8$
47
0J
-]
*p
'
$
"
!
#
&
*
0
5
;
@
C
E
H
K
M
P
R
U
W
Yw
\
Y
W
U
S
P
O
T
X
^
d
j
n
q
t
w
{
~
{
r
h
_
U
L
B
9
(
$
+
1
8
>
D
J
;
/
!
| z v r o l m k gy `r Xq Sr Nt Kw Hz E} B > ; 8 4 0 , * ' % "
+
6
K
`
$ ) -z 0q 2t 5v 8y :{ =~ @ B E G J M O R T W Z \ _ b d g i l n q t v y { ~
%
-
5
=
D
L
T
\
d
l
t
{
| y u q l h d
`
[
W
S
O
J
F
B
=
9
5
1
,
(
$
e
b
y
/ r? mP w= A D G J P Q P N G = 8 3 - * '
|
t
l
d
]
U
M
E
=
6
.
*
1
1
0
-
)
~ { y v s q n l i f d a ^ \ Y W T| Qy Ow Lu Ir Go Dm Aj ?h <e 9c 7X 9P ;H 8H 6K 3R 1[ .P #Z j +t )~ & #
!$&),.1368;=
J G E" B* ?1 <9 9A 7I 4Q 1M -I )D $@ < 7 3 / * & ! g *w % /u 7y :| = @ C L Q S T Su Op Mk Ie Db B_ ?W BO EH G@ J8 M0 O) R! U X Z
] `behjmpruxz}}unfbiiheaVM?1$ B?<:741/,)~'{$y"v t qoligd b _]ZXURPMKHEC@>;8631.+)&$! %0:D8
!$&),.1368;=
J G E" B* ?1 <9 9A 7I 4Q 1M -I )D $@ < 7 3 / * & ! g *w % /u 7y :| = @ C L Q S T Su Op Mk Ie Db B_ ?W BO EH G@ J8 M0 O) R! U X Z
] `behjmpruxz}}unfbiiheaVM?1$ B?<:741/,)~'{$y"v t qoligd b _]ZXURPMKHEC@>;8631.+)&$! %0:D8
]2
2
]2
2
9 A6
I
T????o
4
[
j
n
3
q F K
#
.
9
E
K
T
]
c
i
l
o
r
t
u
s
p
l
g
a
Z
K
;
0
(
=
@
B
E<
G\
Dy
?
:
7
4
0
-
)
&
,
3
:
?
C
F
H
K
Or
S^
WJ
Y:
Z,
W#
T
Q
M
H
D @ =
=
_
"
(
.
5
<
C
J
Z
}
"
}
r
\
R
H
?
6
.
&
#
w
m
b
V
<
8
5
1
.
*
%
!
"
) 0 7 > E M T [ c j q x
-
>
K
O
S
|W
xX
z_
nb
d`
Z^
T[
NW
BY
@[
@e
Fj
Kn
Ru
au
ss
xq
|n
j
e
_
X
P
L
G
B
;
8
4
1
-
*
&
"
# $
'
+
/
3
8
<
@
y r k d ] V O H A : 3 , $
%
-
3
9
%
B
`
}
z
v
t
v
x
z
}
~
p
T
9
$
| y v o e Y L > 7 1 * $
(
.
3
8
=
B
G
P
Y a p } w p h a Y Q I A
8
0
(
$
!
!
"
$
(
P
S
V
Y
[
^#
_/
b:
cJ
eP
fT
kT
nR
qM
tF
v9
x/
y
v
p k f ` Z T O K I M
m
y
|
y
u
q
m
i
e
a
\
W
R
M
H
E
@
@
?
=
;
#8
&4
(,
)$
(
$
"
%
)
,
0
4
8
<
@
E
I
N
R
V
[
_
c
h
l
o
s
v
z
~
l
m
4
|9
x@
nC
cC
TC
PE
MH
KK
JQ
LU
RT
dR
kN
qJ
wD
|=
9
5
/
-
-
.
4
[
j
n
3
q F K
#
.
9
E
K
T
]
c
i
l
o
r
t
u
s
p
l
g
a
Z
K
;
0
(
=
@
B
E<
G\
Dy
?
:
7
4
0
-
)
&
,
3
:
?
C
F
H
K
Or
S^
WJ
Y:
Z,
W#
T
Q
M
H
D @ =
=
_
"
(
.
5
<
C
J
Z
}
"
}
r
\
R
H
?
6
.
&
#
w
m
b
V
<
8
5
1
.
*
%
!
"
) 0 7 > E M T [ c j q x
-
>
K
O
S
|W
xX
z_
nb
d`
Z^
T[
NW
BY
@[
@e
Fj
Kn
Ru
au
ss
xq
|n
j
e
_
X
P
L
G
B
;
8
4
1
-
*
&
"
# $
'
+
/
3
8
<
@
y r k d ] V O H A : 3 , $
%
-
3
9
%
B
`
}
z
v
t
v
x
z
}
~
p
T
9
$
| y v o e Y L > 7 1 * $
(
.
3
8
=
B
G
P
Y a p } w p h a Y Q I A
8
0
(
$
!
!
"
$
(
P
S
V
Y
[
^#
_/
b:
cJ
eP
fT
kT
nR
qM
tF
v9
x/
y
v
p k f ` Z T O K I M
m
y
|
y
u
q
m
i
e
a
\
W
R
M
H
E
@
@
?
=
;
#8
&4
(,
)$
(
$
"
%
)
,
0
4
8
<
@
E
I
N
R
V
[
_
c
h
l
o
s
v
z
~
l
m
4
|9
x@
nC
cC
TC
PE
MH
KK
JQ
LU
RT
dR
kN
qJ
wD
|=
9
5
/
-
-
.
t
0
6
A6
A6
A6
A6
A6
x
>
x
0
6
x