Vitalik: Verifikasi formal berbantuan AI berpotensi meningkatkan efisiensi dan keamanan kode secara bersamaan
Foresight News melaporkan bahwa Vitalik Buterin menerbitkan tulisan yang membahas prospek penerapan verifikasi formal di bidang keamanan blockchain. Artikel tersebut menunjukkan bahwa dalam riset pengembangan mutakhir Ethereum tengah muncul paradigma baru, yaitu langsung menggunakan bytecode EVM, assembly, atau Lean untuk menulis kode, serta memverifikasi kebenarannya dengan bukti matematis yang dapat diperiksa secara otomatis di Lean. Peneliti Yoichi Hirai menyebut paradigma ini sebagai "bentuk akhir dari pengembangan perangkat lunak". Vitalik berpendapat bahwa verifikasi formal berbantuan AI berpotensi meningkatkan efisiensi dan keamanan kode secara bersamaan, dan sangat cocok diterapkan pada modul inti keamanan seperti STARK, ZK-EVM, tanda tangan tahan kuantum, dan algoritme konsensus. Namun, artikel tersebut juga menegaskan bahwa verifikasi formal bukanlah solusi sempurna karena masih dapat gagal akibat cakupan pembuktian yang tidak lengkap, spesifikasi yang keliru, atau masalah pada saluran samping perangkat keras. Ke depannya, perangkat lunak kemungkinan akan terbagi menjadi "inti yang aman" dan "pinggiran yang tidak aman", di mana Ethereum akan menjadi salah satu inti keamanan yang penting.
Disclaimer: Konten pada artikel ini hanya merefleksikan opini penulis dan tidak mewakili platform ini dengan kapasitas apa pun. Artikel ini tidak dimaksudkan sebagai referensi untuk membuat keputusan investasi.
Kamu mungkin juga menyukai
Harga saham Lucid (LCID.US) sempat melonjak lebih dari 12%! CEO menyatakan kerja sama dengan konsultan restrukturisasi telah selesai, peta jalan menuju keuntungan mulai muncul.
CEO Lucid Group Inc. menyatakan bahwa produsen mobil listrik tersebut telah menyelesaikan kerja samanya dengan tim penasihat restrukturisasi, menandakan bahwa perusahaan yang sedang mengalami kesulitan ini kini memiliki jalur yang lebih jelas untuk membalikkan operasi mereka.
Suku bunga hipotek 30 tahun di Amerika Serikat melonjak menjadi 7%! Kesulitan pasar properti semakin memburuk
Menurut data dari Mortgage News Daily, rata-rata suku bunga hipotek tetap 30 tahun di Amerika Serikat naik menjadi 7,24% pada 16 September, meningkat tajam sebesar 27 basis poin dibandingkan dengan 6,97% sepekan sebelumnya. Pada 17 September, suku bunga ini sedikit turun menjadi 7,19%, namun masih jauh di atas ambang 7%. Saat ini, para pemilik rumah di Amerika Serikat menghadapi tantangan “menjual rumah berarti kehilangan hipotek berbunga rendah”, sehingga minat untuk menjual rumah tetap lemah, harga rumah berada pada level tinggi, dan kesulitan di pasar properti semakin meningkat.
"Raja Obligasi Baru" Gundlach memperingatkan: Siklus resesi berikutnya dapat memicu krisis utang Amerika Serikat, obligasi AS tidak lagi menjadi tempat yang aman
"Raja obligasi baru" Jeffrey Gundlach memperingatkan bahwa gelombang penurunan ekonomi berikutnya di Amerika Serikat dapat memicu krisis utang, yang akan mendorong lonjakan signifikan pada imbal hasil obligasi pemerintah AS jangka panjang—hal ini akan mematahkan pemahaman tradisional selama puluhan tahun bahwa obligasi selalu menjadi tempat berlindung yang aman selama periode gejolak ekonomi.
Nvidia (NVDA.US) meningkatkan investasi AI dengan menyuntikkan dana sebesar 2 miliar dolar AS ke dalam Global AI Fund Brookfield (BAM.US), yang berencana mengumpulkan dana sebesar 10 miliar dolar AS.
Nvidia telah menginvestasikan 2 miliar dolar AS ke dalam Global Artificial Intelligence Infrastructure Fund yang dikelola oleh Brookfield Asset Management.
Harga kripto
Lainnya
