skill-yue-zhou1-zkcrypto-audit-merkle-tree-auditor · by Install
$ agentstack add skill-yue-zhou1-zkcrypto-audit-merkle-tree-auditor ✓ scanned · ✓ verified, works with Claude Code, Cursor, and more.
Security review
✓ PassedNo issues found. Passed automated security review. · v0.1.0 How review works →
- ✓ Prompt-injection patterns
- ✓ Secret / credential exfiltration
- ✓ Dangerous shell & filesystem operations
- ✓ Untrusted network calls
- ✓ Known-malicious package signatures
What it can access
- ✓ Network access No
- ✓ Filesystem access No
- ✓ Shell / process execution No
- ✓ Environment & secrets No
- ✓ Dynamic code execution No
From automated source analysis of v0.1.0. “Used” means the capability is present in the source — more access means more to trust, not that it’s unsafe.
Verified badge
Passed review? Show it. Paste this badge into your README, it links to the public security report.
Links to your public security report.[](https://agentstack.voostack.com/security/report/skill-yue-zhou1-zkcrypto-audit-merkle-tree-auditor) Reliability & compatibility
Declared compatibility
Compatibility is declared by the source manifest. End-to-end runtime verification is coming, see below.
We're building live execution health for every listing: tool-call success rate, median latency, uptime, and last-checked timestamps, measured, not self-reported. It isn't live yet, so we don't show numbers we can't stand behind.
How agent discovery & health will work →About
merkle-tree-auditor
Domain auditor for Merkle tree construction and proof verification logic.
When to Use
- Reviewing Merkle inclusion/exclusion proof verification code
- Auditing leaf/internal hashing separation and root construction
- Checking sparse Merkle defaults and update semantics
- Reviewing multi-proof batching and path validation logic
When NOT to Use
- Hash primitive parameter tuning without Merkle tree usage context
- Commitment opening systems not based on Merkle authentication paths
- Marking suspected Merkle issues as confirmed without verification gates
Core Review Areas
- Second-preimage resistance through strict node typing
- Leaf-node domain separation and canonical encoding
- Sparse tree default values and edge-case handling
- Proof length/path validation and index binding
- Root update safety and state transition checks
Workflow
Phase 1: Tree model and encoding inventory
- Read
references/merkle-checklist.md - Identify leaf format, node format, and hash domain tags
- Map index-bit ordering and path-direction handling
Phase 2: Proof verification review
- Execute
workflows/proof-review.md - Verify path length/depth checks, left-right ordering, and root comparison
- Check sparse defaults and empty-path handling are fail-closed
Phase 3: Pattern hunt
- Read
references/finding-patterns.md - Prioritize domain-separation gaps, empty-path acceptance, and unbound multiproof reuse
Phase 4: Handoff
- Send surviving findings to
crypto-fp-check - Use
zkbugs-indexonly after verification succeeds
Output Contract
Produce a Merkle-audit handoff that includes:
- The tree variant and proof path under review
- The exact node-typing, path-validation, or root-binding gap
- Whether the issue affects soundness, replay/update integrity, or completeness
- The next verification or reporting route
Reference Index
- [references/merkle-checklist.md](references/merkle-checklist.md)
- [references/finding-patterns.md](references/finding-patterns.md)
- [workflows/proof-review.md](workflows/proof-review.md)
Source & license
This open-source skill is cataloged on AgentStack and links to its original source — we do not rehost the code.
- Author: Yue-Zhou1
- Source: Yue-Zhou1/zkcrypto-audit
- License: MIT
Install and usage instructions live in the source repository linked above.
Reviews
No reviews yet, be the first.
Write a review
Versions
- v0.1.0 Imported from the upstream source.