Formalizing Soundness Proofs of SNARKs.

Bolton Bailey Andrew Miller

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

Keyphrases

theorem proving
theorem prover
formal proof
formal proofs
hidden markov models
decision procedures
natural deduction
equational theories
interactive theorem proving
neural network
pattern recognition
data analysis
first order logic
mathematical proofs