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

关于形式化验证两大工具(Vass & Mythril) 测试对比

随着以**智能合约（Smart Contract）及区块链应用（DApp）**为核心的区块链2.0时代逐渐成为主流，智能合约及区块链应用的安全性也越发成为业界备受关注的焦点。尤其是，在经历过诸如**THE DAO、币安被盗**等事件，智能合约及区块链应用的安全性究竟应该如何得到验证和保障，业已成为当前区块链业界亟待解决的痛点。
形式化验证 

以太坊预编译合约

以太坊预编译合约
预编译合约  EVM 
  • Ashton
  • 发布于 2019-10-14
  • 阅读 ( 11450 )
  • ( 10 )

Skew 与 Crypto Garage 交易点对点比特币结算的标准普尔500指数衍生品

本文介绍了skew.和Crypto Garage使用基于Discreet Log Contracts（DLC）的点对点（P2P）协议，进行了一项以比特币结算的S&P 500衍生品交易。文章详细讨论了交易的动机、金融合同规格、期权卖家的考虑因素、合同的条款和条件、以及比特币交易的具体实现。

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

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

Solidity 中 bytes类型如何转换为地址address类型

代码示例
bytes  Solidity 
  • Tiny熊
  • 发布于 2019-10-10
  • 阅读 ( 12724 )
  • ( 20 )

电子书：《以太坊设计与实现》

本电子书是对以太坊区块链的实现原理和程序实现进行详解，力图展示区块链2.0先锋以太坊智能合约编程平台设计思想与代码实现。
以太坊 
  • 七哥
  • 发布于 2019-10-08
  • 阅读 ( 291 )
  • ( 20 )

以太坊：一种新的货币模型

本文探讨了Ether在Ethereum中的作用，提出了一种新的理解方式，称其为“在Ethereum内部的无权限带宽”。通过分析Ethereum作为一个价值层和自由金融系统的角色，Ether被定义为三重资产，能够满足不同经济需求。文章深入探讨了Ether的功能及其作为价值管理工具的潜力，阐明了一个无权限的金融应用生态系统如何依赖于Ether这一资产来实现其目标。
Ether  Ethereum  资产类别  开放金融  无权限经济  DeFi 

EVM深度分析之数据存储

[ 以太坊虚拟机EVM](https://learnblockchain.cn/2019/04/09/easy-evm/)的作用是将智能合约代码翻译成可以在以太坊上执行的机器码，并且提供一个沙盒运行环境，在运行期间不能访问宿主机的网络，文件，系统，即使不同的合约之间也有有限的访问权限。
EVM 
  • 清源
  • 发布于 2019-10-05
  • 阅读 ( 21458 )
  • ( 32 )

面对面实物空间协议，用于证明对私钥的无条件拥有权

本文介绍了一种面对面的协议，用于证明对私钥的无条件占有权。通过详细叙述Alice的注册过程，该协议依赖于多个参与者的协作来验证她的密钥分片，并结合了以太坊的区块信息和安全验证方法，展示了该方案在去中心化选举中的实际应用及其潜在的安全性和复杂性。
私钥  以太坊  注册协议  安全验证  去中心化选举  密钥分片 

字节码与初始化代码与运行时代码，我的天哪！

本文详细解释了以太坊上的字节码类型及其术语，主要包括创建字节码和运行字节码，并介绍了如何在链上和链下检索这些字节码。
字节码  创建字节码  运行字节码  以太坊  EVM 

DAI并不是1美元

本文探讨了DAI在以太坊生态系统中的角色，提出DAI作为以太坊的稳定参考点，并将其与美元进行比较。文章深入分析了DAI的锚定机制以及其在不同市场条件下的表现，通过比喻和数据阐明了DAI对于以太坊理解其外部价值的重要性。整体结构清晰，逻辑严谨，涵盖多个方面的讨论，适合对DeFi和MakerDAO感兴趣的读者。
DAI  以太坊  Makerdao  稳定币  去中心化金融  经济模型 

零知识证明-ethsnarks源代码导读

之前有一篇文章分析了 [libsnark 源代码](https://learnblockchain.cn/2019/08/15/libsnark-source/)，ethsnarks在libsnark的基础上，实现了以太坊上与zkSNARK相关的智能合约和电路。
零知识证明  libsnark  ethsnarks 
  • Star Li
  • 发布于 2019-09-29
  • 阅读 ( 10121 )
  • ( 20 )

ERC777 功能型代币（通证）最佳实践

想必很多同学都已经使用过[ERC20 创建过代币](https://learnblockchain.cn/2018/01/12/create_token/)，或许已经被老板要求在ERC20代币上实现一些附加功能搞的焦头烂额，如果还有选择，一定要选择 ERC777 。
ERC20  ERC777  ERC1820  最佳实践 
  • Tiny熊
  • 发布于 2019-09-27
  • 阅读 ( 33262 )
  • ( 772 )

OpenZeppelin ERC777 源码解析

这篇文章是对[ERC777 功能型代币（通证）最佳实践](https://learnblockchain.cn/2019/09/27/erc777/) 的一个补充，如果你仅仅是要实现一个自己的 ERC777 代币， 那么阅读另一篇就够了， 如果想对ERC777进行一些自己的定制，那么就有需要对源码有理解。
ERC777  ERC1820  OpenZeppelin 
  • Tiny熊
  • 发布于 2019-09-26
  • 阅读 ( 18230 )
  • ( 113 )

理解PLONK

文章详细介绍了PLONK零知识证明协议的原理和实现，包括其通用和可更新的可信设置、多项式承诺的使用以及如何将程序转换为多项式方程进行验证。
PLONK  零知识证明  多项式承诺  可信设置  椭圆曲线配对  SNARKs 

Hyperledger Caliper 原理及使用指南

前段时间花了一段时间来研究Hyperledger Caliper的原理以及使用方式，研究的时候正处于Caliper改动较大的时候，因此也踩了不少的坑，也发现了一些问题，同时也加深了对这个项目的认识，在这里进行一下整理和归纳，以便大家能够更好地使用Caliper。
Caliper  测试 
  • TopJohn
  • 发布于 2019-09-23
  • 阅读 ( 19693 )
  • ( 27 )

如何区分合约地址还是普通账号地址？

如何区分合约地址还是普通账号地址？
Solidity  智能合约 
  • Tiny熊
  • 发布于 2019-09-17
  • 阅读 ( 24059 )
  • ( 22 )

Etherscan API 文档 - 首页

Etherscan 是以太坊上应用最广泛的区块链浏览器，也提供 API 服务。 我们知道以太坊节点提供的API功能有限，尤其是需要一些多个区块相关的数据时，必须要依靠Etherscan API这样的服务。 Etherscan API是社区提供的服务，仅支持每秒 5 个GET或POST请求，可以在这个地址 API-Keys 申请一个Key。
Etherscan 

代币经济学回来了，Bancor的新战略

本文介绍了Bancor的最新策略，强调了代币经济学在吸引流动性和构建社区方面的重要性，以及如何提高流动性的方法，如代币空投和代币通货膨胀。文章详细探讨了Bancor和其他去中心化交易所的流动性提供者的体验，并提供了关于去中心化金融（DeFi）和代币经济学的见解。
Bancor  去中心化交易所  代币经济学  流动性  DeFi  空投 

莫斯科的区块链投票系统为何在选举前一个月被攻破？

文章探讨了俄罗斯在莫斯科市杜马选举中引入区块链投票系统的安全性问题，特别是该系统在实际投票前被成功攻破的事件。通过展示加密技术的可破解性，作者质疑区块链技术在选举中的有效性，并指出美国可能重新考虑使用纸质选票的趋势。
区块链  投票系统  安全性  密码学  电子投票  俄罗斯 
  • eiftody
  • 发布于 2019-09-08
  • 阅读 ( 514 )