徐江：大家好！ 徐玉涛：徐江老师,我们很荣幸邀请到您,要不您给我们线上的小伙伴们做个自我介绍。徐江：谢谢大家！很荣幸,我也是理工科背景,程序员出身.

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

编者按：本文来自深链财经(ID：deepchainvip),作者：不亮,Odaily星球日报经授权转载.

编者按：本文来自链闻,策划与编辑：李画,Odaily星球日报经授权转载。坏消息：过去这一年,我们期待的区块链上的重大突破依然没有出现.

编者按：本文来自 蓝狐笔记 ,作者：DanElitzer,由“蓝狐笔记”的“CL”翻译,Odaily星球日报经授权转载.

12月19日-12月20日,第十六届中国国际金融论坛于上海召开。中国互联网金融协会会长李东荣出席并发表关于我国金融业数字化转型主题演讲.

编者按：本文来自TokenGazer,Odaily星球日报经授权转载。概述如果2019年的以太坊生态需要用一个关键词来描述的话,相信DeFi作为这个关键词应该没有太大的悬念.

出品/CoinVoice文/辛夷我们低估了Libra将会给全世界带来的影响。Facebook的野心是全球使用Libra——而美联储更愿意把它当做隐形美元助力其货币政策的运行.

文|郑毅编辑|毕彤彤来源|PANews11月的石河子很冷,温哥在晃晃悠悠的扶梯上,将矿场货架顶层覆满尘土的S9矿机依次取下,哪怕机器已经因为币价下跌几乎而成了一堆“废铁”.

编者按：本文来自蜂巢财经News,作者：嚯嚯,Odaily星球日报经授权转载。当数字货币的财富幻觉破灭时,一群币圈投资者成了维权人,踏上了“讨个说法”的道路.

“我不是创世区块的缔造者,也不是有很多粉丝的大V；我没有过一夜暴富的幸运,也押不中哪个是百倍币。有人问我,「听说比特币涨了,你是不是赚了很多？」我尴尬地笑了一下.

编者按：本文来自加密谷Live,作者：mjayceee,翻译：ZoeZhou,Odaily星球日报经授权转载。背景在Synthetix社区中,a16z的投资显得十分神秘.

1月3月,老美的无人机甩出了几颗飞弹,精准炸死了伊朗军界大哥——苏莱曼尼少将。苏莱曼尼何许人也？伊朗军队实际上的最高统帅,伊朗二号人物,仅次于领袖哈梅内伊.

最近,在股市资讯中经常看到"区块链50指数"这个词,它代表了什么含义、投资它是在投资什么呢？下面我们一起来聊一聊.

12月31日,自然年度结束。还记得2018年结束时,大类资产几乎都录得亏损,当时有说法是“2018年情况很糟糕,但2019年情况更糟糕。”所幸,这句话没有灵验.

自由应是一个能使自己变得更好的机会。——加缪过去10年,有一大半时间都被移动互联网占据了风口,其中诞生了像微信、美团、头条、抖音这样的商业巨头,而最让人津津乐道是微信的诞生,可以说创造了一大批个.

编者按：本文来自：威廉闲谈,作者：陳威廉,Odaily星球日报经授权转载。2019年中间有一段时间,大概三个月的小牛行情,就是4、5、6月.

文/王巧绘图/程章主编/陈海宁本文首发于微信公众号锌链接,关注公众号,和我们一起探索产业区块链价值。如需转载文章,请微信申请开白名单。编者按2019年值得写入区块链的历史.

编者按：本文来自互链脉搏,Odaily星球日报经授权转载。中国在其他领域吃的专利的亏,似乎都要在新技术方面补回来。5G如此,区块链更如此.

您可能已经听说过,自2017年以来,Telegram团队一直在开发一个新的区块链平台TON区块链和本地加密货币Gram.

编者按：本文来自白话区块链,作者：Peter,Odaily星球日报经授权转载。作为一款2013年创立的即时通讯软件,Telegram在全球范围内有着高达2亿多的用户,因其代码开源和隐私加密保护政.

编者按：本文来自量化踢马河,Odaily星球日报经授权转载。在过去的几年中,随着加密资产的普及和类别的增多,越来越多的安全漏洞被暴露了出来,几乎没有一家机密机构能逃脱成为被攻击目标的命运.

编者按：本文来自：得岸观点,作者:AliYahya,Odaily星球日报经授权转载。 前言 《人类简史》深刻剖析了人类走到今天的发展历程,书中认为,智人之所以能够主宰地球,是因为智人具有创造并相.

作者：FlipsideCrypto事实上,大多数区块链都是企业。有些人不喜欢听到这种说法,但这就是事实。上周,我们发布了有关这个话题的文章,遭到了一些来自社区的回击.

出品/CoinVoice文/松雨2014年诺贝尔经济学奖获得者JeanTirole判断我们正在经历或者马上要面临货币战争,不仅仅局限于有形的货币,还会包括虚拟货币、加密币.

2009年1月3日18点15分零5秒,比特币的创世区块诞生。中本聪在比特币的创世区块上刻下了一句话：“TheTimes03/Jan/2009Chancelloronbrinkofsecondba.

编者按：本文来自：得岸观点,作者:JorgeS,Odaily星球日报经授权转载。 按照锁仓量规模计算DeFi项目的排名时,MakerDAO以3.8亿美元的锁仓总量毫无争议地排在榜首,尽管随着新项.

2019年12月13日,密码极客投资总监江鹏联合密码极客经济学顾问秋叶,一起分享从业以来的投资心路历程。以下是本次分享会节选。分享嘉宾：秋叶密码极客经济学顾问,美国肯塔基大学经济学博士.

12月14日,在2019IN-CHAIN全球区块链峰会上,由工信部电子第五研究所指导,互链脉搏、互链脉搏研究院荣誉出品的《2019中国区块链底层技术平台发展报告》隆重发布.

真随机数和伪随机数的区别—撰文|Cobo金库大掌柜掌柜最近一直有强调安全芯片的重要性,今天就正儿八经的盘一盘安全芯片到底在保护什么.

编译|有条鱼出品|矿视界一直以来,FPGA的主要应用领域是电子工程。但当英特尔完成对Altera的收购时,情况发生了一些细微改变.

编者按：本文首发于微信公众号锌链接,关注公众号,和我们一起探索产业区块链价值。如需转载文章,请微信申请开白名单.

编者按：本文来自橙皮书,作者：orangefans,Odaily星球日报经授权转载。每年末尾,tokendaily都会邀请国外crypto圈的KOL对新一年做一次预测.

整理|PANews2019年是区块链蓬勃发展的一年,公链设施逐步完善,DeFi领域兴起,传统机构相继入场让行业发展渐暖。时光纵身一跃进入2020年,新的十年开始,新的机会和挑战扑面而来.

2009年1月3日,比特币的第一个区块——被称为创世块——被挖出,开启了一个全新的时代。值此之际,资深从业者熊越和DoveyWan翻译了这本《TheLittleBitcoinBook》,并发表在.

!webp\"data-img-size-val=\"800,532\"\u002F\\> 活跃地址数下跌23%； 周内净入资金由负转正； 周全网算力下跌7%.