NotesNotes要点

• Liezz splices witnesses from different executions to create invalid witnesses and checks rejection.
• Supports Circom, Corset, Gnark, and Noir toolchains.
• Finds 13 bugs, 7 with soundness impact.
• Several bugs only reachable via generated library calls.
• Valid-execution testing under the same budget finds no soundness failures.
• Effectively exposes missing or incorrect constraints.

• Liezz通过拼接不同执行的见证构造无效见证，测试工具链是否能拒绝。
• 支持Circom、Corset、Gnark和Noir四种ZK DSL工具链。
• 发现13个漏洞，其中7个影响健壮性。
• 部分漏洞仅通过生成的库调用才能触发。
• 在相同测试预算下，有效执行测试未发现任何健壮性缺陷。
• 方法能有效暴露约束缺失或错误等健壮性问题。

• Liezzは異なる実行のウィットネスを結合して不正なウィットネスを生成し、拒否されるか確認する。
• Circom、Corset、Gnark、Noirのツールチェーンをサポート。
• 13件のバグを発見、うち7件が健全性に影響。
• 生成されたライブラリ呼び出しでのみ到達可能なバグもある。
• 同じテスト予算での有効実行テストでは健全性の失敗は発見されなかった。
• 制約欠落や誤りなどの健全性問題を効果的に顕在化する。