Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs).
Alex OzdemirRiad S. WahbyFraser BrownClark W. BarrettPublished in: IACR Cryptol. ePrint Arch. (2023)
Keyphrases
- knowledge base
- general purpose
- knowledge acquisition
- learning systems
- expert systems
- prior knowledge
- domain knowledge
- knowledge extraction
- database
- domain experts
- higher level
- data mining techniques
- formal verification
- knowledge sources
- knowledge based systems
- software engineering
- knowledge representation
- artificial intelligence