Preprocessing SNARK
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
