Perusahaan keamanan Web3 Certora telah mengumumkan bahwa mereka telah menerima hibah dari Yayasan Ethereum menurut Odaily Jumlah pendanaan yang tepat belum diungkapkan Hibah ini akan digunakan untuk mendukung pekerjaan Certora dalam memverifikasi kebenaran dari prekompilasi otomatis yang merupakan metode optimisasi penting dalam komputasi pengetahuan nol Teknologi ini dikembangkan oleh Powdr Labs untuk proyek zkEVM Yayasan Ethereum Certora juga berencana untuk membuat spesifikasi, bukti, dan kerangka verifikasi sepenuhnya open source untuk ekosistem Web3 yang lebih luas $ETH

ETH

2,079.01

-0.98%

#Certora #YayasanEthereum #zkEVM #ZeroKnowledge $BTC

#KeamananWeb3 #KeamananBlockchain #TeknologiZK #CryptoResearch $BNB #OpenSourceWeb3