skill-yue-zhou1-zkcrypto-audit-commitment-scheme-auditor · by Install
$ agentstack add skill-yue-zhou1-zkcrypto-audit-commitment-scheme-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-commitment-scheme-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
commitment-scheme-auditor
Domain auditor for polynomial commitment correctness and soundness assumptions.
When to Use
- Reviewing KZG, FRI, IPA, or Pedersen commitment implementations
- Auditing degree bound checks and evaluation proof verification logic
- Checking trusted setup provenance and SRS handling
- Reviewing batch opening/random-combination security assumptions
When NOT to Use
- Hash primitive parameter audits without commitment verifier context
- Generic transcript concerns with no commitment operation on path
- Marking suspected commitment issues as confirmed without verification gates
Core Review Areas
- Degree bound enforcement on committed polynomials
- Evaluation proof verification at correct points and values
- Trusted setup and parameter provenance integrity
- Batch opening randomness and binding
- Scheme-specific checks (FRI query schedule, IPA generator independence)
Workflow
Phase 1: Scheme and parameter inventory
- Read
references/commitment-checklist.md - Identify commitment scheme(s), parameter sets, and verifier pathways
- Mark any dynamic or external parameter loading points
Phase 2: Opening verification review
- Execute
workflows/kzg-review.md - Verify opening equations, evaluation point ownership, and transcript binding
- Check degree bound checks occur before accepting commitment/opening tuples
Phase 3: Pattern hunt
- Read
references/finding-patterns.md - Prioritize missing degree checks, premature challenge derivation, and untrusted setup loads
Phase 4: Handoff
- Send surviving findings to
crypto-fp-check - Use
zkbugs-indexonly after verification succeeds
Output Contract
Produce a commitment-audit handoff that includes:
- The scheme variant (KZG/FRI/IPA/Pedersen) and proof path involved
- The exact bound, opening, or setup integrity gap
- Whether the issue affects soundness, completeness, or configuration trust
- The next verification or reporting route
Reference Index
- [references/commitment-checklist.md](references/commitment-checklist.md)
- [references/finding-patterns.md](references/finding-patterns.md)
- [workflows/kzg-review.md](workflows/kzg-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.