形式化验证

据Coindesk 7月19日报道，主打隐私特性的加密货币Zcash通过分叉生成了一个名为Ycash的新区块链网络。

北京7月17日晚间至18日凌晨，继美国参议院在16日举行的第一场Libra听证会之后，美国众议院进行了...

据Coindesk 7月18日报道，周三推出的一项名为Signet的新提议，为比特币的测试网络提供了一个新的替代方案。

“韭菜”闻风而至之时，可能已经错过最精彩的部分。 如果有人问显卡矿工，现在挖什么收益最高，他很可能会摇...

区块链的去中心化、不可篡改等技术特性，改变了信任关系，降低了交易成本。区块链技术被认为是——继蒸汽机、电力、互联网之后，最具潜力触发新一轮革命浪潮的核心技术。

参议院听证会由参议院银行、住房与城市事务委员会召开，这是一场全委员会听证会，该委员会25名议员都将参加这场会议。听证会将在7月16号华盛顿时间上午10点（北京时间7月16日晚上10点）召开，主题为《审查Facebook提出的数字货币及其数据隐私》。众议院听证会将在7月17号上午10点（北京时间7月17日晚上10点）召开，主题为《审查Facebook提出加密货币及其对消费者、投资者和美国金融体系的影

一个新产品。

昨日，以太坊研究团队在r/Ethereum平台开展了第二场有关以太坊 2.0 的 AMA (Ask Me Anything)。本文总结了此次AMA的主要内容

Polkadot 是被誉为“以太坊隐形大脑”的 Gavin Wood 领军的项目，是 Web3.0 版图上不可或缺的板块。Polkadaot 独特的跨链机制旨在将当下各自独立的区块链网络串联起来，让不同链间可以进行通信和数据传递，或将成为下一代价值互联网的基石。除了更为宏大的区块链技术框架，...

北京时间 2019 年 6 月 25 日凌晨 1点，区块链资产平台 Synthetix 遭遇 Orac...

几天前V神发帖表示，从短期来看，以太坊可使用现有的区块链作为数据层，而比特币现金（BCH）可以说完全符合这个标准，而另一个自然的替代选择就是以太坊经典（ETC）。

对于 Facebook 的 Libta 加密货币来说，上周是一个漫长而疲惫的一周。

以太坊创始人 VitalikButerin 在以太坊研究论坛的分片话题中，撰文与其他研究者探讨是否该采用 BCH 区块链和 ETC 区块链作为短期内可扩展数据层的替代方案。Vitalik Buterin 指出，依赖于不可扩展性的计算层（比如目前的 ETH 就可满足）和可扩展的数据层的组合，...

作者 | KarenScarbrough 来源 | 链闻 ChainNews 据 The NextWeb 报道，上周五，被誉为“计算机密码之父”的 Fernando“Corby”Corbató（费尔南多·科尔巴托）在美国马萨诸塞州去世，享年 93 岁。计算机科学领域的几项重大进展都与其密切 ...

由三星电子和 Woori Bank、KEB Hana Bank、SK Telecom、KT、LGUPlus 和 Koscom，七个韩国公司组成的企业联盟将开发基于区块链技术的移动端身份认证系统。参与者正在开发一种“自我主权身份”系统，让消费者能够保护自己的数据，以获得更快的服务。根据声明 ...

对于Facebook和Marcus来说，Libra的命运很可能就在一天后被决定。

根据彭博社7月11日的一份报告，以太坊的联合创始人Mihai Alisie十分担心Facebook正试图蒙骗监管机构对其中心化加密货币Libra进行批准。

Facebook将于本周二在国会议员面前作证，在Marcus（Facebook区块链部门负责人）前往华盛顿之前，该公司的加密货币项目仍然面临着一些关键问题。

研究者们对贿赂攻击和类似的技术（统称为激励攻击）进行了系统的分析和分类，并提出了3种改进版本的激励攻击方式。

一点人生道理。

爱马仕之所以奢侈，不是因为它稀少，而是因为她让你有故事可以讲

“青年津贴制度”等地域福利事业，政府决定将推进独自的数字货币，并引进智能合约，明年政府将协助银行建钱包。而日本的区块链小村选择独立发币。

当有人告诉你，你现在可以在 Libra 官网买 Libra 币，你信吗？

比特币和以太坊是区块链两个早期的版本。这些账本被证明是受欢迎和稳健的，但通常也被认为是难以扩展的。

人工智能的区块链之路。