Login / Signup

Constant-Round Arguments for Batch-Verification and Bounded-Space Computations from One-Way Functions.

Noga AmitGuy N. Rothblum
Published in: CRYPTO (10) (2024)
Keyphrases
  • machine learning
  • low dimensional
  • vector space
  • neural network
  • input space
  • higher dimensional
  • formal verification
  • hilbert space