Black-Box Computational Zero-Knowledge Proofs, Revisited: The Simulation-Extraction Paradigm.
Mohammad Sadeq DoustiPublished in: IACR Cryptol. ePrint Arch. (2010)
Keyphrases
- black box
- black boxes
- knowledge extraction
- white box
- knowledge base
- knowledge management
- knowledge acquisition
- white box testing
- knowledge discovery
- neural network
- domain knowledge
- state transition
- numerical simulations
- knowledge representation
- integration testing
- rule extraction
- hybrid systems
- theorem proving
- high level
- information extraction
- theorem prover
- simulation model
- open source