Pendaftaran
 
Semua berita
Berita Utama
Pilihan Editor
Berita Kripto
Berita Keuangan
Mata Uang
Suara Market
Para Jutawan
Berita dari Otoritas Pengawas
Olga Shendetskaya
Olga Shendetskaya

Vitalik Buterin melihat verifikasi berbantuan AI sebagai jalan menuju kode Ethereum yang lebih aman

Vitalik Buterin melihat verifikasi berbantuan AI sebagai jalan menuju kode Ethereum yang lebih aman
Buterin dukung verifikasi kode berbantuan AI

Vitalik Buterin meyakini bahwa verifikasi formal berbantuan AI dapat mengubah cara penulisan kode blockchain yang krusial. Argumennya bukan tentang mempercepat pengembangan dengan segala cara, melainkan tentang membuat bagian-bagian utama Ethereum dapat diverifikasi secara matematis sebelum diterapkan di jaringan live.

Sorotan

  • Buterin menerbitkan artikel tentang penggunaan verifikasi formal dalam keamanan blockchain.
  • Riset frontier Ethereum sedang mengembangkan pendekatan di mana kode dapat ditulis langsung dalam bytecode EVM, assembly, atau Lean.
  • Buterin percaya AI dapat meningkatkan efisiensi pengembangan sekaligus keamanan kode.

Artikel ini diterjemahkan dari aslinya. Baca versi asli oleh koresponden kami di sini.

Kode yang dapat dibuktikan kebenarannya

Buterin menjelaskan paradigma baru yang muncul dalam riset frontier Ethereum: pengembang dapat menulis kode pada tingkat rendah, termasuk bytecode EVM, assembly, atau Lean, lalu mengonfirmasi kebenarannya melalui bukti matematis yang diperiksa secara otomatis di Lean.

Tujuan dari pendekatan ini adalah untuk mengganti sebagian ketergantungan tradisional pada pengembang, auditor, dan pengujian dengan verifikasi ketat terhadap properti program. Jika bukti ditulis dan diperiksa dengan benar, sistem menerima jaminan yang lebih kuat bahwa kode tersebut berfungsi tepat seperti yang seharusnya. Peneliti Yoichi Hirai menyebut model ini sebagai “bentuk akhir dari pengembangan perangkat lunak.”

Di mana AI dapat membantu

Buterin percaya verifikasi formal berbantuan AI dapat meningkatkan efisiensi kode sekaligus keamanan. Hal ini sangat penting bagi bagian-bagian Ethereum di mana satu kesalahan saja dapat merugikan ratusan juta dolar atau merusak kepercayaan pada infrastruktur. Di antara modul-modul tersebut, ia menyoroti STARK, ZK-EVM, tanda tangan pasca-kuantum, dan algoritma konsensus.

Dalam model ini, AI tidak boleh sekadar menghasilkan kode tanpa pengawasan. Perannya lebih mirip sebagai asisten yang mempercepat penulisan bukti, membantu menemukan kesalahan, dan memeriksa apakah kode sesuai dengan spesifikasinya. Bagi Ethereum, hal ini selaras dengan jalur pengembangan yang lebih luas: jaringan ini semakin diposisikan bukan sebagai platform blockchain tercepat, melainkan sebagai lapisan dasar di mana keamanan dan verifikasi lebih diutamakan daripada kecepatan transaksi individu.

Garis antara inti dan periferal

Buterin juga menekankan bahwa verifikasi formal bukanlah solusi universal. Hal ini masih bisa gagal jika bukti tidak mencakup semua kasus, jika spesifikasinya sendiri ditulis secara salah, atau jika kerentanan muncul melalui saluran samping (side channel) perangkat keras.

Itulah sebabnya arsitektur perangkat lunak di masa depan mungkin terbagi menjadi dua bagian: “inti keamanan” kecil yang melalui verifikasi formal seketat mungkin, dan komponen periferal yang kurang kritis di mana metode pengembangan yang lebih fleksibel tetap dapat diterima. Dalam model seperti itu, Ethereum dapat menjadi salah satu inti keamanan utama dalam ekonomi digital. Jika pendekatan ini meluas, pergeseran utamanya bukan pada kode yang ditulis lebih cepat, tetapi pada kode paling penting yang menjadi lebih sulit untuk ditembus.

Seperti yang kami laporkan sebelumnya, Vitalik Buterin mengusulkan penyederhanaan arsitektur node Ethereum.

Materi ini mungkin mengandung opini pihak ketiga, tidak ada data dan informasi di halaman web ini yang merupakan nasihat investasi menurut Disclaimer kami. Meskipun kami mematuhi Integritas Editorial yang ketat, postingan ini mungkin mengandung referensi ke produk dari mitra kami.

Pilihan Editor untuk Anda

Lima tahun bersama Bitcoin: Bagaimana El Salvador berubah setelah melegalkan BTC
  • Oleh Eugene Komchuk
  • 13 jam yang lalu
Lima tahun bersama Bitcoin: Bagaimana El Salvador berubah setelah melegalkan BTC
Pilihan Editor
Kripto di lapangan: Bagaimana Final NBA menjadi etalase bagi Ledger
  • Oleh Anastasiia Chabaniuk
  • Kemarin
Kripto di lapangan: Bagaimana Final NBA menjadi etalase bagi Ledger
Pilihan Editor
Cara membangun kekayaan dari nol dalam 3 langkah praktis
  • Oleh Johnathan Maverick
  • 08.06.2026
Cara membangun kekayaan dari nol dalam 3 langkah praktis
Pilihan Editor
Semua Pilihan Terbaik Editor

Berita Ethereum Terbaru

ETH tergelincir di tengah momentum penurunan yang terus berlanjut yang dikonfirmasi oleh MACD dan osilator: laporan mingguan
  • Oleh Emilio Ghigini
  • 13 jam yang lalu
ETH tergelincir di tengah momentum penurunan yang terus berlanjut yang dikonfirmasi oleh MACD dan osilator: laporan mingguan
Berita Kripto
#Forecast #Ethereum
Prediksi harga Ethereum: dukungan $1.553,82 menjadi fokus saat ETH turun 3,72%
  • Oleh Ashutosh Sureka
  • 14 jam yang lalu
Prediksi harga Ethereum: dukungan $1.553,82 menjadi fokus saat ETH turun 3,72%
Berita Kripto
#Forecast #Ethereum
Ethereum memperpanjang kerugian setelah data penggajian U.S. mendukung pengetatan Fed yang berkepanjangan
  • Oleh Ciaran Ryan
  • 15 jam yang lalu
Ethereum memperpanjang kerugian setelah data penggajian U.S. mendukung pengetatan Fed yang berkepanjangan
Berita Kripto
#Ethereum
Semua Berita Ethereum
  • Eugene Komchuk
  • 13 jam yang lalu
Lima tahun bersama Bitcoin: Bagaimana El Salvador berubah setelah melegalkan BTC
  • Anastasiia Chabaniuk
  • Kemarin
Kripto di lapangan: Bagaimana Final NBA menjadi etalase bagi Ledger
  • Johnathan Maverick
  • 08.06.2026
Cara membangun kekayaan dari nol dalam 3 langkah praktis
  • Eugene Komchuk
  • 08.06.2026
Kejatuhan Indeks Kospi: Mengapa pasar Korea Selatan jatuh bersama saham AI
  • Mira Kyivska
  • 07.06.2026
Bitcoin atau Ferrari: Investasi mana yang lebih baik?
  • Olga Shendetskaya
  • 26 mnt lalu
Desain infrastruktur privasi Arc telah dirilis, ungkap Jeremy Allaire
  • Jose Antonio Gastelum
  • 1 jam yang lalu
Brian Armstrong: Coinbase mendapat izin untuk menawarkan kontrak berjangka kripto global di AS
  • Ivan Andriyenko
  • 1 jam yang lalu
Coca-Cola tetap stabil di level tertinggi sementara pasar kripto dan teknologi mengalami penurunan, kata Charlie Bilello
  • Hanna Syniavska
  • 8 jam yang lalu
Ben Carlson: Mag 7 mencatatkan kinerja di bawah ekspektasi dan peluncuran ETF senilai $1 triliun
  • Daria Chernytska
  • 12 jam yang lalu
Retweet dianggap sebagai notifikasi, dialog yang konstruktif memperkuat jaringan, kata Michael Saylor
Berita Utama
  • Olga Shendetskaya
  • 7 jam yang lalu
Laporan IHK yang panas memberikan tekanan baru pada saham AS
Laporan IHK yang panas memberikan tekanan baru pada saham AS
  • Igor Krasulya
  • 8 jam yang lalu
Kalshi menambahkan XRP ke pasar perpetual futures teregulasi
Kalshi menambahkan XRP ke pasar perpetual futures teregulasi
  • Olga Shendetskaya
  • 9 jam yang lalu
Penjualan obligasi global melonjak seiring tumbuhnya pengeluaran pertahanan dan kebutuhan pembiayaan kembali
Penjualan obligasi global melonjak seiring tumbuhnya pengeluaran pertahanan dan kebutuhan pembiayaan kembali
  • Hanna Syniavska
  • 11 jam yang lalu
Saham SoftBank turun 8% karena pembicaraan pinjaman yang dijamin OpenAI terhenti
Saham SoftBank turun 8% karena pembicaraan pinjaman yang dijamin OpenAI terhenti
  • Andrey Mastykin
  • 12 jam yang lalu
Pembahasan CLARITY Act temui rintangan baru di Senat
Pembahasan CLARITY Act temui rintangan baru di Senat
Berita Langsung
  • Anton Kharitonov
  • Sekarang
Alphabet tetap tertekan seiring AI mendorong prospek pertumbuhan
  • Anton Kharitonov
  • Sekarang
Microsoft menguji support utama seiring tekanan pada saham berlanjut setelah ekspektasi rekor
  • Anton Kharitonov
  • Sekarang
Apple terus menurun karena belanja modal membebani saham
  • Anton Kharitonov
  • Sekarang
Bitcoin kesulitan karena arus keluar modal berlanjut dan sentimen memburuk
  • Anton Kharitonov
  • Sekarang
WTI di bawah tekanan di tengah permintaan yang lemah
Siapa Kami
Solusi Bisnis
Untuk Pengguna
Bagian Populer
Pengungkapan
Hubungi Kami
Legal
Kami di Media Sosial
© IAFT Ltd., 2010-2026 Semua hak atas situs web dimiliki oleh IAFT Ltd.,
Nomor pendaftaran - HE 336186
  • Pengungkapan Risiko:

    Informasi di situs web TradersUnion.com hanya untuk tujuan informasi dan tidak merupakan motif atau saran kepada pengunjung untuk menginvestasikan uang. Selain itu, kami dengan ini memperingatkan Anda bahwa perdagangan di pasar Forex dan CFD selalu berisiko tinggi. Menurut statistik, 75-89% pelanggan kehilangan dana yang diinvestasikan dan hanya 11-25% pedagang yang mendapatkan keuntungan. Perdagangan berjangka dan opsi membawa risiko kerugian yang substansial dan tidak cocok untuk setiap investor.

    Itulah mengapa Anda hanya harus menginvestasikan uang yang Anda siap — atau mampu — kehilangan pada risiko tinggi tersebut. Tradersunion.com tidak menyediakan layanan keuangan apa pun, termasuk layanan investasi atau konsultasi keuangan. Juga, Traders Union bukanlah broker dan tidak mendapatkan uang untuk perdagangan di pasar Forex atau CFD. Situs web kami hanya menyediakan informasi tentang broker dan pasar serta membantu penggunanya untuk memilih perusahaan pialang terbaik berdasarkan informasi rinci dan analisis objektif dari broker.

  • Penafian:

    Traders Union (TradersUnion.com) tidak bertanggung jawab atas konsekuensi dari keputusan perdagangan yang dibuat oleh Klien dan atas kemungkinan kehilangan modalnya yang diakibatkan oleh penggunaan situs web ini dan informasi yang dipublikasikan di dalamnya.

    Perdagangan Forex, CFD, dan mata uang kripto melibatkan risiko tinggi dan tidak cocok bagi semua orang. Sebelum menginvestasikan uang, Anda perlu menilai tingkat persiapan Anda secara memadai dan menyadari risikonya, terutama dalam konteks perdagangan dengan leverage. Informasi di situs web ini tidak dimaksudkan untuk didistribusikan atau digunakan oleh siapa pun di negara atau yurisdiksi mana pun di mana distribusi atau penggunaan tersebut akan melanggar hukum atau peraturan setempat. Setiap pembayaran yang dilakukan oleh Traders Union (TradersUnion.com) kepada pengguna situs web kami akan ditafsirkan secara hukum semata-mata sebagai dorongan dari pihak kami untuk aktivitas di situs web dalam bentuk menahan sebagian dari pendapatan iklan; mereka bukan subjek dari klaim apa pun dari pengguna kami atau kewajiban kami, subjek perselisihan, dan juga tidak dapat dipertimbangkan sehubungan dengan layanan yang diberikan kepada pengguna oleh broker, baik secara fakta maupun dalam kelengkapan dan volumenya. Administrasi situs tidak bertanggung jawab atas kandungan komentar dan ulasan pengguna tentang perusahaan dan tidak memeriksa apakah penulis ulasan tersebut benar-benar pelanggan nyata dari perusahaan tertentu. Semua ulasan, baik negatif maupun positif, dipublikasikan di situs tanpa memeriksa keasliannya; hanya ulasan menghina yang menyerukan kekerasan atau diskriminasi apa pun, serta ulasan yang dipublikasikan dari satu kelompok alamat IP, yang dimoderasi dan dihapus. Penulis bahan-bahan bertanggung jawab sepenuhnya atas keakuratan, kelengkapan, dan ketidakberpihakan informasi apa pun dalam artikel dan ulasan, termasuk dalam konteks penggunaannya atau penyebutan nama merek atau merek dagang apa pun. Semua penyebutan nama perusahaan dan merek mereka dalam materi apa pun di situs harus dilakukan dalam rangka menyampaikan informasi penting secara sosial kepada rakyat tentang aktivitas mereka oleh jurnalis bebas yang merupakan penulis. Semua perkiraan dan indikator di situs mengungkapkan pendapat subjektif dari penulis ulasan (artikel) dan tidak dapat dianggap sebagai pernyataan yang dapat diandalkan dan menjadi subjek perselisihan dan klaim terhadap Traders Union.

  • Pengungkapan Pengiklan:

    Semua layanan di situs web Tradersunion.com gratis untuk Anda gunakan. Tim kami menghabiskan ribuan jam per tahun untuk meneliti broker dan mengumpulkan informasi tentang mereka untuk membantu investor di seluruh dunia memilih perusahaan yang dapat diandalkan dan menghindari penipu.

    Memang, pengelolaan, pencarian, dan pengaturan proses ini membutuhkan investasi keuangan yang besar dari Tradersunion.com, yang diperoleh situs web dalam bentuk biaya iklan. Terdapat dua jenis layanan iklan di situs ini - iklan langsung dan program partisipasi afiliasi (broker). Namun, tidak ada layanan yang dibeli oleh mitra kami yang dapat memengaruhi rekomendasi di situs web kami, opini, atau peringkat kami. Peringkat kami didasarkan pada kriteria dan metodologi peringkat objektif kami; dan hasilnya selalu sama dan adil diterapkan ke setiap broker. Pekerjaan penulis konten dan tim riset kami tidak melibatkan interaksi apa pun dengan pengiklan kami dan mereka tidak memiliki akses ke data jumlah iklan yang dibeli. Selama lebih dari 10 tahun, kami menganggap kemerdekaan, keterbukaan mutlak, dan objektivitas sebagai prioritas utama kami. Silakan ikuti tautan ke masing-masing situs web broker terafiliasi kami. Ini akan membantu Tradersunion.com untuk terus memberi Anda layanan kami secara gratis.

onepercentfortheplanet.org World Association of News Publishers https://gdpr.eu/ GDPR