Fiat-Shamir Transformation of Multi-Round Interactive Proofs.

Thomas Attema Serge Fehr Michael Klooß

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

Keyphrases

decision trees
virtual reality
theorem proving
data sets
real world
formal proofs
data mining
social networks
information systems
website
case study
database systems
interactive systems
interactive video
automated theorem provers