1900/1/1 0:00:00

从诞生至今,形式化验证方法一直与“小众、冷门”等字眼挂钩。有人说形式化验证方法是一种“军用级别”的防黑客手段,更是为这项技术增添了一丝神秘感.

1900/1/1 0:00:00

原地址：http://unenumerated.blogspot.com/2017/02/money-blockchains-and-social-scalability.html译者：Jan&Joey介绍当下.

1900/1/1 0:00:00

:"\u003Cp\u003E编者按：本文来自\u003Cahref=\"https:\u002F\u002Fmp.weixin.qq.

1900/1/1 0:00:00

发改委发文,或将为比特币矿机行业悬上“达摩克利斯之剑”。中国比特币挖矿企业将何去何从,挖矿“药丸”还是虚惊一场？TokenInsight分析师对此进行解读.

1900/1/1 0:00:00

编者按：本文来自禅与宇宙维修艺术,作者Mable,Odaily星球日报经授权转载。英国插画师JohnHolcroft作品今天推荐的这篇文章来源于一位朋友做的有趣实验.

1900/1/1 0:00:00

:"\u003Cp\u003E编者按：本文来自\u003Cahref=\"https:\u002F\u002Fmp.weixin.qq.

1900/1/1 0:00:00

编者按：本文来自Unitimes,作者：VitalikButerin,编译：Jhonny,原地址：https://notes.ethereum.org/s/rkhCgQteN,Odaily星球日报经授权转载.

1900/1/1 0:00:00

*本文阅读时间：13分钟“高利贷从货币本身牟取利益,而不是通过货币的自然用途获利。因为,货币本来是用于交换的,不是用来增加利息的.

1900/1/1 0:00:00

“物联网”是什么？ 物联网简单地说即指一个各个设备相互连接并且可以进行交互的系统,联结方式通常通过互联网实现。我们可以将现在大家熟知的互联网类比为“人的网络”,而由机器和设备构成的网络即“物联网”.

1900/1/1 0:00:00

编者按：本文来自IOSG,Odaily星球日报经授权转载。Dappcon项目大赏在dAppcon期间,我们对在ethereum上开发dApp的项目进行了深入的了解,对状态通道进行讨论,并在EthBerlinHackathon之前参加了.

1900/1/1 0:00:00

SUI正逐渐成为游戏开发者们的热门选择,目前已经有40多款游戏正在该链上开发,其中包括一些备受瞩目的项目,研究员apix总结其中比较流行的9款游戏,下面我们一起来看看：1.Overworld它是过去几周最受瞩目的游戏项目之一.

1900/1/1 0:00:00

作者|王也、秦晓峰编辑|郝方舟出品|Odaily星球日报一、比特币喜提热搜据新华社消息,中共中央总书记昨日表示,要把区块链作为核心技术自主创新的重要突破口,明确主攻方向,加大投入力度,着力攻克一批关键核心技术.

1900/1/1 0:00:00

原地址：https://vitalik.ca/general/2019/11/22/progress.html作者：VitalikButerin翻译文章首发链接：http://1t.

1900/1/1 0:00:00

本文来自：哈希派,作者：LucyCheng,星球日报经授权转发。据以太坊基金会消息,伊斯坦布尔硬分叉升级预计将于2019年12月7日前后发生,和前几次的君士坦丁堡、拜占庭等硬分叉升级一样,这次的升级同样以改变以太坊底层协议的方式来提升.

1900/1/1 0:00:00

:"\u003Csection\u003E\u003Cp\u003E编者按：本文来自\u003Cahref=\"https:\u002F\u002Fmp.weixin.qq.

1900/1/1 0:00:00

:"\u003Cp\u003E\u003Cimgalt=\"星球日报|首只区块链指数基金上报?；比特币算力创历史新高\"src=\"https:\u002F\u002Fpiccdn.0daily.

1900/1/1 0:00:00

撰文|Cobo金库大掌柜在《安全芯片到底在保护什么？》中,我们讲了安全芯片能够生成真随机数来预防秘钥泄露。除此之外,相比较其他电子元器件,安全芯片还有一些特别的设计,用以抵御针对硬件的直接攻击.

1900/1/1 0:00:00

编者按：本文来自：以太坊爱好者,作者：ShayneCoplan,翻译&校对：闵敏&阿剑,Odaily星球日报经授权转载。又一个十年拉开序幕.

1900/1/1 0:00:00

:"\u003Cp\u003E—撰文|Cobo金库大掌柜\u003C\u002Fp\u003E\u003Cp\u003E相信所有用过“去中心化钱包”的同学对助记词都不陌生.

1900/1/1 0:00:00

编者按：本文来自Unitimes,作者：SinaMahmoodi,编译：Unitimes_David,星球日报经授权发布。摘要：无状态客户端需要将区块中调用的智能合约代码作为区块见证的一部分进行发送.

1900/1/1 0:00:00

编者按：本文来自Deribit德瑞的交易课,星球日报经授权发布。比特币是一种使用加密方法验证交易的去中心化数字资产。2008年,中本聪发明了比特币的底层技术——区块链,自此开启了金融创新的新时代.

1900/1/1 0:00:00

:"\u003Cp\u003E编者按：本文来自\u003Cahref=\"https:\u002F\u002Fmp.weixin.qq.

1900/1/1 0:00:00

在前天波卡项目代币DOT100倍拆分后,市场又掀起了一阵波卡热。 看似价格下来了,却是100倍拆分,只是看起来单价降了。其实价格还是涨的.

1900/1/1 0:00:00

NFT,非同质化通证。我知道很多读者知道这个概念,本文并不是来科普介绍NFT的概念、应用、未来,因为我下面所提到的网站,几乎每一个里面都有对NFT非常详细而深入的讲解.

1900/1/1 0:00:00

编者按：本文来自巴比特资讯,作者：TURNERWRIGHT,编译：隔夜的粥,星球日报经授权发布.

1900/1/1 0:00:00

:"\u003Cp\u003E\u003Cimgalt=\"星球日报|英国女王表示对区块链感兴趣；德意志交易所上市VanEck比特币ETN\"src=\"https:\u002F\u002Fpiccdn.0daily.

1900/1/1 0:00:00

:"\u003Cp\u003E编者按：本文来自\u003Cahref=\"https:\u002F\u002Fwww.chainnews.com\u002Farticles\u002F874226636379.

1900/1/1 0:00:00

最近,“7·12”特大跨国电信网络案开庭审理。据检察机关指控,该犯罪集团使用有关平台,以投资多种虚拟货币的名义,按照事先设计的寻找目标、建立信任、诱导投资、取钱财等手段,先后取全国各地130多人、财物3000多万元.

1900/1/1 0:00:00

过去一个月,波卡算得上是加密世界中“最靓的崽”。自去年圣诞节起,DOT在不到一个月的时间里从5美元附近强势上冲,最高时一度突破19美元,涨幅接近300%；除DOT外,KSM、PHA、CRU、PLOS等波卡生态内的一众项目表现同样惊人,

1900/1/1 0:00:00

波卡生态中有哪些链计划成为波卡/Kusama平行链？如何参与CrowdLoan来支持自己看好的项目呢？今天我们就盘点了一些计划竞拍波卡或Kusama平行链的项目,其中一些项目已经公布了自己的平行链竞拍计划.

1900/1/1 0:00:00

整理|秦晓峰出品|Odaily星球日报过去一年,DeFi市场蓬勃发展,造富故事层出不穷。DeFiPluse数据显示,去年年初,链上锁仓价值只有6.6亿美元,到了年末升至143亿美元,年内累计涨幅接近2000%；DeFi代币总市值从不到.

1900/1/1 0:00:00

作者|秦晓峰编辑|郝方舟出品|Odaily星球日报 上周,Odaily星球日报盘点了3月热门的IDO项目名单,市场反响热烈,读者对如何参与IDO更是兴致盎然。很快,本月的第二份IDO名单也来了.

1900/1/1 0:00:00

撰文：WeBlockCTOAbbaGarba翻译：HAO 区块链是一种新型的分布式系统体系,它使用P2P对等网络通信,区块存储,分布式算法共识和加密算法来防止篡改。从本质上讲,区块链可以看作是由所有网络节点共同维护的分布式数据库.

1900/1/1 0:00:00

作者|秦晓峰编辑|郝方舟出品|Odaily星球日报 Odaily星球日报的热门IDO项目系列文章,近期再次“喜提”热情读者的私信催更。经过我们的搜索和梳理,包含11个最新的热门项目本月第二期IDO名单新鲜出炉.

1900/1/1 0:00:00

本期概要：OEC未来主网将接入Chainlink预言机；OEC测试网项目联合公测第一期活动圆满结束；社区论坛正式开放,测试币领取渠道更新；11家媒体和5家钱包已为测试网生态开通专区；测试网rpc服务优化.

1900/1/1 0:00:00

作者|秦晓峰编辑|郝方舟出品|Odaily星球日报 昨天,比特币突破6万美元,再次提振市场信心,山寨币也蠢蠢欲动,似要突破。对于新项目来说,赶上了好时候,在牛市中的发展潜力也更大.