privacy-protocol-auditor
Audit shielded-pool and mixer protocol logic: nullifier derivation, uniqueness, and spent-set semantics; note/value commitments and ownership binding; deposit/withdraw front-running; and state-transition replay domains. Use when reviewing privacy-protocol design above the circuit and Merkle layers.
Informations de source
- Dépôt
- Yue-Zhou1/zkcrypto-audit
- Dernière activité de la source
- 13 juillet 2026 à 02:19
- Langue détectée de SKILL.md
- anglais
- Étoiles
- 3
- Forks
- 1
Options d'installation
Le prompt qui vérifie d'abord la source est sélectionné par défaut. Vous pouvez passer à une commande directe ou télécharger une copie locale.
Vérifiez les fichiers source
Lisez SKILL.md et les fichiers associés affichés par SkillsMP avant de décider de l'installer.
