Linear-Time Zero-Knowledge Proofs for Arithmetic Circuit Satisfiability.
Jonathan BootleAndrea CerulliEssam GhadafiJens GrothMohammad HajiabadiSune K. JakobsenPublished in: ASIACRYPT (3) (2017)
Keyphrases
- domain knowledge
- knowledge representation
- knowledge acquisition
- prior knowledge
- high speed
- data sets
- knowledge base
- theorem proving
- phase transition
- background knowledge
- domain experts
- knowledge extraction
- computer programs
- knowledge discovery
- expert systems
- decision procedures
- electronic circuits
- higher level
- knowledge management
- information systems
- data mining