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 |
Proof system | Groth16 |
Zkey | maci/groth16/1p1v/power-4-2-2-25 |
Gas station | 44.000 DORA (balance)100.000 DORA (total funded) |
Status | … |
Round start | |
Round end | |
Operator | dora19z9t75w52d302d62fd5aq7qtpchg0ptv22qqmp pubkey
|
Contract creator | dora19z9t75w52d302d62fd5aq7qtpchg0ptv22qqmp |
Contract address | dora1k3m25m73k4vrgyjs5cxz4q20mj5at5lf2ak822nhs32wt6ewvtqs8p6qmh |
Block height | 4,769,101 (at contract creation) |
Voting options |
|
All transactions loaded.