Login / Signup
Compositional Formal Verification of Zero-Knowledge Circuits.
Alessandro Coglio
Eric McCarthy
Eric Smith
Collin Chin
Pranav Gaddamadugu
Michel Dellepere
Published in:
IACR Cryptol. ePrint Arch. (2023)
Keyphrases
</>
formal verification
knowledge base
domain knowledge
model checking
knowledge representation
knowledge acquisition
expert systems
knowledge management
domain experts
model checker
bounded model checking
artificial intelligence
prior knowledge
object oriented
learning systems
software architecture