区块链系统安全与自主可控.pptxVIP

2018年4月27日区块链系统安全与自主可控YOCSEF20周年暨2018青年精英大会北京·辽宁大厦斯雪明复旦大学2018年5月25日目录/Contents3安全防护的解决思路与关键技术1区块链系统面临的安全挑战区块链系统的数学模型及安全性分析对区块链自主可控的思考2401区块链系统面临的安全挑战区块链安全面临严峻挑战2018年4月25日，黑客发现了面向公众的DNS服务器中的漏洞，Myetherwallet服务器遭到DNS劫持攻击，大量用户登录MyEtherWallet后出现10秒倒计时，然后钱包内余额被全部转走2018年4月25日，SMT（Smartmesh）因为类似的问题，导致币价暴跌38%，并停止交易2018年4月22日，代码溢出导致美链BEC从超过60亿人民币的市值归零区块链安全面临严峻挑战密码货币交易所面临严峻安全挑战2018年3月7日，黑客通过盗取币安交易所的APIKey，在VIA/BTC交易市场，程序化下市价买单，和31个预先充值VIA币的账号高价卖VIA。通过利用盗取的币拉高VIA的价格的同时做空2018年1月25日，日本最大的比特币交易所Coincheck遭到黑客攻击，丢失了市值多达5.3亿美元的数字货币。发生被盗的主要原因是他们将绝大部分资金保存在缺乏多重签名、低安全性的“热钱包”中，如果黑客入侵公司服务器，这些资金就会变得很脆弱面临的安全挑战02区块链系统的数学模型及安全性分析区块链系统的数学模型2015年，Garay等人发表的TheBitcoinBackboneProtocol:AnalysisandApplications中利用形式化的方式对比特币的核心内容进行了分析2018年，欧密会上ChristianBadertscher等人发表的ButWhyDoesItWork?ARationalProtocolDesignTreatmentofBitcoin改变了假设条件，对比特币进一步进行了形式化分析我们在此基础上将区块链划分成交易模块、共识模块和链接模块，对三者的相互关系进行了研究，建立了数学模型，对区块链系统的性质进行了分析通过模型建立对系统的状态变化进行量化，为分析区块链系统的性能、安全性等提供理论基础区块链系统的数学模型将区块链划分成交易模块、共识模块和链接模块，且三者之间相互关联区块链系统的数学模型交易类型普通转账交易发送消息交易,…区块链系统的数学模型trd表示交易数据,tra表示交易账本状态,trn表示交易的总量,tro表示参与交易的总节点数,trv表示有效交易总量tri表示单个交易,in表示输入地址,out表示输出地址,ia表示输入信息,oa表示输出信息Ai表示一个节点，tni表示交易数量，pni表示参与Ai交易的节点是数量，To表示Ai输出总量,Ti表示Ai输入总量,Ba表示Ai余额区块链系统的数学模型?如果交易tr有效，则有f(tr)=1,否则f(tr)=0，如果交易产生了新的地址，则h(tr)=1,否则h(tr)=0,两个地址第一次产生交易，否则区块链系统的数学模型cn表示参与共识的节点数,cd表示共识效力的分布，cs表示各个节点已经成功共识的次数共识由常规节点完成共识由新节点完成(第一次)区块链系统的数学模型?Bn表示已经入链的区块数量，Tn表示每个区块容纳的交易量，Tm表示生成一个区块的时间,区块链系统的数学模型{P1,P2,…,Pn}表示节点集合,{Pp1,Pp2,…,Ppn}表示共识效力值.做坏节点{C1,C2,…,Cw},相应的共识效力{Cp1,Cp2,…,Cpw}.诚实节点{H1,H2,…,Hn-w},相应的共识效力{Hp1,Hp2,…,Hpn-w}.共识效力p和共识成功率q的关系，q=f(p)δ表示至少一个诚实节点完成共识ψ表示至少一个做坏节点完成共识诚实节点发布一个区块并且链接到主链的概率右图表示在每个节点共识成功率相同时，P1和w,n的关系诚实节点发布一个区块并被验证的概率右图表示在每个节点共识成功率相同时，P2和w,n的关系区块链系统安全性分析后面，我们分别从算法、协议、实现、使用、系统的角度，对区块链的安全性进行了分析算法安全性分析系统安全性传统密码算法受到密码分析技术和计算技术发展的威胁使用安全性新型密码技术未受到足够时间的检验和充分攻防的考验实现安全性量子计算将对现有密码体制带来颠覆性的影响2017年11月12日，IBM宣布基于20量子比特的量子计算机，可在年底向客户开放，基于50量子比特的量子计算机原理样机也将开放协议安全性算法安全性2018年3月6日，googl