Efficient Proof of RAM Programs from Any Public-Coin Zero-Knowledge System.
Cyprien Delpech de Saint GuilhemEmmanuela OrsiniTitouan TanguyMichiel VerbauwhedePublished in: SCN (2022)
Keyphrases
- knowledge representation
- knowledge acquisition
- provably correct
- knowledge management
- knowledge base
- learning process
- domain experts
- lightweight
- knowledge extraction
- theorem prover
- learning systems
- domain knowledge
- prior knowledge
- e learning
- knowledge based systems
- databases
- design process
- knowledge discovery
- background knowledge
- cost effective
- knowledge sharing
- computationally expensive
- conceptual model
- situation calculus
- artificial intelligence