区块链的技术与应用
比特币
密码学基础
比特币的数据结构
共识协议和系统实现
挖矿算法和难度调整
比特币的脚本
软分叉和硬分叉
匿名和隐私保护
以太坊
概述：基于账户的分布式账本
数据结构：状态树、交易树、收据树
ghost协议
挖矿：memory-hard mining puzzle
挖矿难度调整
权益证明
Gasper the Friendly Finality Gadget(FFG)
-智能合约
总结与展望
比特币密码学原理
cyypto-currency
cyyptographic hash function
collision resistance 抗碰撞性
理论上并没有证明出来，靠的是实践 collsion free（不建议使用） brute-force（暴力破解） hash碰撞 应用于h(m)篡改内容后找不出h(m·)与之相等 h()是对应用信息求hash值
MD5（可以制造hash碰撞了）
x-h(x) 反向不可退 要足够大，比较均匀
digital commitment （hiding）
digital equivalent of a sealed envelope 预测结果不能公开 （封存在纸上）将h(x)放出来 可以拼接随机数一起取hash
puzzle friendly
是无法预测的hash值是哪个 nonce h(block header)<=target proff of work
difficult to solve,but easy to vertify
SHA-256
secure Hash Algorithm
(public key,private key) 非对称加密 签名用的是私钥，验证签名用的是公钥 加密用的是公钥，解密用的是私钥
公钥相当于银行账号，私钥相当于密码
asymmetric encryption algorithm
encryption key
a good source of randiomness 生成好的随机元
hash指针
tamper-evident log 防篡改日志 保留最后一个hash值，就可以知道篡改了 保留最近的区块
merkle tree
merkle proff 轻节点
sorted Merkle tree
实现
Bernoulli trial：a random experiment with binary outcome
Bernoulli process:a sequence of independent Bernoulli trials memoryless
poisson process 泊松 服从指数分布
BitCoin NetWork
application layer :BItCoin Block coin
network layer: p2p Overlay Network
设计算则：简单，鲁棒，没有高效性
调整挖矿难度
H(block header)<=target SHA-256 2的256次方
difficult=(difficulty_1_target)/target
target=target*actual time/expected time
BTC-比特脚本
分叉
state fork
forking attack
deliberate fork
protical fork 协议不同造成分叉
hard fork block size limit
soft fork
新节点 不认老节点，导致老节点白挖
coinbase extra nonce 4byte
2 ( 32 ) 2^(32) 2(32)
2 ( 96 ) 2^ (96) 2(96)
p2sh
soft fork hard fork
超过半数的节点更新了软件，不会导致永久分叉 只有全部更新，才不会导致分叉
匿名性
hide your identity from whom?
提高匿名性
application layer coin mixing
network layer
零知识证明：一方向另一方证明一个陈述是正确的，而无需透露除该陈述是正确的外的任何信息
思考
hash指针怎样通过网络传播
hash指针只有hash并不是有指针 levelDB
不要用截断私钥的方法，用多重签名（保护安全性）
为什么比特币系统能够绕过分布式共识中的那些不可能结论
并没有达成一定的共识
比特币的稀缺性
量子计算
以太币
Ethereum：decentralized contract 去中心化合约
replay attack 重放攻击 nonce 加一个计数器防止
financial derivative 金融衍生品 不至于找不到人 账户保持稳定
ETH-状态树
单纯的hash树不行，查询比较高效，但是更新繁琐
单纯的Merkle tree 查询低效率
sorted Merkle tree
Patricial tree（trie）
MPT Merkle Patricia Tree 根节点（防篡改） Merkle proff（账户有多少钱，证明有没有账户 ）
交易树和收据树
bloom filter false positive（误报没哟漏报）
Ghost
难度调整
-300w 收益由5调到3 调整难度，保证相对公平 保证货币量的稳定
权益证明 proof of stake
virtual mining 虚拟挖矿
权益证明---------比实体高在不会造成直接的影响，得先买币 工作量证明 直接买矿机攻击 altCoin Infanticide
类似于股份制 大量买进会及时引起注意 投入的币会被锁定一段时间，不会造成难易的冲击
nothing at stake 押注多条分支链
Casper the Friendly Finality Gadget（FFG）需与一定量工作性相结合 Validator（投入保证金）
智能合约
错误处理
具有原子性
汽油费-可剩退回 中途没有汽油费直接消耗掉汽油费，并回滚 防止攻击
assert：条件不满足：用于内部
require：输入或者外部
嵌套调用：
直接调用，连锁式回滚
先执行-再挖矿 挖不到-补偿（得不到补偿，还需要验证）
交易成功 Recceipt数据结构 有收据
不支持多线程 --------以太坊确定性状态机 多线程多个核对内存访问顺序不同执行结果可能不同 产生随机数就是多线程
拍卖合约-钱锁住如何取出来-没办法 code is law 智能合约锁仓 irrevocable trust 不可撤销的信托 应对方法 测试测试再测试 预留后门（超级管理员）-达不成共识-与去中心化的理念违背
重新设计拍卖合约-withdraw solidity代码 pay2Beneficiary 重入攻击 收到ETH未调用函数，会立即执行fallback（）函数 不停的调用 没有钱，没有汽油费了 先清零再转账 不用call.value调用转账使用send
用来编写控制逻辑-互不信任建立共识才写在只能合约里
DAO：Decentralized Autonomous Organization
The DAO
DAC： Corporation
splitDAO childDAO 拆分 代币投票 先转账再清零 方向错误
硬分叉
反思
1.智能合约-自动合约
智能合约-不可篡改性 Irrevocability is a double sward
2.私钥泄露-转换账户 阻止智能合约的调用，禁止账户交易，软分叉，用黑客漏洞发动攻击
3.Nothing is irrevocability
4.Is solidity the right programming language?
函数式语言-比较慢 formal verification 形式化
5.开源 Many eyeball fallacy
6.去中心化 去中心化的改法也是通过去中心化的规则修改 分叉也是去中心化的体现 可以分叉选择原有的体制
decentralized 不等于 distributed state machine 保持一致性 重复性操作（容错 mission critical application）无间断服务 效率低 分布式是为了提高效率
美链 Beauty Chain
攻击 乘除变为很大的数，溢出变为很小的数 减去很小的数，每个人给很多的数 凭空多了很多代币 solidity SafeMath库检测 solidity不存在精度损失 都是整数