Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs.

Alex Ozdemir Riad S. Wahby Fraser Brown Clark W. Barrett

Published in: CAV (3) (2023)

Keyphrases

data mining techniques
data mining
knowledge discovery
theorem proving
general purpose
higher level
neural network
face recognition
relational databases
domain knowledge
knowledge representation
case based reasoning
knowledge transfer
finite number
formal proof