1 results sorted by ID
Bolt: Faster SNARKs from Sketched Codes
Kobi Gurkan, Andrija Novakovic, Ron D. Rothblum
Cryptographic protocols
We introduce Bolt, a new Multilinear Polynomial Commitment Scheme (MLPCS) designed for high-performance SNARKs over binary fields. Bolt is geared towards SNARKs for large computations, in which prover speed is paramount but one can afford slightly larger proofs. The construction is based on the code-switching paradigm; our core technical contribution is a new "proof-system friendly" error-correcting code with extremely efficient encoding both asymptotically and concretely. Bolt offers a...