Dora Dojo社区分享话题候选:大模型辅助静态漏洞检测——以智能合约为例
| Name | Dora Dojo社区分享话题候选:大模型辅助静态漏洞检测——以智能合约为例 |
|---|---|
| Description | 迎参与Dora Dojo分享课题票选。请在此页面对提案进行投票,如果该话题获得≥5票,则获得Dora Dojo资助资格【话题分享大纲】1. 传统的静态分析方法在智能合约上遇到了什么挑战2. 大语言模型在漏洞检测方面有哪些局限性3. 如何结合大模型的语义理解能力与静态分析的精确性「 本次投票仅限事先登记的地址参与,请保证你所使用的钱包地址与前期登记地址一致。有任何问题请微信联系Dora Dojo(微信号:Doradojo0)」 |
| Website | https://innovative-laser-af4.notion.site/Dora-Dojo-c2fc7a052aac47f98fc41e077004bd81 |
| Circuit | MACI-1p1v |
| Voting system | Minimal anti-collusion voting system, in which one voice credit equals one vote. |
| Proof system | Groth16 |
| Zkey | |
| Gas station | 44.000 DORA (balance)100.000 DORA (total funded) |
| Status | … |
| Round start | |
| Round end | |
| Operator | dora19z9t75w52d302d62fd5aq7qtpchg0ptv22qqmp pubkey |
| Creator | dora19z9t75w52d302d62fd5aq7qtpchg0ptv22qqmp |
| Contract address | dora1k3m25m73k4vrgyjs5cxz4q20mj5at5lf2ak822nhs32wt6ewvtqs8p6qmh |
| Block height | 4,769,101 (at contract creation) |
| Voting options |
Transactions in the round
All transactions loaded.