科帆
Tiny熊
EthFans
形式化验证 Gasper 共识机制的终局性
在本文中，我们希望介绍这一成就的第一部分：验证 Gasper 的属性。所以，什么是 Gasper？如何能形式化地验证其属性？这种形式化验证有何意义？
- EthFans
- 发布于 2020-07-22
- 阅读 ( 3419 )
- ( 5 )
每周以太坊进展，2020/07/12
Solidity v0.6.11：继承 NatSpec 注释，更好的 debugging 数据输出,Truffle v5.1.34：大量的依赖库更新（例如 Node 升级至 10.12）
- EthFans
- 发布于 2020-07-15
- 阅读 ( 2581 )
- ( 6 )
引介 | Omen：新一代的预测市场
构建完全去中心化的预测市场提出了一系列新的设计问题，同时也为具体实现提供了新的机会。在以太坊上的众多应用中，Gnosis 和 Augur 常常被放在一起说。在本文中，我们将具体分析这两个协议的主要区别。
- EthFans
- 发布于 2020-07-14
- 阅读 ( 2918 )
- ( 21 )
六天
potaxie
Eth2.0-存款过程
本文将为您分阶段讲解存款过程。在阅读本文之前，我强烈建议读者先阅读《Eth2.0密钥》一文，以便更好地理解以太坊2.0的密钥是如何运作的。
- ETH中文网
- 发布于 2020-07-10
- 阅读 ( 3252 )
- ( 6 )
ETH中文网
Po
DAOSquare
以太坊101：走进EVM
本文将聚焦于EVM，但我们不会做太多详细的介绍。EVM是图灵完备的以太坊虚拟机，可以完成以太坊网络上的所有交易处理。与此同时，它还是一个完整的256位虚拟机，用于执行任意EVM字节码。
- 以太行星
- 发布于 2020-07-08
- 阅读 ( 4776 )
- ( 26 )
以太行星
使用 jcc-ethereum-tool 实现与以太坊的交互
jcc-ethereum-tool 是一个命令行工具，可以快速的通过参数或者配置文件形式操作 ETH 链，实现转账，查询余额，ERC20，ERC721 等通证操作。
- 寻觅
- 发布于 2020-07-05
- 阅读 ( 2936 )
- ( 19 )
寻觅
以太坊一对多转账交易实现代码【以太币/ERC20代币】
本文将介绍如何只支付一次交易费就可以向多个地址发送以太币或ERC20代币。
- 班长大人
- 发布于 2020-07-03
- 阅读 ( 4925 )
- ( 23 )
班长大人
以太坊101：初识dapp
尽管深入理解这种新兴技术的发展变动以及复杂性是一项艰巨的任务，但其实建立以太坊节点、发送和接收交易、交易加密货币以及启动测试环境的过程十分简单，这需要花费一定的时间。本文将向消费者和开发者介绍去中心化应用的生态系统。
- 以太行星
- 发布于 2020-07-02
- 阅读 ( 3966 )
- ( 17 )
