skill-yue-zhou1-zkcrypto-audit-encryption-scheme-auditor · by Install
$ agentstack add skill-yue-zhou1-zkcrypto-audit-encryption-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-encryption-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
encryption-scheme-auditor
Domain auditor for symmetric encryption and authenticated decryption safety.
When to Use
- Reviewing AEAD mode integrations and nonce lifecycle handling
- Auditing decrypt error behavior for oracle side effects
- Checking associated-data binding and tag verification ordering
- Reviewing key-derivation context separation across protocol roles
- Validating key rotation and algorithm agility controls
When NOT to Use
- Asymmetric key-exchange and signature protocol audits outside encryption modes
- Side-channel-focused constant-time analysis without encryption semantics
- Marking suspected encryption flaws as confirmed without verification gates
Core Review Areas
- Nonce generation, uniqueness, and reuse prevention under the same key
- AEAD tag verification-before-plaintext discipline
- Associated-data binding and domain separation
- Padding/MAC oracle surfaces in decrypt error paths
- KDF parameter/context separation and key lifecycle management
Workflow
Phase 1: Encrypt/decrypt path intake
- Read
references/encryption-checklist.md - Execute
workflows/decrypt-error-review.md - Map encrypt and decrypt entrypoints, including all error branches
Phase 2: Nonce and tag review
- Verify nonce creation, persistence, and replay safeguards
- Confirm tag checks complete before any plaintext is released
- Ensure associated-data inputs match protocol intent in both directions
Phase 3: Pattern hunt
- Read
references/finding-patterns.md - Prioritize nonce reuse, decrypt oracle behavior, and KDF context collisions
Phase 4: Handoff
- Send surviving findings to
crypto-fp-check - Use
zkbugs-indexonly after the finding survives verification
Output Contract
Produce an encryption-specific handoff that includes:
- The mode/implementation path and nonce lifecycle involved
- The decrypt error behavior and oracle risk surface
- Whether the issue is nonce, tag-ordering, AD-binding, KDF, or key-lifecycle related
- The next verification or reporting route
Reference Index
- [references/encryption-checklist.md](references/encryption-checklist.md)
- [references/finding-patterns.md](references/finding-patterns.md)
- [workflows/decrypt-error-review.md](workflows/decrypt-error-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.