本文主要介绍了智能合约和形式化验证。什么是智能合约？一个智能合约是一套以数字形式定义的承诺,包括合约参与方可以在上面执行这些承诺的协议。在区块链技术领域就是一段运行在区块链上的有多方参与的代码.

编者按：本文来自链闻,Odaily星球日报经授权转载。综合评价全球范围内区块链投资基金的口碑和知名度,揭晓25家寒冬中积极投资布局的区块链风投机构,以及10家最爱领投的风投机构.

文|郑毅编辑|Tong出品|PANews2019年5月,孙宇晨以4,567,888美元的价格中标,拍下了与巴菲特共进晚餐的机会,但在原定的7月份,孙宇晨以“突发肾结石”为由,推迟了赴宴时间.

2020年1月17日,Odaily星球日报独家获悉,企业级加密资产服务商Keystore已获得千万美元Pre-A轮融资。本轮融资由隧道股份旗下建元基金领投,分布式资本跟投.

2020.2.17第8期1、农业农村部：运用区块链等信息化技术提出科学施肥意见2月10日,据农业农村部官网消息,农业农村部办公厅将印发《2020年种植业工作要点》.

2020.3.2第10期本期关键字：链安科技、比特币避险、波卡、互联网协议、MakerDAO、DeFi治理、比特币锚定币、巨鲸被盗、减半、期权、理财借贷.

编者按：本文来自BlockVC,作者：BlockVC策略研究团队,Odaily星球日报经授权转载.

自3月9日以来,包括美国在内的至少11国股市触发熔断,上周五比特币也发生瀑布式下跌,整个币市的总市值下降了近千亿美金。此次币价下跌的主要原因是什么?很多人都在质疑.

编者按：本文来自区块链大本营,翻译：火火酱,Odaily星球日报经授权转载。比特币的创造者是中本聪,这大家应该都知道,但在比特币诞生至今,冒充他、疑似他的人都很多.

编者按：本文来自财经网链上财经,作者：陈以,Odaily星球日报经授权转载。2020年3月4日,中国裁判文书网公布了一份名为《詹克团、北京比特大陆科技有限公司因申请诉前财产保全损害责任纠纷其他民.

编者按：本文来自链闻ChainNews,撰文：李画,星球日报经授权发布。我们希望把密码货币推广到日常支付,但实话实说,微信支付和银行转账已经能够很好地满足支付需求了,大众还有使用密码货币做支付的.

文|棘轮比萨3月19日,面对超过500万美元的坏账,DeFi明星项目MakerDAO启动了史无前例的紧急自救方案。在此不久前,币市遭遇了“黑色星期四”.

进入3月,新冠肺炎疫情引发对全球经济衰退的担忧,在不断扩散。投资者正在尽可能地抛售以保住手中的资产,令美元狂飙.

作者|秦晓峰编辑|郝方舟出品|Odaily星球日报 北京时间今天晚上8点,全球第二大矿机厂商嘉楠科技发布上市以来第一份未经审计的财报.

编者按：本文来自币新区块,作者：Chaosmosreads,Odaily星球日报经授权转载。 比特币价格与USDT增发数据数据来源skew3.12闪崩后,“币圈央行”USDT就开启了大放水模式,

最近高盛预期将在5月27号发给客户的一份报告近日提前泄露了。这份报告的标题翻译过来是：“美国经济展望以及当前通胀应对政策、黄金和比特币的启示”.

编者按：本文来自Unitimes,作者：Johnny,星球日报经授权发布。本周三,在美国总统川普(DonaldTrump)被Twitter“事实核查”之后,加密社区加入了社交媒体审查的大辩论中.

编者按：本文来自巴比特资讯,作者：AlexGluchowski,译者：洒脱喜,星球日报经授权发布.

BTC/USDT永续合约 各级别性质：日线-盘整,4小时-盘整,1小时-盘整截图来自OKEXBTC/USDT永续合约1小时图：对于行情从两个角度来说.

本播报由Deribit和Greeks.live联合推出。BTC历史波动率7d18.34%14d33.14%30d34.97%60d56.46%1Y85.26%ETH历史波动率7d32.12%14.

编者按：本文来自蜂巢财经News,作者：JXkin,Odaily星球日报经授权转载。北京时间7月23日早上6点,设置了以太坊价格波动提醒的投资者们被吵醒了.

编者按：本文来自蓝狐笔记,Odaily星球日报经授权转载。在互联网时代,聚合器捕获了绝大多数价值.

前天夜里23:00过后,JustSwap终于上线,其实很多人都在关注JustSwap,这次我也去看了一下这个名字和Uniswap很接近的去中心化交易所。简单评测下这个新上线的DEX.

头条 以太坊期货未平仓合约首次突破15亿美元Skew数据显示,随着以太坊价格的上涨,过去一天在BitMEX清算了价值130万美元的空头。以太坊期货市场的未平仓合约再创新高,首次突破15亿美元.

编者按：本文来自慢雾科技,Odaily星球日报授权转载。前言据链闻消息,DeFi项目YFValue发布公告称,团队于昨日在YFV质押池中发现一个漏洞,恶意参与者借此漏洞对质押中的YFV计时器单独.

昨日一天之内三大交易所都上线了Sushi还是蛮神奇的,也证明了现在DeFi上的流量有多大,而这三大交易所在经历了前期DeFi的热闹以后,对DeFi上哪个治理代币有可能变得火爆也变得敏感了许多.

编者按：本文来自风火轮社区,作者：佩佩,Odaily星球日报经授权转载。流动性挖矿会长期存在,只是这么多swap是不是能长期存在,这是一个问题.

编者按：本文来自巴比特资讯,作者：JeffBenson,翻译：Wendy,星球日报经授权发布。概述一种新的代币在开始交易几小时后锁定了近5亿美元的价值。泡菜是寿司的分叉.

如果只用一个词来概括2020年的区块链行业,这个词应该是DeFi。而下一个关键词呢？许多人心中的答案是：NFT.

如今,交易所就像加密货币行业的看门人,发挥着不当的影响力,并通过手续费方式从用户那里收取「租金」.

编者按：本文来自Cointelegraph中文,作者：SAMUELHAIG,Odaily星球日报经授权转载.

编者按：本文来自风火轮社区,作者：佩佩,Odaily星球日报经授权转载。大家好,我是佩佩,今天是徐star离开的第四天,想他,圈内仍然弥漫着或积极或负面的各种传言,但还没有任何官方信息,看起来如.

10月27日,第六届区块链全球峰会于上海开幕,峰会上以太坊创始人VitalikButerin演讲表示,以太坊现在已经慢慢成为了真正的生态系统,是能够自我维系的生态系统.

他们真的理解闪电贷吗？声誉的价值是不稳定的,谦虚能够带来稳定,而吹嘘太多,最终只会搞砸。ValueDeFi今天因为闪电贷攻击被黑了700万美元,这又是一次关于闪电贷的惨痛教训.

本文来自：哈希派,作者：哈希派分析团队,星球日报经授权转发。Cardano合成资产发行协议Indigo与DeFi协议VyFinance达成合作:1月30日消息,基于Cardano的去中心化合成资.

头条 Value遭遇闪电贷攻击损失740万美元北京时间11月14日23：36,黑客对ValueDeFi协议进行闪电贷攻击,损失将近740万美金的DAI.