$e^{i\pi}$ paradox - invalid proof that $-4 \pi ^2=0$

Imaginary exponentiation simply does not satisfy the rule $(a^b)^c=a^{bc}$. That's just the way it is. It is nice that many rules for real numbers also hold for complex numbers, but it is not an axiom. The rule holds for natural numbers, and it extends first to rationals (by algebraic considerations) and to real numbers (by the density of the rationals). But imaginary exponentiation is not defined in terms of real exponentiation, so there is no reason a priori for the equality to hold; and it doesn't, in general.

The second argument is irrelevant for the "paradox". The reasoning in your question derails with the "equality" $(e^{2 i\pi +1})^{2i\pi +1}=e^{(2i\pi+1)^2}$. Everything afterwards is false, in particular $e^{-4\pi^2}=1$. So the application of the logarithm is not the issue here. That said, the complex logarithm is multi-valued and not injective.

The third argument is also irrelevant, because it tries to "explain" the equality $\pi=0$. And there is no such equality here, since it appeared after invalid steps.


Edit: a bit more on exponentiation. Note that exponentiation already has issues with real numbers; for instance, one cannot define things like $(-1)^{1/2}$. Thus the equality $(a^b)^c=a^{bc}$ already fails for certain combinations of reals numbers: $(-1)^1=(-1)^{1/2\times2}$ but $(-1)^{1/2}$ makes no sense. In summary, exponentiation, even for real numbers, works nice with real exponents only when the base is positive: in that case, $a^b=e^{b\log a}$ is well-defined.

For complex numbers, $a^b$ still makes perfect sense when $a>0$ and $b$ is any complex number: if $b=u+iv$, we define $a^{u+iv}=a^u\,e^{iv\log a}$. For non-positive or even non-real $z$, only $z^n$, with $n\in\mathbb Z$, makes sense.

Finally, let us take a quick look at $(a^b)^c=a^{bc}$. This would come from $$ (a^b)^c=e^{c\log a^b}=e^{cb\log a}=a^{bc}. $$ So the issue appears to be with the equality $\log a^b=b\log a$. When $a$ is not a positive real number, the logarithm is multi-valued. Here is an example of the issue: we have $1^i=1$ (no issue here, this is well-defined). But $1=e^{2\pi i}$, so we want $$ (1^i)^i=(e^{2\pi i})^i=e^{i\,\log e^{2\pi i}}. $$ But now, using the "usual" properties of the logarithm, one is tempted to write $\log e^{2\pi i}=2\pi i$; but this is the weird (and wrong) equality $\log 1=2\pi i$. This amounts to redefine the logarithm so that it is not real on the reals. It can be done, but then we don't have $1^i=1$ anymore.