Stacked Garbling for Disjunctive Zero-Knowledge Proofs.
David HeathVladimir KolesnikovPublished in: IACR Cryptol. ePrint Arch. (2020)
Keyphrases
- knowledge base
- knowledge acquisition
- knowledge extraction
- knowledge transfer
- genetic algorithm
- prior knowledge
- knowledge structures
- knowledge discovery
- knowledge management
- knowledge sharing
- formal proof
- databases
- computer programs
- knowledge sources
- knowledge based systems
- collaborative learning
- knowledge representation
- expert systems
- high level
- website