skill-yue-zhou1-zkcrypto-audit-ecc-pairing-auditor · by Install
$ agentstack add skill-yue-zhou1-zkcrypto-audit-ecc-pairing-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-ecc-pairing-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
ecc-pairing-auditor
Domain auditor for elliptic-curve arithmetic, point parsing, and pairing-based verification.
When to Use
- Auditing BLS signatures, aggregate signatures, pairings, or curve arithmetic code
- Reviewing deserialization and external-point handling
- Checking
hash_to_curve, DST separation, or G1/G2 role consistency - Reviewing batched pairing verification or optimized multi-pairing paths
When NOT to Use
- Building initial protocol context for a new codebase
- Reviewing ZK circuit constraints or transcript construction
- Declaring a suspected curve bug confirmed without verification
Core Review Areas
- Point validity, subgroup membership, and encoding
- Scalar/cofactor/coordinate correctness
- Pairing equation and group-role consistency
- Hash-to-curve, DST, and batch verification behavior
Workflow
Phase 1: Point and scalar intake
- Read
references/ecc-checklist.md - Execute
workflows/deserialization-review.md - Treat every external point, scalar, and compressed encoding as hostile until validated
Phase 2: Pairing and aggregation review
- Read
references/pairing-checklist.md - Execute
workflows/pairing-review.md - Check rogue-key resistance, pairing direction, final exponentiation, and batching semantics
Phase 3: Pattern hunt
- Read
references/finding-patterns.md - Prioritize subgroup bugs, non-canonical encodings, batch masking, and optimized-backend divergence
Phase 4: Handoff
- Send surviving findings to
crypto-fp-check - Use
zkbugs-indexonly after the finding survives verification
Output Contract
Produce a curve/pairing handoff that includes:
- The points, groups, encodings, and pairing equations involved
- The exact validation or batching gap under review
- Whether the issue is parser-level, arithmetic, DST, or aggregation related
- The next verification or reporting route
Reference Index
- [references/ecc-checklist.md](references/ecc-checklist.md)
- [references/pairing-checklist.md](references/pairing-checklist.md)
- [references/finding-patterns.md](references/finding-patterns.md)
- [workflows/deserialization-review.md](workflows/deserialization-review.md)
- [workflows/pairing-review.md](workflows/pairing-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.