#dusk $DUSK @Dusk 2026年1月7号，Dusk主网上线。六年磨一个专门给受监管金融做隐私的Layer 1，PLONK零知识证明背书。我当时刷到推送，扫了眼就划过去了。
真正让我坐不住是四月底。那天在Dusk的Discord里瞎逛，有人甩了条OtterSec的报告链接。点开一看，我靠，后背发凉。
报告说dusk-plonk的验证器有个大坑——验证者在最终验证方程里直接用了证明者给的四个选择子多项式求值，但从来没对这些求值做过KZG打开验证。啥概念？证明者可以把这四个值设成任何能让方程通过的数，验证器照单全收。攻击者能凭空伪造零知识证明，绕过交易电路里所有约束，直接铸造DUSK。当时整个Dusk隐私层保护着大概6000万美金。
我半信半疑，自己去翻PLONK的论文，又去GitHub上扒Dusk的源码。这玩意儿说白了是这样：PLONK把电路拆成一个个门，每个门有左输入、右输入和输出。每个门施加一条约束，PLONK用选择子值（比如设q_M=1表示乘法门，设q_L=1表示加法项）把所有门类型统一成一个表达式。验证方程必须确认这些选择子跟验证者密钥里的可信承诺对得上。结果dusk-plonk压根没做这个检查。等于说门卫从来不看你证件，你说你是谁就是谁。
以前我总觉得，零知识证明这种学术界反复捶打过的东西，数学上没问题，工程上自然就安全。这下我才回过味来，全隐私链就是个黑盒，逻辑漏洞从外面根本摸不着。数学证明只解决“能不能证明”，“证明有没有被正确验证”那是另一码事，中间那条缝宽得能跑马。
我又去翻Porter Adams之前那份审计报告，里面只标了两个低危问题——这种“少写一行检查”的漏洞压根没覆盖到。
Dusk反应倒不算慢，2月14号就提交了修复。NPEX上数亿欧元真实资产在跑，大方向我没意见。但往后谁再跟我提隐私链，我第一句肯定问：你们的验证代码，到底验证了没有
真正让我坐不住是四月底。那天在Dusk的Discord里瞎逛，有人甩了条OtterSec的报告链接。点开一看，我靠，后背发凉。
报告说dusk-plonk的验证器有个大坑——验证者在最终验证方程里直接用了证明者给的四个选择子多项式求值，但从来没对这些求值做过KZG打开验证。啥概念？证明者可以把这四个值设成任何能让方程通过的数，验证器照单全收。攻击者能凭空伪造零知识证明，绕过交易电路里所有约束，直接铸造DUSK。当时整个Dusk隐私层保护着大概6000万美金。
我半信半疑，自己去翻PLONK的论文，又去GitHub上扒Dusk的源码。这玩意儿说白了是这样：PLONK把电路拆成一个个门，每个门有左输入、右输入和输出。每个门施加一条约束，PLONK用选择子值（比如设q_M=1表示乘法门，设q_L=1表示加法项）把所有门类型统一成一个表达式。验证方程必须确认这些选择子跟验证者密钥里的可信承诺对得上。结果dusk-plonk压根没做这个检查。等于说门卫从来不看你证件，你说你是谁就是谁。
以前我总觉得，零知识证明这种学术界反复捶打过的东西，数学上没问题，工程上自然就安全。这下我才回过味来，全隐私链就是个黑盒，逻辑漏洞从外面根本摸不着。数学证明只解决“能不能证明”，“证明有没有被正确验证”那是另一码事，中间那条缝宽得能跑马。
我又去翻Porter Adams之前那份审计报告，里面只标了两个低危问题——这种“少写一行检查”的漏洞压根没覆盖到。
Dusk反应倒不算慢，2月14号就提交了修复。NPEX上数亿欧元真实资产在跑，大方向我没意见。但往后谁再跟我提隐私链，我第一句肯定问：你们的验证代码，到底验证了没有
