<aside> 👋 欢迎来到Dora Dojo 研究课题社区票选！ 基于近期社区提交的研究课题Proposal，Dojo将进行一次社区票选，拥有5个及以上票数的Proposal将获得Dojo资助资格并进行课题直播分享。

</aside>

🗳参与详情

  1. 票选简介
  2. 本轮候选提案
  3. 票选时间规划
  4. 如何进行投票
  5. FAQ
  6. 为什么使用MACI
  7. Dora Dojo介绍

🧭快速指南手册

获取Dora Vota地址，提交取得投票资格

如何投票支持你喜欢的提案

如何获取Gas Fee

活动介绍

🎉欢迎来到Dora Dojo 研究课题社区票选。基于近期社区提交的研究课题Proposal，Dojo将进行一次社区票选。得票≥5的提案可以获得Dora Dojo资助资格并进行课题直播分享。

MACI是一种广泛适用于社区投票与治理的链上基建，让社区与DAO组织可以通过简单的合约部署来保证治理的公平与与隐私性。利用MACI投票机制，Dora Dojo希望邀请更多社区成员参与每月的研究课题票选，优先让社区支持度更高，社区成员目前更需要学习的课题收到资助。

本轮候选提案

提案者 提案内容 投票链接
Yuqiang Sun
（南洋理工大学博士生，主要研究内容为自动化代码审计) 大模型辅助静态漏洞检测——以智能合约为例
  1. 传统的静态分析方法在智能合约上遇到了什么挑战？
  2. 大语言模型在漏洞检测方面有哪些局限性？
  3. 如何结合大模型的语义理解能力与静态分析的精确性？ 对应论文：https://dl.acm.org/doi/abs/10.1145/3597503.3639117 | https://vota.dorafactory.org/round/dora1k3m25m73k4vrgyjs5cxz4q20mj5at5lf2ak822nhs32wt6ewvtqs8p6qmh | | Daniel Yang （华东师范大学博士研究生，于2023年，在香港科技大学主办的Web3黑客松竞赛，及UC Berkley主办的ZK黑客松比赛中，均获得名次，目前致力于研究零知识证明及其在Web3中的应用。） | **zkSNARK的外包加速计算

大纲：

  1. MPC入门
  2. GSZ&SPDZ方案
  3. EOS方案** | https://vota.dorafactory.org/round/dora165pnj9nwdr3dyjwfnzdywpt0muzvn5smdnf085rfv89ktrcer2nswzlr3f | | 社区成员想要学习的话题 | Verkle Tree Verkle Tree 作为 ETH2.0 升级的一个重要部分，其 witness 的大小相比于 Merkle Tree 显著降低，是实现无状态以太坊客户端的关键一步。 无状态客户端使用与区块一同传来的状态数据的 witness 来验证区块，而非使用以太坊状态数据的本地状态拷贝。 赏金：90 USDT 预期学习内容：
  4. 介绍 Pedersen 承诺方案。
  5. 详细介绍 Verkle tree 的结构以及相比 Merkle tree 的区别以及优势。
  6. 介绍 Verkle tree 的现状以及其他问题（EIP、新的 Gas 机制设计）。 | https://vota.dorafactory.org/round/dora1a2xw8leqekwusn2akve4nyaet4yf2qwv3vlk77x72h8d5g0xhjfq2lyvp5 |

时间规划

操作指南

第一步：配置Dora Vota，获得白名单投票

第二步：针对不同的话题提案进行投票