This tutorial has a few goals:
1. Give a self contained description of the simplest possible SNARK, that's fully succinct but generic for NP. This is definitely the Square Span Program SNARK from @GDanezis et al https://eprint.iacr.org/2014/718
...
-
-
Prikaži ovu nit
-
2. Work through the whole soundness proof without running out of steam. We used the Algebraic Group Model because it's simple to write down and still has a computational reduction https://eprint.iacr.org/2017/620.pdf We give a generic stated inspired by
@relgabizonhttps://medium.com/@arielgabizon/moving-snarks-from-the-generic-to-algebraic-group-model-56549d60b90d …Prikaži ovu nit -
3. Give a simple implementation that matches the write-up, so you can flip back and forth to study it. We go over a few algorithmic optimizations (quasilinear overhead for Setup and Prover). Besides the pairing & polys library, it's around 100 lineshttps://github.com/initc3/babySNARK/blob/master/babysnark.py …
Prikaži ovu nit
Kraj razgovora
Novi razgovor -
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.