Post-Quantum zk-SNARK for Arithmetic Circuits using QAPs.
Ken NaganumaMasayuki YoshinoAtsuo InoueYukinori MatsuokaMineaki OkazakiNoboru KunihiroPublished in: AsiaJCIS (2020)
Keyphrases
- quadratic assignment problem
- quantum computing
- pac learning
- black box
- logic circuits
- logic synthesis
- lower bound
- tabu search
- sample size
- combinatorial optimization
- uniform distribution
- sample complexity
- learning theory
- learning problems
- low power
- learning tasks
- test cases
- vc dimension
- stochastic local search
- text categorization
- upper bound
- neural network