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 coding berbasis agen (agentic coding). Prototipe tersebut mencakup sekitar 700,000 baris kode, mencakup 65 item roadmap, dan tersinkron dengan mainnet Ethereum.
AI membangun prototipe yang selaras dengan roadmap Ethereum 2030
Co-founder Ethereum, Vitalik Buterin, mengatakan AI mempercepat pengembangan Ethereum. Ia mengutip seorang pengembang yang menggunakan agentic coding untuk membangun sebuah klien yang selaras dengan roadmap 2030. Prototipe itu diselesaikan dalam sekitar dua minggu. Prototipe ini mencakup sekitar 700,000 baris kode dan mendukung 65 item roadmap. Klien tersebut sedang melakukan sinkronisasi dengan mainnet Ethereum.
Buterin menggambarkan upaya tersebut sebagai sebuah eksperimen yang menunjukkan kemajuan cepat. Ia mengatakan bahwa pekerjaan serupa tidak realistis enam bulan lalu. Ia menambahkan bahwa arah kemajuan AI adalah yang paling penting. Ia juga membagikan contoh pribadi. Ia mengatakan bahwa ia membangun perangkat lunak serupa dengan blog-nya dalam satu jam menggunakan agentic coding. Model yang digunakan berjalan secara lokal di laptopnya.
Kenaikan kecepatan hadir bersama risiko teknis
Buterin memperingatkan bahwa pembangunan AI yang cepat membawa risiko. Ia mengatakan bahwa sebuah proyek yang selesai dalam dua minggu tanpa EIP yang sudah final kemungkinan berisi bug-bug kritis. Ia menambahkan bahwa beberapa bagian mungkin merupakan versi stub. Ia memperingatkan agar tidak menganggap bahwa satu prompt saja dapat menghasilkan kode produksi yang aman. Ia mengatakan akan ada bug dan inkonsistensi di antara implementasi.
Namun, ia menyatakan bahwa AI memungkinkan proses ini berjalan 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 berulang dan meningkatkan kecepatan iterasi. Buterin mengatakan eksperimen ini tidak boleh dipandang sebagai infrastruktur yang sudah selesai. Ia membingkainya 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 agar setengah dari keuntungan produktivitas dialokasikan untuk pengujian yang lebih kuat. Ini termasuk menghasilkan lebih banyak kasus uji dan menjalankan verifikasi formal. Ia merujuk pada upaya Lean Ethereum, yang bertujuan untuk memverifikasi secara formal komponen-komponen Ethereum. Seorang kolaborator menggunakan AI untuk membuat bukti yang dapat diverifikasi oleh mesin dari teorema STARK kompleks.
Buterin mengatakan verifikasi formal mendukung sistem tanpa kepercayaan (trustless). 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 bahwa keamanan total tidak dapat dicapai. Ia menjelaskan bahwa keamanan sempurna akan memerlukan keselarasan yang tepat antara kode dan maksud manusia.
Meski begitu, ia mencatat bahwa klaim keamanan tertentu dapat diverifikasi. Buterin mengatakan orang-orang harus mempertimbangkan kemungkinan bahwa roadmap Ethereum dapat selesai lebih cepat daripada yang diperkirakan. Ia juga mengatakan standar keamanan dapat meningkat seiring alat verifikasi membaik. Ia menyatakan bahwa kode tanpa bug pada kasus-kasus yang ditetapkan mungkin menjadi dapat dicapai. Ia mengatakan bahwa gagasan ini dulu dianggap tidak realistis. Verifikasi berbantuan AI dapat mengubah ekspektasi pengembangan dari waktu ke waktu.