ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge.
Daniel LuickJohn C. KolesarTimos AntonopoulosWilliam R. HarrisJames ParkerRuzica PiskacEran TromerXiao WangNing LuoPublished in: IACR Cryptol. ePrint Arch. (2023)
Keyphrases
- knowledge acquisition
- knowledge transfer
- knowledge base
- knowledge based systems
- domain knowledge
- knowledge management
- knowledge extraction
- background knowledge
- learning systems
- information systems
- information retrieval
- knowledge representation
- logic programs
- expert systems
- high level
- design process
- learning algorithm
- expert knowledge
- machine learning