一篇文章，了解以太坊的最新研发进展，零知识证明，分片等主题

写在最前面：原始文本由以太坊基金会（EF）资助的14个研发团队共同完成。 ，Solidity，ZoKrates等细分研究和开发工作进行了总结。

总结一下

1. AlETH / C ++以太坊客户端

1. 支持摩尔冰川网络升级；
2. 实施EIP-1380；
3. 执行EIP-2046;
4. 支持单个EIP激活，以促进以EIP为中心的网络升级过程；

1. EVMC 7.1.0；
2. emone 0.4.0和0.4.1;

2.零知识证明的应用

2. 1头牛的力量受托初始仪式

头的力量（PPOT）

2，2信号灯

科普文章 2，2，1 安全审计和代码发布 2，2，2第二阶段的仪式 在这里 参加指南

2，3 Semaphore RLN

信号量RLN

2，4 MACI

技术规格和实施工作 2、4、1 未来工作： 为 MACI 添加匿名 ETHresear.ch文章

2，5 MiMC奖励

2. 6乐观汇总集线器+ ZK乐观汇总

2，7个PeekABook

2，8实验方向

盲目搜索

3.生态系统支持计划

4. Ewasm

4. 1以太坊1.x /无状态以太坊

见证

1. 减小证人的存储空间；
2. 关于证人人数的准确计量；
3. 参与创建证人规范；

4，2以太坊2.0

4,2,1交叉切片设计 ETHTransfer对象 ETH1x64 4,2,2速度 零知识协议已变得越来越重要，我们必须确保它们能够有效地支持以太坊2.0 MIMC哈希函数 摘要内容

4，3 WebAssembly

汽水

五，形式验证

5、1法

法案

1. Coq定义；
2. K范数;
3. SMT定理；

5、2个SMTChecker

约束号角条款

1. 结合SMTChecker和Act学习一些令人惊奇的东西；
2. 为SMTChecker创建一个Remix插件，这将大大提高可用性；

5、3个经过验证的ABI编码/解码

固体模糊器

5，4以太坊2.0

5，5赫文

Hem 属性测试

六，格思

发行说明

6. 1 DNS发现

DNS发现设置指南

6. 2交易广播

EIP 2464 ETH/64 ETH/65

6.3动态快照

fatdb O（1） ETH_call leaf sync

6，4发现5

发现协议

七，JaaScript团队

7，1 ETHers.js

WebSocketProider EIP-1193

7，2 Web3.js

7，3以太坊JS

7，4格

8. Python生态系统（PyEVM / Trinity / Web3.py / Vyper）

8. 1 Web3.py

8，2三位一体

8、3 ETHPM

九，混音

中等职位

9，1 Remix IDE实时和桌面应用程序

1. 对Solidity 0.6.0的主要更改和功能的全面支持已添加到Solidity插件中；
2. 现在可以进行低级交互（Solidity接收和回退）；
3. 添加了明暗主题，重新设计了Solidity插件和Deploy＆Run插件的UI；
4. 最新的Remix插件引擎（0.2.0）已成功集成到Remix IDE和remix-emulator（浏览器中的ETHereum de节点）中。
5. 从现在开始，桌面版本将在Remix lie之后发布。

9，2 Remix插件

1. 最新版本提供了一个websocket插件，我们将尽快添加更多类（安全Ecmascript，IPC）
2. 目前正在与VScode进行集成开发，并希望尽快实现。
3. 这是开发插件的文档 ；

9，3个外部插件

1. 我们支持外部团队构建插件并将其添加到Remix IDE；
2. 我们有专门用于Remix插件的Gitter频道。您可以加入此Gitter频道，以向社区推荐您的插件；
3. 如果您需要资金来创建插件，则可以：（1）创建一个描述您打算做什么的Github问题，（2）向我们发送一封电子邮件（[email protected]），其中包含描述该项目的文档，链接至Github问题和发票建议；
4. 我们将尽最大努力与您联系并计划下一步行动；

9，4混音模拟器

1. 与Remix IDE的集成已基本完成；

9，5 Remix静态分析仪

1. Remix Analyzer移至打字稿，现在使用最新的AST（抽象语法树）；

9，6混音测试

第1部分第 2 部分

9、7个博客文章并覆盖社区

9，8 E2E测试

10.以太坊1.x研究（无状态的以太坊）

1. 无状态以太坊技术树（已更新） ;
2. 无状态以太坊峰会内容总结 ;
3. 联盟的国家（欠缺） ；
4. 无状态以太坊的研发进展 ;

11.宁静研究（以太坊2.0）

11.1以太坊2.0快速更新

1. 以太坊2.0快速更新8-2020-02-04
2. 以太坊2.0快速更新9-2020-03-17
3. 以太坊2.0快速更新10-2020-03-31

11.2以太坊2.0的抵押

1. 以太坊2.0股权＃1-incenties-2020-01-13
2. 以太坊2.0股份＃2 -2020-02-12
3. 以太坊2.0股份＃3分片共识-2020-03-27

十二，安全性和共识测试

13.坚固性

C{salt: }() cf {alue：10 ETHer}（）

13. 1个SMT检查器

13. 2团结峰会！

14. ZoKrates

https://www.8btc.com/article/583150