关于质押

质押模型

1. T神：一笔转给自己的交易作为质押交易，设置高度作为期限，期限内不可使用。
2. 以太坊Beacon：向智能合约打32以太币，经验证后触发，验证人上Beacon链。
3. Cosmos：使用Atom代币作质押，用向系统质押的Atom数计算投票权重。
4. 达世币：主节点投票决定提案执行与否，获得区块奖励。存入1000个达世币可以成为主节点，这笔资金不必绑定在主节点上，但必须存在达世币网络上并向整个网络公开。一旦持有人将资金提现或支出，主节点将停止运行。（矿工组成了网络的第一层级，为用户提供资金的发送和接收服务并防止双花支付的发生。主节点则构成了网络的第二层级，为达世币与众不同的性能提供支持。主节点不参与挖矿活动，因此挖矿的设备并不能充当主节点。要想持有主节点，用户必须持有1000达世币作为”保证金”。这笔保证金始终由持有人全权掌控，并且可以被持有人自由支配。换言之，保证金不会以任何方式予以锁定。不过，一旦保证金被转移或支付，对应的主节点将会下线并停止接收区块链奖励。）

关于交易中验证信息的问题：

设门限值为t，一笔交易的验证需要t个【vrf_hash】64,【 vrf_proof】80,【vrf_pk】32, 【t个签名】33/【1个签名33 + t个公钥】(直接使用vrf_pk进行签名？——vrf_pk是椭圆曲线ed25519构造的，该曲线配对友好)
一笔交易需要：(176 * T + 33) Byte
比特币：目前比特币系统内定义每一个区块的大小是1M，每10分钟产生一个这样的区块，一个基本的比特币交易大小约为250Byte，通过计算即可得出平均每秒大约可以处理7笔交易（实际交易平均大小约为500Byte，每秒可以处理2-3笔交易）。
以太坊：限制以太坊链上处理能力的不是区块大小，而是 gas 值上限。目前以太坊每个区块 gas 值的限制约为 670 万，根据每区块大约容纳 200 笔交易、平均出块时间为 15 秒来计算，以太坊的理论交易处理速度可达 13 笔/秒。
单纯的提高gas值上限，会增加以太坊网络被DoS攻击的风险，曾经为了提高攻击者作恶的成本，gas值上限一度降低到150万。
Visa：VISA在2015年的记录，全年平均每秒2920笔交易，峰值每秒1.4万笔交易

Question:

引入交易验证的目标：降低参与门槛，激励轻量节点共同参与维护网络的安全。
但验证信息太大会导致：给普通节点带来在单个块的处理能力，区块传输带宽以及全区块存储容量上的压力，不利于去中心化的初衷。（https://www.jianshu.com/p/1036013b2779）

Idea1:

去掉多重门限签名，每笔交易只签一次，打包区块的矿工按以下方案分配奖励：打包的交易签名越均匀，得到的奖励越多 => 按交易验证节点将区块中的交易分类，得到最少交易数的验证节点p，该数乘以分类数的平方n^2就得到了本区块应得的奖励，如图。
Q：该激励从哪里来？（1）每笔交易的手续费抽出固定的一部分给矿工，其余给验证交易节点？（2）增发？

质押方案：

交易加一个字段：type，type的值如下：
0 普通交易
1 抵押交易 转给自己一笔交易，只要账户余额>=规定押金，该地址就成为验证人
2 slash交易 从作恶地址扣除一笔金额，发给提交slash交易的节点 //防伪造
3 撤销交易 撤销质押状态同时冻结账户，并设定冻结高度
状态树每个节点加三个字段：
staking_state 是否质押
staking_height 撤销质押时高度
过程：
设规定押金为C，余额为cash，当前区块高度为H，作恶惩罚金为P，质押锁定高度：LOCK

1. 初始化：节点A的staking_state=0, staking_height=-LOCK
2. 质押：节点A提交一笔type=1的交易，交易双方都为自己，金额任意，手续费不为0。全网节点检查A节点账户余额，发现cash>=C，同意质押，staking_state=1；
3. 验证人投票：节点A作为验证人进行投票，全网节点检查A的投票权是否合法：若A的staking_state=1, cash>=C, 承认A的投票权；
4. slash作恶节点：矿工节点可以检查当前签名交易的合法性，若发现交易验证者作恶，创建type=2的交易，发送方为作恶节点集，接收方为自己，金额为P，附带相关非法交易信息，打包进区块。全网验证交易非法性，若非法则承认该举报交易的合法性，并实现相应惩罚；
5. 撤销质押：节点A提交一笔type=3的交易，交易双方都为自己，金额任意，手续费不为0。全网检查A节点状态，若staking_state=1，则该交易合法，设置staking_state=0, staking_height=H；
6. 普通交易：节点A提交一笔type=0的交易，全网节点检查A账户状态，若staking_state=0 且 staking_height<=H-LOCK，则实际可动金额为cash；否则，实际可动金额为cash-C。
   ——————————————————————————————————————
   新型共识算法是基于pos(股权证明)的共识，由一组验证节点组合形成新的链，他们提议和投票共识出下一个区块，投票权取决于其抵押规模。其优势在于安全性，降低集中化风险和能源效率。
   “燃烧的令牌通过分布式稀缺给每个人带来价值，而将其分发给剩余的验证者将鼓励他们相互破坏以努力获得彼此的削减代币。”
   以太坊未来计划采用的Casper共识，Cardano的Ouroboros共识，Cosmos的Tendermint共识，Polkadot的Aurand-Tendermint混合共识机制都属于PoS+BFT范畴。
   Pos：

• 验证者必须锁定一些他们拥有的币作为保证金。
• 在此之后，他们将开始验证区块。同时，当他们发现一个他们认为可以被加到链上的区块时，他们会通过下赌注来验证它。
• 如果该区块成功上链，验证者就将得到一个与他们的赌注成比例的奖励。
  Casper:
• 验证者押下一定比例的他们拥有的以太币作为保证金。
• 然后，他们将开始验证区块。也就是说，当他们发现一个可以他们认为可以被加到链上的区块的时候，他们将以通过押下赌注来验证它。
• 如果该区块被加到链上，然后验证者们将得到一个跟他们的赌注成比例的奖励。
• 但是，如果一个验证者采用一种恶意的方式行动、试图做“无利害关系”的事，他们将立即遭到惩罚，他们所有的权益都会被砍掉。

中心化应用=>去中心化应用:
客户端UI => 客户端UI
HTTP => RPC
后端服务程序 => 智能合约
Nginx/Apache => 节点

联邦学习+区块链
联邦学习是可验证的问题，区块链主要是防篡改。