Fiat-Shamir Transformation of Multi-round Interactive Proofs.

Thomas Attema Serge Fehr Michael Klooß

Published in: TCC (1) (2022)

Keyphrases

theorem proving
computer graphics
user friendly
website
virtual reality
linear transformation
data sets
neural network
learning algorithm
theorem prover
interactive learning
decision procedures
interactive video