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!
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.
CertiK mendapatkan 2 hibah dari Ethereum Foundation
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!