以太坊路线图-EEA中国社区.PDF

以太坊路线图 By Vitalik Buterin, 2017.02.28 以太坊团队 ● Research / Python ● Go ● Mist / web3.js ● C++ / Solidity ● Whisper ● Swarm ● Privacy ● eWASM 核心客户端开发 ：目标 ● 最优化 ● 问题修复/安全性提高 ● 缓解最坏的Dos漏洞 ● 支持轻量级客户端 ● 支持Metropolis ● 测试/安全审计 Solidity ：目标 ● 安全性 • 正式验证 ● 增加中间语言（确保最优化和帮助调试） ● Remix （支持JS的开发工具） 同级项 目 Swarm ● 分布式内容存储 ● 键/值 映射 ● 使用案例： • 保存数据的hash列表在链上 • 保存分布式app用户接口（ie.HTML+JS) Whisper ● P2P消息传递 ● 使用案例： • 保护隐私的通讯 • 通过链下数据关联链上协议 （如：状态通道信息，交易订单） 研究目标 ● 设计未来版本的以太坊协议 ● Metropolis ● 权益证明（Casper） • 分布式共识，密码经济学 ● 可扩展性/分区 • 纠删码，密码经济学，异步编程模型 Metropolis: EIP 例子 EIP 86(“抽象”) ● 允许从一个特定的“入口点地址”发送未签名的交易 ● 基于字节码哈希的合约地址（允许发送尚未存在的合 约） ● 调用执行链上的任何账户都可以支付gas （按类型） EIP 96(以太坊虚拟机-规范) ● 移动区块的哈希值并记录根状态 ● 允许一些客户端简化 ● 为了更安全的轻量级客户端，远程区块之间允许通过字 节哈希链管理 EIP 198(模幂运算) ● 有效的RSA验证 （如Oraclize ） EIP 140(抛出操作码) ● 抛出一个异常，但不消耗所有剩 余的gas ● 可能的扩展:把错误代码压入堆 栈 配对和zk-SNARKs算法 zk-SNARKs,一般原则 ● 终极隐私 ● 在不透露要求你证明的数据的情况下，证明被加密的数 据 ● 如: B1=旧加密的余额，B2=新加密的余额，T=交易值 T = B1 B2 = B1 - T 实现zk-SNARKs ● 最初方法：预编译zk-SNARKs （Zcash团队在婴儿期也是这 么做的） 实现zk-SNARKs ● 更进一步：仅 预编译椭圆曲 线配对验证 什么是配对 ？ ● 双线性映射： e(P * k, Q) = e(P, Q * k) = e(P, Q)**k ● 更多完整的答案： /@VitalikButerin/exploring-ell iptic-curve-pairings-c73c1864e627 以太坊核心和企业社区如何合作? 公共vs许可设定：共识 ● 公有链依赖密码经济学 • 协议内奖励 ● 许可链依靠现有的社会和制度信任,和社会和法律的处 罚 • “它就是权益证明，这个权益就是你的银行许可” 公共与许可设定：节点