Login / Signup
Fast, Scalable, and Communication-Efficient Zero-Knowledge Proofs for Boolean and Arithmetic Circuits.
Chenkai Weng
Kang Yang
Jonathan Katz
Xiao Wang
Published in:
IACR Cryptol. ePrint Arch. (2020)
Keyphrases
</>
domain knowledge
knowledge acquisition
knowledge base
knowledge sharing
expert systems
memory efficient
knowledge management
background knowledge
global knowledge
high speed
knowledge representation
lightweight
knowledge based systems
real valued
communication networks
theorem proving
low cost
knowledge creation