Login / Signup
A Generic Transform from Multi-Round Interactive Proof to NIZK.
Pierre-Alain Fouque
Adela Georgescu
Chen Qian
Adeline Roux-Langlois
Weiqiang Wen
Published in:
IACR Cryptol. ePrint Arch. (2023)
Keyphrases
</>
virtual reality
real time
databases
image processing
user friendly
three dimensional
high level
search algorithm
multiresolution
constraint satisfaction problems
computer graphics
theorem prover
generic model
highly interactive