${\mathrm{Real}}_{\mathcal{A}}^{\text{EKV-VBQ}}\left(1^k\right)$: An interactive experiment between the adversary $\mathcal{A}$ and the challenger $\mathcal{C}$ using the real scheme. In this experiment, the challenger $\mathcal{C}$ runs Init to generate the key K and public parameter $pp$. The adversary $\mathcal{A}$ outputs a record set F to the challenger $\mathcal{C}$, who runs the Init to produce $\mathsf{I}$ and $\mathsf{B}$ and sends them to the adversary $\mathcal{A}$. The adversary $\mathcal{A}$ can make polynomially adaptive queries $(L_i,f\left(L_i\right))$ to the challenger $\mathcal{C}$. For each query, the challenger $\mathcal{C}$ generates a query token ${\tau }_i$ for the adversary $\mathcal{A}$. Since $\mathcal{A}$ is adaptive, the result of each query can be used as input for the next query. After q queries, the adversary $\mathcal{A}$ outputs a bit b as the output of the experiment.