Certifying Zero-Knowledge Circuits with Refinement Types.
Junrui LiuIan KretzHanzhi LiuBryan TanJonathan WangYi SunLuke PearsonAnders MiltnerIsil DilligYu FengPublished in: IACR Cryptol. ePrint Arch. (2023)
Keyphrases
- knowledge acquisition
- knowledge discovery
- domain knowledge
- knowledge base
- knowledge representation
- knowledge extraction
- real time
- background knowledge
- expert systems
- information retrieval
- machine learning
- prior knowledge
- learning algorithm
- data mining techniques
- knowledge based systems
- learning systems
- knowledge structures
- data sets