Dasar
Spot
Perdagangkan kripto dengan bebas
Perdagangan Margin
Perbesar keuntungan Anda dengan leverage
Konversi & Investasi Otomatis
0 Fees
Perdagangkan dalam ukuran berapa pun tanpa biaya dan tanpa slippage
ETF
Dapatkan eksposur ke posisi leverage dengan mudah
Perdagangan Pre-Market
Perdagangkan token baru sebelum listing
Futures
Akses ribuan kontrak perpetual
TradFi
Emas
Satu platform aset tradisional global
Opsi
Hot
Perdagangkan Opsi Vanilla ala Eropa
Akun Terpadu
Memaksimalkan efisiensi modal Anda
Perdagangan Demo
Pengantar tentang Perdagangan Futures
Bersiap untuk perdagangan futures Anda
Acara Futures
Gabung acara & dapatkan hadiah
Perdagangan Demo
Gunakan dana virtual untuk merasakan perdagangan bebas risiko
Peluncuran
CandyDrop
Koleksi permen untuk mendapatkan airdrop
Launchpool
Staking cepat, dapatkan token baru yang potensial
HODLer Airdrop
Pegang GT dan dapatkan airdrop besar secara gratis
Launchpad
Jadi yang pertama untuk proyek token besar berikutnya
Poin Alpha
Perdagangkan aset on-chain, raih airdrop
Poin Futures
Dapatkan poin futures dan klaim hadiah airdrop
Investasi
Simple Earn
Dapatkan bunga dengan token yang menganggur
Investasi Otomatis
Investasi otomatis secara teratur
Investasi Ganda
Keuntungan dari volatilitas pasar
Soft Staking
Dapatkan hadiah dengan staking fleksibel
Pinjaman Kripto
0 Fees
Menjaminkan satu kripto untuk meminjam kripto lainnya
Pusat Peminjaman
Hub Peminjaman Terpadu
Vitalik Buterin mengatakan AI Bisa Mempercepat Peta Jalan Ethereum 2030
TLDR
Vitalik Buterin mengatakan AI dapat mempercepat roadmap Ethereum tahun 2030 pada tingkat keamanan yang belum pernah terjadi sebelumnya. Ia menunjuk pada eksperimen terbaru di mana seorang pengembang membangun prototipe klien Ethereum yang selaras dengan roadmap dalam dua minggu menggunakan agentic coding. Prototipe ini mencakup sekitar 700.000 baris kode, mencakup 65 item roadmap, dan sinkron dengan mainnet Ethereum.
AI Membuat Prototipe yang Selaras dengan Roadmap Ethereum 2030
Kofounder Ethereum Vitalik Buterin mengatakan AI mempercepat pengembangan Ethereum. Ia mengutip seorang pengembang yang menggunakan agentic coding untuk membangun klien yang selaras dengan roadmap 2030. Prototipe tersebut selesai dalam sekitar dua minggu. Prototipe ini mencakup sekitar 700.000 baris kode dan mendukung 65 item roadmap. Klien ini sedang melakukan sinkronisasi dengan mainnet Ethereum.
Buterin menggambarkan upaya tersebut sebagai eksperimen yang menunjukkan kemajuan pesat. Ia mengatakan pekerjaan serupa tidak realistis enam bulan lalu. Ia menambahkan bahwa arah kemajuan AI adalah yang paling penting. Ia juga membagikan contoh pribadi. Ia mengatakan ia membangun perangkat lunak serupa dengan blognya dalam satu jam menggunakan agentic coding. Model yang digunakan dijalankan secara lokal di laptopnya.
Kenaikan Kecepatan Disertai Risiko Teknis
Buterin memperingatkan bahwa pembangunan AI yang cepat membawa risiko. Ia mengatakan proyek yang selesai dalam dua minggu tanpa EIP yang sudah final kemungkinan berisi bug kritis. Ia menambahkan bahwa beberapa bagian mungkin merupakan versi stub. Ia memperingatkan untuk tidak menganggap bahwa satu prompt saja dapat menghasilkan kode produksi yang aman. Ia mengatakan akan ada bug dan inkonsistensi antar implementasi.
Namun, ia menyatakan bahwa AI memungkinkan proses ini bergerak lima kali lebih cepat. Ia menjelaskan bahwa pengembang tetap perlu meninjau dan membandingkan kode. Pengujian dan validasi tetap merupakan langkah yang diperlukan.
AI mengurangi waktu yang dihabiskan untuk tugas yang repetitif dan meningkatkan kecepatan iterasi. Buterin mengatakan eksperimen tersebut seharusnya tidak dipandang sebagai infrastruktur yang sudah selesai. Ia memposisikannya sebagai sinyal perubahan metode pengembangan. AI kini menjadi bagian dari alur kerja teknis Ethereum.
Fokus pada Pengujian dan Verifikasi Formal
Buterin mengatakan keuntungan AI harus dibagi antara kecepatan dan keamanan. Ia menyarankan bahwa setengah dari keuntungan produktivitas harus digunakan untuk pengujian yang lebih kuat. Ini termasuk menghasilkan lebih banyak kasus uji dan menjalankan verifikasi formal. Ia merujuk pada upaya Lean Ethereum, yang bertujuan memverifikasi secara formal komponen-komponen Ethereum. Seorang kolaborator menggunakan AI untuk membuat bukti yang dapat diverifikasi mesin dari sebuah teorema STARK yang kompleks.
Buterin mengatakan verifikasi formal mendukung sistem tanpa kepercayaan. Ia menambahkan bahwa AI dapat memperluas volume pengujian dan meningkatkan pemeriksaan lintas-implementasi. Langkah-langkah ini mengurangi risiko yang terkait dengan kode yang keliru. Ia mengatakan keamanan total tidak dapat dicapai. Ia menjelaskan bahwa keamanan sempurna akan memerlukan keselarasan yang tepat antara kode dan maksud manusia.
Namun, ia mencatat bahwa klaim keamanan tertentu dapat diverifikasi. Buterin mengatakan orang harus mempertimbangkan kemungkinan bahwa roadmap Ethereum dapat selesai lebih cepat dari yang diperkirakan. Ia juga mengatakan standar keamanan bisa meningkat seiring perbaikan alat verifikasi. Ia menyatakan bahwa kode tanpa bug dalam kasus-kasus yang ditentukan mungkin menjadi dapat dicapai. Ia mengatakan gagasan ini dahulu pernah dipandang tidak realistis. Verifikasi berbantuan AI dapat mengubah ekspektasi pengembangan dari waktu ke waktu.