从诞生至今,形式化验证方法一直与“小众、冷门”等字眼挂钩。有人说形式化验证方法是一种“军用级别”的防黑客手段,更是为这项技术增添了一丝神秘感.
IO
编者按：本文来自白话区块链,作者：孙副社长,星球日报经授权发布。当下,无论你是网购、聊天,还是听歌、追剧,大概率都是在腾讯搭建的生态帝国内打转.
据CCN报道,《福布斯》近日发布了30岁以下30强榜单,收录了4位区块链行业的领军人物。他们分别是来自闪电网络的OlaoluwaOsuntokun、稳定币Basis的NaderAl-Naji、和.
作者：链塔分析师团队来源：链塔智库链塔BlockData联合天德科技等单位共同使用泰山沙盒,发布了《全球公链项目技术评估与分析蓝皮书》11月期,对公链的整体情况进行了分析.
10月30日晚,Coinbase首席运营官AsiffHirji发布公告称,Coinbase已完成E轮合计3亿美元的融资,由老虎基金领投.
编者按：本文来自碳链价值,作者：江小渔,星球日报经授权发布。EOS全名为EnterpriseOperatingSystem.
EnterpriseBlockchain:Past,PresentandFuture企业级区块链：过去、现在和未来作者：RemiGai编译：RubyXu.
有行业数据显示,2017年中国网购人数超过4亿,电子商务交易额超过20万亿,移动支付额超过7亿美元。如淘宝、京东、拼多多、唯品会等各种垂直领域的电商平台成为了人们主要的购物渠道.
编者按：本篇来自初创公司Pazima的联合创始人TojuOmetoruwa。为了找寻TradeLens平台虽然有马士基、IBM撑腰,但运营商并不买账的原因,他进行了一系列调查,试图在总结出原因的.
北京时间1月12日中午,根据Gate.io监测发现,更多的被盗资金返还其他平台,至于具体金额,Gate.io并未透露.
头条嘉楠耘智考虑美国IPO1月8日,据彭博消息,加密货币矿商嘉楠耘智在香港IPO计划搁浅后,目前正考虑在美国上市.
最近,加密货币0x吸引了很多关注。2018年10月11日,0x被添加到CoinbasePro,成为该交易所上线的第6个加密货币,也是其上线的首个ERC-20代币.
链上数据出现三大背离不利于价格平台突破策略上以谨慎防御为上,控制好成本和仓位报告要点从市场交易数据来看,价格仍延续前期平台整理格局,成交量上不去,制约着平台格局的向上突破.
众所周知,以太坊现如今面临的最大问题就是其自身的延展性问题,尤其是在类游戏开始盛行之后,以太坊的拥堵状况已经很长时间难以得到缓解.
“巴特模式”是比特币图表中一个众所周知的模式,甚至在Twitter和reddit上成为了一个模因。这是指比特币价格经历一段平稳时期后的突然波动.
最近加密市场币价大跌,比特币甚至一度跌破3500美元关口,熊市之下,稳定币成为投资者避险的工具,多个稳定币被爆大量增发。稳定币在今年的加密市场格外惹眼,不仅仅因为加密市场的熊市.
BTC数据日报*分析师观点*昨日BTC围绕4300点小幅震荡。昨日反映内部BTC价值的基础指标新增地址较前日略有增长.
继上篇讲述「XY」公司案例募资结构,本篇展开讲解RegA+合规的详细内容。RegA+豁免又称为「Mini-IPO」,因为其披露义务与IPO十分相似,都要准备分发发行说明书和发售函,但是RegA+.
STO是什么STO全称SecurityTokenOffering,即证券型通证发行。STO是在符合监管要求的情况下,在正规交易所中把链下资产所有权和信息上链,进行以Token为载体的证券发行.
本周报告重点内容：本周大盘走势：急跌反弹收金针,跌势趋缓稳人心八大交易所成交量：主流交易所总成交量微降0.9%,基本与上周持平数字资产换手率：上升17个百分点.
区块链经过2018年的从热到冷,其发展之路反倒逐渐清晰起来,与实体经济结合成为行业共识,但仅仅这七个字还太过宏观与抽象,如何与实体结合,率先在哪些领域普及应用,都需要判断.
刚过去的2018年是第一代公链诞生十周年,却被很多人称为“公链元年”。在资本的助推下,打“分布式底层操作系统赛道”排位赛的选手们陆续上线测试网和主网,运营开发者与用户社区,并大力构建生态.
本文来自Coindesk,作者：NoelleAcheson,译者：Moni原地址：https://www.coindesk.com/why-the-cftcs-questions-about-e.
文|Dave、昕楠、芦荟扩张、再扩张,交易所在牛市中狂飙突进的时候,没有料到多数终将沦为熊市中的炮灰.
通证通研究院×FENBUSHIDIGITAL联合出品文：宋双杰,CFA；唐皓特别顾问：沈波,Rin锈迹斑斑的人造建筑里,弥漫着潮湿的海风和挥之不去的柴油味.
HI,欢迎我一起继续解构智能合约。本文是系列文章的第三部分,如果您还没有阅读之前的文章,请先看一下：前言：基础代码与操作方式；创造与运行时间代码解析；我们正在解构一个简单的Solidity智能合.
“是个人都能发币”——这句曾讽刺区块链乱象的流行语,如果换个角度看,也不妨是一种新玩法。Odaily星球日报近日采访的公链「YOUChain」,今年2月在其Dapp平台「有令」推出区块链纪念币功.
RegulationS豁免发行是证券通证发行中豁免发行的一种,RegulationS基于1933年《证券法》的制定.
译者|Moni原地址：https://www.coindesk.com/how-the-us-government-shutdown-is-halting-crypto-progress-on-.
第一部分·前言想象一下,你正在驾驶着1969年的MustangMach在美国西部的公路上快速行驶,阳光照耀在华丽的镀金轮辋上,整条道路只有你和沙漠.
编者按：本文来自链捕手,作者：徐茂桐,星球日报经授权发布。01数据隐私的发展现状随着互联网的高速发展,我们在享受丰富的互联网产品和服务的同时,也在时时刻刻向提供商提供关于我们自己的全方位个人信息.
本周报告重点内容本周大盘走势：熊市寻底路漫漫,缩量阴跌创新低八大交易所成交量：主流交易所总成交量下降23.7%数字资产换手率：下降21个百分点.
本文系国内首篇通证经济学术论文,奠定了通证经济的理论基础与框架,具有重要的理论与现实意义。感谢中国航空工业集团公司原董事长,中共十八届中央委员会中央委员,中国航空学会理事长林左鸣教授对本文提供的.
编者按：本文来自区块律动BlockBeats,作者0x30,Odaily星球日报经授权转载。有人说2018年是公链元年,这一年有50多条公链主网上线.
11月28日,BM突然现身EOS电报群。跟社区成员的讨论中,BM以多个“whatif”开头的反问句,向社区成员透露除了“已经找到解决隐私性和终极扩容方法”、“将实现1千万TPS”、“发行新币”等.
编者按：本文来自：橙皮书,作者：橙皮书,星球日报经授权转发。在“一切向钱看”的时代,很容易忘记一件事情,那就是,人类的历史远早于钱的历史,黄金还不是钱的时候,人就已经是人了.