2019年下半年,区块链迎来春天,国家定调把区块链作为核心技术自主创新的重要突破口,加快推动区块链技术和产业创新发展。区块链概念走红,一度入选2019汉语盘点五大候选国际词之一,搜索指数暴涨.
VAL
本文主要介绍了智能合约和形式化验证。什么是智能合约？一个智能合约是一套以数字形式定义的承诺,包括合约参与方可以在上面执行这些承诺的协议。在区块链技术领域就是一段运行在区块链上的有多方参与的代码.
编者按：本文来自链闻,Odaily星球日报经授权转载。综合评价全球范围内区块链投资基金的口碑和知名度,揭晓25家寒冬中积极投资布局的区块链风投机构,以及10家最爱领投的风投机构.
编者按：本文来自InfoQ,作者：CraigWright,译者：杨志昂,星球日报经授权发布。本文是澳本聪在自己博客上发表的一篇文章.
OKB销毁7个亿,OKChain测试网上线,OKT创世区块映射……OKEx到底在下一盘什么棋？！本期超话社区我们邀请到了OKEx首席战略官徐坤,为大家解答关于OKEx新动作的各种问题.
编者按：本文来自巴比特资讯,编译：Libert,星球日报经授权发布。据Ambcrypto2月10日报道,在过去的几个月里,去中心化金融持续增长并达成了一个新的里程碑,其锁定总价值已超过10亿美元.
编者按：本文来自蓝狐笔记,Odaily星球日报经授权转载。前言：说到虚拟现实世界,互联网时代有“第二人生”,而区块链时代有“Decentraland”,两者最本质的区别是什么？Decentral.
这几日,交易所的话题一直很热,先是OK销毁未发行的平台币,带动整个平台币系统大涨；接着HT也跟进销毁,再次把平台币带热；接着江卓尔发表公开表示平台币没有投资价值.
2020.2.17第8期1、农业农村部：运用区块链等信息化技术提出科学施肥意见2月10日,据农业农村部官网消息,农业农村部办公厅将印发《2020年种植业工作要点》.
文|棘轮疫情之下,如何拯救小微企业,成为了一大社会焦点。金融是经济的血脉。如何在防范金融风险的基础上,让企业贷得到钱,成为了政府与金融监管部门的当前要务.
1.今日市场概况今日市场总市值为1463亿美元,相比昨日减少3.4%。交易量为1561亿美元,相比昨日减少26%.
“STEEM疯了“,3月19日下午,各大炒币群里已被STEEM日内涨幅的截图刷屏。据Bituniverse行情显示,3月19日下午1时许,STEEM突然被爆拉,一度拉升至今年新高0.51USDT.
编者按：本文来自巴比特资讯,作者：TREVORSMITH,译者：Kyle,星球日报经授权发布。越来越多的数据表明,5月的比特币区块奖励减半将引发比特币价值的显着增长.
Odaily星球日报译者|Azuma全球性的疫情大流行使得风投资金向初创公司的流动冻结,这种情况对早期加密公司的影响尤为严重.
编者按：本文来自Conflux中文社区,Odaily星球日报经授权转载。 2019年,DeFi开放式金融(下文简称DeFi)凭借比传统金融更为公开透明及更高效率的资金流动性和更具诱惑力的存贷利率.
作者|秦晓峰编辑|郝方舟出品|Odaily星球日报 北京时间今天晚上8点,全球第二大矿机厂商嘉楠科技发布上市以来第一份未经审计的财报.
编者按：本文来自蜂巢财经News,作者：凯尔,Odaily星球日报经授权转载。文|嚯嚯编辑|文刀在数字资产交易平台炒客网被传“跑路”前,该平台的“卡币”现象已经存在了一年多,用户的不满最终在3月.
编者按：本文来自Cointelegraph中文,作者：HELENPARTZ,Odaily星球日报经授权转载。为了振兴Facebook支持的数字货币项目Libra,Libra协会又吸纳了一位成员.
!webp\"data-img-size-val=\"1269,713\"\u002F\\>图为比特微COO陈建兵4月17日上午10：30,神马M30系列新品正式发布.
Odaily星球日报译者|余顺遂数据显示,在100天时间里,灰度在比特币信托基金中持有的比特币数量增加超过6万枚,相当于这一期间比特币产量的三分之一.
近日,总部位于纽约的、以做空美股股票为主要业务的研究机构WhiteDiamondResearch于金融市场资讯平台SeekingAlpha发布一篇嘉楠耘智的做空报告.
关于范式转移(ParadigmShift),指的是某一科学领域中出现新的成果,打破了原有的假设或者法则,从而迫使人们对本学科的很多基本理论和假设做出根本性的修正.
编者按：本文来自蓝狐笔记,Odaily星球日报经授权转载。在Balancer的官网,可以看到它将其定位为“非托管的投资组合管理者、流动性提供者以及价格传感器”.
非常感谢SachaSaint-Leger,JosephSchweitzer,JoshStark和protolambda的出色投入和反馈。我花了很多时间来解释和回答有关eth2的问题.
Odaily星球日报出品作者|王也编辑|郝方舟 上周海外明星项目中,值得关注的是,MakerDAO社区投票支持接受真实资产作为抵押品；Compound治理提案007已通过.
编者按：本文来自LongHash区块链资讯,作者：ZhehaoChen,Odaily星球日报经授权转载。 尽管中国政府不断释放出对区块链技术的支持态度,但对加密交易并不友好.
编者按：本文来自巴比特资讯,作者：AlexGluchowski,译者：洒脱喜,星球日报经授权发布.
市场要闻1、多个项目代码开发人员减少,EOS活跃开发者下降比例最大2020年第2季度区块链开发者报告显示,EOS正面临开发人员继续流失的问题.
编者按：本文来自Deribit德瑞的交易课,星球日报经授权发布。本播报由Deribit和Greeks.live联合推出.
币圈312黑天鹅事件之后,Defi生态质押代币价值从最高点11亿美金下跌至5000万美金,Defi生态前景一片暗淡.
编者按：本文来自登链社区,Odaily星球日报经授权转载。在2018年,我们曾对智能合约安全状况进行过初步研究,重点是Solidity编写的智能合约.
文|王也编辑|郝方舟出品|Odaily星球日报 三个月前,DeFi众产品还陷入集体性信任危机中：「3.12」暴跌下的挤兑提币、连锁反应下的清算、拥堵不堪的以太坊网络、接连被黑客攻击的DeFi协议.
编者按：本文来自以太坊爱好者,作者：BenDiFrancesco,翻译&校对：IANLIU&阿剑,Odaily星球日报经授权转载.
编者按：本文来自威廉闲谈,作者：陳威廉,Odaily星球日报经授权转载。时光荏苒,我们很快来到了2020年的下半年。不得不说,2020这个上半年真的过得那叫一个惊心动魄.
吴说区块链从多个渠道获悉,吉比特创始人雷太国遭到举报暂时失联,疑似遭到调查。矿圈对雷太国比较熟悉,有行业老人感慨：“人还不错,但误入歧途”.
2020.6.29第27期本期关键字：Balancer闪电贷攻击、DeFi五大风险、PayPal提供加密货币服务、Telegram偿还超12亿美元、Filecoin预计8月上线、DeFi锁仓超1.