Login / Signup
Efficient Hybrid Exact/Relaxed Lattice Proofs and Applications to Rounding and VRFs.
Muhammed F. Esgin
Ron Steinfeld
Dongxi Liu
Sushmita Ruj
Published in:
IACR Cryptol. ePrint Arch. (2022)
Keyphrases
</>
cost effective
database
lightweight
computationally expensive
data sets
learning algorithm
search engine
multiscale
optimal solution
multiresolution
np hard
theorem prover
formal proof