北京航空航天大学分布式实验室北京航空航天大学云南创新研究院?周楚涵胡凯形式化验证是智能合约工程的重要环节,它可以成为对合约进行确定性验证的一种技术.
MA
2017年,7月,一位非常年轻的币圈投资者从北京飞到深圳找我。找我学习如何自己保存币。看到他云币账户上的币,我都惊呆了。真有钱.
文章最初刊登在《财富》当Facebook于6月宣布数字货币项目Libra时,共有28家公司签约加入了Libra协会,其中包括PayPal、Visa、MasterCard等公司.
Overview概述区块链技术是改善政府服务、并促进政府与公民关系之间更加透明化的潜在工具。区块链技术可以通过更有效和安全的数据共享来极大地优化业务流程。区块链在公共事务部门有许多可能的应用.
来源：DappReview导读：一直以来,DappReview都是区块链游戏的忠实拥趸,但凡看到一款品相不错、玩法有特色的链游,都会忍不住站出来为它鼓与呼.
11月20日巴比特消息,已公开交易的比特币基金GrayscaleBitcoinTrust以表格10(Form10)的形式向美国证券交易委员会公开提交了一份注册申请.
前言：DAO是什么？DAO是分布式自治组织的英文缩写,即“DecentralizedAutonomousOrganization”,有时候它也被称为DAC.
来源：Medium?作者：StephenPerrenod翻译：头等仓_Mark“在加密货币500强的竞赛中,可以查看使用工作量证明的开采量最高的代币.
前言：本文旗帜鲜明地认为对ASIC友好的算法才能让普通的矿机生产商参与进来,而抗ASIC的加密算法反而为普通矿机厂商设立了很高的门槛,导致大型厂商更有竞争优势,从而让挖矿走向中心化.
周一商业媒体Forbes撰文分析了美国国税局的加密政策会如何影响加密货币世界。 文章中称,IRS在2014年宣布加密货币是资产,而在五年之后,其表示来自硬分叉的加密货币需要缴纳税款.
一、前言区块链行业流行一种说法,说如果传统的资产是固态、液态的话,那么通证应该是气态的,一方面通证的交易、流通效率非常高,另外一方面通证的发行方式也非常灵活.
数字资产管理公司CoinShares昨日发布了加密货币趋势报告。与顶级研究公司、机构和企业合作,他们在研究中指出了塑造这一领域的重要趋势.
上周,百度智能云发布了一款DID小程序数字身份钱包。DID,也就是基于区块链技术的分布式数字身份.
来源|PANews.io文字、数据与可视化|Carol??编辑|毕彤彤Tong近日,最高层领导表示要“把区块链作为核心技术自主创新的重要突破口”,“要加快推动区块链技术和产业创新发展.
今天内容包括：1、币安大客户与机构客户调查问卷报告2、InstagramvsPornstar,一场关于中心化网络的战争3、MakerDao的未来十年：与RuneChristensen的对话4、代.
作者：?胡凯编者注：原标题为《智能合约系列2：智能合约工程SCE：SmartContractEngineering》合约是经济社会运行的基石之一.
自2009年以比特币之名现世以来,区块链技术给无数去中心化基础设施的应用带来了启发。尽管其中许多区块链应用都显示出巨大的潜力,但其中最值得注意是,去中心化金融已迅速成为资金聚集最雄厚的细分市场之.
来源：公众号?加密谷Live原标题：《Web3系列|FabricVentures：“价值互联网”量化指标的完整概述》导读：在研究了7家风投基金之后,我们深信,在评估一家公司的业绩时.
6月18日晚,DavidMarcus和他在Facebook的团队通宵达旦地准备第二天的重磅消息.
原创：?五火球教主 在稳定币排行榜里,DAI是榜眼,知名度和流行度仅次于USDT。这两年被很多人吹捧的DeFi题材中,MakerDAO则是当仁不让的扛把子级别.
摩根大通,作为美国银行业的巨头之一,其首席执行官杰米?戴蒙曾多次炮轰过比特币,但事实上,摩根大通是最早接触区块链的金融机构之一.
作者：AriahKlages-Mundt编译：共享财经Neo来源：共享财经Maker稳定币Dai的安全依赖于可靠的oracle提供价格信息。这些是通过链上治理选择的.
据Cointelegraph11月27日报道,美国商品期货交易委员会在2019财年获得了超过13亿美元的行政处罚,其中包括从加密货币运营商收缴的资金.
据Cointelegraph11月20日报道,美国联邦紧急事务管理署正在探索构建一个基于区块链的财产登记系统,以简化灾害保险支付流程.
Messari长期关注加密资产供应曲线的变化趋势。在过去的6个月里,我们花了很多时间为排名靠前的加密资产建立了完整的流动-供给曲线.
作者：潘致雄来源：链闻早在2016年,新加坡金融监管机构就推出了ProjectUbin计划,探索分布式账本技术.
来源：MakerDAO还有五天,多抵押Dai就要正式发布,这将标志MakerDAO进入全新的阶段,也是整个稳定币领域一次里程碑式的事件.
11月23日下午,“2019网易未来大会区块链+实体经济专场论坛”在杭州国际博览中心召开。中外专家学者、企业领袖、知名投资人汇聚一堂,梳理了区块链的发展脉络,畅谈了区块链的过去未来,揭开了区块链.
五年前,她是一名普通的记者,因一组《寻找廖厂长对话吴晓波》系列报道,在全国掀起了一场家国情怀的讨论,并与“吴晓波频道”结缘.
沃尔沃汽车上周宣布,它将使用甲骨文的区块链平台来追踪钴材料,钴是制造电动汽车电池的主要成分之一.
根据数据分析网站DeFiPulse的数据,在去中心化金融应用中存储的以太坊达到了一个新的里程碑：270万个.
前言：Maker开启了多资产抵押的新版本,这是DeFi发展史上的重要事件。虽然从资产发行量和资产成本上,去中心化的稳定币Dai都不及中心化的稳定币,但它开启了一种全新类型的稳定币,是加密史上的重.
作者：黄世亮来源：闪电HSL原标题：《初步清晰理解智能合约》1995年,计算机科学家,法学家和密码学家,尼克·萨博提出了智能合约这个概念.
作者：DAO翻译师养成组来源：胖车库编者注：原标题为《无头品牌（HeadlessBrands)》摘要传统的品牌一般由企业直接策划和设计.
1Abstract跨链技术本质上是一种将A链上的数据D安全可信地转移到B链并在B链上产生预期效果的一种技术.
来源：万向区块链11月28日区块链行业的知名创业者和投资者——“暴走恭亲王”龚鸣作为第五课的讲师,以现代计算机、密码学&区块链历史上十几位重要传奇人物为线索,从他们的故事.