ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge.
Daniel LuickJohn C. KolesarTimos AntonopoulosWilliam R. HarrisJames ParkerRuzica PiskacEran TromerXiao WangNing LuoPublished in: USENIX Security Symposium (2024)
Keyphrases
- knowledge base
- knowledge extraction
- domain knowledge
- knowledge discovery
- prior knowledge
- knowledge based systems
- domain ontology
- reinforcement learning
- digital libraries
- expert systems
- decision trees
- case based reasoning
- knowledge management
- knowledge acquisition
- higher level
- knowledge sharing
- knowledge sources
- knowledge transfer
- machine learning