Abstract:
Existing techniques either require an asymptotically expensive prover or verifier. We’ve designed new techniques to reduce the cost of writing a proof of correct computation to a constant factor of the original computational cost, while maintaining a highly efficient verifier.
Release Date: 01/01/2021Uploaded File: View