想必大家对 1+1，3-4，5x6， 8/4，(1+6)x9，1+6x7，这些简单的数学四则运算都不陌生，有时候遇到买菜大姐， 这些菜称称，一共多少钱啊？ 8块，给10块，哎，这还有3块，找个儿整。人民群众喜闻乐见，耳熟能详的四则运算，有个高级的称呼中缀表达式。+ M: j2 I. e, k! [

- `9 Y& P! t4 k9 h为什么是中缀，而不是前缀、后缀、上缀、下缀？2 }1 C0 |4 c# Z0 N) Y

, Q3 ?  a8 O/ R' y. Q4 M中缀因为操作符都在中间位置，那能放到后面去么？当然可以了。
0 l+ t7 r: e! Q' Z  N6 r( `4 C4 n1 y5 r4 [
这种把操作符置后的方式叫逆波兰表达式，即 RPN，更通俗的叫法是后缀表达式。
8 L, V6 T' a$ f& r: q( N! A
/ T, x8 e/ Z2 A. X8 S9 p中缀表达式怎么和后缀表达式对应呢？
; l. n) d6 K! ]0 b/ v: v; ?& O) i3 R4 P
后缀表达式有什么优点？
9 y0 R% s& P+ P7 b  e3 c
' P  r& b6 q) V4 B8 G. f4 `+ S相较于前缀表达式更易于转换，最左边一定为运算资源。+ i' e1 o& L! Z7 [6 _, r

2 k! m0 Z6 {+ E  n4 Y  B( T不用括号，依靠运算顺序就能确定运算符的优先级，运算更简洁。0 N! t) @( m+ Y

; a2 N3 F" z% G2 d更符合计算机的计算方式。 计算机通过从左至右读取后缀表达式，就可以将遇到的运算对象压入栈，在遇到运算符时就弹出运算资源，完成计算，再将结果压入栈。最后留在栈中的就是计算结果。$ E' L- P! T% @3 R, x! `$ j5 G
6 V, ]5 v6 E) Q' a2 o# J" |0 Y
来点小例子，展示后缀表达式的神奇与方便。
; n5 ]$ t' X  V' Q0 {& L* x9 D! m" U4 a( w/ F/ z% w
计算 1 2 +， 即为中缀表达式的 1+2。. R5 }+ g9 C  n3 ^0 S: ^+ \
* N+ i, O1 {" {1 W8 Y9 h8 P0 P
计算1 2 + 4 *，即为中缀表达式的 (1+2)*4，这里不需要括号哦。
# r" {: f- g/ Q  D0 m$ A: z" J  e  q, ?6 \* k$ l
开始上正菜了，先从比较简单的比特币解锁脚本说起。+ u* ]6 M/ Q; R7 l1 X8 Q
7 ?3 d! l6 _8 q0 N) P. ]
先看一笔交易，从地址 1K87TMWzsQLzdZb4kUmKAcrCWnQqdVW5QJ 转到
! Y: E$ T. o4 G, v. I
  e' a8 J/ _1 c0 A1B3C5xnvS9ijJRiCEMcrZsBS7FerCQwp9x 0.08269623个比特币，假设前一个地址的用户叫Neko，后一个地址的用户叫Sara。大家看它的输出脚本。6 S' C$ Z: J; K# F
1 r& Z' V" w" G1 e
Niko给Sara的地址打钱就写这样的脚本：OP_DUP OP_HASH160  OP_EQUALVERIFY OP_CHECKSIG。/ r! o. w! f5 w( D. b' E$ L" Q  ?

4 U2 Z% |$ x9 G, r  Q9 z' O  P3 W/ ISara怎么花出去呢？ta需要构造好这样的脚本  OP_DUP OP_HASH160  OP_EQUALVERIFY OP_CHECKSIG。
5 j, n+ J2 \$ Z% |( c& n' d
9 w' x2 H9 P0 \8 J) c4 USara构造好的脚本就是后缀表达式，怎么会呢？请看大B站视频。
3 F/ b% [# Q) G) _: o! o
* f1 Q$ P" x9 p* h4 ?8 G智能合约雏形-比特币脚本$ y8 E. T9 _3 ~9 Z7 F% _
$ s/ L, t* j5 T8 x% Q4 H0 ?
智能合约雏形-比特币脚本
7 y* t' E+ i& Z+ N) L0 [/ g8 a% o6 h6 h8 e: c+ V5 ]
智能合约雏形-比特币脚本( b/ Q$ K7 v" r7 o& {: |; Z- o. y
; o7 Y4 ^. R2 j+ \) e
最后的输出结果是True时，说明Sara有权限构建这个交易，新的交易将被发送到网络上，转账成功。. t( F2 s. ^1 I- s
3 u3 G( H$ Y2 o+ m; K8 ?
比特币的转账，不像银行一样，打入银行账户，而是一个个的输出脚本：
7 S) z+ J% @; S
+ Q: S0 f, T8 E, F( G4 M- M) ROP_DUP OP_HASH160  OP_EQUALVERIFY OP_CHECKSIG
' f# H) w) g3 G4 z, ]1 B, W& |) {9 i5 [# T$ p  H( h8 h
OP_DUP OP_HASH160  OP_EQUALVERIFY OP_CHECKSIG
# s6 Y# h8 M% i3 J4 D) ]1 j) n, p4 i/ Q. l0 `$ K2 D6 Z
OP_DUP OP_HASH160 [B] OP_EQUALVERIFY OP_CHECKSIG
. k: _7 b5 I# Y9 s/ D3 |1 o& F6 i$ e$ _' n; e. R
OP_DUP OP_HASH160  OP_EQUALVERIFY OP_CHECKSIG
* C1 K+ d0 r7 c5 {  `9 g4 F1 o! k' e  [+ Q7 w0 B) t, H
OP_DUP OP_HASH160  OP_EQUALVERIFY OP_CHECKSIG( M+ \: o5 G) `3 C9 `

4 z( p2 v8 A% I5 ^" o# 1个地址可以有很多个输出脚本
& J  D4 C& K/ j6 L) p+ T2 n- v2 g
: ?( @* `/ j" q& P$ i比特币的地址也不像银行一样有余额的概念，一个地址有多少余额，是看这个地址有多少个输出脚本，把每个输出脚本的余额汇总而成。8 K# Y7 w( o' d' m: B
9 b* M% f( \( Z, g7 G
这就是UTXO模型，Unspent Transaction Output，未花费交易输出。  s: K' m/ \. z. v* z
1 F  X3 [3 G+ t0 r4 P8 x
转了这么大圈，回到以太坊智能合约上，以太坊的智能合约语言是Solidity，跟后缀表达式的画风差异很大。我们在使用remix.ethereum.org 把合约部署到区块链上时，部署的是Solidity代码编译后的结果，是object的内容，而object与opcodes是一一对应的。/ x9 J: E; U9 q3 v' J
, H9 T/ X) T' f
咱可以定义OP_DUP为0x76，OP_HASH160 为 0xa9，OP_EQUALVERIFY为0x88，OP_CHECKSIG 为 0xac，那 OP_DUP OP_HASH160  OP_EQUALVERIFY OP_CHECKSIG ，就转为了 76 a9  88 ac。" q8 h- a; R7 `% B4 R: B4 ]/ w3 A

' q2 x% K* G; {+ R5 X' N4 `9 x而以太坊为了支持智能合约在比特币的基础上做了如下改进：
( O1 a: l! x- }* h( O# M9 `" K
- X( y$ F0 A: I. |- E9 f3 ~支持图灵完备的后缀表达式(支持循环)，可以做更多的事情，同时也释放出了恶魔。
2 T# g) }# }8 @
( f- @; ^# ]+ ^6 l通过Solidity与后缀表达式转换
0 {2 w, ]' i9 O% r/ d- H' n2 i: ^( L+ T; `( A
还有最重要的一点，不在使用UTXO模型，而是使用Account模型，每次执行合约时，记录当前的数据状态。
' r0 |9 \# A3 C( J6 e( L% N1 y8 z* r* ]
比特币验证了区块链的可行性，以太坊引入了智能合约，强烈的冲击传统的经济观念。Bitcoin是伟大的创举，Ethereum是天才的设计，下一个引领风骚会是谁呢？
# a7 V6 [% E* e' B# I% \3 \5 ~' q