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

本文作者：江卓尔,原地址：https://www.weibo.com/ttarticle/p/show?id=2309404305777891366168#_0一、为什么算力能成为比特币的最高仲.

编者按：本文来自：区块律动BlockBeats,作者：orangefans,Odaily星球日报经授权发布。算力大战引发行业动荡,结果本想吃点肉的投资者,连汤都没喝上.

随着币圈熊市,项目方经历着一轮“清洗”,投资人变得更为谨慎。炒币者减少,专注技术的更多了。作为一个行业基础,挖矿业在寒冬的发展也不甚乐观。许多人离场,矿机巨头比特大也绩效不佳.

一、本月数据动态 以太坊：交易市场类DApp活跃度最高、吸金能力最强根据链塔数据平台显示,10月份以太坊平台上DApp总数为1085个,其中竞猜类DApp数量占比最大,为37.97%.

据《中国时报》报道,大高雄观光商圈总会抢搭“韩流”(高雄市长韩国瑜自上任来大搞高雄经济,被成为“韩流”经济旋风)经济,将于18日顺势发行区域性商圈金融货币“高雄币”,系全台首创.

2018年,是区块链发展最迅猛的一年,全球加密货币总市值一度接近8000亿美金。但层出不穷的漏洞,使2018年成为黑客最为猖獗的一年.

文|芦荟,郝方舟编辑|郝方舟新一年的钟声刚刚敲响,属于2019的喧嚣、疯狂、奇迹、感动正在开启.

本文来自：巴比特,作者：AndrewLeonard,编译：洒脱喜,星球日报经授权转发。“我尊重区块链开发者的理想主义,我相信,他们真诚地相信自己正在建设一个更美好的世界.

编者按：本文来自链捕手,作者：周畅,Odaily星球日报经授权转载。在BAT的长期竞争中,百度的落伍已然是不争的事实.

本文来自：橙皮书,作者：AndrewZaleski；翻译：orangefans；星球日报经授权转发.

区块链市场总览Tokenview行情|24小时市值前五的数字货币成交额排名及占比根据Tokenview.com数据显示,24小时成交额排行中成交额排名第一的是BTC.

SEC的使命是保护投资者,维护公平、有序、高效的市场,促进资本流动。所有投资者,无论是大型机构还是个人,在购买证券之前都应该能够获得有关投资的基本事实.

作者：DD君欢迎添加作者微信btcbtc555与他进行交流！未经授权禁止转载！2018年可以说是DApp爆发的元年,这一年出现了好几款现象级DApp.

1月16日,据慢雾、PeckShield等安全公司披露,近期针对EOSDApp遭遇“交易排挤攻击”的持续性威胁情报监测：EOS.WIN、FarmEOS、影骰、LuckBet、GameBet、Fi.

编者按：本文来自白话区块链,作者李画,Odaily星球日报经授权转载。闪电网络正在以惊人的速度增长.

2018年,暴涨、暴跌、史上最大规模IC0融资、区块链第一股上市、明星项目解散、ETH直播分叉……几乎是一卷倍速播放的金融泡沫破灭史.

编者按：本文来自：橙皮书,作者：@TheRealSmuggler,译者：亦可Pp,原地址：https://opaque.link/post/dropgang/,星球日报经授权转发.

分析师声明本?以勤勉的职业态度,独立、客观地出具本报告。本报告所采用的数据和信息均来自市场公开信息,本?不保证该等信息的准确性或完整性.

矿工们在静等这一天的来临。提前是不能怎么样应对的。“我们没有提前做短线调整,走一步算一步。”以太坊矿工王泽霖向Odaily星球日报表示.

据Coinhive官方博客消息,由于在经济上不可行的原因,Coinhive将于3月8日停止运营,用户的报表盘在2019年4月30前可用。受加密货币市场下跌的影响,门罗币一年内下跌85%.

导读“打新”大战正式开启,各交易所“打新”模式究竟有何异同？IEO将如何发展？摘要专题：通过对比可以发现,在BinanceLaunchpad之后推出的“打新”产品相对更加强调合规.

亲爱的好朋友们：上期小C吐了一下IOTA。说实话,刚开始小C还有些忐忑,毕竟是小C出道的第一篇文章,文章内容也可能会引起一些激烈的辩论.

前言：谈区块链离不开密码学。通常来讲,区块链技术是利用块链式数据结构来验证与存储数据、利用分布式节点公式算法来生成和更新数据、利用密码学的方式保证数据传输和访问的安全、利用由自动化脚本代码组成的.

导读2018年Huobi交易业务布局逐步完善,由现货拓展至现货+合约+海外本地站+Huobi云,但快速的大规模扩张也使Huobi面临诸多挑战。摘要交易业务：多点发力,新战略效果初现.

为客观展示和反映DApp生态的真实状况,TokenInsight特发布DApp影响力排行榜。榜单通过对各DApp7日活跃用户、7日交易额、活跃天数、合约安全得分、代码开源比例等客观数据进行分析,

随着区块链的红火,另外一项技术DAG也获得了关注,还有基于其发明的Hashgraph技术。使用这项技术最著名的公司,应该就是HederaHashgraph了.

混沌未开 创世10年,经历数次极速膨胀和塌缩。当下的区块链像是缺乏基本物理规律的宇宙,混沌未开。尤其在17-18年间,1CO爆发的热闹之后,留给行业的,只有不断归零的项目,和不断缩水的市场规模.

编者按：本文来自新智元,作者张乾、小芹、大明鹏飞；Odaily星球日报经授权转载。荣耀属于深度学习.

这两天币价涨的厉害,全球数字资产总市值达已经突破1769亿美元。市场的复苏带来了人气,也招来了攻击者.

编者按：本文来自区块律动BlockBeats,星球日报经授权发布。3月12日,EOS上出现一笔一万亿EOS转账发起,该交易数额超过了整个EOS的供应总量.

刘毅,RandomCapital合伙人,清华大学硕士,区块链和大数据技术专家；20年多种资本市场投资经验,比特币早期投资者.

Odaily星球日报出品作者|王也编辑|卢晓明近日,数字货币交易所Bitfinex及其旗下交易平台Ethfinex宣布推出新的IEO交易平台Tokinex.

月报摘要“投资者调研”：超过60%的投资者在4月没有获利。超67%的投资者认为,5月数字资产整体市值仅会出现小范围波动.

导读百年之前的原版“庞氏局”中,一年左右的时间里,四万多名波士顿市民变成庞兹的投资者,其中大部分是怀抱发财梦想的穷人,庞兹共收到约1500万美元的小额投资,平均每人“投资”几百美元.

周报摘要上周全球数字货币资产日均市值为2478.69亿美元,上涨4.33%,日均交易量758.74亿美元,下跌20.75%。全球30家代表性交易所,新上交易对19个.