agentsclimarketplace
Sign in

Mpc auditor

Skill Yue-Zhou1/zkcrypto-audit/plugins/protocol-auditors/skills/mpc-auditor

Audit MPC implementations for garbled-circuit integrity, oblivious transfer misuse, share validation, Beaver triple authenticity, and transcript/session binding issues.From its SKILL.md

Install
npx -y skills add Yue-Zhou1/zkcrypto-audit --skill mpc-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.

SKILL.md

2.4 KB, 435 tokens by cl100k_base, as published. Nobody here has run it

mpc-auditor

Domain auditor for multi-party computation protocols and transcript integrity.

When to Use

  • Auditing garbled-circuit protocol implementations
  • Reviewing oblivious transfer role and consistency checks
  • Checking share validation before reconstruction
  • Reviewing Beaver triple generation and authenticity guarantees
  • Verifying transcript/session binding across rounds

When NOT to Use

  • Single-party cryptographic primitive audits without MPC coordination
  • Pure circuit-constraint analysis without multi-party communication/state
  • Confirming suspected findings without verification gates

Core Review Areas

  1. Participant authentication and role binding
  2. Transcript/session separation across rounds and retries
  3. OT input consistency and sender/receiver role correctness
  4. Share MAC/commitment checks before reconstruction
  5. Offline/online phase separation and Beaver triple authenticity

Workflow

Phase 1: Protocol phase mapping

  • Read references/mpc-checklist.md
  • Execute workflows/share-validation-review.md
  • Enumerate setup, offline, and online phases for each participant role

Phase 2: Share and transcript review

  • Verify share validation occurs before any reconstruction logic
  • Confirm transcript identifiers are session-specific and replay-resistant
  • Validate participant role binding in all message handlers

Phase 3: Pattern hunt

  • Read references/finding-patterns.md
  • Prioritize unchecked share use, OT role confusion, and unauthenticated triples

Phase 4: Handoff

  • Send surviving findings to crypto-fp-check
  • Use zkbugs-index only after the finding survives verification

Output Contract

Produce an MPC-specific handoff that includes:

  • The protocol phase and participant role involved
  • The transcript/session binding or share-validation invariant at risk
  • Whether the issue is OT, share, triple, garbled-circuit, or reconstruction related
  • The next verification or reporting route

Reference Index

What ships with it: 4 files

3.3 KB alongside SKILL.md

agents/

references/

workflows/

Keep looking

Skills are one crate of 326,852. 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.