LaBRADOR: Compact Proofs for R1CS from Module-SIS.

Ward Beullens Gregor Seiler

Published in: IACR Cryptol. ePrint Arch. (2022)

Keyphrases

computer science
theorem proving
decision making
web services
case study
decision procedures
database
data sets
computer vision
image processing
bayesian networks
formal proofs
mathematical proofs