LaBRADOR: Compact Proofs for R1CS from Module-SIS.

Ward Beullens Gregor Seiler

Published in: CRYPTO (5) (2022)

Keyphrases

computer science
theorem proving
data mining
information systems
theorem prover
database
real world
machine learning
decision making
image processing
web services
image sequences
search algorithm
decision procedures
compact representations