Proving System Bugs

A proving system is the cryptographic layer used to prove and verify correct circuit execution. The choice of proving system and framework depends on project requirements and affects the circuit front-end, trusted setup, transcript, verifier, and deployment model.

Unlike circuit bugs, proving-system bugs are usually closer to cryptography, algebra, and protocol implementation. Common classes include:

• Bad Polynomial Implementation
• Frozen Heart
• Lack of Domain Separation
• Missing Curve Point Check
• Insecure Hash Function