VRF在区块链中的应用
最近区块链领域流行了一种“怪病”，许多区块链项目或者设计方案都加入了一个叫做VRFs的算法。那么，
（1） 什么是VRFs？
（2） VRFs在区块链中解决了什么问题？
本文旨在介绍VRFs的原理以及在区块链中的用途，不涉及复杂的VRFs的详细设计实现以及安全性证明。
VRFs介绍
VRFs全称Verifiable Random Functions，也就是可验证随机函数。从名字上可以看出VRFs有三个重要的特点：
- 可验证
- 随机性
- 函数组
实际上，VRFs是hash函数构造的公钥密码方案，因此VRFs包含了hash函数和公钥密码算法两者的特性和功能（hash函数和公钥密码参考wiki，这里不在赘述）。功能上简单来讲，hash函数用来保证信息完整性，公钥密码用来进行数据鉴权。
VRFs介绍内容：
- 关键术语介绍
- VRFs之函数组
- VRFs之随机性
- VRFs之可验证
- VRFs之确定性
关键术语
VRFs涉及的一些关键术语：
- SK, PK: VRF中使用的公私钥对，SK为私钥，PK为公钥。PK默认为公开参数（比如说已经记录在区块链上）
- M: 输入数据
- R：VRF哈希输出
- P：VRF证明
- Prover：证明者，拥有VRF公私钥PK和SK的一方
- Verifier：验证着，拥有VRF中的公钥PK
VRFs之函数组
VRFs中涉及到四个重要的函数
这四个函数可以分为两类，
- 生成函数：
R=VRF_Hash(SK,M)
P=VRF_Proof(SK,M)
- 验证函数：
R=VRF_P2H(P)
VRF_Verify(PK,M,P)
应用上，（1）首先生成一对公私钥；（2）然后使用生成函数分别生成哈希值R和哈希值的证明P；（3）使用验证函数分别验证R和P
VRFs之随机性
像每个密码算法一样，首先VRF需要一个密钥生成算法，用来生成公私钥对(SK,PK)。这里的SK的产生需要复杂的随机数产生函数（高端一点的需要特制的硬件随机数发生源）来保证密钥的随机性。
当然，VRFs之随机性实际上并不是指的上述随机性，VRFs的随机性指的是，在不给定证明P的情况下，VRF_Hash的输出R与随机数两者之间是敌手不可区分的，这是比较正式或者说学术上的说法，可以认为VRF_Hash输出的R就是个随机数。
VRFs之可验证
VRF的可验证性，有两层意思：
一是P对R的验证；
二是PK对P的验证。
前者是VRF证明对VRF哈希的验证，后者是公钥对VRF证明的验证。有点类似验证链：拥有公钥PK可以通过VRF_Verify(PK,M,P)验证证明P的合法性；拥有P可以通过R=VRF_P2H(P)来验证R的合法性。
VRFs之确定性
VRFs的确定性比较简单，就是对相同的SK和M，多次计算R=VRF_Hash(SK,M),得到的R是相同的。
VRFs在区块链中的应用
区块链技术包含了密码学、P2P协议以及共识算法等，是多种技术的巧妙组合，同时加入了经济激励机制。其中，共识算法可谓是区块链技术的灵魂。区块链技术从2009年至今发展了接近十年的时间，共识算法也一直围绕着安全性、去中心化以及高效低能者三个要求不断探索，从中本聪共识（POW类），到POS和DPOS共识，再到各种BFT共识等。
在区块链世界中，矿工的工作是区块链安全运行的基础，而他们的工作就是 挖矿⚒️ ，矿工挖到矿（区块）会获得一笔奖励金和一部分交易手续费。同一时间会有许多矿工进行挖矿，但最终只会有一个区块进入到主链上。
比特币如何决定出块者
POW挖矿算法：Hash(Hash(block, nonce)) < D
矿工挖矿的过程就是为了找到一个以上条件的nonce，谁先算出来谁就是本轮的获胜者。根据Hash算法的特点，其他矿工可以很容易验证上面不等式的有效性。
注：如果同时有两个人计算出符合条件的区块，那么需要根据公认的最长链原则来决定最终的区块。
众所周知这类算法：实现简单，易于理解，但低效高能。
为了解决POW共识低效高能的缺点，出现了POS类共识，而这类共识首先要解决的问题就是 谁来出块 的问题，VRFs最初被引入区块链就是为了解决这个问题。
VRFs如何决定出块者
VRFs算法：R = VRF_Hash(SK,block) ，其中SK代表节点私钥
理论上讲，VRFs单独工作是不能确定谁是出块者的，但像POW机制和最长链原则一样，结合VRFs选出出块者也有类似的两个原则：
- 节点广播R，加入候选者列表
- 根据最优原则，决定出块者
注：这里的最优原则，可以是候选者列表中权益最大节点账户，或者长得最帅的那个😄～
然后，节点可以很快的验证自己是否能成为下一轮的出块者，不需要进行大量的Hash计算，只需要比对一下在候选列表中自己是不是最优秀的。
这类算法特点：离线验证，高效，但实现复杂
VRFs的十万个为什么
（1）不过聪明的人可能一下就能看出其中的问题：SK是矿工私钥不会公开，其他矿工如何证明R不是随便选取的小于D的数。
因此需要有个对于R有效性的证明，也就是上文中的P：P=VRF_Proof(SK,M)，然后通过R'=VRF_P2H(P)，从P中恢复出一个R',只要 R == R',就可以证明R的有效性。然后用公钥PK通过VRF_Verify(PK,M,P)来对P进行公开验证。
（2）当然聪明的你可能又问了：看了半天，我感觉直接用签名算法不就可以了，干嘛整的这么复杂，比如说矿工直接对block签名，如果Sign(SK, block) < D，那么矿工就有出块的权利。
在密码学签名算法中，大都会引入随机性，也就是对相同信息的多次签名会得到不同的签名值，因此矿工可以不断对相同的输入SK和block，计算签名，以满足结果小于D。那么理论上任何人都会成为出块者，只要计算足够多次的签名。
（3）可是，对于RSA签名方案每次得到的签名不就都是确定值么！
对。其实不管使用确定性签名还是随机性签名，都存在个安全隐患。就是一旦将自己的出块凭证公布，任何人都可以公开验证，包括攻击者。那么攻击者可以对出块节点进行攻击，使其不能出块。
使用VRFs的方式，矿工只需要公布自己的R表明自己的出块权，当出完块的时候再公布P，那么攻击者就无法在出块之前知道谁具有出块权，因此也就无法实施针对性的攻击。
当然在这种异步公布R和P的情况下，R存在作假的可能。POS共识研究中有个比较有名的问题："Nothing At Risk"，翻译过来叫无利害关系。之所以存在这种攻击，是因为出块者可以无代价的恶意出块，进行双花。对于这类攻击的解决方法，一般都会使用 "保证金+惩罚机制" 的方式。
以上的公式都为简化形式，实际应用中会有差别。比如VRFs挖矿算法的输入参数等…
个人思考
- 共识不是一个简单的算法问题，更像一个社会治理问题。
- 共识算法的设计需要关注性能和安全性，以达到性能和安全性的平衡。
- 区块链技术”不可能三角问题“中的 去中心化，个人认为应该叫做 公平性，因为去中心化不是区块链的目的，优秀的区块链应该是高性能，高安全性，参与者相对平等。而去中心化只是实现上的效果。公平性不单指的是公平的出块权，未来也可能代表公平的获取信息的权利（当然可能只是借助了区块链技术的创新项目）。
- VRFs可以用来选出块者，也可以用来分组，通过分组，提高交易并行处理性能。
------------------------------------------------完美的分割线-------------------------------------------------------
个人思考，有感而发，欢迎批评指正～~
Cryptoeconomics isn't magic – it's just interdisciplinary.
