动态 | 爱丁堡大学研究人员公布比特币闪电网络的正式验证结果
苏格兰爱丁堡大学的研究人员Aggelos Kiayias和Orfeas Litos上个月发表了一篇有关闪电网络安全性的论文。这篇论文描述了闪电网络的代码规范缺乏正式的验证,这是“一种可怕的状态”论文解释称:“我们的处理准确地描述了协议的安全保证如何依赖于基础分类账技术的属性。” 研究人员执行此操作的过程称为正式验证。虽然它在加密货币领域很流行,并且有助于确定代码的安全性,但并不是在每个代码程序上都执行“形式安全性”。研究人员认为,研究结果是积极的,表明让支付系统正常运行的底层加密技术是健全的。尽管规范验证是重要的一步,但它仅适用于闪电网络的代码蓝图,不适用于开发人员已经开发的软件。(Coindesk)
相关资讯
昨日,华通证券官方正式宣布完成对区块链技术平台CTFEX的并购,成为全球首家支持数字货币的持牌券商。华通官网现已上线,并将于本月开放首个港股IPO打新项目。华通证券首期将为用户开放USDT(陆续开放对央行DC/EP、...
区块链:2019/9/20 0:00:00根据Huobi交易平台数据显示,BTC最新成交价格 10158.19 美元,最高价达 10240 美元,最低价格 10068 美元,成交量 1.56 万,跌幅 0.2 %;ETH最新成交价格 218.52 美元,最高...
区块链:2019/9/21 0:00:00据CoinMarketCap数据显示,加密货币市场总市值为2665.39亿美元,24小时交易量为526.66亿美元。前五成交额排行如下:第一是USDT,其24小时成交额为169.48亿美元,占比为32.18%;第二是...
区块链:2019/9/22 0:00:009月17日,卢森堡财政大臣Pierre Gramegna来华接受专访时表示,刚刚在赫尔辛基讨论了Libra问题,不得不说,各国财长和央行家在Libra问题上有某种程度上的觉醒(kind of awakening)。L...
区块链:2019/9/20 0:00:00金色财经现场报道,9月21日,以《分布式金融科技的未来之路》为主题的第六届纷智全球峰会于中国澳门举办。ChainUP创始人兼CEO钟庚发发表《区块链时代的技术与金融》主题演讲,他指出交易所具备天然的金融投资属性,是区...
区块链:2019/9/21 0:00:00日前,海尔衣联网发布了在网器、场景、生态等维度的新成果,包括依托5G联合创新实验室加速构建的“5G衣联网”,升级了“衣联网生态云平台”,整合RFID技术、区块链、5G、AI、智能制造等生态资源,基于技术与标准优势加速...
区块链:2019/9/21 0:00:00据CoinTrendz.com数据显示,过去一小时推特讨论量排行中,BTC凭借152的讨论量排名第一,ETH以57的讨论量位居第二位,XRP以38的讨论量位居第三位。讨论量排名四至十位的分别为:LTC(24)、EOS...
区块链:2019/9/23 0:00:00据Cointelegraph消息,区块链透明度研究所(BTI)近日发布第五份全球加密市场监测报告,报告显示,Kraken和Coinbase是业内最干净的加密货币交易所。
区块链:2019/9/23 0:00:00据TheBlock消息,美国加州北区检察官办公室近日指控Elliot Gunton和Anthony Tyler Nashatka涉嫌在2017年12月入侵建立在以太坊区块链上的去中心化交易所 EtherDelta(以...
区块链:2019/9/22 0:00:00CME比特币期货10月合约涨25美元,涨幅大约0.25%,报10180美元,本周累跌约0.83%;11月合约收涨至10275美元,12月合约收涨至10360美元。
区块链:2019/9/21 0:00:00据新浪财经9月21日消息,在第十届新莫干山会议(2019秋季论坛)上,莫干山研究院副院长沈建光表示,技术的发展其实也是带动了整个行业的发展,数字货币本来都是央行开始比较抵触,但是现在央行开始拥抱,它其实是一种竞争,看...
区块链:2019/9/22 0:00:00美国国防授权法案(NDAA)已包含一项规定,要求研究分布式分类帐技术(DLT),以用于防御目的。根据NDAA法案第255条,负责研究和工程的国防部副部长将在发布之日起180天内向国会辩护委员会简要介绍分布式分类账技术...
区块链:2019/9/20 0:00:00