Lattice-Based Succinct Arguments for NP with Polylogarithmic-Time Verification.

Jonathan Bootle Alessandro Chiesa Katerina Sotiraki

Published in: CRYPTO (2) (2023)

Keyphrases

model checking
np complete
computational complexity
functional verification
verification method
concept lattice
concurrent systems
face verification
np hard
case based reasoning
argumentation frameworks
search engine
multiscale
bayesian networks
case study
e learning
computer vision