|
|
|
|
|
|
by Ar-Curunir
28 days ago
|
|
|
The result is indeed theoretical, but is a big advancement in theory. zkSNARKs (and other “non-interactive” proof systems) are actually secretly interactive because they all require a setup phase, which effectively counts as the first verifier message. The provers response is then the second message, making the entire process interactive. This work eliminates that setup phase entirely, leaving only the provers message. The resulting protocol is hence truly non interactive |
|
|