Login / Signup
Lattice-Based Succinct Arguments for NP with Polylogarithmic-Time Verification.
Jonathan Bootle
Alessandro Chiesa
Katerina Sotiraki
Published in:
IACR Cryptol. ePrint Arch. (2023)
Keyphrases
</>
computational complexity
model checking
concurrent systems
face verification
np hard
artificial intelligence
np complete
knowledge base
formal analysis
signature verification
formal verification
person identification
face recognition
case study
argumentation systems
multimodal biometrics
machine learning