Fiat-Shamir Transformation of Multi-Round Interactive Proofs (Extended Version).

Thomas Attema Serge Fehr Michael Klooß

Published in: J. Cryptol. (2023)

Keyphrases

theorem proving
computer vision
real time
data sets
artificial intelligence
information retrieval
information systems
image processing
virtual environment
virtual reality
user friendly
interactive systems
interactive video