Computation Commitments

From zkstacks

Revision as of 22:45, 16 October 2020 by Srikar (talk | contribs) (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...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

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.

Retrieved from "http://161.35.113.184/index.php?title=Computation_Commitments&oldid=109"