从诞生至今,形式化验证方法一直与“小众、冷门”等字眼挂钩。有人说形式化验证方法是一种“军用级别”的防黑客手段,更是为这项技术增添了一丝神秘感.
VER
本文来自：冲科技,作者：麻省理工科技评论,编译：张问,星球日报经授权转发。2009年,中本聪向全世界展示了一种新货币,有了它,人们能够在网络上即时转账并且几乎不需要费用.
本文来自：蓝狐笔记,作者：Misha,翻译：realthinkbit,星球日报经授权转发。和很多人一样,我被加密货币迷住了,希望能够借此赚大钱甚至退休.
编者按：本文来自链捕手,作者：孙茳涛,星球日报经授权发布。01超级证券ST——SecurityToken,近来在圈内的火爆程度与当下遭遇寒冬的资本市场,以及哀嚎遍野的数字货币市场形成了强烈而鲜明.
编者按：本文来自通证研究,作者：通证研究,Odaily星球日报经授权转载。评估区块链新项目的一个重要因素是：token设计的角色或目的是什么？通常而言,回答这个问题并不太容易.
本文来自Bibox,Odaily星球日报经授权转载。：给债券插上区块链的翅膀钱的响动在哪里最近数字资产市场最热的当属“STO”.
编者按：本文来自巴比特资讯,作者：海伦,星球日报经授权发布。伴随着行情转熊,矿圈首当其冲。矿机与电费都是不可回避的支出,它们垒起的成本高墙和不断降低的币价,共同构成一局生死攸关的俄罗斯方块游戏,
10月30日晚,Coinbase首席运营官AsiffHirji发布公告称,Coinbase已完成E轮合计3亿美元的融资,由老虎基金领投.
迅雷链总工程师来鑫正在介绍迅雷链10月25日,这是迅雷链技术沙龙的香港站。迅雷链近期在多个城市举办了技术沙龙,4-7月则是漫长的开发者大赛,这看似密集.
11月28日,由Odaily星球日报联合36kr主办的“2018P.O.DNewBlockTrend新区势区块链峰会”在北京举行.
我们都知道,以太坊是去一个中心化应用平台,但是区块链技术并不能实现财富的去中心化。如果你认为,数字货币市场中,财富的分布比传统金融市场更加平等,那么你就大错特错了.
编者按：本文来自：株式会社ELEMENT,原标题：韩国媒体生态报告书,Odaily星球日报经授权发布。前言：大韩民国的新闻媒体或新闻媒体生态系统在地域特征方面非常强大,因此外国人一开始很难理解.
前言区块链和数字货币市场的高速发展,带动了为其提供资产流动性的数字货币交易所的盛兴。按照中心化程度来区分,可以将交易所分为中心化交易所、去中心化交易所和钱包三种形态.
编者按：本文来自白话区块链,作者：五火球教主,星球日报经授权发布。“教主,我心已死……”战士有气无力地呻吟着.
Grin是一个最近在美国cryptoVC圈很火的项目,在过去的几个月,我曾不止一次听到过有多方投资人对于挖grin跃跃欲试,准备投入大量资金进行Grin的GPU挖矿、甚至是研发ASIC矿机.
据日本共同社12月12日消息,日本检方要求对门头沟交易所前CEOMarkKarpelès判处10年刑期,起诉理由是嫌疑人涉嫌通过门头沟账户非法窃取用户3亿4100万日元的资产.
编者按：本文来自链闻ChainNews,作者李画,Odaily星球日报经授权转载。原定于2019年1月16日进行的以太坊君士坦丁堡升级因为被曝出代码存在安全漏洞,再次被迫推迟.
最近加密市场币价大跌,比特币甚至一度跌破3500美元关口,熊市之下,稳定币成为投资者避险的工具,多个稳定币被爆大量增发。稳定币在今年的加密市场格外惹眼,不仅仅因为加密市场的熊市.
2013年的“棱镜门”至今让人印象深刻,主角爱德华·斯诺登向人们揭示了一向标榜坚决捍卫人权的美国政府其实是最大的监控者这个真相,不仅让美国政府公信力大大降低,也让其成为全球笑话.
本文来自：巴比特,作者：AndrewLeonard,编译：洒脱喜,星球日报经授权转发。“我尊重区块链开发者的理想主义,我相信,他们真诚地相信自己正在建设一个更美好的世界.
继交易即挖矿、出行即挖矿之后,购物即挖矿也提上日程了。从字面意思理解,你在淘宝、拼多多以及京东上的每一笔“剁手”或许都意味着一次“挖矿”,不是什么比特币,而是购物返利平台给你的通证奖励.
据coingeek报道,12月2日,Dr.CraigWright对外公布自己近期正在操作的一个项目——Metanet。他称,这个项目将颠覆传统的互联网,使得互联网成为一个侧链.
编者按：本文来自链捕手,本文作者：链法团队,编辑：李曌,Odaily星球日报经授权转载。STO与科创板STO的全称是SecurityTokenOffering,三个单词的意思分别为证券、代币、发.
本文来自：链闻ChainNews,作者：Block123,英文报告撰写：FlorentMoulin,中文编译：PerryWang,星球日报经授权转发.
上周五,科罗拉多州立法者提出《科罗拉多数字令牌法案》(ColoradoDigitalTokenAct),其中包括免除证券法对加密货币的某些约束条例值得关注.
据blog.ethereum消息,由于以太坊改进提案被发现重大安全漏洞,原定于在第7080000个区块上进行的君士坦丁堡硬分叉被推迟.
译者|Moni原地址：https://www.coindesk.com/how-the-us-government-shutdown-is-halting-crypto-progress-on-.
《加密无政府主义者宣言》作者、密码朋克发起人之一TimothyC.May去世。TimothyMay的朋友、匿名网络保护项目Tor早期投资人LuckyGreen在其Facebook推文表示,我亲爱.
第一部分·前言想象一下,你正在驾驶着1969年的MustangMach在美国西部的公路上快速行驶,阳光照耀在华丽的镀金轮辋上,整条道路只有你和沙漠.
注：Mimblewimble在设计上是一种公链的共识协议,特点则如下文介绍,可以不透露交易的具体信息。现在已经有不止一个团队在实现Mimblewimble.
12月7日,据外媒报道,总部位于迈阿密的数字电信战略公司UnitedAmericanCorp宣布,公司将对BitcoinCashABC的支持者提起诉讼.
今年击中你的的子弹很久之前就射出了膛。——引言今天是改革开放40周年纪念大会。比特币迟来的反弹终于来了。昨天想必大家都被这张图刷屏了.
区块链市场总览Tokenview数字货币行情播报,截至今日14时,24小时内市值前五的数字货币中,BTC报价3839.42美元,下降9.33%；XRP报价0.37美元.
编者按：不管你承不承认,比特币出现十年来,尤其是近两年,实实在在搅动了世界的一个角落。人们无法忽视它颠覆性的理论构想对金融业带来的冲击,以及由此延伸出来的、脑洞越来越大的区块链科技的发展,它们引.
译者|秦晓峰编辑|卢晓明在过去几周,一个名为Veriblock的区块链项目引发争议,该项目的协议依赖BitcoinCore的系统,即通过“证明”源自BTC链的数据是可靠的.
分析师|李雪婷编辑|郝方舟编者按：再过不到10小时,以太坊将于7080000区块高度上激活君士坦丁堡/圣彼得堡网络升级.