SNARGs under LWE via Propositional Proofs.
Zhengzhong JinYael Tauman KalaiAlex LombardiVinod VaikuntanathanPublished in: IACR Cryptol. ePrint Arch. (2024)
Keyphrases
- propositional logic
- first order logic
- theorem proving
- default logic
- multi valued
- probabilistic logic
- neural network
- theorem prover
- formal proof
- information systems
- sound and complete axiomatization
- pseudo boolean constraints
- modus ponens
- mathematical proofs
- formal proofs
- proof procedure
- decision procedures
- case study
- statistical relational learning
- prime implicates
- natural deduction
- horn clauses
- logic programming
- search algorithm
- decision trees