当前位置:首页区块链一篇文章,了解以太坊的最新研发进展,零知识证明,分片等主题

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

写在最前面:原始文本由以太坊基金会(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

温馨提示:

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

文章链接:https://www.btchangqing.cn/20022.html

更新时间:2022年09月28日

本站大部分内容均收集于网络,若内容若侵犯到您的权益,请联系我们,我们将第一时间处理。

区块链

达夫社区传教士付大头:为什么说达夫是中国版的特佐斯

2020-5-14 13:05:24

区块链

区块链的现状与未来:推进个人信息保护立法,逐步建立技术标准

2020-5-14 13:06:31

0 条回复 A文章作者 M管理员
    暂无讨论,说说你的看法吧
个人中心
购物车
优惠劵
今日签到
有新私信 私信列表
搜索