Bayar dengan

USD

Mendukung Visa, Mastercard, SEPA, dll.

Perdagangan fleksibel, nol biaya

Gunakan kripto untuk pembayaran global

Dasar

Perdagangkan kripto dengan bebas

Perdagangan Margin

Perbesar keuntungan Anda dengan leverage

Konversi & Investasi Otomatis

Perdagangkan dalam ukuran berapa pun tanpa biaya dan tanpa slippage

Dapatkan eksposur ke posisi leverage dengan mudah

Perdagangan Pre-Market

Perdagangkan token baru sebelum listing

Lanjutan

Lakukan perdagangan on-chain dengan Gate Wallet

Akses cerdas ke token on-chain baru

Strategi cerdas perdagangan otomatis

Ikuti strategi perdagangan expert

Perdagangan CrossEx

Satu saldo margin, digunakan lintas platform

Akses ribuan kontrak perpetual

Satu platform aset tradisional global

Perdagangkan Opsi Vanilla ala Eropa

Memaksimalkan efisiensi modal Anda

Perdagangan Demo

Pengantar tentang Perdagangan Futures

Bersiap untuk perdagangan futures Anda

Gabung acara & dapatkan hadiah

Perdagangan Demo

Gunakan dana virtual untuk merasakan perdagangan bebas risiko

Derivatif Kontrak Selisih Saham

Akses saham AS dan ETF yang nyata

Perdagangkan saham berkualitas yang terdaftar di Hong Kong

Perdagangkan Saham Korea Nyata dan Berinvestasi pada Aset Populer

Leverage tinggi, perdagangan 24/7

Tokenized Stocks

Didukung oleh aset saham nyata

Buka akses penuh ke IPO saham global

Mint GUSD untuk Imbal Hasil Treasury RWA

Aktivitas Saham

Perdagangkan Saham Populer dan Dapatkan Airdrop yang Melimpah

Peluncuran

Koleksi permen untuk mendapatkan airdrop

Staking cepat, dapatkan token baru yang potensial

Pegang GT dan dapatkan airdrop besar secara gratis

Buka akses penuh ke IPO saham global

Perdagangkan aset on-chain, raih airdrop

Dapatkan poin futures dan klaim hadiah airdrop

Investasi

Dapatkan bunga dengan token yang menganggur

Investasi Otomatis

Investasi otomatis secara teratur

Investasi Ganda

Keuntungan dari volatilitas pasar

Dapatkan hadiah dengan staking fleksibel

Pinjaman Kripto

Menjaminkan satu kripto untuk meminjam kripto lainnya

Pusat Peminjaman

Hub Peminjaman Terpadu

Pusat Kekayaan VIP

Rencana pertumbuhan kekayaan premium

Kendalikan masa depan finansial Anda

Strategi quant tingkat atas

Stake kripto untuk mendapatkan penghasilan dalam produk PoS

Leverage tanpa likuidasi

Setor & tebus kapan saja, tanpa biaya

Temukan nilai dalam kripto

Analisis live pasar kripto

Mengobrol dengan trader kripto

Apa yang terjadi di kripto

Lainnya

Promosi

Pusat Aktivitas

Ikuti aktivitas & raih hadiah

Undang teman & raih hadiah referral

Program Afiliasi

Raih hadiah komisi eksklusif

Bangun pengaruh Anda, raih airdrop

Pembaruan platform real-time

Artikel industri kripto

Diskon Biaya Besar

Solusi pengelolaan aset terpadu

Solusi aset digital perusahaan

Pengembang (API)

Terhubung ke ekosistem aplikasi Gate

Transfer Bank OTC

Setor dan tarik fiat

Mekanisme rebate API yang besar

AI

Partner AI serbaguna untuk Anda

Gunakan Gate AI langsung di aplikasi sosial Anda

Gate Blue Lobster, langsung pakai

Gate for AI Agent

Infrastruktur AI, Gate MCP, Skills, dan CLI

Gate Skills Hub

Dari kantor hingga trading, satu platform keterampilan membuat AI jadi lebih mudah digunakan

Lainnya

Temukan FAQ dan panduan bantuan

Pelajari tentang investasi kripto

Tumbuh bersama para juara

Proof of Reserves

Gate menjanjikan 100% proof of reserve

Jaga keamanan aset Anda

Vitalik Mengusulkan Bahasa Bukti “Readability” Baru untuk Membantu Manusia Memahami Bukti Formal yang Dihasilkan AI

Berita Industri AI

2026-07-21 15:28:02

ETH1,39%

Hari ini (21 Juli), pendiri Ethereum, Vitalik Buterin, mengusulkan pembuatan bahasa pemrograman tingkat tinggi baru yang dikompilasi ke sistem bukti formal seperti Lean dan HOL, dengan mengoptimalkan keterbacaan definisi dan teorema ketimbang proses pembuktiannya sendiri. Menurut PANews, Buterin menyatakan bahwa bahasa tersebut bertujuan membantu manusia memahami dengan jelas apa yang secara matematis dan logis ditunjukkan oleh bukti formal berskala besar yang dihasilkan oleh AI, sehingga pembaca dapat lebih mudah mengaudit dan memverifikasi klaim spesifik yang disajikan oleh AI.

Penafian: Informasi di halaman ini mungkin berasal dari sumber pihak ketiga dan hanya untuk referensi. Ini tidak mewakili pandangan atau pendapat Gate dan bukan merupakan nasihat keuangan, investasi, atau hukum. Perdagangan aset virtual melibatkan risiko tinggi. Mohon jangan hanya mengandalkan informasi di halaman ini saat membuat keputusan. Untuk detailnya, lihat Penafian.

Berita Terkait

Aztec Meluncurkan Lapisan Eksekusi v5 Alpha dengan Optimasi Kriptografi untuk Pembuktian ZK Sisi-Klien

17jam yang lalu

NEAR Co-founder Merekomendasikan Verifikasi Formal untuk Melawan Serangan Berbantuan AI; Jaringan Merilis Kunci Akun Tahan Kuantum pada 21 Juli

Novogratz Baru-baru ini Memuji Vitalik Buterin sebagai “Pahlawan Kripto”, Sambil Memperingatkan Aktivitas yang Menurun yang Merugikan ETH

Vitalik Buterin Merilis Demo Papan Pesan Anonim di Aztec dengan Moderasi On-Chain

Analisis Kedalaman

Aztec Rilis V5 Alpha dengan Verifikasi Sisi Klien untuk Transaksi Ethereum Pribadi

Ethan Brooks3jam yang lalu

NEAR Co-Founder: Peretasan berbantuan AI mengungguli peninjauan kode tradisional

Ethan Brooks23jam yang lalu

Komentar

0/400

Tidak ada komentar