Preprocessing SNARK

From zkstacks
Revision as of 13:29, 14 October 2020 by Srikar (talk | contribs) (Created page with "A non-interactive argument where: * Verifier runs in time polynomial in \lambda + |\phi|, where \lambda = security parameter, \phi = statement. * Proof size is polynomial in...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

A non-interactive argument where:

  • Verifier runs in time polynomial in \lambda + |\phi|, where \lambda = security parameter, \phi = statement.
  • Proof size is polynomial in \lambda
  • Knowledge Sound
Retrieved from "http://161.35.113.184/index.php?title=Preprocessing_SNARK&oldid=107"