BooLigero: Improved Sublinear Zero Knowledge Proofs for Boolean Circuits.
Yaron GviliSarah SchefflerMayank VariaPublished in: IACR Cryptol. ePrint Arch. (2021)
Keyphrases
- domain knowledge
- expert systems
- knowledge base
- knowledge management
- knowledge representation
- knowledge discovery
- knowledge extraction
- learning systems
- domain experts
- knowledge sources
- digital circuits
- genetic algorithm
- multi valued
- space complexity
- improved algorithm
- boolean functions
- real valued
- design process
- knowledge acquisition
- data mining techniques
- prior knowledge