A quick overview of Gemer, the ledger-free, distributed execution environment. Presented at Blockchain Playground 2018, a blockchain event hosted by Asia Business Daily at Seoul, South Korea.

1. - -, - --
, -, - - - -
1 U T Y S
6EOLH PO a R 2 OLILHGK
OLILHGK PN
: D8@ C 6 . 0 R A C @ R B . 0

2. 5 a lY bd
. bd i| Un
e c t
0 o g .5 P BL LK DSHIOL NP
1 o g 5 p t 6RR
2
A8 8 6 B 6G CA -.4 T D:A AC:6 T .3 A8E -.4

3. KRK z| o
? A F B E?6 /- 1 C E B 0 D /- 1
OSKG TIPINGOS b TYY KSKIP e k
v z| t h g
r b c2
t r n t h u lr
t p s i q d ftg q
o b s a v mc2
A G RG LL INGOS CO KINGOS YKINSO K OS MKSK G CNG OSM PC? B C ORU T OSM UGO OSM L SIYOTS UK LT RGSIK
D K OY A 8D HG K ITS KS CYGPK HG K H TIP K OLOIGYOTS

4. A6 6 B G:CAF 0./2 D8AF m AC8 /1 A6E 0./2
C TYPSL D YLS
C TYPSL DL P L
F L RHTK
:LSL C TYPSL 8T P UTSLTY LKNL LL 6UT LT
HTHNLSLTY DYH
8T P UTSLTY TKL LTKLTY
YL UKL TYL LYL
PSLT PUTHR 6UKL BH HNL
THSP BURP A L PKL
l BAk 8 L YPUT DL P L lBURP L UKL m
D OLK RL m LY k
6USSUT B D OLK RL
CUUY :
D YLS L LR CUUY BURP
DYU HNL lD CLNk
6U L B DL P L CUUY BURP DYU HNL
PTLH RU OHPT : B - 6UKLIH L FTP L HR HTN HNL D U Y PI H PL
:LSL ab he cgif d
6 LT - RU OHPT EU LT DYHIPRPY 6UTY URRL B UN HSSHIRL BURP D PT B
DL P L L LR CUUY BURP DYU HNL
lA L PKHIRLk
T R KL 6UT LT m D R
HTHNLSLTYm LY
6UTYHPTL l k 6UTYHPTL l k 6UTYHPTL l6k
LNH RU OHPT
D L PMP BURP A L PKL
6UKL BH HNL
A Y UM A KL PT 8 L YPUT 6H OL H L
8 YL THR RU OHPT L LTKLT PL
PT
D L PMP BURP A L PKL
6UKL BH HNL
: AYOL P Y PI YLK HYH
DY Y L
D L PMP BURP A L PKL
6UKL BH HNL

5. 6 ; A :B E 8 -.2 C E l B .1 D -.2
:KRK ab he cgif d
DNK :KRK BYS ORK S K U K K
. :KRK HOSG O G I U T GUNOI ITRHOSG OTS TL RY OU K OSKG K KIY OTS
HOSG OK G YROS I U T GUNOI ITRHOSG OTS LYSI OTS C(M, p) NK K M O KLOSK
G G K TL RG O K O N G HOSG G G GS p O KLOSK G NK ITRHOSG OTS PK
3 DNK ITRHOSK HOSG O O O K GS TR T G TIG K IT K UG KGIN
ST K NTY K KIY K KGIN IT K UG O K KIY K GS K Y G K U K TG K U OT
T NK K OLOIG OTS G K
0 3 6KIGY K M O G K TL T ORKS OTSG RG O K l O IGS HK KKS G G
N KK ORKS OTSG UT NK G T G OS UT NK G M K Y OS OLLK KS ST K
YSSOS OLLK KS UG TL NK IT Kl HY NK ITRHOSG OTS TL G IT K UOKIK NTY
K Y OS G G O PK UGO kpl q NK K q O NK ITRHOSG OTS RGUUOS PK NG N kK
O NK C(M`, p) != E(M`, q) T exec(M1, M2, M3… , Mn) != exec(M1, M2, M3`, … , Mn)
RKGS NK IT K T G G G GRUK K O N GS IGSST HK Y K

6. 82 = 2D C= -0 R A6 C 62 R - B -0
G GN im Ty
U r 1
T o e dp n
d dp v 1
K G LN 2 o s l | S 1
LIHE PGNNH GOc Y n
2MM 1

7. s f r dp| me
: D8 C 6 -.1 A C .0 B -.1
bi s f rh me o lcu
LE : ny ORGNGLE 6 8 wk t
RO G ITT HI 6E E
I YRTN ASIG G R UI U U BRNI A E O 6E E I G
SSO GE R ASIG G RHI
TR PI : HISI HI 2 E K EKIv g PI d
TRUU E K EKI RT E O a

8. sip r c
= 82 2C =B 0 O 6=B = 62 O / = A 0
c U T 2 P dv R 1
IHGDN = KKGE L 1 o| e Y si
c 2 lY 1 siS c s e
y sir c
c lY 1 Uy c o| lY
* , .

9. o n -1 PO H HG TDE H PKO RPLH T
: 82 2C B -0 6 B : 62 - A -0
sy gbyr p| 2 o
P K UHRRKGH DTD
gbyr j l d a v
2 K DTKPO H KIK PGH
HSHRUH t Yi Yim c P K e
f l d ODNK UHRRKGH
2 POTDKOHR

10. -1 = P IKKIH AUE NIG LP S IGU
:= D8 C=6 -0 A C - B -0
NLG ISSLHI 6EUE
vn y a l j
RRNLGEUL P ARIGL LG HI
a ITIS I Y o a NLG r
t j 6 PEOLG ISSLHI
6 RR PUELPIS
l b e m t
22 ip c g y| Y t f
j NLG p ISSLHI
vn :1
NLG r s
vn d :

11. y 0 p 1NN
2: 18 :1B6 A S A: 1 S
KIER GOOI G CPC
t p n e
1NNKIECPI L NGEIHIE G t 2 f p |bc
p i e T t o KIER GOOI G l kd
Y a v
1NN LPCILGO
r 1 8 t
GL PCDKGE IL U t

12. 1 E KO D I DOILK GL OH NO LG PN
: 82 2C B . 0 R 6 B : 62 R A . 0
c Y f h |
n se ou f
se f T Sl i
t T
rz f
U t f a