SNARGs under LWE via Propositional Proofs.
Zhengzhong JinYael KalaiAlex LombardiVinod VaikuntanathanPublished in: STOC (2024)
Keyphrases
- theorem proving
- first order logic
- propositional logic
- theorem prover
- proof procedure
- mathematical proofs
- horn clauses
- formal proofs
- probabilistic logic
- multi valued
- knowledge compilation
- predicate calculus
- equational theories
- formal proof
- data sets
- interactive theorem proving
- modus ponens
- sound and complete axiomatization
- disjunctive logic programming
- natural deduction
- decision trees
- knowledge base
- information retrieval