Mac'n'Cheese: Zero-Knowledge Proofs for Boolean and Arithmetic Circuits with Nested Disjunctions.
Carsten BaumAlex J. MalozemoffMarc B. RosenPeter SchollPublished in: CRYPTO (4) (2021)
Keyphrases
- domain knowledge
- knowledge acquisition
- knowledge base
- expert systems
- knowledge management
- learning systems
- data sets
- artificial intelligence
- knowledge representation
- knowledge discovery
- arithmetic operations
- computer programs
- real valued
- knowledge sharing
- background knowledge
- higher level
- e learning
- information retrieval