Formalizing Soundness Proofs of Linear PCP SNARKs.

Bolton Bailey Andrew Miller

Published in: USENIX Security Symposium (2024)

Keyphrases

closed form
theorem proving
real time
databases
real world
piecewise linear
information retrieval
artificial intelligence
social networks
decision making
bayesian networks
data structure
search algorithm
theorem prover
linear constraints
linear complexity