mpc-audit

What problem does it solve?

Audit MPC and threshold-cryptography implementations for security pitfalls, protocol misconfigurations, and abort-handling weaknesses across distributed computations.

Core Features & Use Cases

• Identify protocol assumptions and boundary inputs, reconstruct transcripts, and map adversary-controlled data paths.
• Enumerate and categorize findings with concrete code-path references, severity, and remediation steps.
• Validate sessions, identities, and state transitions across OT, VSS, and threshold schemes to ensure robust abort handling.

Quick Start

Audit and map protocol boundaries, identify weaknesses at each boundary, and report concrete remediation steps.