Login / Signup
Linear-Time Zero-Knowledge Proofs for Arithmetic Circuit Satisfiability.
Jonathan Bootle
Andrea Cerulli
Essam Ghadafi
Jens Groth
Mohammad Hajiabadi
Sune K. Jakobsen
Published in:
IACR Cryptol. ePrint Arch. (2017)
Keyphrases
</>
domain knowledge
knowledge representation
knowledge base
data mining techniques
expert systems
knowledge acquisition
prior knowledge
np complete
knowledge sharing
knowledge sources
satisfiability problem
knowledge extraction
high speed
learning systems
phase transition
arithmetic operations