以太坊研究课题

http://www.biviews.com/nd.jsp?id=601#_np=2_973

1、基础层（核心协议）

1.1 权益证明（PoS）【已完成50%】

目标：将以太坊从工作量证明（PoW）完全转换到权益证明（PoS）。

♢ 权益证明常见问题

♢ 经济激励分析【49%】
- 不使用工作量证明的加密货币
- 最小惩罚条件
- Slasher Ghost，和权益证明中的其它进展
- LeastAuthority对以太坊的激励模型进行分析
- 阐明共识计算机中的激励
- 关于权益
- 动态验证者集合的安全性

♢ 委任协议（或者PoS的投票池）【20%】
- 使用可信的硬件

♢ 形式化验证【45%】
- 关于PoS的形式化方法
- 用于动态验证者的机器辅助安全证明
- 关于另一个Casper的形式化方法

♢ 测试和部署【20%】
- Casper历史：章节1、2、3、4、5
- 阶段1 Casper合约和JSON RPC展示

1.2 分片【49%】

目标：使得以太坊交易处理能力能够更好地扩展，不止于线性扩展。

♢ 关于分片的常见问题

♢ 数据可用性证明【70%】
- 关于数据可用性和纠删码的笔记

♢ 有效的状态空间分片/跨片通信【15%】
- Vitalik给R3写的报告，特别是“扩展性”章节（20-30页）。
- 论文有一个三页篇幅的摘要总结。

♢ 高级编程语言【20%】
- 主题：开发一门新的编程语言，当合约位于不同的分片时，该编程语言知道发送跨片的异步消息。

♢ 分片权益证明架构【20%】
- 紫皮书

♢ 主题：从多核CPU/平行线程到分片的应用理论

1.3 协议经济【50%】

目标：在以太坊协议的所有方面增加经济激励聚合。

♢ Gas上限政策/状态资源定价
- 一种区块链资源定价理论

♢ 主题：验证者/矿工经济政策--我们应该支付多少钱？

1.4 以太坊虚拟机（EVM）升级和优化【40%】

目标：实现一个快速高效的虚拟机，针对加密操作处理和智能合约进行优化。

♢ 用辅助证明工具定义以太坊虚拟机
♢ 优化以太坊虚拟机
♢ 以太坊即时编译虚拟机(JIT-EVM)的Go语言实现
♢ 自动化的合约：金融合约的计算化表达
♢ 为EVM增加子程序和静态跳转
♢ 主题：把芯片机器码的设计理论应用到EVM上

1.5 有效的升级硬分叉策略【40%】

目标：智能合约是一个全新领域，这个领域的最好理念还有待发现。当发现后，我们必须能够优雅地实现他们。

♢ 硬分叉、软分叉、默认和强制
♢ Vlad Zamfir的演讲"软分叉、硬分叉和以太坊社会合约"
♢ 主题：硬分叉EVM

2、第2层

2.1 链上随机数生成【63%】

目标：对于许多应用来说，链上随机数生成是必需的。我们希望解决这个问题。

♢ 实现
- 以太坊上的RANDAO项目
- Vitalik的一个候选替代设计
- Bitcoin Beacon
- 将比特币作为一个公共的随机源
- NIST Randomness Beacon
- Bitcoin Beacon -- 普林斯顿比特币讨论会项目

2.2 隐私【40%】

目标： 使得应用能够从区块链代码执行的透明性中获益，与此同时还能保护用户隐私，保证数据的机密性。同态加密是其中的一个方案。

♢ 综述：区块链上的隐私
♢ 混币 【30%】
♢ 比特币混币仍然是一个未解决的问题。以太坊的能力是比特币的严格超集，解决二者之一即可。
- 普林斯顿比特币课程：匿名性（第6课）
- 门罗区块链中的可连接性的一个经验分析
- CoinParty：安全的多方比特币混币
- 安全匿名的去中心化比特币混币

♢ 投票【10%】
- 一个用于Boardroom投票的智能合约，且最大程度保护投票者隐私

♢ 零知识证明【30%】
- ZK-Snarks

♢ 其它
- 机密资产

2.3 去中心化交易所【50%】

目标：我们希望在货币交易中，对可信第三方的依赖最小化。

♢ 原子交换
♢ 链上去中心化交易所
♢ mkr市场
♢ etherdelta

2.4 高级语言（HLLs）【40%】

目标：编写智能合约（特别是安全可靠的智能合约）是很困难的。它应该变得更加简单。请帮助我们。

♢ 编程语言
- Viper
- Solidity
- Pact
- Composing contrats: an adventure in finanial engineering
- Ivy
- Bamboo
- functional-solidity-language
- Pax Codex
- Hammurabi Project in Wolfram Language

♢ HLL的形式化验证
- 编译器后端的形式化证书：用辅助证明编写一个编译器
- 短论文：智能合约中的形式化验证

♢ 其它用于分析智能合约的编程语言技术
- Oyente, 基于智能合约分析器的符号化执行
- 使用Oyente 优化智能合约

♢ 防错性编程【30%】
- 一步步创建安全的智能合约：加密货币实验室中的教训与观察
- 一个程序员的以太坊和Serpent指南
- 以太坊智能合约攻击一览
- 关于智能合约安全的一些思考
- 以太坊智能合约安全技巧和贴士

附录

♢ 以前的以太坊公开问题列表

转载于：http://ethfans.org/posts/430