This file is a Codex skill discovery stub.
Canonical skill source:
plugins/zk-and-vm-auditors/skills/zkvm-auditor/SKILL.md
When this skill is selected, follow the canonical source file above.
Audit zkVM guest programs and proof systems for memory consistency, continuation proof soundness, precompile safety, and guest-host boundary violations across SP1, RISC Zero, and Valida.
npx skillmds@latest add yue-zhou1/zkvm-auditor This file is a Codex skill discovery stub.
Canonical skill source:
plugins/zk-and-vm-auditors/skills/zkvm-auditor/SKILL.md
When this skill is selected, follow the canonical source file above.
Yue-Zhou1/zkcrypto-audit/tree/main/.codex/skills/zkvm-auditor commit 0aea5913d7