Srikar: 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..."

2020-10-14T13:29:13Z

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..."

New page

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

Preprocessing SNARK - Revision history

Srikar: 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..."