Formal Verification of Zero-Knowledge Circuits.

Alessandro Coglio Eric McCarthy Eric W. Smith

Published in: CoRR (2023)

Keyphrases

formal verification
model checking
domain knowledge
knowledge base
expert systems
knowledge management
knowledge representation
knowledge discovery
prior knowledge
knowledge acquisition
bounded model checking
neural network
knowledge based systems
design process