声明:本文旨在传递更多市场信息,不构成任何投资建议。文章仅代表作者观点,不代表火星财经官方立场。
边肖:记得要集中注意力。
资料来源:巴比特
作者:洒脱的快乐
北京时间2月20-22日,由Findora主办的2020斯坦福区块链大会在斯坦福大学举行。本次会议重点讨论了区块链系统中的安全工程和风险管理方法,并讨论了如何通过加密技术、去中心化协议、形式化方法和实证分析的应用来提高区块链系统的安全性。
第一天的会议可以分为四个主题:可扩展性、攻击、零知识证明SNARKs和新区块链。
扩展主题:等离子技术的限制和必要工作量的证明(PoNW)
关于可扩展性的话题,华沙大学的Stefan Dziembowski发表了题为《Off-Chain协议的界限:探索Plasma技术的限制》的演讲。据其称,他们调查了等离子系统的固有局限性,并表明恶意方总是可以发起攻击,迫使诚实方向区块链传输大量数据。这一研究表明,每一个等离子体系统(如等离子体现金)都必须有一个大的出口,否则必然会遭受数据不可用导致的大量出口问题,这是通过引入额外的密码假设无法避免的。
Stefan Dziembowski在他的讲话中说:
“我认为在这个阶段,等离子需要更多的正规化和扩展工作。”论文链接:https://eprint.iacr.org/2020/175
来自纽约大学的博士生阿西马基卡特蒂斯展示了他的论文《必要工作量证明(PoNW):简洁状态验证和公平保证》。据报道,这项研究可以使无状态轻客户端在大约40毫秒内有效地验证整个区块链历史。在演讲中,他提到:
“我们的贡献是,简明客户端可以接受大约1千字节的初始化数据。对于这个模型中的信任模型,只需要访问最长链证明,然后就可以了。这个原型是简化版的比特币,基于账户模型。它没有花哨的脚本和UTXO。系统中的证明很小,只有373字节左右。无论交易总数是多少,证明的大小都是一样的。”论文链接:https://eprint.iacr.org/2020/190
来自Off-chain Labs的Ed Felten发表了题为《Arbitrum 2.0:具有链上安全性的快速Off-Chain合约》的演讲,介绍了一款名为Arbitrum Rollup的扩展产品。
攻击主题:通过远程旁路攻击破解Zcash或Monero的匿名性
除了可扩展性话题,关于区块链的安全性话题也备受关注。
对此,来自斯坦福大学的Florian Tramer发表了题为《通过远程侧通道攻击链接匿名交易》的演讲,描述了一种时间端通道和流量分析的通用攻击方法,让远程对手绕过匿名金钱提供的密码保护。
这些攻击使得主动远程攻击者能够识别Zcash或Monero中任何交易的(秘密)收款人。研究发现,在Zcash的实现中,生成零知识证明的时间取决于秘密交易数据,尤其是交易资金的多少。因此,虽然证明系统具有零知识的性质,但是能够测量证明生成时间的攻击者可能会破坏交易的机密性。
据悉,这项研究由Florian Tramer、Dan Boneh和Kenny Paterson教授共同完成。
弗洛里安特拉默在讲话中说:
“我们已经负责任地向受影响的Zcash和Monero项目方披露了问题,现在他们已经修补了漏洞。”论文链接:https://crypto.stanford.edu/timings/paper.pdf
此外,来自伦敦帝国理工学院的研究员丹尼尔佩雷斯介绍了一种新的DoS攻击,称为资源耗尽攻击。这种攻击利用以太坊等区块链系统的缺陷生成低吞吐量契约,可以用来阻止硬件容量低的节点参与网络,从而人为降低网络的去中心化程度。
论文链接:https://arxiv.org/abs/1909.07220
知识零证明题目:Stackexchange可以做到9000-18000 tps
近年来,关于零知识证明的研究越来越热,本次斯坦福区块链会议也集中展示了这方面的研究进展。
例如,来自以色列理工学院STARKware的首席科学家给计算机科学教授Eli Ben-Sasson做了一次关于Stark技术的讲座。他说:
“STARKs和StarkWare以实现高可扩展性而闻名。今天,通过StarkExchange智能合约系统,我们可以在以太坊上实现约9000笔/秒的交易,而对于支付,我们可以实现18000笔/秒的交易。这个系统将很快在以太坊的主网络上上线,我们正在扩展这些功能,以服务于异构令牌。”来自加州大学伯克利分校的Nick Spooner在会议上发表了题为《Fractal: 基于Holography的后量子和透明递归证明》的演讲。他说:“关于SNARK最强大的功能之一是所谓的递归证明,在这个过程中,你实际上可以证明另一个SNARK是正确的。分形是一个系统,它展示了如何实际执行这种操作,以及如何使用后量子安全来获得递归SNARK。”论文链接:https://eprint.iacr.org/2019/1076.pdf
总结:在会议的第一天,可扩展性和隐私仍然是研究人员的主要关注点。此外,一些项目方也展示了自己的技术特点。例如,脸书的区块链技术总监Ben Maurer在会议上介绍了Libra区块链和他们的Move编程语言,而Celo protocol的Marek Olszewski则重点介绍了他们的ultralight超轻客户端。
预告:在明天的会议中,以太坊联合创始人Vitalik Buterin将以51%攻击为主题发表演讲,而来自MIT的雷洋将介绍一种新的共识机制,称为Prism,可以实现比特币的1万倍膨胀。可以期待一下。