Computation Commitments

First introduced in SPARTAN, this method involves the verifier $V$ committing to the structure of the NP statement that is to be proved. While this requires at least linear cost in the size of the statement, it is amortized over all future statements of the same form. This method is used in Fractal and Supersonic.