To be honest, Ethereum is way ahead when it comes to on-chain security. With AI in the mix, hackers' capabilities are growing exponentially. Ethereum's maturity in formal verification for smart contracts far surpasses any other public chain. The power of formal verification lies in this: Using mathematical proofs to flip the asymmetry of security (attackers only need to find one path to win, while defenders have to block all paths), proving that no attack paths exist. Learning from others to outdo them. @vyperlang and @Sequent_Inc are absolute leaders in this field.