Instruct: Identify the main and secondary category of Arxiv papers based on the titles
Query: Machine-checked ZKP for NP-relations: Formally Verified Security Proofs
  and Implementations of MPC-in-the-Head
23
The categories of this paper are: solv-int
25
The categories of this paper are: patt-sol
2
The categories of this paper are: math
31
The categories of this paper are: ao-sci
0
The categories of this paper are: hep-ph
22
The categories of this paper are: chao-dyn
21
The categories of this paper are: adap-org
19
The categories of this paper are: eess
18
The categories of this paper are: econ
29
The categories of this paper are: funct-an
3
The categories of this paper are: physics
17
The categories of this paper are: q-fin
9
The categories of this paper are: nlin
36
The categories of this paper are: cmp-lg
7
The categories of this paper are: hep-th
14
The categories of this paper are: math-ph