$$\begin{array}{cc}\hfill & {\mathrm{Forge}}_{\mathcal{A}}^{EKV-VBQ}\left(1^k\right):\hfill \\ \hfill & (K,pp,\mathsf{I},\mathsf{D})\leftarrow \mathrm{Init}\left(1^k\right)\hfill \\ \hfill & \delta \leftarrow \mathcal{A}\left(1^k\right)\hfill \\ \hfill & ({\mathsf{I}}^{\prime },{\mathsf{D}}^{\prime })\leftarrow \mathrm{Append}(K,\delta ,\mathsf{I},\mathsf{D})\hfill \\ \hfill & \mathrm{for}1\le i\le q\hfill \\ \hfill & \left\{L_i\right\}\leftarrow \mathcal{A}(\mathsf{I},\mathsf{D},{\tau }_1,\dots ,{\tau }_{i-1})\hfill \\ \hfill & {\tau }_i\leftarrow \mathrm{Query}(K,f\left(L_i\right)),\hfill \\ \hfill & (f\left(L_q\right),R^{\prime },\pi )\leftarrow \mathcal{A}(\mathsf{I},\mathsf{D},{\tau }_1,\dots ,{\tau }_q)\hfill \\ \hfill & \mathrm{output}b\leftarrow \mathrm{Verify}(K,R^{\prime },\pi )\hfill \end{array}$$