Proving as Fast as Computing: Succinct Arguments with Constant Prover Overhead.

Noga Ron-Zewi Ron D. Rothblum

Published in: IACR Cryptol. ePrint Arch. (2021)

Keyphrases

response time
theorem proving
data sets
genetic algorithm
website
bayesian networks
video sequences
natural language
probabilistic model