CertiK mendapatkan 2 hibah dari Ethereum Foundation

robot
Pembuatan abstrak sedang berlangsung

Menurut laporan terbaru, pada kuartal 1 tahun 2025, Organisasi Ethereum telah memberikan dua hibah penelitian kepada CertiK, sebuah entitas terkenal di bidang keamanan blockchain. Proyek-proyek ini fokus pada alat pengembangan dan metode formal untuk verifikasi zkVM.

Penilaian Alat Verus: CertiK akan menilai Verus, sebuah alat verifikasi Rust, untuk memeriksa sirkuit yang ditulis dalam Rust dan modul-modul kompilasi EVM.

Menyederhanakan Verifikasi zkVM: Proyek ini mengembangkan strategi untuk menyederhanakan verifikasi zkVM, dengan fokus pada aritmatika modular dan kasus multi-nilai yang dibungkus dalam satu elemen domain.

Teknologi verifikasi resmi dari CertiK telah diterapkan secara luas di banyak proyek Web3 terkemuka seperti zkWasm, kontrak utama TON, Cosmos SDK, dan HyperEnclave TEE dari Ant Group. Konten ini hanya bersifat informasi pasar dan bukan merupakan rekomendasi investasi.

Terima kasih telah membaca artikel ini!

Silakan Like, Comment dan Follow TinTucBitcoin untuk selalu mendapatkan informasi terbaru tentang pasar cryptocurrency dan tidak melewatkan informasi penting apapun ya!

Lihat Asli
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
  • Hadiah
  • Komentar
  • Bagikan
Komentar
0/400
Tidak ada komentar
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)