全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

技术资讯 2020/01/03

技术资讯 2020/01/03
Rollup  ERC721  ZRX  Vyper  技术资讯 

一个案例说明高层属性形式化验证

Beosin-VaaS的业务逻辑验证软件，是一款用来检测智能合约上层业务逻辑漏洞的软件。
区块链安全  形式化验证 

易读又可靠的编程语言 — Rust

Rust作为一种编程语言的不同之处，不是因为它的花哨语法或受欢迎的社区，而是因为人们在使用它编写程序时能获得信心。Rust非常严格并且追究细节的编译器会检查你使用的每个变量和引用的每个内存地址。
Rust  编程语言 

区块链数据分析框架-BlockSci

像比特币、以太坊这样的区块链中包含了大量的数据，其中蕴藏着区块链生态系统中用户、企业和矿工的行为模式等重要信息。BlockSci是用C++开发的高性能的区块链数据分析框架，它可以帮助我们快速分析比特币等区块链的数据。本文将介绍BlockSci的安装方法，及如何利用BlockSci进行区块链数据分析。
比特币  数据分析 
  • 蒋年薪
  • 发布于 2020-01-07
  • 阅读 ( 6683 )
  • ( 15 )

2019年：这 12 个以太坊新事物你不能错过

过去一年以太坊上发生了什么？详解以太坊上最值得关注的 12 个新鲜事物。
DeFi  CREATE2  Rollup  ENS  BLS签名 
  • 李画
  • 发布于 2020-01-06
  • 阅读 ( 4391 )
  • ( 9 )

细数2019以太坊事记

编者按：28日，ethhub联合创始人Anthony Sassano在推特展开了一个系列细数以太坊和比特币在2019年各自取得的进展，并且评价以太坊在过去一年的发展“令人惊叹”。Anthony的回顾中涵盖了以太坊生态的多个主要方面，研发、DeFi、政策、融资等等。以太坊在2019年的进步大家都有目共睹，而蓄势已久的以太坊，2020年究竟会点燃怎样的花火？又会如何在绽放之后归于“宁静”
以太坊升级历程 

路印协议与Chainlink达成合作，使用去中心化预言机赋能zkRollup DEX协议

路印协议很高兴宣布与Chainlink达成合作，并且在路印协议3.0 zkRollup DEX协议中集成多个预言机。这会为DEX用户提供真实的LRC / ETH价格信息，以保证LRC质押的安全性。
路印 

关于经验值

在登链社区，经验值是你在社区网站学习和成长的见证，每提出或帮助别人回答一个问题，每分享一篇技术内容，等等都将有相应的经验值加分。
  • 晓娜
  • 发布于 2019-12-27
  • 阅读 ( 3464 )
  • ( 5 )

学分与社区激励试行规则

登链社区有一套自己的虚拟货币系统（学分），你在社区中进行的大部分操作，都将会使用到你所拥有的学分。 本文档将有助于了解学分的基本规则。
站务 
  • 晓娜
  • 发布于 2019-12-27
  • 阅读 ( 92036 )
  • ( 373 )

登链社区公约

登链社区是一个专业的区块链技术社区。我们存在的意义是帮助读者提升技术。你我都是区块链技术爱好者，相逢即是有缘，我们彼此分享经验和心得，互帮互助，共同维护这片净土。
站务 
  • 晓娜
  • 发布于 2019-12-27
  • 阅读 ( 59120 )
  • ( 377 )

成都链安推出全球首个Fabric链码自动形式化验证工具--Beosin-VaaS for Fabric

近日，成都链安推出全球首个Fabric链码自动形式化验证工具--Beosin-VaaS for Fabric，为链码提供“军事级”的安全验证。
区块链安全  形式化验证 

零知识证明直播 - zk-SNARK从原理到实战

直播时间：2020-01-06 开始，每晚6:30
零知识证明 
  • Star Li
  • 发布于 2019-12-25
  • 阅读 ( 6222 )
  • ( 15 )

Vitalik：加密货币的难题-五年之后的回顾

in  Vitalik博客精选
2014年，我发表了[一篇文章](https://github.com/ethereum/wiki/wiki/Problems/89fd07ffff8b042134e4ca67a0ce143d574016bd)和[一个演讲](https://www.youtube.com/watch?v=rXRtJcNVfQE)，列出了数学、计算机科学和经济学中的一系列难题，我认为这些问题对于（我当时称之为的）加密货币领域能够走向成熟非常重要。在过去的五年里，很多事情都发生了变化。但是，在我们当时认为重要的问题上究竟取
progress  Vitalik 

以太坊伊斯坦布尔有哪些更新

以太坊网络计划将于9069000区块号进行代号为：伊斯坦布尔（Istanbul）的升级。该块预计将于 2019 年 12 月 7 日，周六挖出。
伊斯坦布尔 
  • Tiny熊
  • 发布于 2019-11-21
  • 阅读 ( 13810 )
  • ( 20 )

Commons Stack ：社区协作的可扩展基础设施

本文介绍了Commons Stack，这是Giveth和BlockScience合作开发的基础设施，旨在通过区块链技术实现可持续的社区合作和资源管理。文章深入探讨了‘公地’的概念，以及通过引入新经济激励来解决社会面临的重大挑战，强调了自我管理和去中心化的重要性，同时阐明了Commons Stack的组成部分及其在区块链经济中的作用。
Commons Stack  区块链  公地管理  去中心化  社区合作  Token Engineering 

以太坊2.0的未来蓝图及挑战

十月底于台北矽谷会议中心举行的 **Crosslink 2019 Taiwan**，吸引了来自世界各地的区块链爱好者们齐聚一堂。第一天的议程，邀请到了**以太坊基金会（Etherium Foundation, EF）**的核心研究员 Danny Ryan，会中分享了[**以太坊 2.0 （Ethereum 2.0）**](https://learnblockchain.cn/2019/06/15/eth-serenity/)目前的研究方向以及遇到的挑战，演讲的内容主要包含了以太坊 2.0 的架构，新的
以太坊2.0 
  • Frank Lee
  • 发布于 2019-11-18
  • 阅读 ( 10221 )
  • ( 20 )

以太坊推出1.0版本网页IDE工具Ethereum-Studio

号外号外，以太坊基金会正式推出基于网页的集成开发环境（IDE） Ethereum Studio 的 1.0 版本，开发者可以通过以太坊官网首页找到入口。Ethereum Studio （以太坊工作室）的目标是让开发人员在几分钟之内就可以基于以太坊进行开发，尽可能减少开发中的阻力，用户可以通过 Ethereum Studio 进行这些工作：在浏览器中开发和测试智能合约、将智能合约连接至前端网页应用、[通过三个模版教程引导他们的应用、一键分享项目](https://studio.ethereum.org
Ethereum-Studio 
  • 影无双
  • 发布于 2019-11-13
  • 阅读 ( 8317 )
  • ( 20 )

Devcon5 有哪些开发者应该了解的内容

Devcon 是以太坊年度开发者大会，每年的大会会介绍以太坊的最新发展以及开发者生态情况，今年是第五届，10月8日至11日在日本大阪举行，今年的主题主要围绕 ETH2.0 、DeFi以及ETH1.0 上的扩容。
DEVCON 
  • Tiny熊
  • 发布于 2019-10-16
  • 阅读 ( 10650 )
  • ( 20 )

Solidity 中 bytes类型如何转换为整型 uint

代码示例
bytes  Solidity 
  • Tiny熊
  • 发布于 2019-10-16
  • 阅读 ( 16235 )
  • ( 25 )

CONSENSYS在DEVCON上带来了哪些新东西

全球以太坊社区在日本大阪召开了第五届开发者大会，堪称2019年区块链行业中最盛大的一次年度会议，众人瞩目。在这一周里，与会者发布了许多重要消息，更是充满了思想和灵感碰撞的火花。从盛大的开幕式到大量的活动、工作坊和 meetup，都充分展现了区块链与以太坊的活力。其中许多 ConsenSys 的最新消息也十分夺人眼目。
DEVCON 
  • ConsenSys
  • 发布于 2019-10-12
  • 阅读 ( 13563 )
  • ( 20 )