Sign in

Fiat-Shamir Transformation of Multi-round Interactive Proofs.

Thomas AttemaSerge FehrMichael 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