Wolverine: Fast, Scalable, and Communication-Efficient Zero-Knowledge Proofs for Boolean and Arithmetic Circuits.
Chenkai WengKang YangJonathan KatzXiao WangPublished in: IEEE Symposium on Security and Privacy (2021)
Keyphrases
- highly scalable
- domain knowledge
- lightweight
- high speed
- knowledge acquisition
- design process
- computationally efficient
- active participation
- floating point
- knowledge transfer
- theorem proving
- knowledge sharing
- background knowledge
- domain experts
- learning systems
- knowledge base
- knowledge based systems
- low cost
- prior knowledge
- expert systems
- natural language