Vitalik: Verifikasi formal berbantuan AI adalah “bentuk akhir pengembangan perangkat lunak”, Ethereum menjadi inti yang aman
Pendiri gabungan Ethereum, Vitalik Buterin, pada 18 Mei menerbitkan analisis mendalam yang membahas kondisi dan prospek teknologi verifikasi formal (Formal Verification). Ia menilai bahwa verifikasi formal yang dibantu AI akan menjadi “bentuk akhir pengembangan perangkat lunak”, serta menyebut bahwa Ethereum akan menjadi bagian penting dari arsitektur “inti keamanan” di masa depan. Prinsip Inti dan Skenario Penerapan Verifikasi Formal Berdasarkan konfirmasi dari artikel Vitalik, verifikasi forma
ETH-3,26%
MarketWhisper·05-19 02:23










