Odaily星球日报讯 Perusahaan keamanan Web3 Certora mengumumkan mendapatkan dana dari Ethereum Foundation, jumlahnya belum diungkapkan secara rinci, dana tersebut akan digunakan untuk mendukung verifikasi kebenaran otomatis pra-kompilasi, otomatis pra-kompilasi adalah salah satu optimisasi kunci dalam komputasi zero-knowledge, dikembangkan oleh Powdr Labs untuk proyek zkEVM dari Ethereum Foundation, diketahui Certora berencana untuk merilis sumber terbuka kerangka kerja spesifikasi, bukti, dan verifikasi yang mereka kembangkan. (Chainwire)
Penafian: Informasi di halaman ini dapat berasal dari pihak ketiga dan tidak mewakili pandangan atau opini Gate. Konten yang ditampilkan hanya untuk tujuan referensi dan bukan merupakan nasihat keuangan, investasi, atau hukum. Gate tidak menjamin keakuratan maupun kelengkapan informasi dan tidak bertanggung jawab atas kerugian apa pun yang timbul akibat penggunaan informasi ini. Investasi aset virtual memiliki risiko tinggi dan rentan terhadap volatilitas harga yang signifikan. Anda dapat kehilangan seluruh modal yang diinvestasikan. Harap pahami sepenuhnya risiko yang terkait dan buat keputusan secara bijak berdasarkan kondisi keuangan serta toleransi risiko Anda sendiri. Untuk detail lebih lanjut, silakan merujuk ke
Penafian.
Artikel Terkait
SUI Akan Mengungguli Ethereum: Co-Founder Mysten Labs Membuat Pernyataan Berani
Pernyataan berani dari Mysten Labs telah mendorong Sui kembali menjadi sorotan, terutama ketika pembicaraan seputar skalabilitas dan pembayaran kripto dunia nyata terus berkembang. Klaim tersebut berpusat pada satu gagasan. Sistem keuangan masa depan akan menuntut transaksi yang cepat dan hampir gratis, dan bahwa
CaptainAltcoin2jam yang lalu
Dalam 24 jam terakhir, seluruh jaringan mengalami likuidasi paksa senilai 232 juta dolar AS; porsi likuidasi paksa long melebihi enam puluh persen
Berita Gate News, 9 April, menurut data CoinAnk, total nilai likuidasi paksa di seluruh jaringan dalam 24 jam terakhir mencapai 232 juta dolar AS. Di antaranya, likuidasi paksa posisi long sekitar 144 juta dolar AS, dengan porsi lebih dari enam puluh persen; likuidasi paksa posisi short sekitar 88,17 juta dolar AS. Dari distribusi berdasarkan aset, nilai likuidasi paksa untuk Bitcoin sekitar 68,95 juta dolar AS, sementara untuk Ethereum sekitar 35,32 juta dolar AS.
GateNews4jam yang lalu
Perjanjian gencatan senjata AS-Iran berisiko hancur! Iran memperingatkan Israel: jika terus menghujani Lebanon secara brutal, akan “sepenuhnya keluar dari perjanjian gencatan senjata”, Bitcoin langsung anjlok menembus di bawah 71 ribu dolar AS
Iran mengancam akan keluar dari perjanjian gencatan senjata dengan AS akibat serangan udara Israel terhadap Lebanon, dan bersiap untuk membalas. Karena ketegangan geopolitik meningkat, suasana menghindari risiko muncul di pasar global, dan harga Bitcoin serta Ethereum anjlok tajam. Proses perdamaian antara AS dan Iran menghadapi krisis berpotensi gagal.
動區BlockTempo4jam yang lalu
SUI Akan Mengungguli Ethereum: Co-Founder Mysten Labs Membuat Pernyataan Berani
Pernyataan berani dari Mysten Labs telah mendorong Sui kembali menjadi sorotan, terutama ketika percakapan seputar skalabilitas dan pembayaran kripto di dunia nyata terus berkembang. Klaim tersebut berpusat pada satu gagasan. Sistem keuangan masa depan akan menuntut transaksi yang cepat dan hampir gratis, dan bahwa
CaptainAltcoin5jam yang lalu
