agentsclimarketplace

Folding scheme auditor

Skill Yue-Zhou1/zkcrypto-audit/.codex/skills/folding-scheme-auditor

An agentic skills framework for security auditing of zero-knowledge systems and cryptographic protocols.

Install
npx -y skills add Yue-Zhou1/zkcrypto-audit --skill folding-scheme-auditor

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

One thing to look at

  • 2 stars2 stars. Stars are a popularity signal and not a quality one, but at this level it is likely that nobody has read this closely except its author, and you would be relying on your own review.

What its author says it does

Copied from the file, not written here

Audit folding scheme and IVC implementations for accumulator soundness, step circuit binding, cycle-of-curves correctness, and running instance completeness. Use when reviewing Nova, HyperNova, ProtoStar, or custom folding-based proof systems in Rust.

SKILL.md

0.5 KB, as published. Nobody here has run it

This file is a Codex skill discovery stub.

Canonical skill source: plugins/zk-and-vm-auditors/skills/folding-scheme-auditor/SKILL.md

When this skill is selected, follow the canonical source file above.

Keep looking

Skills are one crate of 328,083. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.