Other generalizations of the main conjecture proved using the Euler system method have been obtained by Karl Rubin, amongst others.
Without a lot of proof, using the Euler system method was was obtained by Karl Rubin and others.