SuperNova: Proving universal machine executions without universal circuits.

Abhiram Kothapalli Srinath Setty

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

Keyphrases

real time
neural network
kolmogorov complexity
database
genetic algorithm
computer vision
database systems
similarity measure