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!