The two-variable main conjecture for the Selmer group of an elliptic curve

Let $\mathbf{L}\in\mathbf{\Lambda}$ be the two-variable $p$-adic $L$-function, and let $\mathrm{Sel}_p(E/\mathbf{K}_\infty)$ be the Selmer group over the two-variable extension. Write

$$\Selp{\mathbf{K}_\infty}=\operatorname{Hom}(\mathrm{Sel}_p(E/\mathbf{K}_\infty),\mathbf{Q}_p/\mathbf{Z}_p)\otimes\mathbf{Q}_p.$$

Two-variable main conjecture. The two-variable $p$-adic $L$-function $\mathbf{L}$ generates the ideal

$$\operatorname{char}_{\mathbf{\Lambda}}(\Selp{\mathbf{K}_\infty})$$

of $\mathbf{\Lambda}$.

This is the central algebraic-analytic comparison for the two-variable Iwasawa theory of $E$. The supplied text gives no resolution.