Formal Verification

This section describes the formal verification tools used to prove correctness and consistency of Jolt's constraint systems.