零知识证明系统的隐秘裂痕：LaBRADOR与PLONK漏洞深度复盘

TL;DR：本周zkSecurity披露LaBRADOR后量子证明系统因使用NTT友好环导致可靠性缺陷，三大主流实现库（Lazarus、condor-rs、icicle-labrador）受影响，其中icicle-labrador可靠性比特损失达31bits；与此同时Dusk Network的PLONK实现因未验证选择器多项式评估值，允许攻击者伪造任意证明，直接危及6000万美元市值。两起事件均指向同一个根本问题——实现细节中的微小歧义足以颠覆整个密码学证明系统的安全性。