This file is a Codex skill discovery stub.
Canonical skill source:
plugins/crypto-primitive-auditors/skills/merkle-tree-auditor/SKILL.md
When this skill is selected, follow the canonical source file above.
Audit Merkle tree implementations for second-preimage attacks, leaf-node domain separation, sparse tree edge cases, and proof verification soundness.
npx skillmds@latest add yue-zhou1/merkle-tree-auditor This file is a Codex skill discovery stub.
Canonical skill source:
plugins/crypto-primitive-auditors/skills/merkle-tree-auditor/SKILL.md
When this skill is selected, follow the canonical source file above.
Yue-Zhou1/zkcrypto-audit/tree/main/.codex/skills/merkle-tree-auditor commit 745c25e7f0