Srikar: Created page with "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 co..."

2020-10-16T22:45:34Z

Created page with "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 co..."

New page

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.

Computation Commitments - Revision history

Srikar: Created page with "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 co..."