以太坊研究课题

月亮🌛   |     |   2113 次阅读

Hello potential research collaborator!
你好,潜在的研究合作者!

1、基础层(核心协议)

1.1 权益证明(PoS)【已完成50%】

目标:将以太坊从工作量证明(PoW)完全转换到权益证明(PoS)。

♢ 权益证明常见问题

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

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

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

♢ 测试和部署【20%】
- Casper历史:章节12345
- 阶段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指南
- 以太坊智能合约攻击一览
- 关于智能合约安全的一些思考
- 以太坊智能合约安全技巧和贴士

附录

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

 
2 人喜欢