Plancker 之以太坊基金支持|揭秘哪些项目更受青睐?
目录
以太坊生态基金
简称 ESP,为免费和开源项目提供赠款和其他支持,以加强以太坊的基础,特别关注构建工具、基础设施、研究和公共产品。
以太坊生态基金的支持范围
ESP 支持的工作是免费、开源、非商业性的,并且是为了取得积极的成果而构建的。
以下是表示 ESP 感兴趣的项目范畴。基于 ESP 的支持原则,非优先级的项目尽管很有价值,但没有资格获得资助;而高优先级的项目更有可能获得财务支持。
Ps: 这个列表并不全面,通过的标准也不完全依赖此,只是一个参照,实际会接受申请并在适当时支持该列表之外的项目,很乐于接受新的想法。
虽然有价值,但非优先级的项目:
• 金融产品(例如交易、投资产品)
• 以 token 或投资为中心的活动
• 计划发行 token 和/或筹集资金的项目
• NFT PFP 项目或者 NFT 发行、 NFT 市场
高优先级,更有可能获得支持的项目:
• 加强以太坊基础设施的项目
• 开发者工具
• 密码学原语研究,执行加密操作的基本算法和协议
• 发展建设者生态系统
以太坊生态基金希望有的项目清单
以太坊⽣态系统⽀持计划愿望清单主要囊括以下方面:
1. 账户抽象(AA)
• 一个前端应用,供付款代理管理他们的账户(充值余额、设置规则、查看活动等)
• 账户抽象区块浏览器
• 基于浏览器或移动设备的钱包,展示ERC-4337的创新用途(例如:创新的恢复方法、访问控制、自动化)
• Bundlers:打包交易并提交到区块链网络的实体或系统
• 展示账户抽象钱包与 EOA 钱包的数据对比(人们注册AA钱包的情况)
• 参考例子:https://twitter.com/johnrising_/status/1623467109010526208
• 模块化基础账户实现,方便添加“插件”
• 付款代理
• 点对点消息传递
• Sequencer RPC — 一个对客户端(如 Geth)的区块链中立补丁
• 社交恢复钱包
• Webauthn交易验证
• 教育
• 教育内容可帮助新用户和现有用户了解帐户抽象
• 协议和开发人员的教育内容• 开放式主题
• 隐私增强工具
• 示例:通过付款人,用户可以维护隐私,因为他们不需要向帐户加载任何 ETH - 针对各种用户流程(入职、交易签名等)的创意用户体验解决方案 - 将 ERC-4337 集成到现有的开发工具(例如 Hardhat)中 - 示例:添加跟踪调用(debug_traceCall
)到测试节点,通过 npx scriptadd hh 在开发人员工具环境中设置 ERC-4337
2. 社区与教育
• 多种语言的开发者教育材料
• 在支持有限的地区(例如东南亚、非洲)举办开发者活动
3. 共识层
• Single Slot Finality (SSF)、Proposer Builder Separation (PBS) 或其他重要共识算法升级的设计和原型
• 共识客户端之间 p2p 网络的效率、安全性和监控
• 在不改变共识规范的基本设计的情况下,改进或添加所需的功能(例如识别错误并提出修复建议、性能改进)
• 研究完整的 danksharding 扩容方案设计或提出新的扩容方案改进
• 审查和分析较少审查的组件(例如弱主观性、委员会抽样的安全性、状态规模压缩和同步、托管证明)
4. 密码学和零知识证明
• 应用ZK
• 投票和递归 SNARK
• ZK 信誉系统
• ZK + 多方计算数据市场
• 研究
• 更好的快速傅里叶变换算法
• 寻找更好的多项式承诺
• 对当今生产中使用的 MEV 技术进行调查、分类和形式化
• Lattice-based 聚合签名
• Lattice-based SNARK
• Keccak 哈希算法的更高效实现
• 降低 ECDSA 公钥生成和签名验证电路的成本
• ZK 信标链[1]状态转换或重要组件(例如签名、casper FFG)
• zkEVM — 优化、形式化等
5. 开发者体验和工具
• 用于可视化客户端执行「内部结构」的工具(例如 RLP/SSZ 编码、原像/帐户转换)
6. 执行层
• 客户端多样性细分,专门研究如何确定验证器的执行层细分
• 为验证者和其他以太坊节点开发一个抗 DOS 和低延迟的 p2p 网络(可能类似于 DHT),以服务和查询 danksharding 示例
• 新的可执行执行层规范(EELS)[2]的正式验证
• 资源定价分析(例如 Gas 成本、预编译与操作码性能、Gas 使用模式)
• 用于分析 p2p 网络健康状况、早期检测攻击、识别 p2p bug、整体数据分析等的工具和技术。
• 用例特定的客户端实现(例如轻客户端、高性能 EVM 实现、紧凑存储、低延迟 API)
• 任何其他有助于加快 Surge/Scourge/Verge/Purge/Splurge 路线图[3]进展的提案
7. 通识研究
• 经济学与博弈论
• 区块链基础设施的控制系统(EIP-1559之后,还有什么可以“控制”?)
• 费用市场的数据分析和计量经济学(例如了解需求趋势、市场事件和用户估值、时间序列分析)
• 使用加密货币作为法定货币的影响
• 提议者-建造者分离市场的激励措施
• L1 协议构造中的 MEV 最小化
• MEV 市场设计允许开放访问并减少集中化压力
• Rollup 经济学(例如,去中心化排序器的激励、网桥/Rollup 运营商的风险管理、拥塞/资源定价、欺诈证明/有效性证明的去中心化市场)
• smooth[4] 或 burn[5] 的技术 propser-auctions/14029) MEV 以减少验证者奖励的差异
• MEV的理论基础(单域和跨域)
• 关于用户如何形成对区块链或区块链应用程序期望的实证研究
• 探索开源软件的历史以及围绕其形成的社区,以吸取区块链必须考虑的经验教训,以避免常见的故障模式
• 工会和劳工运动的历史如何包含与使用区块链的有用类似物,以更好地分配对互联网服务和平台的控制和利润
• 国际法原则如何与区块链网络相关(例如,国际法原则能否用于告知国家应如何与区块链相关?)
• 区块链生态系统可以从北美和欧洲以外地区成功的政治和技术运动中学到什么
• 发展经济学的经验教训可类比应用于以太坊和其他「区块链经济体」
• 以太坊基金会的一个研究团队 Robust Incentives Group (RIG)的开放难题 (链接:https://efdn.notion.site/RIG-Open-Problems-ROPs-c11382c213f949a4b89927ef4e962adf)
• ROP-0: 权益证明中的计时游戏
• ROP-1: 以太坊经济模型回顾
• ROP-2: 审查成本
• ROP-3: Rollup 经济学框架
• ROP-4: 在 PEPC 框架中重写 「vanilla IP-PBS」
• ROP-5: 以太坊供应网络健康框架
• ROP-6: Stackelberg 攻击和矿工可提取价值(MEV)
• ROP-7: 账户抽象中签名聚合的经济模型
• ROP-8: 以太坊验证者的地理分布
• ROP-9: 用于抗 censorship 的多重小工具
• ROP-10: 执行票据的经济验证
8. 质押
• 分布式验证器技术(DVT)工具
• 质押时的安全性
• 验证器设置
9. L2
• 分析
• 提供有用数据见解的分析仪表板
• 不同 L2 方面的数据可视化(例如天然气成本、安全性、较长时间内的潜在节省)
• 主链和“由以太坊保护”的所有链的以太坊面板/浏览器
• 支持所有汇总的开源区块浏览器(能够深入数据将是一个优点)
• 对 L2 活动的研究和分析提供新颖的见解
• 用于监控网络健康状况的状态仪表板
10. 发展
• 更好的Rollup技术
• 跨链最大可提取价值(MEV)
• Cross-rollup执行(同步与异步)
• 在二层网络上优先于一层网络启用新的 EVM 功能
• 二层网络轻客户端
• 新的交易抽象和聚合技术(即,允许使用 BLS 或其他加密技术替代 ECDSA)
• 序列器特权和最大可提取价值(MEV)
• 为支持二层网络而制定的技术钱包标准
11. 教育
• 帮助新用户和现有用户的内容
• 协议和开发人员的内容
• L2 一般标准
• 潜在协调员和验证员的材料
12. 研究
• 用于更好理解和比较二层网络活动的指标(例如:交易量、总锁定价值TVL)
• 执行速率限制和单一诚实方假设
• 安全指标,帮助用户比较不同的二层网络
• 解决二层网络上流动性碎片化的方案
• 无需信任的桥接技术
13. 隐私与安全
• 教育
• 智能合约审计课程或材料
• 研究
• 桥接安全研究和工具
• 用于分析智能合约的新颖的形式验证方法
• 研究和实施新的模糊测试目标(例如 p2p 层)
• 研究基于 GPU 的 EVM/p2p 模糊测试是否可行,且比 CPU 模糊测试更高效
• 可在p2p层使用的技术为节点添加更多隐私保证
• zkEVM 电路 (特别是 EF 和其他人开发的电路[6] 审计
• ZK 应用程序
• 隐私保护人性证明
• 隐私保护 POAP 证明
14. 用户体验
• 密钥管理
• 密钥恢复机制
ZK 联合资助轮
以太坊基金会宣布与 Aztec、Polygon、Scroll、Taiko 和 zkSync 进行一轮合作资助,以开发零知识公共产品项目。
资助池总额:90 万美元。
Layer 2 生态系统的广度和复杂性已经达到了确定共享需求和依赖关系的程度,需要来自一系列利益相关者的领域专家的参与。因此,共同资助者不仅会提供资金,还会参与分配决策。
在这一轮中,研究团队合作制定了一份集体愿望清单,以指导项目灵感。
提案申请现已开放,截止日期为 2024 年 3 月 18 日星期一。
申请链接:https://esp.ethereum.foundation/zk-grants
ZK 联合资助的资助轮愿望清单
• 基准测试与监控
• 可比较证明系统/方案的性能基准测试。一些例子如下:
• 多线性 → 单变量,如 Gemini、Zeromorph
• 单变量
• 多线性
• 查找对比表(速度、内存、预处理)
• 多项式承诺对比表
• 算术化对比
• ECC算术在电路总结和适用性(即,需要递归证明或额外的证明者↔验证者通信)
• 基于 Torus 的密码学
• Goblin Plonk
• Sigmabus
• 通过除数和 Weil 配对的 EC 内积的 ZKP
• 对 ZK 系统的安全性和信任假设风险,进行公开可访问和易读的基准测试。一些例子如下:
• 可扩展性解决方案
• 隐私解决方案
• 桥接
• 用于跟踪每个 ZKR 的链上验证者版本部署的公开可访问接口(像是:浏览器或仪表板)
• 理想情况下提供一种验证这些验证者合约的方式(提供从电路源代码生成验证者的详细说明,或在后端自动完成)
• 类似于浏览器上的「合约验证」,但适用于 ZKP 验证者合约。
• 跨不同 ZK 系统组件的状态和警报页面监控 SLA
• 工具和标准化
• ZK 库和开发者工具
• 强制包含工具和前端,适用于 ZK 和有效性证明基础的 L2
• zkDSL<>Solidity 转译器
• 状态见证标准化及参考实现
• 标准化的最终确定语义
• 定义 zkRollup/L2交易「最终确定」的含义
• 设计标准 RPC 接口,查询最终确定状态
• ZK 应用
• 隐私保护的 KYC/AML/社交认证
• 最小信任和隐私保护的上/下游
• ERC4337 打包者压缩:应用特定的 calldata 压缩
• 研究
• ZKP 系统的可扩展性
• 硬件加速
• 软件优化
• 密码学优化
• 多/混合证明系统
• 基于 zkRollups
• 「意图」基础架构,用于动态数据可用性发布
• 内置 zkEVM
• ZKRs 上的随机性
引用链接
[1]
信标链: https://notes.ethereum.org/3t5cbN7cQnG6VxjgNMKymA[2]
可执行执行层规范(EELS): https://github.com/ethereum/execution-specs#consensus-specification-work-in-progress[3]
Surge/Scourge/Verge/Purge/Splurge 路线图: https://twitter.com/VitalikButerin/status/1588669782471368704[4]
smooth: https://ethresear.ch/t/committee-driven-mev-smoothing/10408[5]
burn: https://ethresear.ch/t/burning-mev-through-block-[6]
特别是 EF 和其他人开发的电路:https://github.com/privacy-scaling-explorations/zkevm- Circuits内容编译&整理:Purple
点击「阅读原文」,可查看完整版以太坊生态基金支持
/ About Plancker
PlanckerDAO 是一个专注建设以太坊生态的社区,我们为开发者、产品经理和研究员提供多方面支持,致力于与以太坊共建人类的数字化美好未来。
Website:https://plancker.org/
Forum:http://forum.plancker.org/
Telegram:https://t.me/PlanckerDAO
Notion:https://planckerdao.notion.site/
Twitter:https://twitter.com/PlanckerDAO