斯坦福区块链大会精彩回顾

安全、扩容、51%攻击 斯坦福区块链大会精彩回顾

2月19日-21日,由高性能隐私区块链Findora团队成员、应用加密学小组(Applied Crypto Group)成员、Bulltetproofs证明机制提出者Dan Boneh与Benedikt Bünz联席举办,邀请了包括Vitalik Buterin、 Ben Fisch等来自知名美国院校,以及Facebook、瑞波、Visa等机构的行业知名人物。

会议重点关注区块链系统中的安全工程和风险管理的方法,探讨通过加密技术的应用、去中心化协议、形式化方法和实证分析等来提高区块链部署中的安全性或降低风险。

学者们在大会中交流 图中是Findora首席科学家Benedikt Bünz与以太坊Vitalik Buterin

会议主要内容

Plasma技术的限制与必要工作量证明

会议首先探讨了有关可扩展性的话题。来自华沙大学的Stefan Dziembowski发表了题为《Off-Chain协议的界限:探索Plasma技术的限制》的演讲,据其表示,他们调查了Plasma系统存在的固有局限性,并表明恶意方总能发起攻击,迫使诚实方将大量数据传输到区块链。这一研究表明,每个plasma系统(例如Plasma Cash)都必须具有大的出口,否则必然会遭受由数据不可用引起的大量退出问题,而这一问题无法通过引入额外的密码学假设来规避。

来自纽约大学的博士生Assimakis Kattis展示了他的《必要工作量证明(Proof of Necessary Work):简洁状态验证和公平保证》论文成果,据悉,这一研究可使无状态的轻客户端能够在大约40毫秒内有效地验证整个区块链历史。换言之,简洁状态模型中的信任模型是比特币的简化版本,不管交易总数是多少,证明的大小都是一样的,大约在373字节。

通过远程侧信道攻击破解Zcash或Monero的匿名性

区块链的安全问题也是备受关注的一个话题,在这个方面,来自斯坦福大学的Florian Tramer,Dan Boneh及Kenny Paterson发表了题为《通过远程侧信道攻击匿名交易记录》的演讲,其描述了一类通用的时间侧信道和流量分析攻击方式,允许远程恶意对手绕过匿名货币提供的密码学保护。

这些攻击使远程攻击者可以识别Zcash或Monero中任何交易的(秘密)收款人,研究发现,在Zcash中,生成零知识证明的时间取决于秘密交易数据,特别是交易资金的数量。因此,尽管证明系统具有零知识属性,但能够测量证明生成时间的攻击者,可能会破坏交易的机密性。

零知识证明话题:炙手可热的加密算法

近年来,关于零知识证明的研究已经越来越炙手可热,而这次斯坦福区块链会议也重点研讨了有关零知识证明算法方面的研究进展。

来自加州大学伯克利分校的Nick Spooner则在会议上发表了题为《Fractal: 基于Holography的后量子和透明递归证明》。在这篇文章里,Spooner提出了一种新的方法,可以有效地实现简洁的非交互式知识论证(SNARKs)的递归组合。在进行这项工作之前,唯一已知的方法是基于在配对友好的椭圆曲线(昂贵的代数对象)的循环上实例化的基于配对的SNARK。这个方法论不依赖任何特殊的代数对象,而且实现了新的理想特性:它是后量子的,并且是透明的(实验环境是公共区块链)。

Findora CTO Ben Fisch

Findora首席技术官以及斯坦福应用密码学博士生Ben Fisch利用在针对单变量和多变量构建了一个新的polynomial commitment,具有对数大小的评估证明和验证时间。此外,该计划不需要像Zcash(Groth16)目前所需的可信设置。下面这个列表可以看到一个更直接的对比:

独特的 51% 攻击及治理方式

如何应对51%攻击是过去十年来讨论很多话题,对此以太坊联合创始人Vitalik Buterin发表了题为《越过51%攻击》的演讲,他首先介绍了不同类型的51%攻击,例如最常见的回滚交易攻击,此外还有审查攻击、轻客户端攻击、劝阻攻击,以及最严重的覆巢式攻击,他认为这对工作量证明(PoW)加密货币仍是一个很大威胁。而99%容错共识、及时性检测器(TD)等技术来检测攻击链以及审查攻击,可以使权益证明(PoS)货币基本消除51%攻击带来的威胁。

Findora CTO Ben Fisch和以太坊Vitalik Buterin

比特币的一万倍扩容

除了如何应对51%攻击,吞吐量和延迟间以及性能和安全性上的权衡是区块链系统常常会遇到的瓶颈,在共识协议解决方案方面,会议上来自麻省理工的Lei Yang发表了题为《Prism:比特币的1万倍扩容》的演讲,他认为比特币在安全性与性能上不能很好的相容。而通过引入“交易区块”避免分叉、处理延时以及系统部署等手段,Prism可以有效解除性能与安全的联系。他解释了Prism的部署中所做的优化,并展示了评估的结果:相对于比特币的每秒7笔交易,Prism可以实现每秒70000笔交易的吞吐量。

再议权益证明

哥伦比亚大学的Tim Roughgarden发表了《公理理论分析区块奖励》,对比特币的区块链奖励分配算法用公理理论进行了严谨的分析。分析规则包括:对称性;预算余额(弱或强);防Sybil和各种等级的防共谋。研究证明了比特币的比例分配规则是满足特定属性系统的唯一分配规则,但这并不适用较弱的属性集,或当矿工不是风险中性时。

Findora CEO Charles Lu, Findora 首席科学家 Benedikt Bünz, 和哥大教授 Tim Roughgarden

Gauntlet 的Tarun Chitra发表了《抵押贷款和链上贷款之间的竞争均衡》,对权益证明 (Proof of Stake) 的安全性进行了研究。衍生品市场的存在使验证者之间的恶意协调比在工作量证明系统中更容易。Chitra证明链上贷款的智能合约也可以削减PoS系统的网络安全性。当这些智能合约提供的回报率比staking抵押提供的利率更高时,staking的人会将原本staked的代币取出,然后在这些智能合约上借出,从而降低网络安全性。本文中,Chitra用了一个简单的随机模型描述了具有不同风险偏好的理性持币者对staking回报率和借贷回报率是如何反应的。结果表明,非恶意的理性参与者可以在staking利率低于借贷利率的情况下下大大降低PoS网络的安全性。

斯坦福大学、UIUC和华盛顿大学的教授们发表了《再论权益证明最长链协议》。中本聪发明的最长链协议一直很好地服务于比特币。它非常简单,仅使用基本的密码基元,但其工作量证明的方法浪费了非常多的能源。权益证明(Proof of Stake)是一种节能的替代方案。但这种协议非常复杂,并且会削减安全性。本文分析了为何直接模仿Nakamoto协议的权益证明共识机制容易受到致命攻击。学者随后也根据攻击的方法编写出了中本聪风格最长链PoS协议新家族的设计,并正式证明了它们在一般安全模型中的安全性。

康奈尔大学的Benjamin Chan和Elaine Shi发表了《Streamlet:教科书简化的区块链》。本文描述了一种构造共识协议Streamlet的极其简单自然的范例。协议受到了过去五年的核心技术的启发;但通过充分利用“精简”的想法,Streamlet比以往任何的机制都简单。

本次大会主要探讨了可扩展性、隐私、共识机制、区块链经济以及状态通道。除了上述总结的演讲之外,大会还主办了其他精彩的学术展示,在此就不一一列举。读者若感兴趣可前往https://cbr.stanford.edu/sbc20/查看所有演讲的主题,并搜索相关的研究论文。在此之外,一些项目方也展示了自己的技术特点,例如Facebook的区块链技术主管Ben Maurer就在会议上介绍了Libra区块链以及他们的Move编程语言,来自Celo协议的Marek Olszewski重点介绍了他们的ultralight超轻客户端,Dfinity介绍了他们的Motoko编程语言等等。今年的大会到此结束,让我们一起期待明年斯坦福区块链大会学者们再次展示研究成果。

区块链检测系统

24小时热点

怎么为区块链项目进行评分

通过区块链网的Redstone评价系统,我们可以对区块链项目 ... 置顶

4405

发文赚区币,区块链网行业首创

很多用户都在微信公众号咨询,如何在区块链网发文赚区币,区币跟 ... 置顶

31682

2019年打假总结:存活近3年 疯狂的“传销币”GEC是怎么苟延残喘至今?

币圈从来不缺乏资金盘或是传销币,但多数都不长久,一夜之间项目 ...

828204

区块链的作用

骗走了中国人5000亿MBI集团的“易物币”长什么样的

人性终究还是舍弃不掉自己贪婪的一面! 今年10月 ...

297109

区块链的特点是什么

广东模式的区块链贷款来了

国内首个以区块链作为底层技术的中小融平台在广东诞生,近日,广 ...

137742

区块链金融

2019年打假总结:YottaChain王东临的收割套路 左手发币 右手传销

好多人在利益名利面前会变成毫无情感,豪无人性,你信吗?反正我 ...

41277

区块链的作用

一周政策新闻汇总1-17

政策新闻  1、新的美国国会法案寻求对较小的加密 ...

137089

比特币挖矿机

敛财11亿的“U宝币”12万人被骗 涉案人员终判刑

发行虚拟货币,敛财无道 2018年1月,王逸凡纠 ...

141182

区块链最新消息

中国政府出台的最新经济刺激政策

中国央行周五傍晚宣布,3月16日起定向降准,释放长期资金人民 ...

19887

新闻

01-25发布:区块链网评分降幅周榜

01-25发布:区块链网评分降幅周榜 第一名:BI ...

138254

责任编辑

2020央行数字货币对于普通民众来说意味着什么

未来的“钱”是怎样的?央行数字货币(CBDC)无疑是最受瞩目 ...

40280

资讯发布

11-8发布:区块链网评分降幅日榜

11-8发布:区块链网评分降幅日榜 第一名:BHP ...

1235

责任编辑

热点专题

如何为ETH以太坊评分

如何为ETH以太坊评分,我们通过区块链网的区值、Redsto ... 置顶

2658

骗走了中国人5000亿MBI集团的“易物币”长什么样的

人性终究还是舍弃不掉自己贪婪的一面! 今年10月 ... 置顶

297109

国内十大骗子排行榜

曾自称是“未来世界首富”的张健在中国被捕后,五行币网站立刻进 ... 置顶

198656

2019年打假总结:存活近3年 疯狂的“传销币”GEC是怎么苟延残喘至今?

币圈从来不缺乏资金盘或是传销币,但多数都不长久,一夜之间项目 ...

828204

区块链的作用

PlusToken正式跑路 你该怎么办?

今天中午,一则消息刷遍了币圈,但是伴随着消息一起传播的,是更 ...

419878

大风号

骗走了中国人5000亿MBI集团的“易物币”长什么样的

人性终究还是舍弃不掉自己贪婪的一面! 今年10月 ...

297109

区块链的特点是什么

为什么国家禁止区块链

为什么国家禁止区块链?我认为区块链是一把双刃剑;在正面区块链 ...

261353

比特币挖矿机

2019年打假总结:Pi Network项目的传销性质

曾经,号称“走路就能赚钱”拥有大量用户和广泛影响的国内APP ...

235768

区块链的作用

美国计算机学会:区块链技术到底能做什么?

去年,中国央行区块链研究部门发布了《区块链能做什么,不能做什 ...

202761

啥是区块链

国内十大骗子排行榜

曾自称是“未来世界首富”的张健在中国被捕后,五行币网站立刻进 ...

198656

区块链中国

十大传销币(系列9)

传销是指组织者发展人员,通过对被发展人员以其直接或者间接发展 ...

168694

区块链图片

十大传销币(系列7)

“传销币”最大的特点就是与区块链毫无关联,甚至连最基本的钱包 ...

143755

区块链手机

敛财11亿的“U宝币”12万人被骗 涉案人员终判刑

发行虚拟货币,敛财无道 2018年1月,王逸凡纠 ...

141182

区块链最新消息