The Ouroboros of ZK: Why Verifying the Verifier Unlocks Longer-Term ZK Innovation.
Denis FirsovBenjamin LivshitsPublished in: IACR Cryptol. ePrint Arch. (2024)
Keyphrases
- pac learning
- longer term
- black box
- long term
- uniform distribution
- sample size
- learning problems
- learning theory
- sample complexity
- membership queries
- vc dimension
- model checking
- lower bound
- boolean functions
- feature selection
- supervised learning
- theoretical analysis
- object oriented
- data sets
- information technology
- technological innovation
- machine learning