Perusahaan keamanan Web3 Certora mendapatkan pendanaan dari Yayasan Ethereum

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)

ETH5,57%
Lihat Asli
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
  • Hadiah
  • Komentar
  • Posting ulang
  • Bagikan
Komentar
0/400
Tidak ada komentar
  • Sematkan

Perdagangkan Kripto Di Mana Saja Kapan Saja
qrCode
Pindai untuk mengunduh aplikasi Gate
Komunitas
Bahasa Indonesia
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)