目录 / wsh7ash-hunt-zero-knowledge-zk-circuits
SKILL
未评级
已上架
wsh7ash-hunt-zero-knowledge-zk-circuits
审计和利用零知识证明（ZK）系统、SNARKs/STARKs，以及用 Circom、Halo2、Gnark 和 Noir 编写的算术电路。涵盖约束不足、缺失约束、证明验证与终结逻辑不当、公共信号操纵、位长不匹配、可信设置缺陷和见证生成漏洞。适用于测试 ZK Rollup、隐私协议、ZK 桥或可验证计算系统时使用。
模型生成摘要（rules/v1 · 2026-11-13 22:05）：审计和利用零知识证明（ZK）系统、SNARKs/STARKs，以及用 Circom、Halo2、Gnark 和 Noir 编写的算术电路
这是模型对公开材料的总结，不是官方声明，请以原链内容为准。
这是模型对公开材料的总结，不是官方声明，请以原链内容为准。
存档时间线
| 版本 | 存档时间 | 内容哈希 | 内容 |
|---|---|---|---|
| v1 | 2026-11-13 22:03 | c2b4d5f7 | 可取 |
版本索引永久保留；内容副本只保留最新 1 份，更早版本仅留索引与哈希（存档时间线的证据链不会因此断裂）。
纠错与举报（发现条目失效、署名有误或涉及侵权？）
提交举报 / 纠错
侵权举报经核验成立后，我们会即时下线该条目并删除已存的内容副本。