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)
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.
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)