Pencapaian: frontend @vyperlang sekarang memancarkan IR 🚀 Venom secara langsung. Kami tidak lagi berpikir tentang Vyper IR asli. Jadi sekarang verifikasi formal bisa lebih sederhana, dan kami juga mendapatkan beberapa keuntungan tambahan.