哲学|Vitalik:区块链“验证”的哲学( 二 )
本质上 , 加密货币和区块链是社会结构 , 如果没有人相信它们 , 那它们就毫无意义 。
本文插图
那么 , 另一种观点是什么呢?其核心思想是通过协调问题将区块链视为工程安全 。
通常情况下 , 我们遇到的协调问题不会是什么好事:对于大多数人来说 , 如果英语能摆脱其高度复杂和不规则的拼写系统 , 或者如果美国改用公制 , 或者如果经济衰退时我们可以立即把所有的物价和工资降低10% , 那么在实践中 , 这需要所有人同时就转换达成一致意见 , 而这通常是非常困难的 。
然而 , 在区块链应用中 , 我们可利用协调问题来发挥自己的优势 。 我们正在利用协调问题造成的摩擦 , 以作为防止中央集权行为者渎职的一道屏障 。 我们可以构建具有属性X的系统 , 并且我们可以保证它们将保留属性X , 因为将规则从X更改为非X , 需要一大堆人同意同时更新他们的软件 。 即使有一个参与者可以强制改变 , 这样做也很困难 。
注意 , 这个观点会带来一个特别的结果:全节点的目的并不是为了保护你 , 在有争议硬分叉的情况下 , 拥有全节点的人是安全的 , 而没有全节点的人是容易遭受攻击的 。 相反 , 这里的观点更多的是群体免疫:验证的人越多 , 每个人就越安全 , 即使只有一部分人在验证 , 每个人都会因此得到高水平的保护 。
2 深入研究验证
【哲学|Vitalik:区块链“验证”的哲学】现在我们进入下一个主题 , 这个主题与轻客户端、分片等主题非常相关:通过验证 , 我们实际上实现了什么?为了理解这一点 , 让我们回到前面的一点 , 如果攻击发生了 , 我认为攻击的发生方式具有以下优先顺序:
默认为失败>默认为混乱>默认为胜利
这里的“>”当然是“优于” 。 最好的情况是攻击完全失败 , 其次是攻击导致混乱 , 每个人都不同意正确的链是什么 , 而最糟糕的则是攻击成功 。 为什么混乱要比胜利好得多?这是一个动机问题:混乱增加了攻击者的成本 , 并降低他们肯定会获胜的确定性 , 因此从一开始就阻止了攻击的企图 。 默认为混乱环境 , 意味着攻击者除了要赢得51%算力竞争 , 还需要说服社区跟随 , 这要比简单发起51%攻击要困难地多 , 也没有那么吸引人 。
验证的目标是从默认胜利改为默认失败 , 或者默认混乱 。 如果你们都有一个全验证节点 , 并且攻击者试图推行一条具有不同规则的链 , 则攻击就会失败 。 如果有一些人有一个全验证节点 , 而其他人没有 , 那么攻击会导致混乱 。 但现在我们可以思考:有没有其他方法可以达到同样的效果?
3 轻客户端和欺诈证明
在这方面 , 一个自然的发展是带有欺诈证明的轻客户端 。 目前存在的大多数区块链轻客户端的工作原理 , 是验证大多数矿工支持的特定区块 , 而不必费心检查其他协议规则是否正在实施 。 客户端基于大多数矿工是诚实的信任假设运行 。 如果发生了一次争议分叉 , 则默认情况下 , 客户端会遵循多数链 , 如果用户希望遵循旧规则 , 则由用户采取积极的措施 。 因此 , 今天受到攻击的轻客户端会默认承认攻击是成功的 。 但有了欺诈证明技术 , 情况就开始不太一样了 。
欺诈证明最简单的形式如下 。 通常 , 区块链中的单个区块只触及区块链“状态”的一小部分 。 如果一个全验证节点处理一个区块 , 并发现它是无效的 , 则它们可生成一个package包 。 它们把这个package包广播给轻客户端 。 然后 , 轻客户端可以获取package包并使用该数据来验证区块本身 , 即使它们没有来自区块链的其他数据 。
推荐阅读
- 融资并购,区块链|香港环球基金正式宣布战略投资韭菜时代,打造区块链产业新纪元
- 技术编程,区块链|ETH测试网Medalla为什么提倡验证者尝试多个客户端?
- 中年|梵蜜琳“底色”:微商拉人抽成“狂欢”,准备做区块链
- 互联网|全国首个区块链知识产权基地落户成都
- 行业互联网|点融入围2020中国产业区块链优秀终评案例
- 哲学|INFINITE公链永续经营哲学揭露IF价值上涨逻辑
- 互联网|线下“菁蓉汇”重启:首场聚焦区块链,安全工程技术研究中心揭牌
- 界面新闻|百度在线网络技术(北京)有限公司新增多项区块链相关专利
- 百度|百度在线网络技术(北京)有限公司新增数条区块链相关专利
- 融资并购|ConsenSys收购摩根Quorum开发区块链金融基础架构